Structured parallel programs ought to be conceived as two separate and complementary
entities: computation, which expresses the calculations in a procedural manner, and …

We present an architecture for the specification of source-to-source transformations. New
source code can be specified as source-fragments. The translation of source-fragments to …

We report on the Second International Competition on Runtime Verification (CRV-2015).
The competition was held as a satellite event of the 15th International Conference on …

Automatic introduction of OpenMP for sequential applications has attracted significant
attention recently because of the proliferation of multicore processors and the simplicity of …

The steadily growing embedded-systems market comprises many application domains in
which real-time constraints must be satisfied. To guarantee that these constraints are met …

Although unstructured mesh algorithms are a popular means of solving problems across a
broad range of disciplines---from texture map** to computational fluid dynamics---they are …

We describe ROSE, a C++ infrastructure for source-to-source translation, that provides an
interface for programmers to easily write their own translators for optimizing the use of high …

We define a novel approach for optimizing the use of libraries within applications. We
propose that library-defined abstractions be annotated with additional semantics to support …

An important purpose of a programming language is to insulate the programmer from low
level details and provide a high enough level of abstraction to be productive and develop …

We present an approach for combining different analysis and transformation tools that
enables their application to popular programming languages without extending existing …