Publications

I maintain an up-to-date list of my publications at researchr:

• researchr publication list
• BibTex: bibtex entries for all my publications
• Compact BibTex: 'compact' bibtex entries (e.g. with only acronyms for conferences) to save space in reference section

Pre-prints of some of my publications appear as technical reports:

• TUD-SERG Technical Report Series: since 2006
• UU-CS Technical Reports: 1998-2006
• UvA PRG Technical Reports: 1993-1997

There are a number of other web sites that have a selection of my publications, each useful for different purposes:

• DBLP: reverse chronological listing of most publications
• Google Scholar: publications ordered by citation scores and overall bibliometrics
• Microsoft Academic Search
• ACM Digital Library

All my publications should be available online; let me know if you cannot find the PDF for a particular publication.

Selected Publications

To appear

• A pure embedding of attribute grammars (SCP)

2013

• Integration of data validation and user interface concerns in a DSL for web applications (SoSyM 2013)
• Declarative name binding and scope rules (SLE 2012)

2012

• Natural and flexible error recovery for generated modular language environments (TOPLAS 2012)
• Software development environments on the Web: A research agenda (Onward! 2012)
• Automated evaluation of syntax error recovery (ASE 2012)
• Declarative specification of template-based textual editors (LDTA 2012)
• Reconstructing Complex Metamodel Evolution (SLE 2011)

2011

• Static consistency checking of web applications with WebDSL (JSC 2011)
• Declaratively programming the mobile Web with mobl (OOPSLA 2011)
• Integrated language definition testing. Enabling test-driven language development (OOPSLA 2011)
• Growing a language environment with editor libraries (GPCE 2011)
• Declaratively defining domain-specific language debuggers (GPCE 2011)
• Generating database migration for evolving web applications (GPCE 2011)

2010

• Preventing injection attacks with syntax embeddings (SCP 2010)
• Pure and declarative syntax definition: Paradise lost and regained (Onward! 2010)
• The Spoofax Language Workbench. Rules for declarative specification of languages and IDEs (OOPSLA 2010)
• Code generation by model transformation (SoSyM 2010)
• Interactive disambiguation of meta programs with concrete object syntax (SLE 2010)
• Separation of concerns and linguistic integration in WebDSL (IEEE Software 2010)

2009

• PIL: A platform independent language for retargetable DSLs (SLE 2009)
• Natural and flexible error recovery for generated parsers (SLE 2009)
• Providing rapid feedback in generated modular language environments. Adding error recovery to scannerless generalized-LR parsing (OOPSLA 2009)
• Decorated attribute grammars. Attribute evaluation meets strategic programming (CC 2009)

2008

• Declarative access control for WebDSL (ICWE 2008)
• Parse table composition. Separate compilation and binary extensibility of grammars (SLE 2008)
• Mixing source and bytecode. A case for compilation by normalization (OOPSLA 2008)
• Stratego/XT 0.17. A language and toolset for program transformation (SCP 2008)

2007

• WebDSL: A case study in domain-specific language engineering (GTTSE 2007)
• Designing syntax embeddings and assimilations for language libraries (MoDELS 2007)

2006

• Declarative, formal, and extensible syntax definition for AspectJ (OOPSLA 2006)
• Program transformation with scoped dynamic rewrite rules (FI 2006)

2005

• A survey of strategies in rule-based program transformation systems (JSC 2005)
• Generalized type-based disambiguation of meta programs with concrete object syntax (GPCE 2005)
• Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules (CC 2005)

2004

• Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (OOPSLA 2004)
• Nix: A safe and policy-free system for software deployment (LISA 2004)
• Imposing a memory management discipline on software deployment (ICSE 2004)

2003

• Program transformation with Stratego/XT: Rules, strategies, tools, and systems in Stratego/XT 0.9
• Strategic programming meets adaptive programming (AOSD 2003)

2002

• Meta-programming with concrete object syntax (GPCE 2002)
• Rewriting strategies for instruction selection (RTA 2002)
• Building interpreters with rewriting strategies (LDTA 2002)
• Disambiguation filters for scannerless generalized LR parsers (CC 2002)

2001

• Stratego: A language for program transformation based on rewriting strategies (RTA 2001)
• Scoped dynamic rewrite rules (ENTCS 2001)

1999

• Strategic pattern matching (RTA 1999)

1998

• Building program optimizers with rewriting strategies (ICFP 1998)
• A core language for rewriting (ENTCS 1998)
• Polymorphic syntax definition (TCS 1998)

1997

• Syntax definition for language prototyping (Dissertation)
• Specification of rewriting strategies (ASF+SDF 1997)
• A case study in optimizing parsing schemata by disambiguation filters (IWPT 1997)

1996

• Generation of formatters for context-free languages (TOSEM 1996)

1994

• Using filters for the disambiguation of context-free grammars