Publications
links to papers I have (co-)authored
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)