research
∙
03/10/2020
An abstract semantics of speculative execution for reasoning about security vulnerabilities
Reasoning about correctness and security of software is increasingly dif...
research
∙
10/23/2018
Correctness of Concurrent Objects under Weak Memory Models
In this paper we develop a theory for correctness of concurrent objects ...
research
∙
02/14/2018
A sound and complete definition of linearizability on weak memory models
Linearizability is the standard correctness notion for concurrent object...
research
∙
10/09/2017