Modular Language Specifications for Program Analysis Mark Hills Jun 25, 2013 PDF Mark Hills Associate Professor My research interests include programming languages, program analysis, and software engineering.