2. Workshop on Parallel and Distributed Debugging 1991: Santa Cruz, California

Session Summaries

• Barton P. Miller, Charles E. McDowell: Summary of ACM/ONR Workshop on Parallel and Distributed Debugging. 1-14 BibTeX

Event Tracing

• Allen D. Malony, Daniel A. Reed: Models for Performance Perturbation Analysis. 15-25 BibTeX
• Jong-Deok Choi, Janice M. Stone: Balancing Runtime and Replay Costs in a Trace-and-Replay System. 26-35 BibTeX
• Victor Jon Griswold: Core Algorithms for Autonomous Monitoring of Distributed Systems. 36-45 BibTeX

Visualization/Animation

• Dror Zernik, Larry Rudolph: Animating Work and Time for Debugging Parallel Programs - Foudations and Experience. 46-56 BibTeX
• Carol Kilpatrick, Karsten Schwan: ChaosMON - Application-Specific Monitoring and Display of Performance Information for Parallel and Distributed Systems. 57-67 BibTeX
• Joan M. Francioni, Larry Albright, Jay Alan Jackson: Debugging Parallel Programs Using Sound. 68-75 BibTeX

Static Analysis

• David P. Helmbold, Charles E. McDowell: Computing Reachable States of Parallel Programs. 76-84 BibTeX
• Anne Dinning, Edith Schonberg: Detecting Access Anomalies in Programs with Critical Sections. 85-96 BibTeX
• Stephen P. Masticola, Barbara G. Ryder: A Model of Ada Programs for Static Deadlock Detection in Polynomial Time. 97-107 BibTeX

Debugging Parallelized Code

• Patricia Prather Pineo, Mary Lou Soffa: Debugging Parallelized Code Using Code Liberation Techniques. 108-119 BibTeX
• Andrew P. Tolmach, Andrew W. Appel: Debuggable Concurrency Extensions for Standard ML. 120-131 BibTeX
• Robert Cohn: Source Level Debugging of Automatically Parallelized Code. 132-143 BibTeX

Distributed State

• Arthur P. Goldberg, Ajei S. Gopal, Andy Lowry, Robert E. Strom: Restoring Global States of Distributed Computations. 144-154 BibTeX
• Madalene Spezialetti: An Approach to Reducing Delays in Recognizing Distributed Event Occurrences. 155-166 BibTeX
• Robert Cooper, Keith Marzullo: Consistent Detection of Global Predicates. 167-174 BibTeX

Debugger Architectures

• Michael M. Gorlick: The Flight Recorder: An Architectural Aid for System Monitoring. 175-183 BibTeX
• Bernd Bruegge: A Portable Platform for Distributed Event Environments. 184-193 BibTeX
• David F. Bacon, Seth Copen Goldstein: Hardware-Assisted Replay of Multiprocessor Programs. 194-206 BibTeX