Damien Sereni's Publications

A list of my publications is available below. I try to keep this list up to date, but you might also want to look me up in Google Scholar or DBLP.

Refereed Publications

• Efficient Local Type Inference (to appear in OOPSLA 2008)
• Type Inference for Datalog and its Application to Query Optimisation (PODS 2008)
• Adding Magic to an Optimising Datalog Compiler (SIGMOD 2008)
• Termination Analysis and Call Graph Construction for Higher-Order Functional Programs (ICFP 2007)
• Semantics of Static Pointcuts in AspectJ (POPL 2007)
• abc: an extensible AspectJ compiler (Transactions on Aspect-Oriented Software Development 1)
• Termination Analysis of Higher-Order Functional Programs (APLAS 2005)
• Adding trace matching with free variables to AspectJ (OOPSLA 2005)
• Optimising AspectJ (PLDI 2005)
• abc: an extensible compiler for AspectJ (AOSD 2005)
• Static analysis of aspects (AOSD 2003)

Invited Publications

• .QL for Source Code Analysis (SCAM 2007)
• .QL: Object-Oriented Queries Made Easy (GTTSE 2007)
• Aspects for Trace Monitoring (FATES/RV 2006)
• Aspects for Data Refinement (MPC 2006)
• abc: the AspectBench Compiler for AspectJ (GPCE 2005)
• Termination Analysis of Higher-Order Functional Programs (PAT 2005 Summer School)

Thesis

My thesis was entitled Termination analysis of higher-order functional programs and was completed in June 2006.