Ad-hoc Frame Conditions are Logical, Separately - 9th November 2015 A Lattice of Languages is a Verification Buffet - 16th June 2015 SAPLING 2013 - 16th December 2013 Imperative Reasoning is Hard - 13th November 2013