Talks

Last modified 08 March 2008

Some of the talks I have given are listed below:

Static Pointcuts as Program Queries: from Semantics to Implementation. Imperial College London, 5 March 2008
Termination Analysis and Call Graph Construction for Higher-Order Functional Programs. International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, 1 October 2007.
Termination Analysis for Higher-Order Functional Programs. NEILFEST (workshop for Neil Jones), Copenhagen, Denmark, 25 August 2007.
Termination Analysis and Call Graph Construction for Higher-Order Functional Programs. Cambridge University Programming Research Group, 22 June 2007.
Static Analysis of Aspects. Centre for Metacomputation launch day, Oxford, 4 May 2006.
Termination Analysis of Higher-Order Functional Programs. Asian Symposium on Programming Languages and Systems (APLAS 2005), Tsukuba, Japan, 5 November 2005.
Adding Trace Matching with Free Variables to AspectJ. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2005), San Diego, USA, 20 October 2005.
Size-Change Termination for Higher-Order Functional Programs. Summer School on Program Analysis and Transformation (PAT 2005), Copenhagen, Denmark, June 2005.