Sergei Gorlatch

Descend: A Safe GPU Systems Programming Language

Graphics Processing Units (GPU) offer tremendous computational power by following a throughput oriented computing paradigm where many thousand computational units operate in parallel. Programming...

Auto-Tuning High-Performance Programs Using Model Checking in Promela

The paper combines research approaches that traditionally have been disjoint: 1) model checking as used in formal verification of programs, and 2) auto-tuning as often used in high-performance...

A Language for Describing Optimization Strategies

Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for many applications. The predominantly used imperative languages - like C or OpenCL - force the programmer...

Research challenges on engineering service-oriented applications

Optimizing Energy Efficiency of QoS-Based Routing in Software-Defined Networks

Component-Based Grid Programming Using the HOC-Service Architecture

A High-Level Programming Approach for Distributed Systems with Accelerators

Towards Developing Adjustable Software: A Case Study with the Lyee Approach

User-Oriented Software Development for Real-Time Online Applications

Clayworks: Toward User-Oriented Software for Collaborative Modeling and Simulation

Software Development for Real-Time Online Interactive Applications on Clouds

A persistent data storage design for real-time interactive applications

Cheating Prevention in Virtual Worlds: Software, Economic, and Law Aspects

Towards a Verification-Based Development Approach for Reactive Systems

Towards Verifying Declarative Specifications of Reactive Systems

An Ontology of Specification Patterns for Verification of Concurrent Systems

Entailment Processing for Large RDF Data Sets Using GPU

Enhancing and Parallelizing Legacy Software for Medical Imaging - A Case Study