On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. - Robert H. B. Netzer; Barton P. Miller (ICPP (2), 1990)

Detecting Data Races on Weak Memory Systems. - Sarita V. Adve; Mark D. Hill; Barton P. Miller; Robert H. B. Netzer (ISCA, 1991)

Improving the Accuracy of Data Race Detection. - Robert H. B. Netzer; Barton P. Miller (PPoPP, 1991)

Techniques for Debugging Parallel Programs with Flowback Analysis. - Jong-Deok Choi; Barton P. Miller; Robert H. B. Netzer (ACM Trans. Program. Lang. Syst., 1991)

Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization. - Robert H. B. Netzer; Sanjoy Ghosh (ICPP (2), 1992)

Experience with Techniques for Refining Data Race Detection. - Robert H. B. Netzer; Barton P. Miller (LCPC, 1992)

What Are Race Conditions? Some Issues and Formalizations. - Robert H. B. Netzer; Barton P. Miller (LOPLAS, 1992)

Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs. - Robert H. B. Netzer (LCPC, 1993)

Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs. - Robert H. B. Netzer (Workshop on Parallel and Distributed Debugging, 1993)

A Bibliography of Parallel Debuggers, 1993 Eddition. - Cherri M. Pancake; Robert H. B. Netzer (Workshop on Parallel and Distributed Debugging, 1993)

Adaptive message logging for incremental replay of message-passing programs. - Robert H. B. Netzer; Jian Xu (SC, 1993)

Adaptive Independent Checkpointing for Reducing Rollback Propagation. - Jian Xu; Robert H. B. Netzer (SPDP, 1993)

Detecting Race Conditions in Parallel Programs that Use One Semaphore. - Hsueh-I Lu; Philip N. Klein; Robert H. B. Netzer (WADS, 1993)

Adaptive message logging for incremental program replay. - Robert H. B. Netzer; Jian Xu (IEEE Parallel Distributed Technol. Syst. Appl., 1993)

Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. - Robert H. B. Netzer; Sairam Subramanian; Jian Xu (ICDCS, 1994)

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. - Robert H. B. Netzer; Mark H. Weaver (PLDI, 1994)

Sender-based message logging for reducing rollback propagation. - Jian Xu; Robert H. B. Netzer; Milon Mackey (SPDP, 1995)

Optimal tracing and replay for debugging message-passing parallel programs. - Robert H. B. Netzer; Barton P. Miller (J. Supercomput., 1995)

Necessary and Sufficient Conditions for Consistent Global Snapshots. - Robert H. B. Netzer; Jian Xu (IEEE Trans. Parallel Distributed Syst., 1995)

Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). - Philip N. Klein; Hsueh-I Lu; Robert H. B. Netzer (ESA, 1996)

Debugging race conditions in message-passing programs. - Robert H. B. Netzer; Timothy W. Brennan; Suresh K. Damodaran-Kamal (SPDT, 1996)

Replaying Distributed Programs without Message Logging. - Robert H. B. Netzer; Yikang Xu (HPDC, 1997)

Preventing Useless Checkpoints in Distributed Computations. - Jean-Michel Hélary; Achour Mostéfaoui; Robert H. B. Netzer; Michel Raynal (SRDS, 1997)

Finding Consistent Global Checkpoints in a Distributed Computation. - D. Manivannan 001; Robert H. B. Netzer; Mukesh Singhal (IEEE Trans. Parallel Distributed Syst., 1997)

Consistency Issues in Distributed Checkpoints. - Jean-Michel Hélary; Robert H. B. Netzer; Michel Raynal (IEEE Trans. Software Eng., 1999)

Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. - Jean-Michel Hélary; Achour Mostéfaoui; Robert H. B. Netzer; Michel Raynal (Distributed Comput., 2000)

Deadlock-Free Incremental Replay of Message-Passing Programs. - Franco Zambonelli; Robert H. B. Netzer (J. Parallel Distributed Comput., 2001)

Detecting Race Conditions in Parallel Programs that Use Semaphores. - Philip N. Klein; Robert H. B. Netzer; Hsueh-I Lu (Algorithmica, 2003)