Mark Hills

43 papers A* 2A 4B 4C 2Journal 6Unranked 21
YearRankTypeTitle / Venue / Authors
2024 J jnl
Starting a Civic Engagement Capstone: An Experience Report.
J. Comput. Sci. Coll.
Mark Hills, James B. Fenwick Jr.
2023 J jnl
A Comparison of Machine Learning Code Quality in Python Scripts and Jupyter Notebooks.
J. Comput. Sci. Coll.
Kyle Adams, Aleksei Vilkomir, Mark Hills
2023 C conf
Enabling Go Program Analysis in Rascal.
SCAM
Luke Swearngan, Mark Hills
2021 — ch.
Composition of Languages, Models, and Analyses.
Composing Model-Based Analysis Tools
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
2021 — conf
Designing Dissemination and Validation of a Framework for Teaching Cloud Fundamentals.
ITiCSE-WGR
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
2021 — ch.
Foundations.
Composing Model-Based Analysis Tools
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
2021 J jnl
Introduction to the Special Issue on Source Code Analysis and Manipulation 2018.
J. Syst. Softw.
Neil A. Ernst, Mark Hills, Árpád Beszédes
2021 — conf
Planning a Conceptual Framework Approach for Teaching Cloud Fundamentals.
ITiCSE (2)
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
2020 B conf
Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion.
ITiCSE
Joshua Adams, Brian Hainey, Laurie White, Derek Foster, Narine Hall, Mark Hills, Sara Hooshangi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott, Carmen Taglienti
2020 — conf
Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion.
ITiCSE-WGR
Joshua Adams, Brian Hainey, Laurie White, Derek Foster, Narine Hall, Mark Hills, Sara Hooshangi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott, Carmen Taglienti
2020 — conf
Introducing DevOps Techniques in a Software Construction Class.
CSEE&T
Mark Hills
2017 J jnl
Enabling PHP software engineering research in Rascal.
Sci. Comput. Program.
Mark Hills, Paul Klint, Jurgen J. Vinju
2017 A conf
Query Construction Patterns in PHP.
SANER
David Anderson, Mark Hills
2017 C conf
Supporting Analysis of SQL Queries in PHP AiR.
SCAM
David Anderson, Mark Hills
2016 A conf
Navigating the WordPress plugin landscape.
ICPC
Mark Hills
2015 A conf
Evolution of dynamic feature usage in PHP.
SANER
Mark Hills
2015 — conf
M3: A general model for code analytics in rascal.
SWAN@SANER
Bas Basten, Mark Hills, Paul Klint, Davy Landman, Ashim Shahi, Michael J. Steindorfer, Jurgen J. Vinju
2015 J jnl
Modular language implementation in Rascal - experience report.
Sci. Comput. Program.
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
2015 — conf
Supporting PHP dynamic analysis in PHP AiR.
WODA@SPLASH
Mark Hills
2015 A* conf
Variable Feature Usage Patterns in PHP (T).
ASE
Mark Hills
2014 — conf
PHP AiR: Analyzing PHP systems with Rascal.
CSMR-WCRE
Mark Hills, Paul Klint
2014 — ed.
Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011.
K
Mark Hills
2014 A* conf
Static, lightweight includes resolution for PHP.
ASE
Mark Hills, Paul Klint, Jurgen J. Vinju
2014 B conf
Streamlining Control Flow Graph Construction with DCFlow.
SLE
Mark Hills
2013 A conf
An empirical study of PHP feature usage: a static analysis perspective.
ISSTA
Mark Hills, Paul Klint, Jurgen J. Vinju
2012 J jnl
A One-Stop-Shop for Software Evolution Tool Construction.
ERCIM News
Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju
2012 B conf
Meta-language Support for Type-Safe Access to External Resources.
SLE
Mark Hills, Paul Klint, Jurgen J. Vinju
2012 — conf
Program Analysis Scenarios in Rascal.
WRLA
Mark Hills, Paul Klint, Jurgen J. Vinju
2012 — conf
Scripting a refactoring with Rascal and Eclipse.
WRT@ICSE
Mark Hills, Paul Klint, Jurgen J. Vinju
2011 — conf
A Case of Visitor versus Interpreter Pattern.
TOOLS (49)
Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju
2011 — conf
Preface.
K
Mark Hills
2011 B conf
RLSRunner: Linking Rascal with K for Program Analysis.
SLE
Mark Hills, Paul Klint, Jurgen J. Vinju
2011 — conf
Rascal: From Algebraic Specification to Meta-Programming
AMMSE
Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju
2010 — conf
A Rewriting Logic Semantics Approach to Modular Program Analysis.
RTA
Mark Hills, Grigore Rosu
2009 — —
A Modular Rewriting Approach to Language Design, Evolution and Analysis.
Mark Hills
2008 — conf
A Rewriting Logic Approach to Static Checking of Units of Measurement in C.
RULE
Mark Hills, Feng Chen, Grigore Rosu
2008 — conf
Memory Representations in Rewriting Logic Semantics Definitions.
WRLA
Mark Hills
2008 — conf
Towards a Module System for K.
WADT
Mark Hills, Grigore Rosu
2007 — conf
A rewriting approach to the design and evolution of object-oriented languages.
OOPSLA Companion
Mark Hills, Grigore Rosu
2007 — conf
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis.
RTA
Mark Hills, Grigore Rosu
2007 — conf
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.
FMOODS
Mark Hills, Grigore Rosu
2006 — conf
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.
WRLA
Mark Hills, Traian Serbanuta, Grigore Rosu
2004 — conf
An orchestration language for parallel objects.
LCR
Laxmikant V. Kalé, Mark Hills, Chao Huang