Publications

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…

Existing high-level, source-to-source compilers can accept input programs in a high-level language (e.g., C) and perform complex automatic parallelization and…

The application of the Dirac operator on a spinor field, the Dslash operation, is the most computation-intensive part of the…