A formalized programming language with speculative execution by Jamie Wright and Andrei Popescu Aug 16