Publications

This report summarized runtime system challenges for exascale computing, that follow from the fundamental challenges for exascale systems. Some of…

Programming models and environments play the essential roles in high performance computing of enabling the conception, design, implementation and execution…

In the last decade, the scope of software optimizations expanded to encompass energy consumption on top of the classical runtime…

Computers across the board, from embedded to future exascale computers, are consistently designed with deeper memory hierarchies. While this opens…

Writing high performance software requires the programmer to take advantage of multi-core processing. This can be done through tools like…

Taking advantage of multi-core processing has become crucial in realizing significant performance gains for most applications. When it comes to…

As illustrated by the emergence of a class of new languages and runtimes, it is expected that a large portion…

We provide concrete evidence that floating-point computations in C programs can be verified in a homogeneous verification setting based on…

The technology scaling has initiated two distinct trends that are likely to continue into future: first, the increased parallelism in…