An orchestration language for parallel objects. - Laxmikant V. Kalé; Mark Hills 001; Chao Huang 029 (LCR, 2004)

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. - Mark Hills 001; Traian Serbanuta; Grigore Rosu (WRLA, 2006)

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. - Mark Hills 001; Grigore Rosu (FMOODS, 2007)

A rewriting approach to the design and evolution of object-oriented languages. - Mark Hills 001; Grigore Rosu (OOPSLA Companion, 2007)

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. - Mark Hills 001; Grigore Rosu (RTA, 2007)

Towards a Module System for K. - Mark Hills 001; Grigore Rosu (WADT, 2008)

Memory Representations in Rewriting Logic Semantics Definitions. - Mark Hills 001 (WRLA, 2008)

A Rewriting Logic Approach to Static Checking of Units of Measurement in C. - Mark Hills 001; Feng Chen 006; Grigore Rosu (RULE, 2008)

A Modular Rewriting Approach to Language Design, Evolution and Analysis. - Mark Hills 001 (2009)

A Rewriting Logic Semantics Approach to Modular Program Analysis. - Mark Hills 001; Grigore Rosu (RTA, 2010)

RLSRunner: Linking Rascal with K for Program Analysis. - Mark Hills 001; Paul Klint; Jurgen J. Vinju (SLE, 2011)

A Case of Visitor versus Interpreter Pattern. - Mark Hills 001; Paul Klint; Tijs van der Storm; Jurgen J. Vinju (TOOLS (49), 2011)

Rascal: From Algebraic Specification to Meta-Programming - Jeroen van den Bos; Mark Hills 001; Paul Klint; Tijs van der Storm; Jurgen J. Vinju (AMMSE, 2011)

Preface. - Mark Hills 001 (K, 2011)

Scripting a refactoring with Rascal and Eclipse. - Mark Hills 001; Paul Klint; Jurgen J. Vinju (WRT@ICSE, 2012)

Meta-language Support for Type-Safe Access to External Resources. - Mark Hills 001; Paul Klint; Jurgen J. Vinju (SLE, 2012)

Program Analysis Scenarios in Rascal. - Mark Hills 001; Paul Klint; Jurgen J. Vinju (WRLA, 2012)

A One-Stop-Shop for Software Evolution Tool Construction. - Mark Hills 001; Paul Klint; Tijs van der Storm; Jurgen J. Vinju (ERCIM News, 2012)

An empirical study of PHP feature usage: a static analysis perspective. - Mark Hills 001; Paul Klint; Jurgen J. Vinju (ISSTA, 2013)

PHP AiR: Analyzing PHP systems with Rascal. - Mark Hills 001; Paul Klint (CSMR-WCRE, 2014)

Static, lightweight includes resolution for PHP. - Mark Hills 001; Paul Klint; Jurgen J. Vinju (ASE, 2014)

Streamlining Control Flow Graph Construction with DCFlow. - Mark Hills 001 (SLE, 2014)

Variable Feature Usage Patterns in PHP (T). - Mark Hills 001 (ASE, 2015)

Supporting PHP dynamic analysis in PHP AiR. - Mark Hills 001 (WODA@SPLASH, 2015)

Evolution of dynamic feature usage in PHP. - Mark Hills 001 (SANER, 2015)

M3: A general model for code analytics in rascal. - Bas Basten; Mark Hills 001; Paul Klint; Davy Landman; Ashim Shahi; Michael J. Steindorfer; Jurgen J. Vinju (SWAN@SANER, 2015)

Modular language implementation in Rascal - experience report. - Bas Basten; Jeroen van den Bos; Mark Hills 001; Paul Klint; Arnold Lankamp; Bert Lisser; Atze van der Ploeg; Tijs van der Storm; Jurgen J. Vinju (Sci. Comput. Program., 2015)

Navigating the WordPress plugin landscape. - Mark Hills 001 (ICPC, 2016)

Supporting Analysis of SQL Queries in PHP AiR. - David Anderson; Mark Hills 001 (SCAM, 2017)

Query Construction Patterns in PHP. - David Anderson; Mark Hills 001 (SANER, 2017)

Enabling PHP software engineering research in Rascal. - Mark Hills 001; Paul Klint; Jurgen J. Vinju (Sci. Comput. Program., 2017)

Introducing DevOps Techniques in a Software Construction Class. - Mark Hills 001 (CSEE&T, 2020)

Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion. - Joshua Adams; Brian Hainey; Laurie White; Derek Foster; Narine Hall; Mark Hills 001; Sara Hooshangi; Karthik Kuber; Sajid Nazir; Majd Sakr; Lee Stott; Carmen Taglienti (ITiCSE, 2020)

Foundations. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe; Francisco Durán 001; et al. (Composing Model-Based Analysis Tools, 2021)

Composition of Languages, Models, and Analyses. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe (Composing Model-Based Analysis Tools, 2021)

Planning a Conceptual Framework Approach for Teaching Cloud Fundamentals. - James H. Paterson; Joshua Adams; Laurie White; Andrew Csizmadia; Deger Cenk Erdil; Derek Foster; Mark Hills 001; Zain Kazmi; Karthik Kuber; Sajid Nazir; Majd Sakr; Lee Stott (ITiCSE (2), 2021)

Designing Dissemination and Validation of a Framework for Teaching Cloud Fundamentals. - James H. Paterson; Joshua Adams; Laurie White; Andrew Csizmadia; Deger Cenk Erdil; Derek Foster; Mark Hills 001; Zain Kazmi; Karthik Kuber; Sajid Nazir; Majd Sakr; Lee Stott (ITiCSE-WGR, 2021)

Introduction to the Special Issue on Source Code Analysis and Manipulation 2018. - Neil A. Ernst; Mark Hills 001; Árpád Beszédes (J. Syst. Softw., 2021)

Enabling Go Program Analysis in Rascal. - Luke Swearngan; Mark Hills 001 (SCAM, 2023)

A Comparison of Machine Learning Code Quality in Python Scripts and Jupyter Notebooks. - Kyle Adams; Aleksei Vilkomir; Mark Hills 001 (J. Comput. Sci. Coll., 2023)

Starting a Civic Engagement Capstone: An Experience Report. - Mark Hills 001; James B. Fenwick Jr. (J. Comput. Sci. Coll., 2024)