default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark Hills 0001
Person information
- affiliation: Appalachian State University, Boone, NC, USA
- affiliation (former): East Carolina University, Greenville, NC, USA
- affiliation (PhD 2009): University of Illinois at Urbana-Champaign, Urbana, IL, USA
Other persons with the same name
- Mark Hills — disambiguation page
- Mark Hills 0002 — University of Nottingham, UK
- Mark Hills 0003 — Framestone
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c33]Luke Swearngan, Mark Hills
:
Enabling Go Program Analysis in Rascal. SCAM 2023: 242-247- 2021
- [j3]Neil A. Ernst, Mark Hills, Árpád Beszédes:
Introduction to the Special Issue on Source Code Analysis and Manipulation 2018. J. Syst. Softw. 178: 110702 (2021) - [c32]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:
Designing Dissemination and Validation of a Framework for Teaching Cloud Fundamentals. ITiCSE-WGR 2021: 163-181 - [c31]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:
Planning a Conceptual Framework Approach for Teaching Cloud Fundamentals. ITiCSE (2) 2021: 605-606 - [p2]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:
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p1]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:
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - 2020
- [c30]Mark Hills:
Introducing DevOps Techniques in a Software Construction Class. CSEE&T 2020: 1-5 - [c29]Joshua Adams, Brian Hainey, Laurie White, Derek Foster, Narine Hall, Mark Hills, Sara Hooshangi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott, Carmen Taglienti:
Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion. ITiCSE-WGR 2020: 151-172 - [c28]Joshua Adams, Brian Hainey, Laurie White, Derek Foster, Narine Hall, Mark Hills, Sara Hooshangi, Karthik Kuber, Sajid Nazir, Majd Sakr, Lee Stott, Carmen Taglienti:
Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion. ITiCSE 2020: 510-511
2010 – 2019
- 2017
- [j2]Mark Hills, Paul Klint, Jurgen J. Vinju:
Enabling PHP software engineering research in Rascal. Sci. Comput. Program. 134: 37-46 (2017) - [c27]David Anderson, Mark Hills:
Supporting Analysis of SQL Queries in PHP AiR. SCAM 2017: 153-158 - [c26]David Anderson, Mark Hills:
Query Construction Patterns in PHP. SANER 2017: 452-456 - 2016
- [c25]Mark Hills:
Navigating the WordPress plugin landscape. ICPC 2016: 1-10 - 2015
- [j1]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:
Modular language implementation in Rascal - experience report. Sci. Comput. Program. 114: 7-19 (2015) - [c24]Mark Hills:
Variable Feature Usage Patterns in PHP (T). ASE 2015: 563-573 - [c23]Mark Hills:
Supporting PHP dynamic analysis in PHP AiR. WODA@SPLASH 2015: 37-38 - [c22]Bas Basten, Mark Hills, Paul Klint, Davy Landman, Ashim Shahi, Michael J. Steindorfer, Jurgen J. Vinju:
M3: A general model for code analytics in rascal. SWAN@SANER 2015: 25-28 - [c21]Mark Hills:
Evolution of dynamic feature usage in PHP. SANER 2015: 525-529 - 2014
- [c20]Mark Hills, Paul Klint:
PHP AiR: Analyzing PHP systems with Rascal. CSMR-WCRE 2014: 454-457 - [c19]Mark Hills, Paul Klint, Jurgen J. Vinju:
Static, lightweight includes resolution for PHP. ASE 2014: 503-514 - [c18]Mark Hills:
Streamlining Control Flow Graph Construction with DCFlow. SLE 2014: 322-341 - [e1]Mark Hills:
Proceedings of the Second International Workshop on the K Framework and its Applications, K 2011, Cheile Grădiştei, Romania, August 8-12, 2011. Electronic Notes in Theoretical Computer Science 304, Elsevier 2014 [contents] - 2013
- [c17]Mark Hills, Paul Klint, Jurgen J. Vinju:
An empirical study of PHP feature usage: a static analysis perspective. ISSTA 2013: 325-335 - 2012
- [c16]Mark Hills, Paul Klint, Jurgen J. Vinju:
Scripting a refactoring with Rascal and Eclipse. WRT@ICSE 2012: 40-49 - [c15]Mark Hills, Paul Klint, Jurgen J. Vinju:
Meta-language Support for Type-Safe Access to External Resources. SLE 2012: 372-391 - [c14]Mark Hills, Paul Klint, Jurgen J. Vinju:
Program Analysis Scenarios in Rascal. WRLA 2012: 10-30 - [i1]Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
A One-Stop-Shop for Software Evolution Tool Construction. ERCIM News 2012(88) (2012) - 2011
- [c13]Mark Hills, Paul Klint, Jurgen J. Vinju:
RLSRunner: Linking Rascal with K for Program Analysis. SLE 2011: 344-353 - [c12]Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
A Case of Visitor versus Interpreter Pattern. TOOLS (49) 2011: 228-243 - [c11]Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
Rascal: From Algebraic Specification to Meta-Programming. AMMSE 2011: 15-32 - [c10]Mark Hills:
Preface. K 2011: 1-2 - 2010
- [c9]Mark Hills, Grigore Rosu:
A Rewriting Logic Semantics Approach to Modular Program Analysis. RTA 2010: 151-160
2000 – 2009
- 2009
- [b1]Mark Hills:
A Modular Rewriting Approach to Language Design, Evolution and Analysis. University of Illinois at Urbana-Champaign, United States of America, 2009 - 2008
- [c8]Mark Hills, Grigore Rosu:
Towards a Module System for K. WADT 2008: 187-205 - [c7]Mark Hills, Feng Chen, Grigore Rosu:
A Rewriting Logic Approach to Static Checking of Units of Measurement in C. RULE 2008: 51-67 - [c6]Mark Hills:
Memory Representations in Rewriting Logic Semantics Definitions. WRLA 2008: 155-172 - 2007
- [c5]Mark Hills, Grigore Rosu:
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance. FMOODS 2007: 107-121 - [c4]Mark Hills, Grigore Rosu:
A rewriting approach to the design and evolution of object-oriented languages. OOPSLA Companion 2007: 827-828 - [c3]Mark Hills, Grigore Rosu:
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis. RTA 2007: 246-256 - 2006
- [c2]Mark Hills, Traian Serbanuta, Grigore Rosu:
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. WRLA 2006: 215-231 - 2004
- [c1]Laxmikant V. Kalé, Mark Hills, Chao Huang:
An orchestration language for parallel objects. LCR 2004: 11:1-11:6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
