James Riely

DePaul University

Lêste ûndersyk

On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory

March 8, 2019
The Code That Never Ran: Modeling Attacks on Speculative Evaluation

Jan. 1, 2019
A Model of Navigation History

Aug. 18, 2016