most citedRegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2020★ 1 cited

RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

Xiaoxue Ma, Shangru Wu, Ernest Pobee +4

Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code…