Alan Jeffrey

Mozilla

Dernières recherches

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

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

1 janvier 2019
Josephine: Using JavaScript to safely manage the lifetimes of Rust data

1 décembre 2018

Parcourir tous les projets (4)