Jamie Wright

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 📧