1. Workshop on Parallel and Distributed Debugging 1988: Madison, Wisconsin

Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, May 5-6, 1988, University of Wisconsin, Madison, Wisconsin. SIGPLAN Notices 24(1), January 1989, ISBN 0-89791-296-9

Workshop Summary

Distributed Systems Implementation

I. J. P. Elshoff: A Distributed Debugger for Amoeba. 1-10 BibTeX
Peter C. Bates: Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior. 11-22 BibTeX
Chu-Chung Lin, Richard J. LeBlanc: Event-Based Debugging of Object/Action Programs. 23-34 BibTeX

OS Interface/RealTime Systems

David D. Redell: Experience with Topaz TeleDebugging. 35-44 BibTeX
David L. Black, David B. Golub, Karl Hauth, Avadis Tevanian, Richard Sanzi: The Mach Exception Handling Facilty. 45-56 BibTeX
Larry D. Wittie: Debugging Distributed C Programs by Real Time Replay. 57-67 BibTeX
Hideyuki Tokuda, Makoto Kotera, Clifford W. Mercer: A Real-Time Monitor for a Distributed Real-Time Operating System. 68-77 BibTeX

Static Analysis

William F. Appelbe, Charles E. McDowell: Integrating Tools for Debugging and Developing Multitask Programs. 78-88 BibTeX
Perry A. Emrath, David A. Padua: Automatic Detection of Nondeterminacy in Parallel Programs. 89-99 BibTeX
David Callahan, Jaspal Subhlok: Static Analysis of Low-level Synchronization. 100-111 BibTeX

Reverse Execution and Replay

Stuart I. Feldman, Channing B. Brown: Igor: A System for Program Debugging via Reversible Execution. 112-123 BibTeX
Douglas Z. Pan, Mark A. Linton: Supporting Reverse Execution of Parallel Programs. 124-129 BibTeX
Alessandro Forin: Debugging of Heterogeneous Parallel Systems. 130-140 BibTeX
Barton P. Miller, Jong-Deok Choi: A Mechanism for Efficient Debugging of Parallel Programs. 141-150 BibTeX

Multiprocessors

Ziya Aral, Ilya Gertner: High-Level Debugging in Parasight. 151-162 BibTeX
Robert J. Fowler, Thomas J. LeBlanc, John M. Mellor-Crummey: An Integrated Approach to Parallel Program Debugging and Performance Analysis of Large-Scal Multiprocessors. 163-173 BibTeX
Bernd Bruegge, Thomas R. Gross: A Program Debugger for a Systolic Array: Design and Implementation. 174-182 BibTeX
Colin J. Fidge: Partial Orders for Parallel Debugging. 183-194 BibTeX

Execution Animation

Alfred Hough, Janice E. Cuny: Initial Experiences with a Pattern-Oriented Parallel Debugger. 195-205 BibTeX
David Socha, Mary L. Bailey, David Notkin: Voyeur: Graphical Views of Parallel Programs. 206-216 BibTeX
Robert V. Rubin, Larry Rudolph, Dror Zernik: Debugging Parallel Programs in Parallel. 216-225 BibTeX
Janice M. Stone: A Graphical Representation of Concurrent Processes. 226-235 BibTeX

Formal Analysis/Logic Programming

Wenwey Hseush, Gail E. Kaiser: Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language. 236-247 BibTeX
Yossi Lichtenstein, Ehud Y. Shapiro: Concurrent Algorithmic Debugging. 248-260 BibTeX
E. Jane Cameron, David M. Cohen: The IC* System for Debugging Parallel Programs via Interactive Monitoring and Control. 261-270 BibTeX
Germán S. Goldszmidt, Shmuel Katz, Shaula Yemini: Interactive Blackbox Debugging for Concurrent Languages. 271-282 BibTeX 271