Trace Based Semantics for Rely Guarantee by Marialena Hadjikosti, Andrei Popescu and Jamie Wright Aug 11
Certified Infinite Descent Criteria by Jamie Wright, Liron Cohen, Reuben Rowe and Andrei Popescu Jun 11
A formalized programming language with speculative execution by Jamie Wright and Andrei Popescu Aug 16