3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…