22 citations · 44 across the 9 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
cs.PL2018★ 2 cited
Correctness of Concurrent Objects under Weak Memory Models
Graeme Smith, Kirsten Winter, Robert J. Colvin
In this paper we develop a theory for correctness of concurrent objects under weak memory models. Central to our definitions is the concept of observations which determine when eff…
cs.PL2018★ 15 cited
A wide-spectrum language for verification of programs on weak memory models
Robert J. Colvin, Graeme Smith
Modern processors deploy a variety of weak memory models, which for efficiency reasons may (appear to) execute instructions in an order different to that specified by the program t…