14 citations · 48 across the 26 of their papers we have counts for
Showing 2015 · cs.PLShow all
2 papers · 2 filters
cs.PL2015★ 1 cited
Pointer Race Freedom
Frédéric Haziza, Lukáš Holík, Roland Meyer +1
We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the…
cs.PL2015★ 1 cited
Lazy TSO Reachability
Ahmed Bouajjani, Georgel Calin, Egor Derevenetc +1
We address the problem of checking state reachability for programs running under Total Store Order (TSO). The problem has been shown to be decidable but the cost is prohibitive, na…