7 citations · 15 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 5 cited
Exposing Non-Atomic Methods of Concurrent Objects
Michael Emmi, Constantin Enea
Multithreaded software is typically built with specialized concurrent objects like atomic integers, queues, and maps. These objects' methods are designed to behave according to cer…
cs.PL2017
Proving linearizability using forward simulations
Ahmed Bouajjani, Michael Emmi, Constantin Enea +1
Linearizability is the standard correctness criterion concurrent data structures such as stacks and queues. It allows to establish observational refinement between a concurrent imp…