Publications

Composing Model-Based Analysis Tools, Chapter 4: Composition of Languages, Models, and Analyses
Composing Model-Based Analysis Tools, Chapter 2: Foundations
Planning a Conceptual Framework Approach for Teaching Cloud Fundamentals
Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion (Report)
Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion (Abstract)
Supporting Analysis of SQL Queries in PHP AiR
Query Construction Patterns in PHP
Enabling PHP Software Engineering Research in Rascal
Navigating the WordPress Plugin Landscape
Modular language implementation in Rascal - experience report
Variable Feature Usage Patterns in PHP
Supporting PHP Dynamic Analysis in PHP AiR
M3: A General Model for Source Code Analytics in Rascal
Evolution of Dynamic Feature Usage in PHP
Static, Lightweight Includes Resolution for PHP
PHP AiR: Analyzing PHP Systems with Rascal
Enabling PHP Software Engineering Research in Rascal
An Empirical Study of PHP Feature Usage: A Static Analysis Perspective
Meta-Language Support for Type-Safe Access to External Resources
Scripting a Refactoring with Rascal and Eclipse
Program Analysis Scenarios in Rascal
A One-Stop-Shop for Software Evolution Tool Construction
RLSRunner: Linking Rascal with K for Program Analysis
Rascal: From Algebraic Specification to Meta-Programming (Invited Paper)
A Case of Visitor versus Interpreter Pattern
A Rewriting Logic Semantics Approach to Modular Program Analysis
A Rewriting Logic Approach to Static Checking of Units of Measurement in C
Towards a Module System for K
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
An Orchestration Language for Parallel Objects