- Publication Storm for Cogent! - 11th June 2016
- Ad-hoc Frame Conditions are Logical, Separately - 9th November 2015
- A Lattice of Languages is a Verification Buffet - 16th June 2015
- Context splitting and substructural terms - 1st January 2014
- SAPLING 2013 - 16th December 2013
- FP-Syd Talk on CDSL (and TFS) - 16th October 2013