My research group
develops program analyses and software systems
that make complex, concurrent software significantly more
reliable, scalable, and secure than it is today.
General interests: programming languages, software systems, runtime systems,
program analysis, compilers, security.
Publicly available research software (see "Source code" for each paper)