Biography

I am interested broadly in the fields of programming languages and software engineering, especially where they intersect. Specifically, my research focuses on static and dynamic program analysis; empirical software engineering; software analytics; software repository mining; automated refactoring; programming language semantics; and program verification. My goal is to provide developers with powerful new tools for understanding, creating, analyzing, and improving software. As part of this, I am a continuing contributor to Rascal, a meta-programming language for program analysis, program transformation, and programming language implementation. I’m also still an active user of the Maude system, focusing on uses of Maude for language specification and analysis.

Interests
  • Programming Languages
  • Program Analysis
  • Software Engineering
Education
  • PhD in Computer Science, 2009

    University of Illinois Urbana-Champaign

  • BS in Computer Science, 1995

    Western Illinois University

Recent Publications

To see all publications, click here.
Composing Model-Based Analysis Tools, Chapter 4: Composition of Languages, Models, and Analyses
Composing Model-Based Analysis Tools, Chapter 2: Foundations
Planning a Conceptual Framework Approach for Teaching Cloud Fundamentals
Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion (Report)

Contact

  • hillsma@ecu.edu
  • +1 252 328 9692
  • SciTech C-110, Greenville, NC 27858
  • Enter the C wing of the Science and Tech building, my office is down the hall on the right.
  • Tuesday 15:30 to 17:00
    Wednesday 13:00 to 15:00
    Thursday 15:30 to 17:00