Mark Hills

Registered user since Mon 2 Mar 2015

Name: Mark Hills

Bio: Mark graduated from the University of Illinois at Urbana-Champaign in 2009. His thesis focused on using rewriting logic semantics, a form of programming language semantics, to create language prototypes and to define program analysis and verification tools.

From 2009 to 2013 Mark was a postdoc at CWI, the Dutch National Math and Computer Science research center. As part of the Software Analysis and Transformation group he developed tools and analysis techniques for dynamic programming languages and automated refactoring. He was (and remains) an active participant in the Rascal project (, which is focused on developing a meta-programming language for software analysis, software transformation, and DSL development.

Mark joined East Carolina University in 2013 as an Assistant Professor in the Department of Computer Science, where he teaches courses in programming languages and software engineering. He is working with students on a number of topics related to analysis of dynamic languages, empirical software engineering, and domain-specific languages for big data applications and for mobile application development.

Country: United States

Affiliation: East Carolina University

Personal website:

Research interests: Programming Languages, Software Engineering, Formal Methods

PLDI 2015 Activities

PLDI 2015-profile
View general profile