Isolating Determinism in Multi-threaded Programs.

Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan

Browse the full RV paper archive.