Alan Jeffrey
Investigaciones más recientes
-
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
8 de marzo de 2019 -
The Code That Never Ran: Modeling Attacks on Speculative Evaluation
1 de enero de 2019 -
Josephine: Using JavaScript to safely manage the lifetimes of Rust data
1 de diciembre de 2018