Alan Jeffrey

Utafiti wa hivi karibuni

• 

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

  Machi 8, 2019
• 

  The Code That Never Ran: Modeling Attacks on Speculative Evaluation

  Jan. 1, 2019
• 

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

  Dis. 1, 2018