Recent & Upcoming Talks

Mark Hills
Jun 25, 2013
Modular Language Specifications for Program Analysis
PDF
Mark Hills, Paul Klint, Jurgen Vinju
Sep 26, 2012
Meta-Language Support for Type-Safe Access to External Resources
PDF
Mark Hills
Jun 7, 2012
Streamlining Policy Creation in Policy Frameworks
PDF
Mark Hills, Paul Klint, Jurgen Vinju
Jun 1, 2012
Scripting a Refactoring with Rascal and Eclipse
PDF
Mark Hills, Paul Klint, Jurgen Vinju
Mar 25, 2012
Rascal: Meta-Programming for Program Analysis
PDF
Mark Hills, Paul Klint, Jurgen Vinju
Sep 8, 2011
RLSRunner and KRunner: Linking Rascal with K for Program Analysis and Execution
PDF
Mark Hills, Paul Klint, Jurgen Vinju
Jul 3, 2011
RLSRunner: Linking Rascal with K for Program Analysis
PDF
Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen Vinju
Jun 30, 2011
Meta-Programming and MDE with Rascal
PDF
Mark Hills, Grigore Rosu
Jul 11, 2010
A Rewriting Logic Semantics Approach to Modular Program Analysis
PDF
Mark Hills, Feng Chen, Grigore Rosu
Jul 18, 2008
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
PDF