Travelled to:1 × Belgium
1 × Estonia
1 × France
1 × Germany
1 × Portugal
1 × United Kingdom
2 × Sweden
2 × Switzerland
Collaborated with:P.Klint J.J.Vinju G.Rosu ∅ T.Serbanuta T.v.d.Storm
Talks about:analysi (5) php (4) program (3) languag (3) rewrit (3) rascal (3) interpret (2) static (2) logic (2) flow (2)
Person: Mark Hills
DBLP: Hills_0001:Mark
Contributed to:
2014
2014
2014
20132012
20122011
2011
201020072007Wrote 11 papers:
- ASE-2014-HillsKV #lightweight #php
- Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.
- CSMR-WCRE-2014-HillSK #php #rascal
- PHP AiR: Analyzing PHP systems with Rascal (MH, PK), pp. 454–457.
- SLE-2014-Hills #control flow #graph
- Streamlining Control Flow Graph Construction with DCFlow (MH), pp. 322–341.
- ISSTA-2013-HillsKV #empirical #perspective #php #static analysis
- An empirical study of PHP feature usage: a static analysis perspective (MH, PK, JJV), pp. 325–335.
- SLE-2012-HillsKV #metalanguage #type safety
- Meta-language Support for Type-Safe Access to External Resources (MH, PK, JJV), pp. 372–391.
- WRLA-2012-HillsKV #program analysis #rascal
- Program Analysis Scenarios in Rascal (MH, PK, JJV), pp. 10–30.
- SLE-2011-HillsKV #named #program analysis #rascal
- RLSRunner: Linking Rascal with K for Program Analysis (MH, PK, JJV), pp. 344–353.
- TOOLS-EUROPE-2011-HillsKSV #interpreter #visitor
- A Case of Visitor versus Interpreter Pattern (MH, PK, TvdS, JJV), pp. 228–243.
- RTA-2010-HillsR #approach #composition #logic #program analysis #semantics
- A Rewriting Logic Semantics Approach to Modular Program Analysis (MH, GR), pp. 151–160.
- RTA-2007-HillsR #analysis #logic #named #prototype
- KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis (MH, GR), pp. 246–256.
- WRLA-2006-HillsSR07 #framework #generative #performance
- A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters (MH, TS, GR), pp. 215–231.