Mark Hills

According to our database, Mark Hills authored at least 39 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Enabling Go Program Analysis in Rascal.

Luke Swearngan, Mark Hills

Proceedings of the 23rd IEEE International Working Conference on Source Code Analysis and Manipulation, 2023

2021

Introduction to the Special Issue on Source Code Analysis and Manipulation 2018.

Neil A. Ernst, Mark Hills, Árpád Beszédes

J. Syst. Softw., 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, Zain Kazmi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott

Proceedings of the 2021 Working Group Reports on Innovation and Technology in Computer Science Education, 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, Zain Kazmi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.2, Virtual Event, Germany, June 26, 2021

Composition of Languages, Models, and Analyses.

Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe

Proceedings of the Composing Model-Based Analysis Tools, 2021

Foundations.

Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion.

Joshua Adams, Brian Hainey, Laurie White, Derek Foster, Narine Hall, Mark Hills, Sara Hooshangi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott, Carmen Taglienti

Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020

Introducing DevOps Techniques in a Software Construction Class.

Mark Hills

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2017

Enabling PHP software engineering research in Rascal.

Mark Hills, Paul Klint, Jurgen J. Vinju

Sci. Comput. Program., 2017

Query Construction Patterns in PHP.

David Anderson, Mark Hills

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Supporting Analysis of SQL Queries in PHP AiR.

David Anderson, Mark Hills

Proceedings of the 17th IEEE International Working Conference on Source Code Analysis and Manipulation, 2017

2016

Navigating the WordPress plugin landscape.

Mark Hills

Proceedings of the 24th IEEE International Conference on Program Comprehension, 2016

2015

Modular language implementation in Rascal - experience report.

Bas Basten, Jeroen van den Bos, Mark Hills, Paul Klint, Arnold Lankamp, Bert Lisser, Atze van der Ploeg, Tijs van der Storm, Jurgen J. Vinju

Sci. Comput. Program., 2015

M3: A general model for code analytics in rascal.

Bas Basten, Mark Hills, Paul Klint, Davy Landman, Ashim Shahi, Michael J. Steindorfer, Jurgen J. Vinju

Proceedings of the 1st IEEE International Workshop on Software Analytics, 2015

Evolution of dynamic feature usage in PHP.

Mark Hills

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Supporting PHP dynamic analysis in PHP AiR.

Mark Hills

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

Variable Feature Usage Patterns in PHP (T).

Mark Hills

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Streamlining Control Flow Graph Construction with DCFlow.

Mark Hills

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Static, lightweight includes resolution for PHP.

Mark Hills, Paul Klint, Jurgen J. Vinju

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

PHP AiR: Analyzing PHP systems with Rascal.

Mark Hills, Paul Klint

Proceedings of the 2014 Software Evolution Week, 2014

2013

An empirical study of PHP feature usage: a static analysis perspective.

Mark Hills, Paul Klint, Jurgen J. Vinju

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

A One-Stop-Shop for Software Evolution Tool Construction.

Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju

ERCIM News, 2012

Program Analysis Scenarios in Rascal.

Mark Hills, Paul Klint, Jurgen J. Vinju

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Meta-language Support for Type-Safe Access to External Resources.

Mark Hills, Paul Klint, Jurgen J. Vinju

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Scripting a refactoring with Rascal and Eclipse.

Mark Hills, Paul Klint, Jurgen J. Vinju

Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

2011

Preface.

Mark Hills

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

Rascal: From Algebraic Specification to Meta-Programming

Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju

Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

A Case of Visitor versus Interpreter Pattern.

Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

RLSRunner: Linking Rascal with K for Program Analysis.

Mark Hills, Paul Klint, Jurgen J. Vinju

Proceedings of the Software Language Engineering - 4th International Conference, 2011

2010

A Rewriting Logic Semantics Approach to Modular Program Analysis.

Mark Hills, Grigore Rosu

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009

A Modular Rewriting Approach to Language Design, Evolution and Analysis.

Mark Hills

PhD thesis, 2009

2008

A Rewriting Logic Approach to Static Checking of Units of Measurement in C.

Mark Hills, Feng Chen, Grigore Rosu

Proceedings of the Ninth International Workshop on Rule-Based Programming, 2008

Memory Representations in Rewriting Logic Semantics Definitions.

Mark Hills

Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008

Towards a Module System for K.

Mark Hills, Grigore Rosu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2007

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.

Mark Hills, Grigore Rosu

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

A rewriting approach to the design and evolution of object-oriented languages.

Mark Hills, Grigore Rosu

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.

Mark Hills, Grigore Rosu

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.

Mark Hills, Traian Serbanuta, Grigore Rosu

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

2004

An orchestration language for parallel objects.

Laxmikant V. Kalé, Mark Hills, Chao Huang

Proceedings of the 7th Workshop on languages, 2004