7 citations · 12 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 1 cited
Effect Summaries for Thread-Modular Analysis
Lukáš Holík, Roland Meyer, Tomáš Vojnar +1
We propose a novel guess-and-check principle to increase the efficiency of thread-modular verification of lock-free data structures. We build on a heuristic that guesses candidates…
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…