- What is abstraction anyway? - 8th July, 2017
- Trifecta at Nara - 1st August 2018
- Ad-hoc Frame Conditions are Logical, Separately - 9th November 2015
- The Trouble with Typing Type as Type - 10th September 2015
- Write your Compiler by Proving it Correct - 23rd August, 2015
- A Lattice of Languages is a Verification Buffet - 16th June 2015
- Context splitting and substructural terms - 1st January 2014