Compilers

Darko Marinov

Prof. Marinov's main research interests are in software engineering and programming languages, with emphasis on improving software reliability. He is interested in all aspects of rich specification languages and checking code conformance, both dynamically (software testing, run-time verification) and statically (theorem proving, model checking, program analysis).
LLVM Compiler Infrastructure

Low Level Virtual Machine (LLVM) is a compilation strategy, a virtual instruction set, and a compiler infrastructure, as described below.
Secure Virtual Architecture (SVA): Compiler Techniques for Operating System Security and Reliability

funded by the National Science Foundation and the DARPA/MARCO Gigascale Systems Research Center (GSRC)
Compiler Support for Performance Modeling of Parallel and Distributed Programs

funded by the Defense Advanced Research Projects Agency
High-Performance Reliable Computing Addressing the Parameter-Variation Challenge through a Cross-Disciplinary Architecture, CAD, and Compiler Approach

funded by the National Science Foundation
SAFECode: A Compiler System for Enforcing Memory Safety in C Programs

funded by National Science Foundation, ONR, and the SRC MARCO/DARPA consortium