Barton P. Miller Jong-Deok Choi A Mechanism for Efficient Debugging of Parallel Programs. 135-144 1988 conf/pldi/1988 PLDI db/conf/pldi/pldi88.html#MillerC88 http://doi.acm.org/10.1145/53990.54004