Jamie Wright

Certified Infinite Descent Criteria

by Jamie Wright, Liron Cohen, Reuben Rowe and Andrei Popescu

A formalized programming language with speculative execution

by Jamie Wright and Andrei Popescu

Secret-Directed Unwinding

by Brijesh Dongol, Matthew Griffin, Andrei Popescu and Jamie Wright

Relative Security

by Andrei Popescu and Jamie Wright

More Operations on Lazy Lists

by Andrei Popescu and Jamie Wright