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)
Graduated advisees, with positions as of 2017:
- Jake Roemer (PhD student)
- Rui Zhang (PhD student)