Recent & Upcoming Talks

2019

Understanding Database Usage in PHP Systems: Current and Future Work

2017

Supporting Analysis of SQL Queries in PHP AiR

Query Construction Patterns in PHP

2016

Navigating the WordPress Plugin Landscape

2015

Variable Feature Usage Patterns in PHP

Supporting PHP Dynamic Analysis in PHP AiR

Domain-Specific Languages for Program Analysis

Evolution of Dynamic Feature Usage in PHP

2014

Streamlining Control Flow Graph Construction with DCFlow

Static, Lightweight Includes Resolution for PHP

PHP AiR: Analyzing PHP Systems with Rascal

Capturing Programmer Intent with Extensible Annotation Systems

2013

An Empirical Study of PHP Feature Usage: A Static Analysis Perspective

Enabling PHP Software Engineering Research in Rascal

Modular Language Specifications for Program Analysis

2012

Meta-Language Support for Type-Safe Access to External Resources

Streamlining Policy Creation in Policy Frameworks

Scripting a Refactoring with Rascal and Eclipse

Rascal: Meta-Programming for Program Analysis

2011

RLSRunner and KRunner: Linking Rascal with K for Program Analysis and Execution

RLSRunner: Linking Rascal with K for Program Analysis

Meta-Programming and MDE with Rascal

2010

A Rewriting Logic Semantics Approach to Modular Program Analysis

2008

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Towards a Module System for K

Memory Representations in Rewriting Logic Semantics Definitions

2007

A Rewriting Approach to the Design and Evolution of Object-Oriented Languages

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

On Formal Analysis of OO Languages using Rewriting Logic: Designing for Performance