This page contains a subset of the (mostly public) talks I've given, in reverse chronological order. If you wish to see the slides to a talk that isn't listed here, please contact me, and I'll do my best.
Experiences of implementing a VM with RPython. Presented at Dagstuhl 12011, Jan 5th 2012.
A report on preliminary work on implementing an RPython VM for Converge.
What use for macros / compile-time meta-programming? Presented at Dagstuhl 12011, Jan 4th 2012.
A 5 minute talk, designed to make us think about whether the oft-repeated idea all good languages have macros / CTMP
is undeniably true.
What role for static analysis in malware detection? Presented at 12th CREST Open Workshop Security and Code, April 6th 2011. Video of the talk.
A thought experiment which shows that malware authors will always be able to defeat attempts to identify them with through purely static analysis.
Slicing state-based models. Presented at 10th CREST Open Workshop Security and Code, January 25th 2011. Video of the talk.
An overview of current research on slicing state-based models.
An overview of domain specific languages. Presented at the Software Experts Summit, June 9th 2010.
An overview of DSLs: what they are, where they can help, what the inevitable compromises are, and the questions one should ask oneself before building a DSL.
Mobile applications. Presented at the Computing At School Conference, March 16th 2010.
An overview of developing mobile applications, based on my experiences, aimed at sixth form pupils. The talk also included the development of a small mobile app from scratch, to give pupils an idea of how (relatively) easy it is to get started.
extsmail. Presented at BUNIX (Bournemouth UNIX user group), Nov 19th 2008.
An overview of extsmail, as an example of creating a UNIX daemon. This talk covers the motivation for extsmail, why it was programmed in C, and what some of the challenges in programming it were (and weren't).
Language design: back to the future? Invited talk at the Dynamic Languages Symposium, July 8th 2008.
This talk is an attempt to make us think: about the relative homogeneity of most programming languages; why we've ended up in this situation; and how programming language archaeology can sometimes reinject interesting ideas.