Alan Jeffrey
Mozilla
Pesquisa mais recente
-
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
8 de Março de 2019 -
The Code That Never Ran: Modeling Attacks on Speculative Evaluation
1 de Janeiro de 2019 -
Josephine: Using JavaScript to safely manage the lifetimes of Rust data
1 de Dezembro de 2018
