Robert H. B. Netzer

According to our database, Robert H. B. Netzer authored at least 28 papers between 1990 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

Detecting Race Conditions in Parallel Programs that Use Semaphores.

Philip N. Klein, Robert H. B. Netzer, Hsueh-I Lu

Algorithmica, 2003

2001

Deadlock-Free Incremental Replay of Message-Passing Programs.

Franco Zambonelli, Robert H. B. Netzer

J. Parallel Distributed Comput., 2001

2000

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

1999

Consistency Issues in Distributed Checkpoints.

Jean-Michel Hélary, Robert H. B. Netzer, Michel Raynal

IEEE Trans. Software Eng., 1999

1997

Finding Consistent Global Checkpoints in a Distributed Computation.

D. Manivannan, Robert H. B. Netzer, Mukesh Singhal

IEEE Trans. Parallel Distributed Syst., 1997

Preventing Useless Checkpoints in Distributed Computations.

Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal

Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

Replaying Distributed Programs without Message Logging.

Robert H. B. Netzer, Yikang Xu

Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

1996

Debugging race conditions in message-passing programs.

Robert H. B. Netzer, Timothy W. Brennan, Suresh K. Damodaran-Kamal

Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, 1996

Race-Condition Detection in Parallel Computation with Semaphores (Extended Abstract).

Philip N. Klein, Hsueh-I Lu, Robert H. B. Netzer

Proceedings of the Algorithms, 1996

1995

Necessary and Sufficient Conditions for Consistent Global Snapshots.

Robert H. B. Netzer, Jian Xu

IEEE Trans. Parallel Distributed Syst., 1995

Optimal tracing and replay for debugging message-passing parallel programs.

Robert H. B. Netzer, Barton P. Miller

J. Supercomput., 1995

Sender-based message logging for reducing rollback propagation.

Jian Xu, Robert H. B. Netzer, Milon Mackey

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

1994

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs.

Robert H. B. Netzer, Mark H. Weaver

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs.

Robert H. B. Netzer, Sairam Subramanian, Jian Xu

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

1993

Adaptive message logging for incremental program replay.

Robert H. B. Netzer, Jian Xu

IEEE Parallel Distributed Technol. Syst. Appl., 1993

Detecting Race Conditions in Parallel Programs that Use One Semaphore.

Hsueh-I Lu, Philip N. Klein, Robert H. B. Netzer

Proceedings of the Algorithms and Data Structures, Third Workshop, 1993

Adaptive Independent Checkpointing for Reducing Rollback Propagation.

Jian Xu, Robert H. B. Netzer

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Adaptive message logging for incremental replay of message-passing programs.

Robert H. B. Netzer, Jian Xu

Proceedings of the Proceedings Supercomputing '93, 1993

A Bibliography of Parallel Debuggers, 1993 Eddition.

Cherri M. Pancake, Robert H. B. Netzer

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs.

Robert H. B. Netzer

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs.

Robert H. B. Netzer

Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992

What Are Race Conditions? Some Issues and Formalizations.

Robert H. B. Netzer, Barton P. Miller

LOPLAS, 1992

Experience with Techniques for Refining Data Race Detection.

Robert H. B. Netzer, Barton P. Miller

Proceedings of the Languages and Compilers for Parallel Computing, 1992

Efficient Race Condition Detection for Shared-Memory Programs with Post/Wait Synchronization.

Robert H. B. Netzer, Sanjoy Ghosh

Proceedings of the 1992 International Conference on Parallel Processing, 1992

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

Improving the Accuracy of Data Race Detection.

Robert H. B. Netzer, Barton P. Miller

Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Detecting Data Races on Weak Memory Systems.

Sarita V. Adve, Mark D. Hill, Barton P. Miller, Robert H. B. Netzer

Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

1990

On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions.

Robert H. B. Netzer, Barton P. Miller

Proceedings of the 1990 International Conference on Parallel Processing, 1990