Robert H. B. Netzer

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