| |
My research interests include the areas of compilers, scientific
computing, computer architecture, and software engineering, with
compilers being my main focus. In many application domains,
issues such as performance and reliability co-mingle with algorithmic
issues resulting in domain-specific libraries and applications that
are difficult to understand, reuse, and maintain. In my research, I
investigate and develop compiler technology
in order to automate
domain-specific analyses and transformations that are currently
applied by hand or not at all. I also research dynamic
run-time analysis and transformation, which is necessary in many
application domains due to the lack of statically available information.
My domain-specific static and dynamic analysis and transformation
research applies to regular
applications such as successive overrelaxation,
irregular applications such as Gauss-Seidel and molecular dynamics
computations, automatic differentiation, MPI-programs,
and finite element code verification.
My current and future work involves the implementation of such
analyses within an intermediate representation-independent analysis
toolkit and the development of a domain-specific analysis
framework.
Publications
|