Publications by Year

2017

Supporting Analysis of SQL Queries in PHP AiR
David Anderson and Mark Hills
Submitted to SCAM 2017, Engineering Track
[Preprint]

Query Construction Patterns in PHP
David Anderson and Mark Hills
SANER 2017, ERA Track, pages 452-456. IEEE, 2017.
[PDF] | [IEEE Electronic Version] | [SANER 2017 Homepage]

2016

Enabling PHP Software Engineering Research in Rascal
Mark Hills, Paul Klint, and Jurgen J. Vinju
Science of Computer Programming, volume 134, pages 37-46. Elsevier, 2017.
[Science of Computer Programming Electronic Version]
Navigating the WordPress Plugin Landscape
Mark Hills
ICPC 2016, pages 1-10. IEEE, 2016.
[PDF] | [IEEE Electronic Version] | [ICPC 2016 Homepage]

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, and Jurgen J. Vinju
Science of Computer Programming, volume 114, pages 7-19. Elsevier, 2015.
[Science of Computer Programming Electronic Version]
Variable Feature Usage Patterns in PHP
Mark Hills
ASE 2015, pages 563-573. IEEE, 2015.
[PDF] | [BitBucket Repository] | [ASE 2015 Homepage] | [IEEE Electronic Version]
Supporting PHP Dynamic Analysis in PHP AiR
Mark Hills
WODA 2015, pages 37-38. ACM, 2015.
[PDF] | [WODA 2015 Homepage] | [ACM Electronic Version]
Evolution of Dynamic Feature Usage in PHP
Mark Hills
SANER 2015, ERA Track, pages 525-529. IEEE, 2015.
[PDF] | [SANER 2015 Homepage] | [IEEE Electronic Version]
M3: A General Model for Source Code Analytics in Rascal
Bas Basten, Mark Hills, Paul Klint, Davy Landman, Ashim Shahi, Michael Steindorfer, and Jurgen J. Vinju
SWAN 2015, pages 25-28. IEEE, 2015.
[PDF] | [SWAN 2015 Homepage] | [IEEE Electronic Version]
Domain-Specific Languages for Program Analysis
Mark Hills
OOPSLE 2015
[PDF] | [OOPSLE 2015 Homepage]

2014

Streamlining Control Flow Graph Construction with DCFlow
Mark Hills
SLE 2014, volume 8706 of LNCS, pages 322-341. Springer, 2014.
[PDF] | [Presentation (PDF)] | [SLE 2014 Homepage] | [LNCS Electronic Version]
Static, Lightweight Includes Resolution for PHP
Mark Hills, Paul Klint, and Jurgen J. Vinju
ASE 2014, pages 503-514. ACM, 2014.
[PDF] | [Presentation (PDF)] | [ASE 2014 Homepage] | [ACM Electronic Version]
PHP AiR: Analyzing PHP Systems with Rascal
Mark Hills and Paul Klint
CSMR/WCRE 2014 Tools, pages 454-457. IEEE, 2014.
[PDF] | [Presentation (PDF)] | [CSMR/WCRE 2014 Homepage] | [IEEE Electronic Version]

2013

An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
Mark Hills, Paul Klint, and Jurgen J. Vinju
ISSTA 2013, pages 325-335. ACM, 2013.
[PDF] | [Presentation (PDF)] | [ISSTA 2013 Homepage]
Enabling PHP Software Engineering Research in Rascal
Mark Hills and Paul Klint
WASDeTT 2013
[PDF] | [Presentation (PDF)] | [WASDeTT 2013 Homepage]
Modular Language Specifications for Program Analysis
Mark Hills
SLS 2013
[PDF] | [Presentation (PDF)] | [SLS 2013 Homepage]

2012

Meta-Language Support for Type-Safe Access to External Resources
Mark Hills, Paul Klint, and Jurgen J. Vinju
SLE 2012, volume 7745 of LNCS, pages 372-391. Springer, 2013.
[PDF] | [Presentation (PDF) | [LNCS Electronic Version] | [SLE 2012 Homepage]
Streamlining Policy Creation in Policy Frameworks
Mark Hills
WADT 2012, Abstract Submission, 2012.
[PDF] | [Presentation (PDF)] | [WADT 2012 Homepage]
Scripting a Refactoring with Rascal and Eclipse
Mark Hills, Paul Klint, and Jurgen J. Vinju
WRT 2012, pages 40-49. ACM, 2012.
[PDF] | [Presentation (PDF)] | [ACM Digital Library] | [WRT 2012 Homepage]
Program Analysis Scenarios in Rascal
Mark Hills, Paul Klint, and Jurgen J. Vinju
WRLA 2012, Invited Paper, volume 7571 of LNCS, pages 10-30. Springer, 2012.
[PDF] | [Presentation (PDF)] | [LNCS Electronic Version] | [WRLA 2012 Homepage]
A One-Stop Shop for Software Evolution Tool Construction
Mark Hills, Paul Klint, Tijs van der Storm, and Jurgen J. Vinju
ERCIM News 2012(88), 2012
[html]

2011

KRunner: Linking Rascal with K
Mark Hills, Paul Klint, and Jurgen J. Vinju
K 2011, Unpublished Extended Abstract, 2011.
[PDF] | [Presentation (PDF)] | [K 2011 Homepage]
RLSRunner: Linking Rascal with K for Program Analysis
Mark Hills, Paul Klint, and Jurgen J. Vinju
SLE 2011, volume 6940 of LNCS, pages 344-353. Springer, 2011.
[PDF] | [Presentation (PDF)] | [SLE 2011 Homepage]
Rascal: From Algebraic Specification to Meta-Programming
Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, and Jurgen J. Vinju
AMMSE 2011, Invited Paper, EPTCS Volume 56, pages 15-32. 2011.
[PDF] | [Presentation (PDF)] | [EPTCS Electronic Version] | [AMMSE 2011 Homepage]
A Case of Visitor versus Interpreter Pattern
Mark Hills, Paul Klint, Tijs van der Storm, and Jurgen J. Vinju
TOOLS 2011, volume 6705 of LNCS, pages 228-243. Springer, 2011.
[PDF] | [LNCS Electronic Version] | [TOOLS 2011 Homepage]

2010

A Rewriting Logic Semantics Approach to Modular Program Analysis
Mark Hills and Grigore Rosu
RTA 2010, volume 6 of Leibniz International Proceedings in Informatics (LIPIcs), pages 151-160. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.
[PDF] | [Presentation (PDF)] | [LIPIcs Electronic Version] | [RTA 2010 Homepage]

2009

A Modular Rewriting Approach to Language Design, Evolution and Analysis
Mark Hills
Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, 2009.
[PDF] | [UIUC IDEALS Electronic Version]

2008

Towards a Module System for K
Mark Hills and Grigore Rosu
WADT 2008, volume 5486 of LNCS, pages 187-205. Springer, 2009.
[PDF] | [LNCS Electronic Version] | [WADT 2008 Homepage]
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Mark Hills, Feng Chen, and Grigore Rosu
RULE 2008, volume 290 of ENTCS, pages 51-67. Elsevier, 2012.
[PDF] | [Presentation (PDF)] | [ENTCS Electronic Version] | [RULE 2008 Homepage]
Pluggable Policies for C
Mark Hills, Feng Chen, and Grigore Rosu
Technical Report, UIUCDCS-R-2008-2931, January 2008.
[PDF]
Memory Representations in Rewriting Logic Semantics Definitions
Mark Hills and Grigore Rosu
WRLA 2008, volume 238(3) of ENTCS, pages 155-172. Elsevier, 2009.
[PDF] | [Presentation (PDF)] | [WRLA 2008 Homepage]

2007

A K Definition of Scheme
Patrick Meredith, Mark Hills, and Grigore Rosu
Technical Report, UIUCDCS-R-2007-2907, October 2007.
[PDF]
An Executable Rewriting Logic Semantics of K-Scheme
Patrick Meredith, Mark Hills, and Grigore Rosu
8th Workshop on Scheme and Functional Programming, Technical Report DIUL-RT-0701, pages 91-103, September 2007.
[PDF] | [Scheme 2007 Homepage]
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Mark Hills and Grigore Rosu
OOPSLA 2007 Companion, ACM Press, pages 827-828, 2007.
[PDF] | [OOPSLA 2007 Poster (PPT)] | [ACM Press Electronic Version] | [OOPSLA 2007 Homepage]
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Mark Hills and Grigore Rosu
ECOOP 2007, Poster Session, July/August 2007.
[ECOOP 2007 Poster Session]
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
Mark Hills and Grigore Rosu
Technical Report Bericht-Nr. 2007-7, pages 23-26, 2007.
[PDF]
A Formal Rewriting Logic Semantic Definition of Scheme
Patrick Meredith, Mark Hills, and Grigore Rosu
Technical Report, UIUCDCS-R-2007-2877, July 2007.
[UIUC IDEALS Repository]
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
Mark Hills and Grigore Rosu
RTA 2007, volume 4533 of LNCS, pages 246-256. Springer, 2007.
[PDF] | [Presentation (PDF)] | [RTA 2007 Homepage]
On Formal Analysis of OO Languges using Rewriting Logic: Designing for Performance
Mark Hills and Grigore Rosu
FMOODS 2007, volume 4468 of LNCS, pages 107-121. Springer, 2007.
[PDF] | [Presentation (PDF)] | [FMOODS 2007 Homepage]

2006

A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
Mark Hills, Traian Florin Serbanuta, and Grigore Rosu
WRLA 2006, volume 176(4) of ENTCS, pages 215-231. Elsevier, 2007.
[PDF] | [WRLA 2006 Homepage]
A Rewriting Based Approach to OO Language Prototyping and Design
Mark Hills and Grigore Rosu
Technical Report, UIUCDCS-R-2006-2786, October 2006.
[PDF]
KOOL: A K-based Object-Oriented Language
Mark Hills and Grigore Rosu
Technical Report, UIUCDCS-R-2006-2779, October 2006.
[PDF]
A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages
Feng Chen, Mark Hills, and Grigore Rosu
Technical Report, UIUCDCS-R-2006-2702, March 2006.
[PDF]

2005

Automatic and Precise Dimensional Analysis
Marcelo d'Amorim, Mark Hills, Feng Chen, and Grigore Rosu
Technical Report, UIUCDCS-R-2005-2668, December 2005.
[PDF]
An Executable Semantic Definition of the Beta Language using Rewriting Logic
Mark Hills, T. Baris Aktemur, and Grigore Rosu
Technical Report, UIUCDCS-R-2005-2650, November 2005.
[PDF]

2004

An Orchestration Language for Parallel Objects
L.V. Kale, Mark Hills, and Chao Huang
LCR'04, 2004.
[PDF]