Robert H. B. Netzer

Publication Activity (10 Years)

Years Active: 1990-2003
Publications (10 Years): 0

Publications

Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu
Detecting Race Conditions in Parallel Programs that Use Semaphores. Algorithmica 35 (4) (2003)
Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer
Detecting Race Conditions in Parallel Programs that Use Semaphores CoRR (2002)
Franco Zambonelli, Robert H. B. Netzer
Deadlock-Free Incremental Replay of Message-Passing Programs. J. Parallel Distributed Comput. 61 (5) (2001)
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
Communication-Based Prevention of Useless Checkpoints in Fistributed Computations. Distributed Comput. 13 (1) (2000)
Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal
Consistency Issues in Distributed Checkpoints. IEEE Trans. Software Eng. 25 (2) (1999)
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal
Preventing Useless Checkpoints in Distributed Computations. SRDS (1997)
D. Manivannan, Robert H. B. Netzer, Mukesh Singhal
Finding Consistent Global Checkpoints in a Distributed Computation. IEEE Trans. Parallel Distributed Syst. 8 (6) (1997)
Robert H. B. Netzer, Yikang Xu
Replaying Distributed Programs without Message Logging. HPDC (1997)
Robert H. B. Netzer, Timothy W. Brennan, Suresh K. Damodaran-Kamal
Debugging race conditions in message-passing programs. SPDT (1996)
Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer
Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract). ESA (1996)
Robert H. B. Netzer, Barton P. Miller
Optimal tracing and replay for debugging message-passing parallel programs. J. Supercomput. 8 (4) (1995)
Jian Xu, Robert H. B. Netzer, Milon Mackey
Sender-based message logging for reducing rollback propagation. SPDP (1995)
Robert H. B. Netzer, Jian Xu
Necessary and Sufficient Conditions for Consistent Global Snapshots. IEEE Trans. Parallel Distributed Syst. 6 (2) (1995)
Robert H. B. Netzer, Mark H. Weaver
Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs. PLDI (1994)
Robert H. B. Netzer, Sairam Subramanian, Jian Xu
Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. ICDCS (1994)
Robert H. B. Netzer, Jian Xu
Adaptive message logging for incremental replay of message-passing programs. SC (1993)
Robert H. B. Netzer
Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs. LCPC (1993)
Robert H. B. Netzer
Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs. Workshop on Parallel and Distributed Debugging (1993)
Cherri M. Pancake, Robert H. B. Netzer
A Bibliography of Parallel Debuggers, 1993 Eddition. Workshop on Parallel and Distributed Debugging (1993)
Robert H. B. Netzer, Jian Xu
Adaptive message logging for incremental program replay. IEEE Parallel Distributed Technol. Syst. Appl. 1 (4) (1993)
Jian Xu, Robert H. B. Netzer
Adaptive Independent Checkpointing for Reducing Rollback Propagation. SPDP (1993)
Hsueh-I Lu, Philip N. Klein, Robert H. B. Netzer
Detecting Race Conditions in Parallel Programs that Use One Semaphore. WADS (1993)
Robert H. B. Netzer, Barton P. Miller
What Are Race Conditions? Some Issues and Formalizations. LOPLAS 1 (1) (1992)
Robert H. B. Netzer, Barton P. Miller
Experience with Techniques for Refining Data Race Detection. LCPC (1992)
Robert H. B. Netzer, Sanjoy Ghosh
Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization. ICPP (2) (1992)
Robert H. B. Netzer, Barton P. Miller
Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. SC (1992)
Robert H. B. Netzer, Barton P. Miller
Improving the Accuracy of Data Race Detection. PPOPP (1991)
Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H. B. Netzer
Detecting Data Races on Weak Memory Systems. ISCA (1991)
Jong-Deok Choi, Barton P. Miller, Robert H. B. Netzer
Techniques for Debugging Parallel Programs with Flowback Analysis. ACM Trans. Program. Lang. Syst. 13 (4) (1991)
Robert H. B. Netzer, Barton P. Miller
On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. ICPP (2) (1990)