| 1997 | HPDC | Replaying Distributed Programs without Message Logging. | Robert H. B. Netzer, Yikang Xu |
| 1997 | SRDS | Preventing Useless Checkpoints in Distributed Computations. | Jean-Michel Hlary, Achour Mostfaoui, Robert H. B. Netzer, Michel Raynal |
| 1996 | ESA | Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). | Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer |
| 1994 | ICDCS | Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. | Robert H. B. Netzer, Sairam Subramanian, Jian Xu |
| 1994 | PLDI | Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. | Robert H. B. Netzer, Mark H. Weaver |
| 1993 | SC | Adaptive message logging for incremental replay of message-passing programs. | Robert H. B. Netzer, Jian Xu |
| 1993 | WADS | Detecting Race Conditions in Parallel Programs that Use One Semaphore. | Hsueh-I Lu, Philip N. Klein, Robert H. B. Netzer |
| 1992 | ICPP | Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization. | Robert H. B. Netzer, Sanjoy Ghosh |
| 1992 | SC | Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. | Robert H. B. Netzer, Barton P. Miller |
| 1991 | ISCA | Detecting Data Races on Weak Memory Systems. | Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H. B. Netzer |
| 1991 | PPoPP | Improving the Accuracy of Data Race Detection. | Robert H. B. Netzer, Barton P. Miller |
| 1990 | ICPP | On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. | Robert H. B. Netzer, Barton P. Miller |