3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.DC2017★ 1 cited
Locality and Singularity for Store-Atomic Memory Models
Egor Derevenetc, Roland Meyer, Sebastian Schweizer
Robustness is a correctness notion for concurrent programs running under relaxed consistency models. The task is to check that the relaxed behavior coincides (up to traces) with se…
cs.PL2012★ 3 cited
Checking Robustness against TSO
Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
We present algorithms for checking and enforcing robustness of concurrent programs against the Total Store Ordering (TSO) memory model. A program is robust if all its TSO computati…