• 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