Experience
Education
Bio
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.