While I try to keep this list up-to-date, some additional information may sometimes be found on my list of publications on DBLP .

Journal publications

2006

• abc: an extensible compiler for AspectJ (TAOSD 2006 - journal version of AOSD 2005)

Peer-reviewed publications

2008

• Efficient Local Type Inference (OOPSLA 2008)
• Type Inference for Datalog and its Application to Query Optimisation (PODS 2008)
• Adding Magic to an Optimising Datalog Compiler (SIGMOD 2008)
• Modularity First: The Case for Combining Attribute Grammars and AOP (AOSD 2008)

2007

• Making Trace Monitoring Feasible (OOPSLA 2007)
• On the Semantics of Matching Trace Monitoring Patterns (RV 2007)
• Semantics of Static Pointcuts in AspectJ (POPL 2007)

2006

• abc: an extensible compiler for AspectJ (TAOSD 2006 - journal version of AOSD 2005)
• Adding open modules to AspectJ (AOSD 2006)

2005

• Adding trace matching with free variables to AspectJ (OOPSLA 2005)
• Optimising AspectJ (PLDI 2005)
• abc: an extensible compiler for AspectJ (AOSD 2005)

Invited publications

2007

• .QL for Source Code Analysis (SCAM 2007)
• .QL: Object-Oriented Queries Made Easy (GTTSE 2008)

2006

• Aspects for Trace Monitoring (FATES/RV 2006)
• Aspects and Data Refinement (MPC 2006)

2005

• abc: the AspectBench Compiler for AspectJ (GPCE 2005)

Other publications

2007

• A comparison of compilation techniques for trace monitors with free variables (OOPSLA Companion 2007)

2006

• Datalog as a pointcut language in aspect-oriented programming (OOPSLA Companion 2006)
• Efficient trace monitoring (OOPSLA Companion 2006)

2005

• abc: the AspectBench compiler for AspectJ -- A workbench for aspect-oriented programming language and compilers research (OOPSLA Companion 2005)