Many of these presentations are associated with paper presentations at conferences, and can also be found with the associated paper on the publications pages. Some of these are presentations I've given for internal research seminars that I thought could be of interest, so I've posted those as well.
Supporting Analysis of SQL Queries in PHP AiR
, presented at SCAM 2017
, Engineering Track, September 2017, Shanghai, China.
Query Construction Patterns in PHP
, presented at SANER 2017
, ERA Track, February 2017, Klagenfurt, Austria.
Navigating the WordPress Plugin Landscape
, presented at ICPC 2016
, May 2016, Austin, Texas, USA.
Variable Feature Usage Patterns in PHP
, presented at ASE 2015
, November 2015, Lincoln, Nebraska, USA.
Supporting PHP Dynamic Analysis in PHP AiR
, presented at WODA 2015
, October 2015, Pittsburgh, Pennsylvania, USA.
Evolution of Dynamic Feature Usage in PHP
, presented at SANER 2015
, ERA Track, March 2015, Montreal, Quebec, Canada.
Domain-Specific Languages for Program Analysis
, presented at OOPSLE 2015
, March 2015, Montreal, Quebec, Canada.
Static, Lightweight Includes Resolution for PHP
, presented at ASE 2014
, September 2014, Vasteras, Sweden.
Streamlining Control-Flow Graph Construction with DCFlow
, presented at SLE 2014
, September 2014, Vaseras, Sweden.
PHP AiR: Analyzing PHP Systems with Rascal
, presented at IEEE CSMR-WCRE 2014 Software Evolution Week
, February 2014, Antwerp, Belgium.
Capturing Programmer Intent with Extensible Annotation Systems
, presented at OOPSLE 2014
, February 2014, Antwerp, Belgium.
An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
, presented at ISSTA 2013
, July 2013, Lugano, Switzerland.
Enabling PHP Software Engineering Research in Rascal
, presented at WASDeTT 2013
, July 2013, Montpellier, France.
Modular Language Specifications for Program Analysis
, presented at SLS 2013
, June 2013, Cambridge, United Kingdon.
Meta-Language Support for Type-Safe Access to External Resources
, presented at SLE 2012
, September 2012, Dresden, Germany.
Streamlining Policy Creation in Policy Frameworks
, presented at WADT 2012
, June 2012, Salamanca, Spain.
Scripting a Refactoring with Rascal and Eclipse
, presented at WRT 2012
, June 2012, Rapperswil, Switzerland.
Program Analysis Scenarios in Rascal
, presented at WRLA 2012
, March 2012, Tallinn, Estonia.
RLSRunner and KRunner: Linking Rascal with K for Program Analysis and Execution
, presented at K 2011
, August 2011, Cheile Gradistei, Romania.
RLSRunner: Linking Rascal with K for Program Analysis
, presented at SLE 2011
, July 2011, Braga, Portugal.
Meta-Programming and MDE with Rascal
, presented at AMMSE 2011
, June 2011, Zurich, Switzerland.
Building an IDE with Rascal
, presented at the INRIA Software Engineering Conference (Devexp)
, May 2011, CWI, Amsterdam, The Netherlands.
A Rewriting Logic Semantics Approach to Modular Program Analysis
, presented at RTA 2010
, July 2010, Edinburgh, Scotland, UK.
A Modular Rewriting Approach to Language Design, Evolution and Analysis
, presented for my thesis defense, August 2009, UIUC.
, presented for FSL group meeting, August 2009, UIUC. This provides some details about monads as used in denotational semantics, including a number of references.
The C Policy Framework
, presented for FSL group meeting, March 2009, UIUC. This provides some details about our work on the C Policy Framework, a program analysis framework for C written using Maude.
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
, presented at RULE 2008
, July 2008, Hagenberg, Austria.
Towards a Module System for K
, presented at WADT 2008
, June 2008, Pisa, Italy.
Memory Representations in Rewriting Logic Semantics Definitions
, presented at WRLA 2008
, March 2008, Budapest, Hungary.
A Rewriting Approach to the Design and Evolution of Object-Oriented Languages
, presented at the ECOOP 2007 Doctoral Symposium
, July 2007, Berlin, Germany.
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
, presented at RTA 2007
, June 2007, Paris, France.
On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance
, presented at FMOODS 2007
, June 2007, Paphos, Cyprus.