9 citations · 26 across the 12 of their papers we have counts for
Showing 2017 · cs.PLShow all
2 papers · 2 filters
cs.PL2017
Checking Linearizability of Concurrent Priority Queues
Ahmed Bouajjani, Constantin Enea, Chao Wang
Efficient implementations of concurrent objects such as atomic collections are essential to modern computing. Programming such objects is error prone: in minimizing the synchroniza…
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…