From phrrngtn@dsg.cs.tcd.ie Fri Jan 22 16:32:37 1993 To: jeff@is.s.u-tokyo.ac.jp Subject: Re: Parallel processing In-Reply-To: Your message of sometime earlier Date: Thu, 21 Jan 93 20:26:37 GMT From: "Paul Harrington (Reptile)" Ok, well this is another put-off email since I am about to do some serious annotating on my bib over the next four days. I am going to go through all my notes on my papers and put it into some structured format. This will probably mean annotating the BiBTeX entries themselves. This may be useful to you so I will wait until I have it done. Here is the original from cornell, I am trying to find a more recent version than this. pjjH % retrieved from eagle.cnsf.cornell.edu from /pub/debuggers.biblio % on Wed Oct 2 14:28:05 BST 1991 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % A BIBLIOGRAPHY OF PARALLEL DEBUGGERS % (BIBTEX format) % % prepared by: Sue Utter, Cornell National Supercomputer Facility, % Ithaca, NY 14853 % psu@cornellf.tn.cornell.edu % Cherri M. Pancake, Dept. Computer Science & Engineering, % Auburn University, AL 36849 % pancake@ducvax.auburn.edu % % revision 2.0 September 1, 1990 % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % The following references include technical reports, journal and % conference papers, and Ph.D. theses dealing with parallel debuggers. % No distinction is made between tools for parallel and for distributed % systems, although debuggers implemented on multiprocessor or multiple % computer systems which are only capable of analyzing serial programs % have been omitted. % Any additions or corrections would be welcomed. % % NOTES: % (1) Where two sources are virtually identical, this has been indicated % in a NOTE at the end of the entry. % (2) References whose AUTHOR subentry is preceded by an asterisk (*) % have not been available for review. Since abstracts are being % prepared for a cross-referenced guide, the authors would % appreciate assistance in acquiring copies of these items. % (3) The information will be updated periodically. Persons interested % in receiving notification of future updates should notify one of % the authors. % (4) The bibliography is also available in printed form as Technical % Report CTC89TR17 from Cornell Theory Center, 265 Olin Hall, % Cornell University, Ithaca, NY 14853-5201. % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @TECHREPORT{Allen1, AUTHOR = "Randy Allen and Donn Baumgartner and Ken Kennedy and Allan Porterfield", TITLE = "{PTOOL}: A Semi-Automatic Parallel Programming Assistant", INSTITUTION = "Rice University", TYPE = "Technical Report", NUMBER = "TR86-31", ADDRESS = "Department of Computer Science", MONTH = "January", YEAR = 1986, NOTE = "[Same as Allen3]" } @INPROCEEDINGS{Allen3, AUTHOR = "Randy Allen and Donn Baumgartner and Ken Kennedy and Allan Porterfield", TITLE = "{PTOOL}: A Semi-Automatic Parallel Programming Assistant", BOOKTITLE = "Proceedings of the 1986 International Conference on Parallel Processing", PAGES = "164--170", YEAR = 1986, MONTH = "August", NOTE = "[Same as Allen1]" } @TECHREPORT{Henderson1, AUTHOR = "Leslie Ann Henderson", TITLE = "The Usefulness of Dependency-Analysis Tools in Parallel Programming: Experiences using {PTOOL}", INSTITUTION = "Los Alamos National Laboratory", TYPE = "Technical Report", NUMBER = "Preprint LA-UR-87-3135", YEAR = 1987, NOTE = "[Presented at RIMSIG, Lake Tahoe CA, September 1987]" } @INPROCEEDINGS{Bates6, AUTHOR = "Peter C. Bates and Jack C. Wileden and Victor R. Lesser", TITLE = "A Debugging Tool for Distributed Systems", BOOKTITLE = "Second Annual Phoenix Conference on Computers and Communications", PAGES = "311--315", YEAR = 1983, NOTE = "[Same as Bates4x]" } @INPROCEEDINGS{Appelbe3, AUTHOR = "William F. Appelbe and Charles E. Mc{D}owell", TITLE = "Anomaly Reporting: A Tool for Debugging and Developing Parallel Numerical Algorithms", BOOKTITLE = "Proceedings of the First International Conference on Supercomputing Systems", PAGES = "386--391", YEAR = 1985 } @INPROCEEDINGS{Shatz1, AUTHOR = "S. M. Shatz and W. K. Cheng", TITLE = "An Approach to Automated Static Analysis of Distributed Systems", BOOKTITLE = "Proceedings of the First International Conference on Supercomputing Systems", PAGES = "377--385", YEAR = 1985 } @INPROCEEDINGS{Garcia1, AUTHOR = "Miguel E. Garcia and W. Joseph Berman", TITLE = "An Approach to Concurrent Systems Debugging", BOOKTITLE = "Proceedings of the Fifth International Conference on Distributed Computing Systems", ADDRESS = "Denver CO", MONTH = "May", PAGES = "507--514", YEAR = 1985 } @INPROCEEDINGS{Wittie1, AUTHOR = "L. Wittie and R. Curtis", TITLE = "Time Management for Debugging Distributed Systems", BOOKTITLE = "Proceedings of the Fifth International Conference on Distributed Computing Systems", ADDRESS = "Denver CO", MONTH = "May", PAGES = "549--550", YEAR = 1985 } @INPROCEEDINGS{Leblanc1, AUTHOR = "Richard J. Le{B}lanc and Arnold D. Robbins", TITLE = "Event-Driven Monitoring of Distributed Programs", BOOKTITLE = "Proceedings of the Fifth International Conference on Distributed Computing Systems", ADDRESS = "Denver CO", MONTH = "May", PAGES = "515--522", YEAR = 1985 } @INPROCEEDINGS{Foudriat1, AUTHOR = "Edwin C. Foudriat", TITLE = "Panel Discussion --- Debugging in Distributed Systems", BOOKTITLE = "Proceedings of the Fifth International Conference on Distributed Computing Systems", ADDRESS = "Denver CO", MONTH = "May", PAGES = "548", YEAR = 1985 } @INPROCEEDINGS{Harter1, AUTHOR = "Paul K. {Harter, Jr.} and Dennis M. Heimbigner and Roger King", TITLE = "I{DD}: An Interactive Distributed Debugger", BOOKTITLE = "Proceedings of the Fifth International Conference on Distributed Computing Systems", ADDRESS = "Denver CO", MONTH = "May", PAGES = "498--506", YEAR = 1985, NOTE = "[Same as Harter1x]" } @INPROCEEDINGS{Smith2, AUTHOR = "Edward T. Smith", TITLE = "Debugging Tools for Message-Based, Communicating Processes", BOOKTITLE = "Proceedings of the Fourth International Conference on Distributed Computing Systems", PAGES = "303--310", YEAR = 1984 } @INPROCEEDINGS{Curtis1, AUTHOR = "R. Curtis and L. Wittie", TITLE = "Bug{N}et: A Debugging System for Parallel Programming Environments", BOOKTITLE = "Proceedings of the Third International Conference on Distributed Computing Systems", PAGES = "394--399", YEAR = 1982 } @ARTICLE{Leblanc2, AUTHOR = "Thomas J. {LeBlanc} and John M. {Mellor-Crummey}", TITLE = "Debugging Parallel Programs with {I}nstant {R}eplay", JOURNAL = "IEEE Transactions on Computers", YEAR = 1987, MONTH = "April", VOLUME = "C-36", NUMBER = 4, PAGES = "471--482", NOTE = "[Same as Leblanc6]" } @ARTICLE{Corsini1, AUTHOR = "Paolo Corsini and Cosimo Antonio Prete", TITLE = "Multibug: Interactive Debugging in Distributed Systems", JOURNAL = "IEEE Micro", VOLUME = 6, NUMBER = 3, MONTH = "June", YEAR = 1986, PAGES = "26--33" } @ARTICLE{Lazzerini2, AUTHOR = "Beatrice Lazzerini and Cosimo Antonio Prete", TITLE = "A Programmable Debugging Aid for Real-Time Software Development", JOURNAL = "IEEE Micro", VOLUME = 6, NUMBER = 3, MONTH = "June", YEAR = 1986, PAGES = "34--42" } @INPROCEEDINGS{Haban1, AUTHOR = "Dieter Haban", TITLE = "{DTM}: A Method for Testing Distributed Systems", BOOKTITLE = "Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems", PAGES = "66--73", YEAR = 1987 } @INPROCEEDINGS{Jones1, AUTHOR = "Stuart H. Jones and Robert H. Barkan and Larry D. Wittie", TITLE = "Bug{N}et: A Real Time Distributed Debugging System", BOOKTITLE = "Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems", PAGES = "56--65", YEAR = 1987, MONTH = "March" } @ARTICLE{Garcia2, AUTHOR = "Hector {Garcia-Molina} and Frank {Germano, Jr.} and Walter H. Kohler", TITLE = "Debugging a Distributed Computing System", JOURNAL = "IEEE Transactions on Software Engineering", VOLUME = "SE-10", NUMBER = 2, YEAR = 1984, MONTH = "March", PAGES = "210--219", NOTE = "[Same as Garcia1x]" } @ARTICLE{Weber1, AUTHOR = "Janice Cynthia Weber", TITLE = "Interactive Debugging of Concurrent Programs", JOURNAL = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, published in ACM SIGPLAN Notices", VOLUME = 18, NUMBER = 8, PAGES = "112-113", MONTH = "August", YEAR = 1983, NOTE = "[Extended abstract]" } @ARTICLE{Baiardi1, AUTHOR = "F. Baiardi and N. De Francesco and E. Matteoli and S. Stefanini and G. Vaglini", TITLE = "Development of a Debugger for a Concurrent Language", JOURNAL = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, published in ACM SIGPLAN Notices", VOLUME = 18, NUMBER = 8, PAGES = "98--106", MONTH = "August", YEAR = 1983 } @ARTICLE{Bates3, AUTHOR = "Peter Bates and Jack C. Wileden", TITLE = "An Approach to High-Level Debugging of Distributed Systems", JOURNAL = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, published in ACM SIGPLAN Notices", VOLUME = 18, NUMBER = 8, PAGES = "107--111", YEAR = 1983, MONTH = "August" } @ARTICLE{Gross1, AUTHOR = "Thomas Gross", TITLE = "Session Summary --- Distributed Debugging", JOURNAL = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, published in ACM SIGPLAN Notices", VOLUME = 18, NUMBER = 8, PAGES = "96--97", YEAR = 1983, MONTH = "August" } @ARTICLE{Miller4, AUTHOR = "Barton P. Miller and Cathryn Macrander and Stuart Sechrest", TITLE = "A Distributed Programs Monitor for {B}erkeley {UNIX}", JOURNAL = "Software - Practice and Experience", VOLUME = 16, NUMBER = 2, PAGES = "183--200", MONTH = "February", YEAR = 1986, NOTE = "[Same as Miller6]" } @INPROCEEDINGS{Miller6, AUTHOR = "Barton P. Miller and Cathryn Macrander and Stuart Sechrest", TITLE = "A Distributed Programs Monitor for {B}erkeley {UNIX}", BOOKTITLE = "Proceedings of the Fifth International Conference on Distributed Computing Systems", YEAR = 1985, ADDRESS = "Denver CO", MONTH = "May", PAGES = "??--??", NOTE = "[Same as Miller4]" } @INPROCEEDINGS{Allen2, AUTHOR = "Todd R. Allen and David A. Padua", TITLE = "Debugging {F}ortran on a Shared Memory Machine", BOOKTITLE = "Proceedings of the 1987 International Conference on Parallel Processing", PAGES = "721--727", YEAR = 1987, MONTH = "August", ADDRESS = "University Park PA" } @ARTICLE{Smith1, AUTHOR = "Edward T. Smith", TITLE = "A Debugger for Message-Based Processes", JOURNAL = "Software - Practice and Experience", VOLUME = 15, NUMBER = 11, PAGES = "1073--1086", MONTH = "November", YEAR = 1985 } @ARTICLE{Bruegge3, AUTHOR = "Bernd Bruegge and Peter Hibbard", TITLE = "Generalized Path Expressions: A High Level Debugging Mechanism", JOURNAL = "ACM SIGPLAN Notices", VOLUME = 18, NUMBER = 8, MONTH = "March", YEAR = 1983, PAGES = "34--44", NOTE = "[Same as Bruegge4]" } @ARTICLE{Baiardi2, AUTHOR = "F. Baiardi and N. De Francesco and G. Vaglini", TITLE = "Development of a Debugger for a Concurrent Language", JOURNAL = "IEEE Transactions on Software Engineering", VOLUME = "SE-12", NUMBER = 4, PAGES = "547--553", MONTH = "April", YEAR = 1986 } @ARTICLE{Elshoff1, AUTHOR = "I. J. P. Elshoff", TITLE = "A Distributed Debugger for {A}moeba", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES", VOLUME = 24, NUMBER = 1, YEAR = 1989, PAGES = "1--10", MONTH = "January" } @TECHREPORT{Cooper2, AUTHOR = "Robert Cooper", TITLE = "Pilgrim: A Debugger for Distributed Systems", INSTITUTION = "University of Cambridge", TYPE = "Technical Report", NUMBER = 119, ADDRESS = "Computer Laboratory", MONTH = "October", YEAR = 1987, NOTE = "[Same as Cooper1]" } @TECHREPORT{Mcdowell3, AUTHOR = "Charles E. Mc{D}owell and David P. Helmbold and Anil K. Sahai", TITLE = "A Survey of Debugging Tools for Concurrent Programs", INSTITUTION = "University of California, Santa Cruz", TYPE = "Technical Report", NUMBER = "UCSC-CRL-87-22", ADDRESS = "Computer Research Laboratory", MONTH = "December", YEAR = 1987 } @ARTICLE{Gait1, AUTHOR = "Jason Gait", TITLE = "A Debugger for Concurrent Programs", JOURNAL = "Software - Practice and Experience", VOLUME = 15, NUMBER = 6, PAGES = "539--554", MONTH = "June", YEAR = 1985 } @ARTICLE{Joyce1, AUTHOR = "Jeffrey Joyce and Greg Lomow and Konrad Slind and Brian Unger", TITLE = "Monitoring Distributed Systems", JOURNAL = "ACM Transactions on Computer Systems", VOLUME = 5, NUMBER = 2, MONTH = "May", YEAR = 1987, PAGES = "121--150" } @INPROCEEDINGS{Carver1, AUTHOR = "Richard H. Carver and {Kuo-Chung} Tai", TITLE = "Reproducible Testing of Concurrent Programs Based on Shared Variables", BOOKTITLE = "Proceedings of the Sixth International Conference on Distributed Computing Systems", PAGES = "428--433", YEAR = 1986, NOTE = "[Same as Carver1x]" } @TECHREPORT{Griffin2, AUTHOR = "James H. Griffin and Harvey J. Wasserman and Lauren P. Mc{G}avran", TITLE = "A Debugger for Parallel Processes", INSTITUTION = "Los Alamos National Laboratory", TYPE = "Technical Report", NUMBER = "LA-UR-88-1174", MONTH = "April", YEAR = 1988, NOTE = "[Same as Griffin3]" } @ARTICLE{Gramlich1, AUTHOR = "Wayne C. Gramlich", TITLE = "Session Summary --- Debugging Methodology", JOURNAL = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, published in ACM SIGPLAN Notices", VOLUME = 18, NUMBER = 8, PAGES = "1--3", YEAR = 1983, MONTH = "August" } @ARTICLE{Fowler2, AUTHOR = "Robert J. Fowler and Thomas J. Le{B}lanc and John M. {Mellor-Crummey}", TITLE = "An Integrated Approach to Parallel Program Debugging and Performance Analysis on Large-Scale Multiprocessors", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES", VOLUME = 24, NUMBER = 1, PAGES = "163--173", YEAR = 1989, MONTH = "January" } @ARTICLE{Stone2, AUTHOR = "Janice M. Stone", TITLE = "A Graphical Representation of Concurrent Processes", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES", VOLUME = 24, NUMBER = 1, PAGES = "226--235", YEAR = 1989, MONTH = "January" } @ARTICLE{Hough2, AUTHOR = "Alfred A. Hough and Janice E. Cuny", TITLE = "Initial Experiences with a Pattern-Oriented Parallel Debugger", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES", VOLUME = 24, NUMBER = 1, PAGES = "195--205", YEAR = 1989, MONTH = "January" } @ARTICLE{Socha1, AUTHOR = "David Socha and Mary L. Bailey and David Notkin", TITLE = "Voyeur: Graphical Views of Parallel Programs", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES", VOLUME = 24, NUMBER = 1, PAGES = "206--215", YEAR = 1989, MONTH = "January" } @ARTICLE{Leblanc3, AUTHOR = "Thomas J. Le{B}lanc and Barton P. Miller", TITLE = "Workshop Summary", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES", VOLUME = 24, NUMBER = 1, PAGES = "ix--xxi", YEAR = 1989, MONTH = "January" } @INPROCEEDINGS{Leblanc4, AUTHOR = "Richard J. Le{B}lanc", TITLE = "Debugging Distributed Programs", BOOKTITLE = "Proceedings of COMPSAC 85", PAGES = "424", YEAR = 1985, MONTH = "October", NOTE = "[Extended abstract]" } @TECHREPORT{Hood1, AUTHOR = "Robert Hood", TITLE = "A Comprehensive Facility for Executing and Debugging Scientific Programs", INSTITUTION = "Rice University", TYPE = "Technical Report", NUMBER = "TR86-44", ADDRESS = "Department of Computer Science", MONTH = "December", YEAR = 1986 } @INCOLLECTION{Taylor1, AUTHOR = "Richard N. Taylor", TITLE = "Analysis of Concurrent Software by Cooperative Application of Static and Dynamic Techniques", BOOKTITLE = "Software Validation", EDITOR = "H. L. Hausen", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1984 } @INPROCEEDINGS{Caillet1, AUTHOR = "{Jean-Francois} Caillet and Christian Bonnet and Barbara Raither", TITLE = "High Level Interpretation of Execution Traces of {A}da Tasks", BOOKTITLE = "Proceedings of the First European Software Engineering Conference", PAGES = "309--317", YEAR = 1987 } @INPROCEEDINGS{Hough1, AUTHOR = "Alfred A. Hough and Janice E. Cuny", TITLE = "Belvedere: Prototype of a Pattern-Oriented Debugger for Highly Parallel Computation", BOOKTITLE = "Proceedings of the 1987 International Conference on Parallel Processing", PAGES = "735--738", YEAR = 1987, ADDRESS = "University Park PA" } @ARTICLE{Stone1, AUTHOR = "Janice M. Stone", TITLE = "Debugging Concurrent Processes: A Case Study", JOURNAL = "Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, published in ACM SIGPLAN Notices", PAGES = "145--153", MONTH = "July", YEAR = 1988, VOLUME = 23, NUMBER = 7 } @INPROCEEDINGS{Zimmermann1, AUTHOR = "M. Zimmermann and F. Perrenoud and A. Schiper", TITLE = "Graphical Animation of Concurrent Programs", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", PAGES = "342--344", YEAR = 1988, MONTH = "May", ADDRESS = "Madison WI", NOTE = "[Extended abstract]" } @ARTICLE{Segall1, AUTHOR = "Zary Segall and Larry Rudolph", TITLE = "{PIE}: A Programming and Instrumentation Environment for Parallel Processing", JOURNAL = "IEEE Software", VOLUME = 2, NUMBER = 6, PAGES = "22-37", MONTH = "November", YEAR = 1985 } @INPROCEEDINGS{Beier1, AUTHOR = "{Hans-Jorg} Beier and Thomas Bemmerl", TITLE = "Software Monitoring of Parallel Programs", BOOKTITLE = "Proceedings of CONPAR '88", MONTH = "September", ADDRESS = "Manchester, England", YEAR = 1988, PAGES = "71--78" } @INPROCEEDINGS{Brandis1, AUTHOR = "Craig Brandis and Shreekant S. Thakkar", TITLE = "A Parallel Program Event Monitor", BOOKTITLE = "Proceedings of the Twentieth Annual Hawaii International Conference on System Sciences", MONTH = "January", YEAR = 1987, PAGES = "141--151" } @INPROCEEDINGS{Eichholz1, AUTHOR = "Stefan Eichholz and Franz Abstreiter", TITLE = "Runtime Observation of Parallel Programs", BOOKTITLE = "Proceedings of CONPAR '88", MONTH = "September", YEAR = 1988, ADDRESS = "Manchester, England", PAGES = "63--70" } @INPROCEEDINGS{Berbers1, AUTHOR = "Yolande Berbers and Wouter Joosen and Pierre Verbaeten and Dirk Roose", TITLE = "Tools for Deadlock Detection on a Hypercube", BOOKTITLE = "Proceedings of CONPAR '88", MONTH = "September", YEAR = 1988, ADDRESS = "Manchester, England", PAGES = "220--227" } @ARTICLE{Miller3, AUTHOR = "Barton P. Miller and {Jong-Deok} Choi", TITLE = "A Mechanism for Efficient Debugging of Parallel Programs", JOURNAL = "Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, published in ACM SIGPLAN Notices", VOLUME = 23, NUMBER = 7, PAGES = "135--144", MONTH = "July", YEAR = 1988, NOTE = "[Same as Miller2]" } @INPROCEEDINGS{Livesey1, AUTHOR = "M. J. Livesey and J. Owczarczyk", TITLE = "A Test-Bed System for a Tree-Structured Multicomputer Architecture", BOOKTITLE = "Proceedings of CONPAR '88", MONTH = "September", YEAR = 1988, ADDRESS = "Manchester, England", PAGES = "56--62" } @INPROCEEDINGS{Stepney1, AUTHOR = "Susan Stepney", TITLE = "{GRAIL}: Graphical Representation of Activity, Interconnection, and Loading", BOOKTITLE = "7th Occam Users Group and International Workshop on Parallel Programming of Transputer-Based Machines", YEAR = 1987, ADDRESS = "Grenoble, France" } @INPROCEEDINGS{Smith4, AUTHOR = "Kevin Smith and William F. Appelbe", TITLE = "{PAT} -- An Interactive {F}ortran Parallelizing Assistant Tool", BOOKTITLE = "Proceedings of the 1988 International Conference on Parallel Processing", MONTH = "August", YEAR = 1988, ADDRESS = "St. Charles IL", PAGES = "58--62" } @INPROCEEDINGS{Mcdowell1, AUTHOR = "Charles E. Mc{D}owell", TITLE = "Viewing Anomalous States in Parallel Programs", BOOKTITLE = "Proceedings of the 1988 International Conference on Parallel Processing", MONTH = "August", YEAR = 1988, ADDRESS = "St. Charles IL", PAGES = "54--57" } @INPROCEEDINGS{Bemmerl1, AUTHOR = "Thomas Bemmerl", TITLE = "An Integrated and Portable Tool Environment for Parallel Computers", BOOKTITLE = "Proceedings of the 1988 International Conference on Parallel Processing", MONTH = "August", YEAR = 1988, ADDRESS = "St. Charles IL", PAGES = "50--53" } @INPROCEEDINGS{Bailey1, AUTHOR = "Mary L. Bailey and David Socha and David Notkin", TITLE = "Debugging Parallel Programming using Graphical Views", BOOKTITLE = "Proceedings of the 1988 International Conference on Parallel Processing", MONTH = "August", YEAR = 1988, ADDRESS = "St. Charles IL", PAGES = "46--49" } @ARTICLE{Appelbe4, AUTHOR = "William F. Appelbe and Charles E. Mc{D}owell", TITLE = "Integrating Tools for Debugging and Developing Multitasking Programs", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN NOTICES", MONTH = "January", YEAR = 1989, VOLUME = 24, NUMBER = 1, PAGES = "78--88" } @ARTICLE{Appelbe2, AUTHOR = "Bill Appelbe and Kevin Smith", TITLE = "{START}/{PAT}: A Toolkit for Developing Parallel Programs", JOURNAL = "IEEE Software", VOLUME = 6, NUMBER = 4, MONTH = "July", YEAR = 1989, PAGES = "29--38" } @INPROCEEDINGS{Mcdowell2, AUTHOR = "Charles E. Mc{D}owell and William F. Appelbe", TITLE = "Minimizing the Complexity of Static Analysis of Parallel Programs", BOOKTITLE = "Proceedings of the Twentieth Annual Hawaii International Conference on System Sciences", MONTH = "January", YEAR = 1987, PAGES = "171--176" } @TECHREPORT{Choi1, AUTHOR = "{Jong-Deok} Choi and Barton P. Miller and Robert Netzer", TITLE = "Techniques for Debugging Parallel Programs with Flowback Analysis", INSTITUTION = "University of Wisconsin, Madison", TYPE = "Technical Report", ADDRESS = "Computer Sciences Department", NUMBER = 786, MONTH = "August", YEAR = 1988 } @ARTICLE{Zimmermann2, AUTHOR = "M. Zimmermann and F. Perrenoud and A. Schiper", TITLE = "Understanding Concurrent Programming through Program Animation", JOURNAL = "Proceedings of the Nineteenth ACM SIGCSE Technical Conference, published in ACM SIGCSE Bulletin", MONTH = "February", YEAR = 1988, VOLUME = 20, NUMBER = 1, PAGES = "27--35" } @MANUAL{Dongarra2, AUTHOR = "J. J. Dongarra and D. C. Sorensen", TITLE = "{SCHEDULE} Users Guide", ORGANIZATION = "Argonne National Laboratory", ADDRESS = "Argonne IL", MONTH = "June", YEAR = 1987 } @ARTICLE{Helmbold2, AUTHOR = "David Helmbold and David Luckham", TITLE = "Debugging {A}da Tasking Programs", JOURNAL = "IEEE Software", VOLUME = 2, NUMBER = 2, MONTH = "March", YEAR = 1985, PAGES = "47--57" } @ARTICLE{Maples1, AUTHOR = "Creve Maples", TITLE = "Analyzing Software Performance in a Multiprocessor Environment", JOURNAL = "IEEE Software", VOLUME = 2, NUMBER = 4, MONTH = "July", YEAR = 1985, PAGES = "50--63" } @ARTICLE{Lazzerini1, AUTHOR = "B. Lazzerini and C. A. Prete", TITLE = "{DISDEB}: An Interactive High-Level Debugging System for a Multi-Microprocessor System", JOURNAL = "Microprocessing and Microprogramming", VOLUME = 18, NUMBER = 1986, YEAR = 1986, PAGES = "401--408" } @ARTICLE{Gregoretti1, AUTHOR = "F. Gregoretti and F. Maddaleno and M. Zamboni", TITLE = "Monitoring Tools for Multiprocessors", JOURNAL = "Microprocessing and Microprogramming", VOLUME = 18, NUMBER = 1986, YEAR = 1986, PAGES = "409--416" } @INPROCEEDINGS{Bristow1, AUTHOR = "G. Bristow and C. Drey and B. Edwards and W. Riddle", TITLE = "Anomaly Detection in Concurrent Programs", BOOKTITLE = "Proceedings of the Fourth International Conference on Software Engineering", YEAR = 1979, PAGES = "265--273" } @INPROCEEDINGS{Miller5, AUTHOR = "Barton P. Miller and {Cui-Qing} Yang", TITLE = "{IPS}: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs", BOOKTITLE = "Proceedings of the Seventh International Conference on Distributed Computing Systems", YEAR = 1987, ADDRESS = "Berlin", PAGES = "482--489", NOTE = "[Same as Miller7x]" } @INPROCEEDINGS{Cooper1, AUTHOR = "Robert Cooper", TITLE = "Pilgrim: A Debugger for Distributed Systems", BOOKTITLE = "Proceedings of the Seventh International Conference on Distributed Computing Systems", YEAR = 1987, ADDRESS = "Berlin", PAGES = "458--465", NOTE = "[Same as Cooper2]" } @ARTICLE{Taylor4, AUTHOR = "Richard N. Taylor and Leon J. Osterweil", TITLE = "Anomaly Detection in Concurrent Software by Static Data Flow Analysis", JOURNAL = "IEEE Transactions on Software Engineering", VOLUME = "SE-6", NUMBER = 3, MONTH = "May", YEAR = 1980, PAGES = "265--278" } @INPROCEEDINGS{Bhatt1, AUTHOR = "Devesh Bhatt and Michael Schroeder", TITLE = "A Comprehensive Approach to Instrumentation for Experimentation in a Distributed Computing Environment", BOOKTITLE = "Proceedings of the Third International Conference on Distributed Computing Systems", YEAR = 1982, PAGES = "330--340" } @INPROCEEDINGS{Burkhart1, AUTHOR = "Helmar Burkhart and Roland Millen", TITLE = "Monitoring Tools in a Multiprocessor Environment", BOOKTITLE = "Parallel Computing 85", EDITOR = "M. Feilmeier and G. Joubert and U. Schendel", PUBLISHER = "North-Holland", YEAR = 1986, PAGES = "345--351" } @ARTICLE{Adams1, AUTHOR = "Evan Adams and Steven S. Muchnick", TITLE = "Dbxtool: A Window-Based Symbolic Debugger for {S}un Workstations", JOURNAL = "Software - Practice and Experience", VOLUME = 16, NUMBER = 7, YEAR = 1986, MONTH = "July", PAGES = "653--669" } @INPROCEEDINGS{Defrancesco1, AUTHOR = "N. {De Francesco} and D. Latella and G. Vaglini", TITLE = "An Interactive Debugger for a Concurrent Language", BOOKTITLE = "Proceedings of the Eighth International Conference on Software Engineering", YEAR = 1985, PAGES = "320--325" } @ARTICLE{Segall2, AUTHOR = "Zary Segall and Ajay Singh and Richard T. Snodgrass and Anita K. Jones and Daniel P. Siewiorek", TITLE = "An Integrated Instrumentation Environment for Multiprocessors", JOURNAL = "IEEE Transactions on Computers", VOLUME = "C-32", NUMBER = 1, MONTH ="January", YEAR = 1983, PAGES = "4--14" } @INPROCEEDINGS{Miller1, AUTHOR = "Barton P. Miller and {Jong-Deok} Choi", TITLE = "Breakpoints and Halting in Distributed Programs", BOOKTITLE = "Proceedings of the Eighth International Conference on Distributed Computing Systems", YEAR = 1988, PAGES = "316--323", NOTE = "[Same as Miller3x]" } @INPROCEEDINGS{Bates2, AUTHOR = "Peter Bates", TITLE = "Distributed Debugging Tools for Heterogeneous Distributed Systems", BOOKTITLE = "Proceedings of the Eighth International Conference on Distributed Computing Systems", YEAR = 1988, PAGES = "308--315" } @INPROCEEDINGS{Spezialetti1, AUTHOR = "M. Spezialetti and J. P. Kearns", TITLE = "A General Approach to Recognizing Event Occurrences in Distributed Computations", BOOKTITLE = "Proceedings of the Eighth International Conference on Distributed Computing Systems", YEAR = 1988, PAGES = "300--307" } @INPROCEEDINGS{Spezialetti2, AUTHOR = "Madalene Spezialetti and Phil Kearns", TITLE = "Efficient Distributed Snapshots", BOOKTITLE = "Proceedings of the Sixth International Conference on Distributed Computing Systems", PAGES = "382--388", YEAR = 1986 } @INPROCEEDINGS{Yang1, AUTHOR = "{Cui-Qing} Yang and Barton P. Miller", TITLE = "Critical Path Analysis for the Execution of Parallel and Distributed Programs", BOOKTITLE = "Proceedings of the Eighth International Conference on Distributed Computing Systems", YEAR = 1988, PAGES = "366--373" } @INPROCEEDINGS{Wileden1, AUTHOR = "Jack C. Wileden and George S. Avrunin", TITLE = "Toward Automating Analysis Support for Developers of Distributed Software", BOOKTITLE = "Proceedings of the Eighth International Conference on Distributed Computing Systems", YEAR = 1988, PAGES = "350--357" } @TECHREPORT{Disz1, AUTHOR = "Terry Disz and Ewing Lusk", TITLE = "A Graphical Tool for Observing the Behavior of Parallel Logic Programs", NUMBER = "CSRD 746", TYPE = "Technical Report", INSTITUTION = "Argonne National Laboratory", MONTH = "February", YEAR = 1988 } @TECHREPORT{Jablonowski1, AUTHOR = "David Jablonowski and Vincent A. {Guarna, Jr.}", TITLE = "A Dynamic Graph Tool and Its Use in an Integrated Programming Environment", TYPE = "Technical Report", NUMBER = "CSRD-746", ADDRESS = "Center for Supercomputing Research and Development", INSTITUTION = "University of Illinois at Urbana-Champaign", MONTH ="February", YEAR = 1988 } @TECHREPORT{Pancake1, AUTHOR = "Cherri M. Pancake and Sue Utter", TITLE = "Models for Visualization in Parallel Debuggers", TYPE = "Technical Report", NUMBER = "CTC-89-TR-15", INSTITUTION = "Cornell University", ADDRESS = "Cornell Theory Center", MONTH = "June", YEAR = 1989, NOTE = "[Same as Pancake2]" } @INPROCEEDINGS{Appelbe1, AUTHOR = "Bill Appelbe and Charles E. Mc{D}owell", TITLE = "Developing Multitasking Applications Programs", BOOKTITLE = "Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences", YEAR = 1988, MONTH = "January", PAGES = "94--101" } @INPROCEEDINGS{Haban2, AUTHOR = "Dieter Haban and Wolfgang Weigel", TITLE = "Global Events and Global Breakpoints in Distributed Systems", BOOKTITLE = "Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences", YEAR = 1988, MONTH = "January", PAGES = "166--175" } @ARTICLE{Cargill1, AUTHOR = "T. A. Cargill", TITLE = "Pi: A Case Study in Object-Oriented Programming", JOURNAL = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, published in ACM SIGPLAN Notices", VOLUME = 21, NUMBER = 11, MONTH = "November", YEAR = 1986, PAGES = "350--360" } @MANUAL{Sequent1, AUTHOR = "Sequent", TITLE = "{Pdbx} Parallel Debugger for Sequent Systems", INSTITUTION = "Sequent Computer Corporation", TYPE = "Sequent Technical Publications", ADDRESS = "Beaverton OR", YEAR = 1986 } @TECHREPORT{Krumme1, AUTHOR = "David W. Krumme and Alva L. Couch and Barton J. House and Jon Cox", TITLE = "The {T}riplex Tool Set for the {NCUBE} Multiprocessor", TYPE = "Unpublished report", INSTITUTION = "Tufts University", MONTH ="March", YEAR = 1989 } @TECHREPORT{Couch1, AUTHOR = "Alva L. Couch", TITLE = "Graphical Representations of Program Performance on Hypercube Message-Passing Multiprocessors", TYPE = "Technical Report", NUMBER = "88-4", INSTITUTION = "Tufts University", ADDRESS = "Department of Computer Science", MONTH ="April", YEAR = 1988, NOTE = "[Same as Couch1x]" } @INPROCEEDINGS{Belady1, AUTHOR = "L. A. Belady and K. Hosokawa", TITLE = "Visualization of Independence and Dependence for Program Concurrency", BOOKTITLE = "Proceedings of the IEEE 1984 Workshop on Visual Languages", YEAR = 1984, PAGES = "177--183" } @ARTICLE{Bates1, AUTHOR = "Peter Bates", TITLE = "Debugging Heterogeneous Distributed Systems using Event-Based Models of Behavior", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January", PAGES = "11--22" } @ARTICLE{Lin1, AUTHOR = "{Chu-Chung} Lin and Richard J. Le{B}lanc", TITLE = "Event-Based Debugging of Object/Action Programs", PAGES = "23--34", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Redell1, AUTHOR = "David D. Redell", TITLE = "Experience with {T}opaz {T}ele{D}ebugging", PAGES = "35--44", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Black1, AUTHOR = "David L. Black and David B. Golub and Karl Hauth and Avadis Tevanian and Richard Sanzi", TITLE = "The {M}ach Exception Handling Facility", PAGES = "45--56", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January", NOTE = "[Same as Black1x]" } @ARTICLE{Wittie2, AUTHOR = "Larry D. Wittie", TITLE = "Debugging Distributed {C} Programs by Real Time Replay", PAGES = "57--67", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Tokuda1, AUTHOR = "Hideyuki Tokuda and Makoto Kotera and Clifford W. Mercer", TITLE = "A Real-Time Monitor for a Distributed Real-Time Operating System", PAGES = "68--77", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January", NOTE = "[Same as Tokuda1x]" } @ARTICLE{Emrath1, AUTHOR = "Perry A. Emrath and David A. Padua", TITLE = "Automatic Detection of Nondeterminacy in Parallel Programs", PAGES = "89--99", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Callahan2, AUTHOR = "David Callahan and Jaspal Subhlok", TITLE = "Static Analysis of Low-Level Synchronization", PAGES = "100--111", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Feldman1, AUTHOR = "Stuart I. Feldman and Channing B. Brown", TITLE = "{IGOR}: A System for Program Debugging via Reversible Execution", PAGES = "112--123", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Pan1, AUTHOR = "Douglas Z. Pan and Mark A. Linton", TITLE = "Supporting Reverse Execution of Parallel Programs", PAGES = "124--129", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Forin1, AUTHOR = "Alessandro Forin", TITLE = "Debugging of Heterogeneous Parallel Systems", PAGES = "130--140", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Miller2, AUTHOR = "Barton P. Miller and {Jong-Deok} Choi", TITLE = "A Mechanism for Efficient Debugging of Parallel Programs", PAGES = "141--150", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January", NOTE = "[Same as Miller3]" } @ARTICLE{Aral1, AUTHOR = "Ziya Aral and Ilya Gertner", TITLE = "High-Level Debugging in {P}arasight", PAGES = "151--162", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Bruegge2, AUTHOR = "Bernd Bruegge and Thomas Gross", TITLE = "A Program Debugger for a Systolic Array: Design and Implementation", PAGES = "174--182", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Fidge1, AUTHOR = "C. J. Fidge", TITLE = "Partial Orders for Parallel Debugging", PAGES = "183--194", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Rubin1, AUTHOR = "Robert V. Rubin and Larry Rudolph and Dror Zernik", TITLE = "Debugging Parallel Programs in Parallel", PAGES = "216--225", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Hseush1, AUTHOR = "Wenwey Hseush and Gail E. Kaiser", TITLE = "Data Path Debugging: Data-Oriented Debugging for a Concurrent Programming Language", PAGES = "236--247", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Lichtenstein1, AUTHOR = "Yossi Lichtenstein and Ehud Shapiro", TITLE = "Concurrent Algorithmic Debugging", PAGES = "248--260", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January", NOTE = "[Same as Lichtenstein2x]" } @ARTICLE{Cameron2, AUTHOR = "E. Jane Cameron and David M. Cohen", TITLE = "The {IC*} System for Debugging Parallel Programs via Interactive Monitoring and Control", PAGES = "261--270", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January" } @ARTICLE{Goldszmidt1, AUTHOR = "German S. Goldszmidt and Shmuel Katz and Shaula Yemini", TITLE = "Interactive Blackbox Debugging for Concurrent Languages", PAGES = "271--282", JOURNAL = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 1, YEAR = 1989, MONTH = "January", NOTE = "[Same as Goldszmidt1x]" } @TECHREPORT{Goldszmidt2, AUTHOR = "German S. Goldszmidt and Shmuel Katz and Shaula Yemini", TITLE = "High Level Language Debugging for Concurrent Programs", ADDRESS = "Computer Science", INSTITUTION = "IBM Research Division, T. J. Watson Research Center", NUMBER = "RC-14341-64204", TYPE = "Technical Report", YEAR = 1989, MONTH = "January" } @INPROCEEDINGS{Asthana1, AUTHOR = "Abhaya Asthana and H. V. Jagadish", TITLE = "Hardware Support for Debugging in a Small-Grain Parallel System: A Case Study", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", PAGES = "283--285", YEAR = 1988, MONTH = "May", ADDRESS = "Madison WI", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Banda1, AUTHOR = "Venu P. Banda and Richard A. Volz", TITLE = "Debugging Distributed Real-Time Software", PAGES = "286--288", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Cheung1, AUTHOR = "W. H. Cheung and J. P. Black", TITLE = "{ETGL}: A Language for Describing Dynamic Hierarchical Cluster Interactions", PAGES = "289--291", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Dinucci2, AUTHOR = "David Di{N}ucci", TITLE = "High-Level Parallel Debugging with {LGDF}2", PAGES = "292--294", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Doeppner1, AUTHOR = "Thomas W. {Doeppner, Jr.} and David D. Johnson", TITLE = "A Multi-Thread Debugger", PAGES = "295--297", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Fagerstrom1, AUTHOR = "Johan Fagerstrom", TITLE = "Enabling Structured Debugging of Distributed Systems", PAGES = "298--300", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Francioni1, AUTHOR = "Joan M. Francioni", TITLE = "Communication Profiles of Distributed Parallel Processes", PAGES = "301--303", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Fowler1, AUTHOR = "Jerry Fowler and Willy Zwaenepoel", TITLE = "The Use of Computation Dependency Graphs in Distributed Debugging", PAGES = "304--306", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @TECHREPORT{Fowler3, AUTHOR = "Robert Fowler and Ivan Bello", TITLE = "The Programmer's Guide to {Moviola}: An Interactive Execution History Browser", INSTITUTION = "University of Rochester", TYPE = "Technical Report", NUMBER = "269", ADDRESS = "Department of Computer Science", MONTH = "February", YEAR = 1989 } @INPROCEEDINGS{Griffin1, AUTHOR = "James H. Griffin and Robert Hiromoto and Harvey J. Wasserman", TITLE = "Debugging Parallel Processes: A Prototype System", PAGES = "307--309", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Hansen1, AUTHOR = "Gil Hansen and Andy Sheppard", TITLE = "Debugging Multithreaded Programs", PAGES = "310--312", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Helmbold1, AUTHOR = "David Helmbold and Doug Bryan and David Luckham", TITLE = "Principles of Monitoring Specifications for Distributed Systems", PAGES = "313--315", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Katseff1, AUTHOR = "Howard P. Katseff", TITLE = "The {S}oftware {O}scilloscope: A Real-Time Execution Monitor for Multiprocessor Applications", PAGES = "316--318", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Larsson1, AUTHOR = "Yngve Larsson", TITLE = "A Testbed Environment for Debugging Distributed Systems", PAGES = "319--321", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Lewis1, AUTHOR = "Paul C. Lewis and Daniel A. Reed", TITLE = "Debugging Shared Memory Parallel Programs", PAGES = "322--324", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Mosby1, AUTHOR = "Dale Mosby", TITLE = "{PDBX}: A Source Level Debugger for Parallel Programs", PAGES = "325--327", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Ogle1, AUTHOR = "Dave Ogle and Karsten Schwan", TITLE = "A Model and Implementation of a Distributed Monitor", PAGES = "328--329", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Rotenstreich1, AUTHOR = "Shmuel Rotenstreich", TITLE = "A Monitoring Language Corresponding to a Distributed Programming Language", PAGES = "330--332", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Tai2, AUTHOR = "{Kuo-Chung} Tai and Richard H. Carver", TITLE = "Debugging of Parallel and Distributed Software by Deterministic Execution", PAGES = "336--338", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Tai4, AUTHOR = "{Kuo-Chung} Tai", TITLE = "Reproducible Testing of Concurrent {A}da Programs", BOOKTITLE = "Proceedings of Softfair II, A Second Conference on Software Development Tools, Techniques, and Alternatives", PAGES = "114--120", MONTH = "December", YEAR = 1985, NOTE = "[Same as Tai4x]" } @ARTICLE{Tai5, AUTHOR = "{Kuo-Chung} Tai", TITLE = "A Graphical Notation for Describing Executions of Concurrent {A}da Programs", JOURNAL = "ACM Ada Letters", VOLUME = 6, NUMBER = 1, MONTH = "January", YEAR = 1986, PAGES = "94--103" } @INPROCEEDINGS{Yan1, AUTHOR = "Song Y. Yan", TITLE = "Declarative Debugging in Logic Programming", PAGES = "339--341", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Smith3, AUTHOR = "K. Stuart Smith and William J. Leddy and S. Tedja Widjaja", TITLE = "Debugging in a Reconfigurable, Distributed, and Heterogeneous Object-Oriented Environment", PAGES = "333--335", BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging", ADDRESS = "Madison WI", YEAR = 1988, MONTH = "May", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Wu1, AUTHOR = "{Min-You} Wu and Daniel D. Gajski", TITLE = "A Programming Aid for Hypercube Architectures", BOOKTITLE = "First Workshop on Languages and Compilers for Vector and Parallel Machines", YEAR = 1988, ADDRESS = "Cornell University", MONTH = "August", NOTE = "[To be published in the Journal of Supercomputing]" } @ARTICLE{Aral2, AUTHOR = "Ziya Aral and Ilya Gertner", TITLE = "Non-Intrusive and Interactive Profiling in {P}arasight", JOURNAL = "Proceedings of the ACM/SIGPLAN PPEALS (Parallel Programming: Experience with Applications, Languages and Systems) 1988, published in ACM SIGPLAN NOTICES", VOLUME = 23, NUMBER = 9, MONTH = "September", YEAR = 1988, PAGES = "21--30" } @ARTICLE{Bruegge1, AUTHOR = "Bernd Bruegge", TITLE = "Program Development for a Systolic Array", JOURNAL = "Proceedings of the ACM/SIGPLAN PPEALS (Parallel Programming: Experience with Applications, Languages and Systems) 1988, published in ACM SIGPLAN NOTICES", VOLUME = 23, NUMBER = 9, MONTH = "September", YEAR = 1988, PAGES = "31--41" } @INPROCEEDINGS{Cameron1, AUTHOR = "E. J. Cameron and B. Gopinath and P. Metzger and T. Reingold", TITLE = "Info{P}robe: A Utility for Animation of {IC*} Programs", BOOKTITLE = "Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences", YEAR = 1989, MONTH = "January", PAGES = "126--133" } @INPROCEEDINGS{Heironimus1, AUTHOR = "Elisa K. Heironimus and Joseph G. Tront", TITLE = "Insertion of Fault Detection Mechanisms in Distributed {A}da Software Systems", BOOKTITLE = "Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences", YEAR = 1989, MONTH = "January", PAGES = "260--266" } @INPROCEEDINGS{Gjessing1, AUTHOR = "Stein Gjessing and Ellen {Munthe-Kaas}", TITLE = "Trace Based Verification of Parallel Programs with Shared Variables", BOOKTITLE = "Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences", YEAR = 1989, MONTH = "January", PAGES = "305--311" } @INPROCEEDINGS{Utter1, AUTHOR = "Sue Utter", TITLE = "Enhancing the Usability of Parallel Debuggers", BOOKTITLE = "Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences", YEAR = 1989, MONTH = "January", PAGES = "468--469", NOTE = "[Extended abstract]" } @INPROCEEDINGS{Burdorf1, AUTHOR = "Christopher Burdorf and John Fitch and Jed Marti and Julian Padget", TITLE = "A Multiprocessor Execution Profiler", BOOKTITLE = "Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences", YEAR = 1989, MONTH = "January", PAGES = "524--532" } @ARTICLE{Boari1, AUTHOR = "Maurelio Boari and Stefano Crespi-Reghizzi and Alberto Dapra and Francesco Maderna and Antonio Natali", TITLE = "Multiple-Microprocessor Programming Techniques: {MML}, a New Set of Tools", JOURNAL = "Computer", MONTH = "January", YEAR = 1984, VOLUME = 14, NUMBER = 1, PAGES = "47--59" } @ARTICLE{Brindle1, AUTHOR = "Anne F. Brindle and Richard N. Taylor and David F. Martin", TITLE = "A Debugger for {Ada} Tasking", JOURNAL = "IEEE Transactions on Software Engineering", MONTH = "March", YEAR = 1989, VOLUME = 15, NUMBER = 3, PAGES = "293--304", NOTE = "[Same as Brindle2x]" } @ARTICLE{Beck1, AUTHOR = "Bob Beck and David Olien", TITLE = "A Parallel-Programming Process Model", JOURNAL = "IEEE Software", MONTH = "May", YEAR = 1989, VOLUME = 6, NUMBER = 3, PAGES = "63--72" } @INPROCEEDINGS{Guarna1, AUTHOR = "Vincent A. {Guarna, Jr.} and Dennis Gannon and Yogesh Gaur and David Jablonowski", TITLE = "Faust: An Environment for Programming Parallel Scientific Applications", BOOKTITLE = "Proceedings of Supercomputing '88", ADDRESS = "Orlando FL", MONTH = "November", PAGES = "3--10", YEAR = 1988 } @INCOLLECTION{Callahan1, AUTHOR = "David Callahan and Keith D. Cooper and Robert T. Hood and Ken Kennedy and Linda M. Torczon and Scott K. Warren", TITLE = "Parallel Programming Support in {ParaScope}", EDITOR = "R. Dierstein and D. Muller-Wichards and H. M. Wacker", BOOKTITLE = "Parallel Computing in Science and Engineering, Proceedings of the Fourth International DFVLR Seminar on Foundations of Engineering Sciences", PAGES = "91--106", PUBLISHER = "Springer-Verlag", ADDRESS = "New York", YEAR = 1988, NOTE = "[Same as Callahan3]" } @TECHREPORT{Callahan3, AUTHOR = "David Callahan and Keith D. Cooper and Robert T. Hood and Ken Kennedy and Linda M. Torczon and Scott K. Warren", TITLE = "Parallel Programming Support in {ParaScope}", INSTITUTION = "Rice University", TYPE = "Technical Report", NUMBER = "TR87-59", ADDRESS = "Department of Computer Science", YEAR = 1987, NOTE = "[Same as Callahan1]" } @INPROCEEDINGS{Gaglianello1, AUTHOR = "Robert D. Gaglianello and Howard P. Katseff", TITLE = "The {Meglos} User Interface", BOOKTITLE = "Proceedings of the Fall Joint Computer Conference", PAGES = "169--177", YEAR = 1986 } @INCOLLECTION{Brewer1, AUTHOR = "Orlie Brewer and Jack Dongarra and Danny Sorenson", TITLE = "Tools to Aid in the Analysis of Memory Access Patterns for {Fortran} Programs", BOOKTITLE = "Parallel Computing 9", PAGES = "25--35", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1988, NOTE = "[Same as Brewer2]" } @TECHREPORT{Brewer2, AUTHOR = "Orlie Brewer and Jack Dongarra and Danny Sorenson", TITLE = "Tools to Aid in the Analysis of Memory Access Patterns for {Fortran} Programs", TYPE = "Technical Memorandum", NUMBER = "120", INSTITUTION = "Argonne National Laboratory", MONTH = "June", YEAR = 1988, NOTE = "[Same as Brewer1]" } @ARTICLE{Mital1, AUTHOR = "Zenon Mital", TITLE = "{CDDT}: Concurrent System Operation Display and Debugging Tool", JOURNAL = "Proceedings of Euromicro '87, published in Microprocessing and Microprogramming", YEAR = 1988, VOLUME = 23, PAGES = "173--177" } @INCOLLECTION{Conte1, AUTHOR = "Gianni Conte and Francesco Gregoretti", TITLE = "Software Development and Debug Aids for the u* Multimicroprocessor System", BOOKTITLE = "Microprocessor Systems, Proceedings of Euromicro '80", EDITOR = "M. Sami and L. Thompson and L. Mezzalira", PAGES = "149--156", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1980 } @INCOLLECTION{Negrini1, AUTHOR = "Roberto Negrini and Nello Scarabottolo", TITLE = "Multimicro Processor Debugging Based on Fault-Tolerance Techniques: A Case Study", BOOKTITLE = "Microsystems: Architecture, Integration and Use, Proceedings of Euromicro '82", EDITOR = "C. J. van Spronsen and L. Richter", PAGES = "323--330", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1982 } @ARTICLE{Davis1, AUTHOR = "Helen Davis and John Hennessy", TITLE = "Characterizing the Synchronization Behavior of Parallel Programs", JOURNAL = "Proceedings of the ACM/SIGPLAN PPEALS (Parallel Programming: Experience with Applications, Languages and Systems) 1988, published in ACM SIGPLAN NOTICES", VOLUME = 23, NUMBER = 9, MONTH = "September", YEAR = 1988, PAGES = "198--211" } @ARTICLE{Aral3, AUTHOR = "Ziya Aral and Ilya Gertner and Greg Schaffer", TITLE = "Efficient Debugging Primitives for Multiprocessors", JOURNAL = "Proceedings of the Third International Conference on Architectural Support for Programming Languages and Operating Systems, published in ACM SIGPLAN Notices", VOLUME = 24, NUMBER = 5, MONTH = "May", YEAR = 1989, PAGES = "87--93", NOTE = "[Same as Aral4]" } @ARTICLE{Delisle1, AUTHOR = "Norman Delisle and Mayer Schwartz", TITLE = "A Programming Environment for {CSP}", JOURNAL = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, published in ACM SIGPLAN Notices", VOLUME = 22, NUMBER = 1, YEAR = 1987, PAGES = "34--41" } @ARTICLE{Snodgrass2, AUTHOR = "Richard Snodgrass", TITLE = "A Relational Approach to Monitoring Complex Systems", JOURNAL = "ACM Transactions on Computer Systems", MONTH = "May", YEAR = 1988, VOLUME = 6, NUMBER = 2, PAGES = "157--196" } @ARTICLE{Snodgrass1, AUTHOR = "Richard Snodgrass", TITLE = "Monitoring in a Software Development Environment: A Relational Approach", JOURNAL = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, published in ACM SIGPLAN Notices", VOLUME = 19, NUMBER = 5, YEAR = 1984, PAGES = "124--131" } @TECHREPORT{Seager1, AUTHOR = "Mark K. Seager and Susan Campbell and Scott Sikora and Robert Strout and Mary Zosel", TITLE = "Graphical Multiprocessing Analysis Tool ({GMAT})", TYPE = "Technical Report", INSTITUTION = "Lawrence Livermore National Laboratory", NUMBER = "UCID-21348", MONTH = "March", YEAR = 1988 } @TECHREPORT{Malony1, AUTHOR = "Allen D. Malony and Daniel A. Reed", TITLE = "Visualizing Parallel Computer System Performance", TYPE = "Technical Report", INSTITUTION = "University of Illinois at Urbana-Champaign", ADDRESS = "Department of Computer Science", NUMBER = "UIUC-DCS-R-88-1465", MONTH = "September", YEAR = 1988 } @ARTICLE{Swinehart2, AUTHOR = "Daniel C. Swinehart and Polle T. Zellweger and Richard J. Beach and Robert B. Hagmann", TITLE = "A Structural View of the {C}edar Programming Environment", JOURNAL = "ACM Transactions on Programming Languages and Systems", VOLUME = 8, NUMBER = 4, MONTH = "October", YEAR = 1986, PAGES = "419--490" } @ARTICLE{Griffin3, AUTHOR = "James H. Griffin and Harvey J. Wasserman and Lauren P. Mc{G}avran", TITLE = "A Debugger for Parallel Processes", JOURNAL = "Software -- Practice and Experience", VOLUME = 18, NUMBER = 12, MONTH = "December", YEAR = 1988, PAGES = "1179--1190", NOTE = "[Same as Griffin2]" } @ARTICLE{Swinehart1, AUTHOR = "Daniel C. Swinehart and Polle T. Zellweger and Robert B. Hagmann", TITLE = "The Structure of {C}edar", JOURNAL = "Proceedings of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, published in ACM SIGPLAN Notices", VOLUME = 20, NUMBER = 7, MONTH = "July", YEAR = 1985, PAGES = "230--244" } @ARTICLE{Sweet1, AUTHOR = "Richard E. Sweet", TITLE = "The {M}esa Programming Environment", JOURNAL = "Proceedings of the ACM SIGPLAN Symposium on Language Issues in Programming Environments, published in ACM SIGPLAN Notices", VOLUME = 20, NUMBER = 7, MONTH = "July", YEAR = 1985, PAGES = "216--229" } @ARTICLE{Schonberg1, AUTHOR = "Edith Schonberg", TITLE = "On-the-Fly Detection of Access Anomalies", JOURNAL = "Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation, published in ACM SIGPLAN Notices", YEAR = 1989, VOLUME = 24, NUMBER = 7, MONTH = "July", PAGES = "285--297" } @ARTICLE{Wilson1, AUTHOR = "Paul R. Wilson and Thomas G. Moher", TITLE = "Demonic Memory for Process Histories", JOURNAL = "Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation, published in ACM SIGPLAN Notices", YEAR = 1989, VOLUME = 24, NUMBER = 7, MONTH = "July", PAGES = "330--343" } @ARTICLE{Carle1, AUTHOR = "Alan Carle and Keith D. Cooper and Robert T. Hood and Ken Kennedy and Linda Torczon and Scott K. Warren", TITLE = "A Practical Environment for Scientific Programming", JOURNAL = "IEEE Computer", YEAR = 1987, VOLUME = 20, NUMBER = 11, MONTH = "November", PAGES = "75--89" } @TECHREPORT{Utter2, AUTHOR = "Sue Utter and Cherri M. Pancake", TITLE = "Advances in Parallel Debuggers: New Approaches to Visualization", TYPE = "Technical Report", NUMBER = "CTC-89-TR-18", INSTITUTION = "Cornell University", ADDRESS = "Cornell Theory Center", MONTH = "July", YEAR = 1989 } @ARTICLE{Mazzanti1, AUTHOR = "Franco Mazzanti", TITLE = "The {AIDA} Experiment", JOURNAL = "ACM Ada Letters", MONTH = "July", YEAR = 1989, VOLUME = 9, NUMBER = 5, PAGES = "109--114" } @INPROCEEDINGS{Victor1, AUTHOR = "Kenneth B. Victor", TITLE = "The Design and Implementation of {DAD}, A Multiprocess, Multimachine, Multilanguage Interactive Debugger", BOOKTITLE = "Proceedings of the Ninth Annual Hawaii International Conference on System Sciences", YEAR = 1977, MONTH = "January", PAGES = "196--199", NOTE = "[Same as Victor1x]" } @INPROCEEDINGS{Bates4, AUTHOR = "Peter C. Bates and Jack C. Wileden", TITLE = "{EDL}: A Basis for Distributed System Debugging Tools", BOOKTITLE = "Proceedings of the Fifteenth Hawaii International Conference on System Sciences", YEAR = 1982, MONTH = "January", PAGES = "86--93" } @ARTICLE{Bates5, AUTHOR = "Peter C. Bates and Jack C. Wileden", TITLE = "High-Level Debugging of Distributed Systems: The Behavioral Abstraction Approach", JOURNAL = "Journal of Systems and Software", VOLUME = 3, NUMBER = 4, PAGES = "255-264", YEAR = 1983, NOTE = "[Same as Bates1x]" } @ARTICLE{Bruegge4, AUTHOR = "Bernd Bruegge and Peter Hibbard", TITLE = "Generalized Path Expressions: A High Level Debugging Mechanism", JOURNAL = "Journal of Systems and Software", VOLUME = 3, NUMBER = 4, YEAR = 1983, PAGES = "265--276", NOTE = "[Same as Bruegge3]" } @ARTICLE{Dimaio1, AUTHOR = "A. {Di Maio} and S. Ceri and S. Crespi Reghizzi", TITLE = "Execution Monitoring and Debugging Tool for {A}da using Relational Algebra", JOURNAL = "Ada in Use, Proceedings of the Ada International Conference, published in ACM Ada Letters", VOLUME = 5, NUMBER = 2, MONTH = "September", YEAR = 1985, PAGES = "109--123" } @ARTICLE{Ledoux1, AUTHOR = "Carol H. {LeDoux} and D. Stott {Parker, Jr.}", TITLE = "Saving Traces for {Ada} Debugging", JOURNAL = "Ada in Use, Proceedings of the Ada International Conference, published in ACM Ada Letters", VOLUME = 5, NUMBER = 2, MONTH = "September", YEAR = 1985, PAGES = "97--108" } @ARTICLE{Schwan1, AUTHOR = "Karsten Schwan and Jim Matthews", TITLE = "Graphical Views of Parallel Programs", JOURNAL = "ACM SIGSOFT Software Engineering Notes", MONTH = "July", YEAR = 1986, VOLUME = 11, NUMBER = 3, PAGES = "51--64" } @INCOLLECTION{Dongarra1, AUTHOR = "J. J. Dongarra and D. C. Sorensen", TITLE = "{SCHEDULE}: Tools for Developing and Analyzing Parallel {F}ortran Programs", BOOKTITLE = "The Characteristics of Parallel Algorithms", EDITOR = "Lea H. Jamieson and Dennis B. Gannon and Robert J. Douglas", PUBLISHER = "MIT Press", YEAR = 1987, PAGES = "363--394", NOTE = "[Same as Dongarra3]" } @TECHREPORT{Dongarra3, AUTHOR = "J. Dongarra and D. Sorensen", TITLE = "{SCHEDULE}: Tools for Developing and Analyzing Parallel {F}ortran Programs", TYPE = "Technical Memo", NUMBER = "ANL-MCS-TM-86", INSTITUTION = "Argonne National Laboratory", MONTH = "November", YEAR = 1986, NOTE = "[Same as Dongarra1]" } @INPROCEEDINGS{Engstrom1, AUTHOR = "B. R. Engstrom and P. R. Capello", TITLE = "The {SDEF} Systolic Programming System", BOOKTITLE = "Proceedings of the 1987 International Conference on Parallel Processing", ADDRESS = "University Park PA", MONTH = "August", YEAR = 1987, PAGES = "645--652" } @TECHREPORT{Balasundaram1, AUTHOR = "V. Balasundaram and D. Baumgartner and D. Callahan and K. Kennedy and J. Subhlok", TITLE = "{PTOOL}: A System for Static Analysis of Parallelism in Programs", ADDRESS = "Department of Computer Science", INSTITUTION = "Rice University", NUMBER = "TR88-71", MONTH = "June", YEAR = 1988 } @INPROCEEDINGS{Tai1, AUTHOR = "{Kuo-Chung} Tai and Evelyn E. Obaid", TITLE = "Reproducible Testing of {A}da Tasking Programs", BOOKTITLE = "Proceedings of the Second International Conference on Ada Applications and Environments", PAGES = "69--79", ADDRESS = "Miami Beach FL", MONTH = "April", YEAR = 1986 } @INPROCEEDINGS{Tai3, AUTHOR = "{Kuo-Chung} Tai", TITLE = "On Testing Concurrent Programs", BOOKTITLE = "Proceedings of COMPSAC 85", MONTH = "October", YEAR = 1985, PAGES = "310--317" } @ARTICLE{Taylor3, AUTHOR = "Richard N. Taylor", TITLE = "A General-Purpose Algorithm for Analyzing Concurrent Programs", JOURNAL = "Communications of the ACM", VOLUME = 26, NUMBER = 5, PAGES = "362--376", MONTH = "May", YEAR = 1983 } @ARTICLE{Taylor2, AUTHOR = "Richard N. Taylor", TITLE = "Complexity of Analyzing the Synchronization Structure of Concurrent Programs", JOURNAL = "Acta Informatica", VOLUME = 19, NUMBER = 1, PAGES = "57--84", YEAR = 1983 } @INPROCEEDINGS{Taylor5, AUTHOR = "Richard N. Taylor and Leon J. Osterweil", TITLE = "A Facility for Verification, Testing and Documentation of Concurrent Process Software", BOOKTITLE = "Proceedings of COMPSAC 78", MONTH = "November", YEAR = 1978, PAGES = "36--41" } @ARTICLE{Gait2, AUTHOR = "Jason Gait", TITLE = "A Probe Effect in Concurrent Programs", JOURNAL = "Software - Practice and Experience", VOLUME = 16, NUMBER = 3, MONTH = "March", YEAR = 1986, PAGES = "225--233", NOTE = "[Same as Gait1x]" } @ARTICLE{Fairley1, AUTHOR = "R. Fairley", TITLE = "{Ada} Debugging and Testing Support Environment", JOURNAL = "ACM SIGPLAN Notices", VOLUME = 15, NUMBER = 11, PAGES = "16--25", MONTH = "November", YEAR = 1980 } @MANUAL{Intel1, AUTHOR = "Intel", TITLE = "{iPSC} Concurrent Debugger Manual", ORGANIZATION = "Intel Scientific Computer Corporation Document 310613", ADDRESS = "Beaverton OR", YEAR = 1987 } @INPROCEEDINGS{Dinucci1, AUTHOR ="D. C. Di{N}ucci and R. G. Babb II", TITLE = "Practical Support for Parallel Programming", BOOKTITLE = "Proceedings of the Twenty-First Hawaii International Conference on System Sciences", YEAR = 1988, MONTH = "January", PAGES = "109--118" } @TECHREPORT{Schiffenbauer1, AUTHOR = "Robert David Schiffenbauer", TITLE = "Interactive Debugging in a Distributed Computational Environment", INSTITUTION = "Massachusetts Institute of Technology", TYPE = "Ph.D. Thesis", YEAR = 1981, NOTE = "[Same as Schiffenbauer1x]" } @INPROCEEDINGS{Dubois1, AUTHOR = "M. Dubois and F. A. Briggs and I. Patil and M. Balakrishman", TITLE = "Trace-Driven Simulations of Parallel and Distributed Algorithms in Multiprocessors", BOOKTITLE = "Proceedings of the 1986 International Conference on Parallel Processing", YEAR = 1986, MONTH = "August", PAGES = "909--916" } @INPROCEEDINGS{Cheng1, AUTHOR = "Jingde Cheng and Keijiro Araki and Kazuo Ushijima", TITLE = "Event-Driven Execution Monitor for {Ada} Tasking Programs", BOOKTITLE = "Proceedings of COMPSAC 87", PAGES = "381--388", YEAR = 1987, MONTH = "October" } @INPROCEEDINGS{Zhou1, AUTHOR = "Bosheng Zhou and Raymond T. Yeh", TITLE = "Deadlock Detection for Concurrent Programs in {CSP}", BOOKTITLE = "Proceedings of COMPSAC 84", PAGES = "68--80", YEAR = 1984, MONTH = "October" } @ARTICLE{German1, AUTHOR = "S. M. German", TITLE = "Monitoring for Deadlock and Blocking in Ada Tasking", JOURNAL = "IEEE Transactions on Software Engineering", VOLUME = "SE-10", NUMBER = 6, YEAR = 1984, MONTH = "November", PAGES = "764--777" } @ARTICLE{Brinch1, AUTHOR = "Per {Brinch Hansen}", TITLE = "Reproducible Testing of Monitors", JOURNAL = "Software - Practice and Experience", VOLUME = 8, PAGES = "721--729", YEAR = 1978 } @TECHREPORT{Bates3x, AUTHOR = "*Peter C. Bates", TITLE = "{EBBA} Modelling Tool a.k.a. Event Definition Language", INSTITUTION = "University of Massachusetts", TYPE = "Technical Report", NUMBER = "COINS 87-35", YEAR = 1987 } @TECHREPORT{Bates1x, AUTHOR = "*Peter Bates and Jack Wileden", TITLE = "High Level Debugging of Distributed Systems: The Behavioral Abstraction Approach", INSTITUTION = "University of Massachusetts", TYPE = "Technical Report", NUMBER = "COINS-83-29", YEAR = 1983, NOTE = "[Same as Bates5]" } @TECHREPORT{Bristow1x, AUTHOR = "*G. Bristow and C. Drey and B. Edwards and W. Riddle", TITLE = "Design of a System for Anomaly Detections in {HAL/S} Programs", INSTITUTION = "University of Colorado at Boulder", TYPE = "Technical Report", ADDRESS = "Department of Computer Science", NUMBER = "CU-CS-151-79", YEAR = 1979 } @TECHREPORT{Smith3x, AUTHOR = "*Kevin Smith", TITLE = "{PAT}: An interactive {F}ortran {P}arallelizing {T}ool", INSTITUTION = "Georgia Institute of Technology", TYPE = "{Ph.D.} Dissertation", YEAR = 1989 } @TECHREPORT{Garcia1x, AUTHOR = "*Hector {Garcia-Molina} and Frank {Germano, Jr.} and Walter H. Kohler", TITLE = "Debugging a Distributed System", INSTITUTION = "Princeton University", NUMBER = "287", TYPE = "EECS Technical Report", MONTH = "August", YEAR = 1981, NOTE = "[Same as Garcia2]" } @TECHREPORT{Lin1x, AUTHOR = "*{Chu-Chung} Lin", TITLE = "The Design of a Distributed Debugger for Action-Based Object-Oriented Programs", TYPE = "{Ph.D.} Dissertation", ADDRESS = "School of Information and Computer Science", INSTITUTION = "Georgia Institute of Technology", MONTH = "September", YEAR = 1987 } @TECHREPORT{Robbins1x, AUTHOR = "*Arnold D. Robbins", TITLE = "The Design of a Passive Monitor for Distributed Programs", TYPE = "Technical Report", NUMBER = "GIT-ICS-83-21", ADDRESS = "School of Information and Computer Science", INSTITUTION = "Georgia Institute of Technology", MONTH = "August", YEAR = 1983 } @TECHREPORT{Snodgrass1x, AUTHOR = "*Richard Snodgrass", TITLE = "Monitoring Distributed Systems: A Relational Approach", TYPE = "{Ph.D.} Dissertation", INSTITUTION = "Carnegie-Mellon University", MONTH = "December", YEAR = 1982 } @TECHREPORT{Smith2x, AUTHOR = "*Edward Tucker Smith", TITLE = "Debugging Techniques for Communicating, Loosely-Coupled Processes", TYPE = "{Ph.D} Thesis", INSTITUTION = "University of Rochester", YEAR = 1981 } @INPROCEEDINGS{Himelstein1x, AUTHOR = "*M. Himelstein and P. Rowell", TITLE = "Multi-Process Debugging", BOOKTITLE = "Proceedings USENIX Summer Conference", MONTH = "June", YEAR = 1985, PAGES = "??--??" } @TECHREPORT{Leblanc1x, AUTHOR = "*Richard J. LeBlanc", TITLE = "Interactive Monitoring of Distributed Systems", TYPE = "Final Report", NUMBER = "GIT Project No. G36-605", INSTITUTION = "Georgia Institute of Technology", MONTH = "July", YEAR = 1986 } @TECHREPORT{Bei1x, AUTHOR = "*J. N. Bei", TITLE = "Communication Graph Display System: On the Use of Computer Graphics to Debug Distributed Software", TYPE = "{Ph.D} Thesis", ADDRESS = "Department of Computer Science", INSTITUTION = "University of Waterloo", YEAR = 1985 } @INPROCEEDINGS{Maxion1x, AUTHOR = "*R. A. Maxion", TITLE = "Distributed Diagnostic Performance Reporting and Analysis", BOOKTITLE = "Proceedings of the IEEE International Conference on Computer Design", MONTH = "October", YEAR = 1986, PAGES = "??--??" } @INPROCEEDINGS{Mcdaniel3x, AUTHOR = "*Gene Mc{D}aniel", TITLE = "{METRIC}: A Kernel Instrumentation System for Distributed Environments", BOOKTITLE = "Proceedings of the Sixth Symposium on Operating Systems Principles", MONTH = "November", YEAR = 1977 } @TECHREPORT{Miller6x, AUTHOR = "*Barton P. Miller and Stuart Secherest and Cathryn Macrander", TITLE = "A Distributed Program Monitor for {B}erkeley {UNIX}", TYPE = "Technical Report", NUMBER = "UCB-CSD-84-206", INSTITUTION = "University of California, Berkeley", ADDRESS = "Computer Science Division", YEAR = 1984 } @TECHREPORT{Segall1x, AUTHOR = "*Z. Segall and F. Gregoretti", TITLE = "Programming for Observability Support in a Parallel Programming Environment", TYPE = "Technical Report", NUMBER = "CMU-CS-85-176", ADDRESS = "Department of Computer Science", INSTITUTION = "Carnegie-Mellon University", MONTH = "November", YEAR = 1985 } @TECHREPORT{Goldszmidt1x, AUTHOR = "*German S. Goldszmidt and Shmuel Katz and Shaula Yemeni", TITLE = "Interactive Blackbox Debugging for Concurrent Languages", INSTITUTION = "Israel Institute of Technology", ADDRESS = "Department of Computer Science", TYPE = "Technical Report", NUMBER = 469, MONTH = "November", YEAR = 1987, NOTE = "[Same as Goldszmidt1]" } @TECHREPORT{Bates2x, AUTHOR = "*Peter C. Bates", TITLE = "Debugging Programs in a Distributed System Environment", INSTITUTION = "University of Massachusetts", TYPE = "COINS Technical Report", NUMBER = "86-05", MONTH = "January", YEAR = 1986 } @TECHREPORT{Miller7x, AUTHOR = "*Barton P. Miller and {Cui-Qing} Yang", TITLE = "{IPS}: An Interactive and Automatic Performance Measurement Tool for Parallel and Distributed Programs", INSTITUTION = "University of Wisconsin, Madison", TYPE = "Technical Report", NUMBER = "TR 613", YEAR = 1987, NOTE = "[Same as Miller5]" } @TECHREPORT{Stone1x, AUTHOR = "*Janice M. Stone", TITLE = "Visualizing Concurrent Processes", INSTITUTION = "IBM T. J. Watson Research Center", TYPE = "Technical Report", NUMBER = "RC-12973", MONTH = "July", YEAR = 1987 } @INPROCEEDINGS{Gordon1x, AUTHOR = "*Aaron J. Gordon and Raphael A. Finkel", TITLE = "{TAP}: A Tool to Find Timing Errors in Distributed Programs", BOOKTITLE = "Workshop on Software Testing", PAGES = "154--163", ADDRESS = "Banff, Canada", MONTH = "July", YEAR = 1986 } @TECHREPORT{Bei2x, AUTHOR = "*J. N. W. Bei", TITLE = "{CDGS}: A Graphical Debugger for Distributed Software", TYPE = "Technical Report", NUMBER = "85-10", INSTITUTION = "University of Waterloo", ADDRESS = "Institute for Computer Research", MONTH = "June", YEAR = 1985 } @TECHREPORT{Cheung1x, AUTHOR = "*W. H. Cheung and J. P. Black and E. G. Manning", TITLE = "A Study of Distributed Debugging", TYPE = "Research Report", NUMBER = "CS-87-53", ADDRESS = "Faculty of Mathematics", INSTITUTION = "University of Waterloo", MONTH = "October", YEAR = 1987 } @TECHREPORT{Smith1x, AUTHOR = "*Edward Tucker Smith", TITLE = "Debugging Techniques for Communicating, Loosely-Coupled Processes", TYPE = "Technical Report", NUMBER = "TR-100", MONTH = "December", YEAR = 1981, ADDRESS = "Computer Science Department", INSTITUTION = "University of Rochester" } @TECHREPORT{Sheppard1x, AUTHOR = "*A. Sheppard", TITLE = "Multiple Thread Debugging Considerations", TYPE = "Internal Document", INSTITUTION = "CONVEX", MONTH = "April", YEAR = 1987 } @TECHREPORT{Fagerstrom1x, AUTHOR = "*Johan Fagerstrom and Yngve Larsson and Lars Stromberg", TITLE = "Debugging Techniques for Distributed Environments", TYPE = "Research Report", NUMBER = "LiTH-IDA-R-86-35", YEAR = 1986, INSTITUTION = "Linkoping University" } @TECHREPORT{Ogle1x, AUTHOR = "*Dave Ogle and Karsten Schwan and Richard Snodgrass", TITLE = "The Real-Time Collection and Analysis of Dynamic Information in a Distributed System", ADDRESS = "Computer and Information Science", TYPE = "Technical Report", INSTITUTION = "Ohio State University", NUMBER = "OSU-CISRC-TR-85-12", MONTH = "September", YEAR = 1985 } @TECHREPORT{Patwardhan1x, AUTHOR = "*M. R. Patwardhan and K. C. Tai", TITLE = "A Debugging Environment for {C}oncurrent {C}", TYPE = "Technical Report", NUMBER = "TR-88-12", ADDRESS = "Department of Computer Science", INSTITUTION = "North Carolina State University", YEAR = 1988 } @TECHREPORT{Tai5x, AUTHOR = "*{Kuo-Chung} Tai and Richard H. Carver", TITLE = "Testing and Debugging of Concurrent Software by Deterministic Execution", TYPE = "Technical Report", NUMBER = "TR-87-19", ADDRESS = "Department of Computer Science", INSTITUTION = "North Carolina State University", YEAR = 1987 } @INPROCEEDINGS{Appelbe1x, AUTHOR = "*William F. Appelbe and Charles E. Mc{D}owell", TITLE = "Anomaly Detection in Parallel {F}ortran Programs", BOOKTITLE = "Proceedings of the Workshop on Parallel Processing using the HEP", YEAR = 1985, PAGES = "??--??" } @TECHREPORT{Aral4, AUTHOR = "Ziya Aral and Ilya Gertner and Greg Schaffer", TITLE = "Efficient Debugging Primitives for Shared-Memory Multiprocessors", TYPE = "Technical Report", NUMBER = "ETR-89-001", INSTITUTION = "Encore Computer Corporation", YEAR = 1988, NOTE = "[Same as Aral3]" } @INPROCEEDINGS{Heironimus1x, AUTHOR = "*E. Heironimus", TITLE = "Automated Incorporation of Upset Detection Mechanisms in Distributed {A}da Systems", BOOKTITLE = "Proceedings of the Sixth National Conference on Ada Technology", MONTH = "March", YEAR = 1988, PAGES = "??--??" } @TECHREPORT{Tokuda1x, AUTHOR = "*Hideyuki Tokuda and Makoto Kotera and Clifford W. Mercer", TITLE = "A Real-Time Monitor for a Distributed Real-Time Operating System", TYPE = "Technical Report", NUMBER = "CMU-CS-88-179", ADDRESS = "School of Computer Science", INSTITUTION = "Carnegie-Mellon University", YEAR = 1988, NOTE = "[Same as Tokuda1]" } @TECHREPORT{Black1x, AUTHOR = "*David L. Black and David B. Golub and Avadis Tevanian and Richard Sanzi", TITLE = "The {M}ach exception handling facility", NUMBER = "CMU-CS-88-129", ADDRESS = "School of Computer Science", INSTITUTION = "Carnegie-Mellon University", YEAR = 1988, NOTE = "[Same as Black1]" } @TECHREPORT{Chiu2x, AUTHOR = "*S. Y. Chiu", TITLE = "Debugging Distributed Computations in a Nested Atomic Action System", TYPE = "Technical Report", NUMBER = "TR-327", ADDRESS = "Laboratory for Computer Science", INSTITUTION = "Massachusetts Institute of Technology", YEAR = 1984 } @TECHREPORT{Kolodney1x, AUTHOR = "*L. W. Kolodney", TITLE = "{MAM}: A Semi-Automatic Debugging Tool for Distributed Programs", TYPE = "Technical Report", NUMBER = "TR-392", ADDRESS = "Laboratory for Computer Science", INSTITUTION = "Massachusetts Institute of Technology", YEAR = 1987, MONTH = "June" } @TECHREPORT{Mcdowell1x, AUTHOR = "*Charles E. {McDowell}", TITLE = "A Practical Algorithm for Static Analysis of Parallel Programs", TYPE = "Technical Report", NUMBER = "UCSC-CRL-87-23", ADDRESS = "Computer Research Laboratory", INSTITUTION = "University of California, Santa Cruz", YEAR = 1987 } @TECHREPORT{Leblanc6, AUTHOR = "Thomas J. Le{B}lanc and John M. {Mellor-Crummey}", TITLE = "Debugging Parallel Programs with Instant Replay", TYPE = "Technical Report", NUMBER = "TR194", ADDRESS = "Computer Science Department", INSTITUTION = "University of Rochester", YEAR = 1986, MONTH = "September", NOTE = "[Same as Leblanc2]" } @TECHREPORT{Miller4x, AUTHOR = "*Barton P. Miller and {Jong-Deok} Choi", TITLE = "A Mechanism for Efficient Debugging of Parallel Programs", TYPE = "Technical Report", NUMBER = "TR754", ADDRESS = "Computer Sciences Department", INSTITUTION = "University of Wisconsin, Madison", YEAR = 1988, MONTH = "February" } @INPROCEEDINGS{Gross1x, AUTHOR = "*T. Gross and W. Zwaenepoel", TITLE = "System Support for Multi-Process Debugging", BOOKTITLE = "Conference preprints from the ACM SIGSOFT/SIGPLAN Symposium on High-Level Debugging", YEAR = 1983, PAGES = "192--196" } @TECHREPORT{Victor1x, AUTHOR = "*Kenneth B. Victor", TITLE = "The Design and Implementation of {DAD}: A Multiprocess, Multimachine, Multilanguage Interactive Debugger", TYPE = "Draft Report", ADDRESS = "Augmentation Research Center", INSTITUTION = "Stanford Research Institute", MONTH = "August", YEAR = 1976, NOTE = "[Same as Victor1]" } @TECHREPORT{Miller3x, AUTHOR = "*Barton P. Miller and J. D. Choi", TITLE = "Breakpoints and Halting in Distributed Programs", TYPE = "Technical Report", NUMBER = 648, ADDRESS = "Department of Computer Science", INSTITUTION = "University of Wisconsin, Madison", MONTH = "July", YEAR = 1986, NOTE = "[Same as Miller1]" } @TECHREPORT{Haban1x, AUTHOR = "*D. Haban and D. Wybranietz", TITLE = "Hardware Supported Monitoring in Distributed Computing Systems", TYPE = "Technical Report", NUMBER = "SFB-124-23-86", INSTITUTION = "University of Kaiserslautern", YEAR = 1986 } @INPROCEEDINGS{Stankovic1x, AUTHOR = "*J. A. Stankovic", TITLE = "Debugging Commands for a Distributed Processing System", BOOKTITLE = "Proceedings COMPCON", MONTH = "Fall", YEAR = 1980, PAGES = "701--705" } @TECHREPORT{Miller1x, AUTHOR = "*Barton P. Miller", TITLE = "{DPM}: A Measurement System for Distributed Programs", TYPE = "Technical Report", NUMBER = 592, ADDRESS = "Department of Computer Sciences", INSTITUTION = "University of Wisconsin, Madison", MONTH = "May", YEAR = 1985 } @TECHREPORT{Macrander1x, AUTHOR = "*Cathryn M. Macrander", TITLE = "Development of a Control Process for the {B}erkely {UNIX} Distributed Programs Monitor", TYPE = "Technical Report", ADDRESS = "Computer Science Division", NUMBER = "UCB-CSD-84-216", INSTITUTION = "University of California, Berkeley", MONTH = "December", YEAR = 1984 } @TECHREPORT{Philips1x, AUTHOR = "*D. Philips", TITLE = "Black Flag", TYPE = "Technical Report", INSTITUTION = "Carnegie-Mellon University", MONTH = "June", YEAR = 1981 } @TECHREPORT{Gait1x, AUTHOR = "*Jason Gait", TITLE = "A Probe Effect in Concurrent Programs", TYPE = "Technical Report", NUMBER = "CR-84-04", ADDRESS = "Computer Research Labs", INSTITUTION = "Tektronix Inc.", MONTH = "February", YEAR = 1984, NOTE = "[Same as Gait2]" } @ARTICLE{Holdsworth1, AUTHOR = "D. Holdsworth", TITLE = "A System for Analyzing {A}da Programs at Run Time", JOURNAL = "Software -- Practice and Experience", VOLUME = 13, YEAR = 1983, PAGES = "407--421" } @TECHREPORT{Carver1x, AUTHOR = "*Richard H. Carver and {Kuo-Chung} Tai", TITLE = "Reproducible Testing of Concurrent Programs Based on Shared Variables", TYPE = "Technical Report", NUMBER = "TR-85-13", ADDRESS = "Department of Computer Science", INSTITUTION = "North Carolina State University", YEAR = 1985, NOTE = "[Same as Carver1]" } @TECHREPORT{Tai4x, AUTHOR = "*{Kuo-Chung} Tai", TITLE = "Reproducible Testing of Concurrent {A}da Programs", TYPE = "Technical Report", NUMBER = "TR-85-09", ADDRESS = "Department of Computer Science", INSTITUTION = "North Carolina State University", MONTH = "July", YEAR = 1985, NOTE = "[Same as Tai3]" } @INPROCEEDINGS{Tai1x, AUTHOR = "*{Kuo-Chung} Tai", TITLE = "An Approach to Testing Concurrent {A}da Programs", BOOKTITLE = "Proceedings of the 1986 Washington Ada Symposium", YEAR = 1986, PAGES = "??--??" } @MANUAL{Sequent1x, AUTHOR = "*Sequent", TITLE = "{DYNIX Pdbx} Debugger User's Manual", INSTITUTION = "Sequent Computer Corporation", TYPE = "Sequent Technical Publications", ADDRESS = "Beaverton OR", YEAR = 1986 } @INPROCEEDINGS{Joyce1x, AUTHOR = "*Jeffrey J. Joyce and Brian W. Unger", TITLE = "Graphical Monitoring of Distributed Systems", BOOKTITLE = "Proceedings of the Society for Computer Simulation Conference on AI Graphics and Simulation", YEAR = 1985, PAGES = "85--92" } @INPROCEEDINGS{Bemmerl1x, AUTHOR = "*T. Bemmerl and J. Haunerdinger", TITLE = "Hardware Instrumentation Techniques for Multimicroprocessors", BOOKTITLE = "Proceedings of the IFIP Conference on Parallel Processing", YEAR = 1988, PAGES = "??--??" } @TECHREPORT{Helmbold1x, AUTHOR = "*David P. Helmbold and David C. Luckham", TITLE = "Runtime Detection and Description of Deadness Errors in {A}da Tasking", TYPE = "Technical Report", NUMBER = "CSL-83-249", INSTITUTION = "Stanford University", ADDRESS = "Computer Science Laboratory", MONTH = "November", YEAR = 1983 } @INPROCEEDINGS{Maddaleno1, AUTHOR = "F. Maddaleno and F. Gregoretti", TITLE = "Hardware and Software Debugging Tools for Multiprocessors", BOOKTITLE = "Proceedings of the Melecon 1983 Conference", MONTH = "May", YEAR = 1983, PAGES = "A6.09--A6.10" } @INPROCEEDINGS{Mcdaniel2x, AUTHOR = "*Gene Mc{D}aniel", TITLE = "The {M}esa {S}py: An Interactive Tool for Performance Debugging", BOOKTITLE = "Proceedings of the 1982 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems", PAGES = "68--76", MONTH = "August", YEAR = 1982 } @INPROCEEDINGS{Blake1x, AUTHOR = "*R. Blake", TITLE = "{XRAY}: Instrumentation for Multiple Computers", BOOKTITLE = "Information Processing 80, Proceedings of the IFIP Eighth World Computer Congress", MONTH = "May", YEAR = 1980 } @TECHREPORT{Mohan1x, AUTHOR = "*J. Mohan", TITLE = "Performance of Parallel Programs: Model and Analyses", TYPE = "{Ph.D} Thesis", INSTITUTION = "Carnegie-Mellon University", YEAR = 1984 } @TECHREPORT{Yang1x, AUTHOR = "*{Cui-Qing} Yang", TITLE = "A Structured and Automatic Approach to the Performance Measurement of Parallel and Distributed Programs", TYPE = "Technical Report", NUMBER = "713", ADDRESS = "Computer Sciences Department", INSTITUTION = "University of Wisconsin, Madison", YEAR = 1987, MONTH = "August" } @TECHREPORT{Brindle2x, AUTHOR = "*Anne F. Brindle and Richard N. Taylor and David F. Martin", TITLE = "A Debugger for {A}da Tasking", TYPE = "Technical Report", NUMBER = "ATR-85(8033)-1", INSTITUTION = "Aerospace Corporation", YEAR = 1985, NOTE = "[Same as Brindle1]" } @TECHREPORT{Finke1x, AUTHOR = "*A. Finke", TITLE = "{ART}: Anomaly Reporting Tool for Concurrent Programming Languages", TYPE = "Technical Report", INSTITUTION = "University of California at San Diego", ADDRESS = "Computer Science Department", NUMBER = "CS-086", YEAR = 1986 } @ARTICLE{Klar1, AUTHOR = "R. Klar and N. Luttenberger", TITLE = "{VLSI}-Based Monitoring of the Inter-Process Communication in Multi-Microprocessor Systems with Shared Memory", JOURNAL = "Proceedings of Euromicro '86, published in Microprocessing and Microprogramming", MONTH = "September", VOLUME = 18, YEAR = 1986, PAGES = "195--204" } @INPROCEEDINGS{Young1x, AUTHOR = "*M. Young and R. N. Taylor", TITLE = "Combining Static Concurrency Analysis with Symbolic Execution", BOOKTITLE = "Proceedings Workshop on Software Testing", YEAR = 1986, PAGES = "10--18" } @TECHREPORT{Mcdowell2x, AUTHOR = "*Charles E. Mc{D}owell and David P. Helmbold", TITLE = "Debugging Concurrent Programs", TYPE = "Technical Report", NUMBER = "UCSC-CRL-88-21", INSTITUTION = "University of California, Santa Cruz", ADDRESS = "Computer Research Laboratory", MONTH = "November", YEAR = 1988 } @INPROCEEDINGS{Cargill1x, AUTHOR = "*T. A. Cargill", TITLE = "The Feel of {P}i", BOOKTITLE = "Proceedings Winter USENIX Meeting", MONTH = "January", YEAR = 1986, PAGES = "??--??" } @MANUAL{Moy1x, AUTHOR = "*B. Moy and M. Hagen", TITLE = "{M}ach 1000 Software Tools", ORGANIZATION = "BBN Advanced Computers", EDITION = "Revision 1.0", ADDRESS = "Cambridge MA", YEAR = 1988, MONTH = "October" } @TECHREPORT{Brindle1x, AUTHOR = "*A. F. Brindle and D. F. Martin and R. N. Taylor and L. R. Jansen", TITLE = "A Model for the Run-Time Processing of {Ada} Tasking", TYPE = "Technical Report", NUMBER = "ATR-84(8233)-2", INSTITUTION = "Aerospace Corporation", YEAR = 1984 } @TECHREPORT{Couch1x, AUTHOR = "*Alva L. Couch", TITLE = "Graphical Representations of Program Performance on Hypercube Message-Passing Multiprocessors", TYPE = "{Ph.D.} Thesis", INSTITUTION = "Tufts University", YEAR = 1988, NOTE = "[Same as Couch1]" } @INPROCEEDINGS{Andreis1x, AUTHOR = "*F. Andreis and D. Briatico and G. Ingoglia", TITLE = "A Tool for Real-Time Debug: {Cassandra}", BOOKTITLE = "Proceedings of the Third International Conference-Exhibition on Software Engineering", ADDRESS = "Versailles, France", MONTH = "May", YEAR = 1986, PAGES = "??--??" } @TECHREPORT{Kelly1x, AUTHOR = "*Bruce Kelly", TITLE = "{MAT} Multitasking Analysis Tool", TYPE = "Technical Report", INSTITUTION = "Lawrence Livermore National Laboratory", NUMBER = "LCSD-347", YEAR = "??--??" } @INCOLLECTION{Manning1, AUTHOR = "Carl R. Manning", TITLE = "Traveler: The Apiary Observatory", BOOKTITLE = "Proceedings of the European Conference on Object Oriented Programming", PUBLISHER = "Springer-Verlag", ADDRESS = "New York", YEAR = 1987, PAGES = "89--97" } @TECHREPORT{Snow1x, AUTHOR = "*C. Snow and W. Wong", TITLE = "Interactive Remote Source-Level Debugging Tools using Interface Monitoring", INSTITUTION = "Newcastle-upon-Tyne University", TYPE = "Technical Report", NUMBER = "228", ADDRESS = "Computing Laboratory", MONTH = "November", YEAR = 1986 } @TECHREPORT{Poirier1x, AUTHOR = "*M. Poirier", TITLE = "The {Shoshin} Software Performance Monitor", TYPE = "{Ph.D} Thesis", ADDRESS = "Department of Computer Science", INSTITUTION = "University of Waterloo", YEAR = 1982 } @TECHREPORT{Highnam1x, AUTHOR = "*P. T. Highnam", TITLE = "Medic: A Resident Monitor for Medusa", INSTITUTION = "Carnegie-Mellon University", TYPE = "Multiprocessor Performance Evaluation Group Memorandum", ADDRESS = "Department of Computer Science", YEAR = 1981, MONTH = "September" } @TECHREPORT{Chiu1x, AUTHOR = "*S. Y. Chiu", TITLE = "Debugging Distributed Computations in a Nested Atomic Action System", TYPE = "{Ph.D.} Thesis", ADDRESS = "Department of Computer Science", INSTITUTION = "Massachusetts Institute of Technology", YEAR = 1984 } @TECHREPORT{Doeppner1x, AUTHOR = "*Thomas W. {Doeppner, Jr.}", TITLE = "Threads: A System for the Support of Concurrent Programming", TYPE = "Technical Report", NUMBER = "CS-87-11", ADDRESS = "Computer Science Department", INSTITUTION = "Brown University", MONTH = "June", YEAR = 1987 } @INPROCEEDINGS{Fidge2x, AUTHOR = "*C. J. Fidge", TITLE = "Reproducible Tests in {CSP}", BOOKTITLE = "Proceedings of the Tenth Australian Computer Science Conference", ADDRESS = "Deakin University", MONTH = "February", YEAR = 1987, PAGES = "??--??", NOTE = "[Same as Fidge2]" } @ARTICLE{Fidge2, AUTHOR = "C. J. Fidge", TITLE = "Reproducible Tests in {CSP}", JOURNAL = "Australian Computer Journal", MONTH = "May", YEAR = 1987, VOLUME = 19, NUMBER = 2, PAGES = "92--98", NOTE = "[Same as Fidge2x]" } @TECHREPORT{Kupfer1x, AUTHOR = "*M. Kupfer", TITLE = "Performance of a Remote Instrumentation Program", INSTITUTION = "University of California, Berkeley", TYPE = "Technical Report", NUMBER = "UCB-CSD-85-223", ADDRESS = "Computer Science Division", YEAR = 1987 } @TECHREPORT{Harter1x, AUTHOR = "*Paul K. {Harter, Jr.} and Dennis M. Heimbigner and Roger King", TITLE = "{IDD}: An Interactive Distributed Debugger", TYPE = "Technical Report", INSTITUTION = "University of Colorado", YEAR = 1985, NOTE = "[Same as Harter1]" } @TECHREPORT{Lichtenstein1x, AUTHOR = "*Yossi Lichtenstein", TITLE = "Concurrent Algorithmic Debugging", TYPE = "Technical Report", INSTITUTION = "Weizmann Institute of Science", ADDRESS = "Department of Computer Science", NUMBER = "CS87-20", MONTH = "August", YEAR = 1987 } @TECHREPORT{Lichtenstein2x, AUTHOR = "*Yossi Lichtenstein and Ehud Shapiro", TITLE = "Abstract Algorithmic Debugging", TYPE = "Technical Report", INSTITUTION = "Weizmann Institute of Science", ADDRESS = "Department of Computer Science", NUMBER = "CS87-21", MONTH = "December", YEAR = 1987, NOTE = "[Same as Lichtenstein1]" } @TECHREPORT{Lloydx1, AUTHOR = "*J. Lloyd and A. Takeuchi", TITLE = "A Framework for Debugging {GHC}", TYPE = "Technical Report", INSTITUTION = "Institute for New Generation Computer Technology", NUMBER = "TR-186", YEAR = 1986 } @INCOLLECTION{Takeuchi1, AUTHOR = "Akikazu Takeuchi", TITLE = "Algorithmic Debugging of {GHC} Programs and Its Implementation in {GHC}", BOOKTITLE = "Concurrent {Prolog}: Collected Papers", EDITOR = "E. Shapiro", PUBLISHER = "MIT Press", ADDRESS = "Boston", YEAR = 1987, PAGES = "180--196" } @TECHREPORT{Lusk1x, AUTHOR = "*E. L. Lusk and R. A. Overbeek", TITLE = "Use of Monitors in {Fortran}: A Tutorial on the Barrier, Self-Scheduling {DO-loop}, and {Askfor} Monitors", TYPE = "Technical Report", INSTITUTION = "Argonne National Laboratory", NUMBER = "ANL84-51, Rev.1", MONTH = "June", YEAR = 1985 } @ARTICLE{Kerola1, AUTHOR = "Teemu Kerola and Herb Schwetman", TITLE = "Monit: A Performance Monitoring Tool for Parallel and Pseudo-Parallel Programs", JOURNAL = "Proceedings of the ACM SIGMETRICS Conference on Measurements and Modeling of Computer Systems, published in Performance Evaluation Review", VOLUME = 15, NUMBER = 1, MONTH = "May", YEAR = 1987, PAGES = "163--174" } @TECHREPORT{Schwan1x, AUTHOR = "*Karsten Schwan and Rajiv Ramnath and Soumitra Sarkar and Sridhar Vasudevan", TITLE = "An Integrated Programming/Operating System for Parallel Programming", TYPE = "Technical Report", INSTITUTION = "Ohio State University", ADDRESS = "Department of Computer and Information Science", NUMBER = "OSU-CISRC-TR-85-13", MONTH = "September", YEAR = 1985 } @INPROCEEDINGS{Aral1x, AUTHOR = "*Ziya Aral and Ilya Gertner", TITLE = "Parasight: An Architecture for High-Level Debugging and Profiling", BOOKTITLE = "Proceedings of the ACM 1988 International Conference on Supercomputing", MONTH = "July", YEAR = 1988, ADDRESS = "Saint Malo, France", PAGES = "??--??" } @TECHREPORT{Bates4x, AUTHOR = "*Peter C. Bates and Jack C. Wileden and Victor R. Lesser", TITLE = "A Debugging Tool for Distributed Systems", INSTITUTION = "University of Massachusetts", TYPE = "Technical Report", NUMBER = "COINS 82-34", YEAR = 1982, NOTE = "[Same as Bates6]" } @TECHREPORT{Ledoux1x, AUTHOR = "*Carol H. Le{D}oux", TITLE = "A Knowledge-Based System for Debugging Concurrent Software", TYPE = "{Ph.D.} Thesis", INSTITUTION = "University of California, Los Angeles", YEAR = 1986 } @ARTICLE{Mcdaniel1x, AUTHOR = "*Gene Mc{D}aniel", TITLE = "The {M}esa {S}py: An Interactive Tool for Performance Debugging", JOURNAL = "Performance Evaluation Review", MONTH = "December", VOLUME = 11, NUMBER = 4, YEAR = 1982, PAGES = "68--76" } @TECHREPORT{Miller2x, AUTHOR = "*Barton P. Miller", TITLE = "Performance Characterization of Distributed Programs", TYPE = "{Ph.D.} Thesis", INSTITUTION = "University of California, Berkeley", YEAR = 1985 } @TECHREPORT{Model2x, AUTHOR = "*M. L. Model", TITLE = "Monitoring System Behavior in a Complex Computational Environment", TYPE = "{Ph.D.} Thesis", INSTITUTION = "Stanford University", YEAR = 1978 } @TECHREPORT{Model1x, AUTHOR = "*M. L. Model", TITLE = "Monitoring System Behavior in a Complex Computational Environment", TYPE = "Technical Report", NUMBER = "STAN-CS-79-701", INSTITUTION = "Stanford University", ADDRESS = "Computer Science Department", YEAR = 1979 } @TECHREPORT{Nutt1x, AUTHOR = "*G. J. Nutt", TITLE = "A Survey of Remote Monitors", INSTITUTION = "National Bureau of Standards", TYPE = "Special Publication", NUMBER = "500-42", MONTH = "January", YEAR = 1979 } @INPROCEEDINGS{Wahl1x, AUTHOR = "*N. J. Wahl and S. R. Schach", TITLE = "A Methodology and Distributed Tool for Debugging Dataflow Programs", BOOKTITLE = "Proceedings of the Second Workshop on Software Testing, Verification, and Analysis", ADDRESS = "Banff, Canada", MONTH = "July", YEAR = 1988, PAGES = "98--105" } @INPROCEEDINGS{Naeini1x, AUTHOR = "*R. S. Naeini", TITLE = "A Multicomputing Environment", BOOKTITLE = "Proceedings of the 1988 Conference on Tools for the Simulation Profession", ADDRESS = "Orlando FL", MONTH = "April", YEAR = 1988, PAGES = "16--20" } @INPROCEEDINGS{Sundermeier1, AUTHOR = "Bill Sundermeier", TITLE = "Real-Time Multiprocessing Debugging", BOOKTITLE = "Proceedings of the WESCON '87", ADDRESS = "San Francisco CA", MONTH = "November", YEAR = 1987, PAGES = "27/3/1--5" } @INPROCEEDINGS{Shatz1x, AUTHOR = "*Sol M. Shatz and D. Moorthi and K. Mai and J. Woodward", TITLE = "Toolkit for Automated Support of {Ada} Tasking Analysis", BOOKTITLE = "Proceedings of the Ninth International Conference on Distributed Computing Systems", ADDRESS = "Newport Beach CA", MONTH = "June", YEAR = 1989, PAGES = "??--??" } @INPROCEEDINGS{Nudler1x, AUTHOR = "*I. Nudler and L. Rudolph", TITLE = "Tools for the Efficient Development of Efficient Parallel Programs", BOOKTITLE = "Proceedings of the First Israeli Conference on Computer Systems Engineering", MONTH = "May", YEAR = 1986, PAGES = "??--??" } @TECHREPORT{Schiffenbauer1x, AUTHOR = "*Robert David Schiffenbauer", TITLE = "Interactive Debugging in a Distributed Computational Environment", INSTITUTION = "Massachusetts Institute of Technology", TYPE = "Ph.D. Thesis", YEAR = 1981, NOTE = "[Same as Schiffenbauer1]" } @INPROCEEDINGS{Hao1, AUTHOR = "K. Hao and R. T. Yeh", TITLE = "Detection of Inherent Deadlock in Distributed Programs", BOOKTITLE = "Proceedings of the Third International Conference on Distributed Computing Systems", MONTH = "October", YEAR = 1982, PAGES = "518--523" } @TECHREPORT{Anderson1, AUTHOR = "Thomas E. Anderson and Edward D. Lazowska", TITLE = "Quartz: A Tool for Tuning Parallel Program Performance", INSTITUTION = "University of Washington", TYPE = "Technical Report", NUMBER = "89-09-05", ADDRESS = "Department of Computer Science and Engineering", MONTH = "September", YEAR = 1989 } @TECHREPORT{Bercovitz1, AUTHOR = "Paul Bercovitz and Nicholas Carriero", TITLE = "Tuple{S}cope: A Graphical Monitor and Debugger for {L}inda-based Parallel Programs", INSTITUTION = "Yale University", TYPE = "Research Report", NUMBER = "YALEU/DCS/RR-782", MONTH = "April", YEAR = 1990 } @MANUAL{Bercovitz2, AUTHOR = "Paul Bercovitz", TITLE = "Tuple{S}cope User's Guide", ORGANIZATION = "Yale University", ADDRESS = "New Haven CT", MONTH = "April", YEAR = 1990 } @INPROCEEDINGS{Callahan4, AUTHOR = "David Callahan and Ken Kennedy and Jaspal Subhlok", TITLE = "Analysis of Event Synchronization in a Parallel Programming Tool", BOOKTITLE = "Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming", ADDRESS = "Seattle WA", MONTH = "March", PAGES = "21--30", YEAR = 1990 } @INPROCEEDINGS{Cheng2, AUTHOR = "Jingde Cheng and Keijiro Araki and Kazuo Ushijima", TITLE = "Event-Driven Execution Monitor for {A}da Tasking Programs", BOOKTITLE = "Proceedings of COMPSAC 87", ADDRESS = "Tokyo", MONTH = "October", PAGES = "381--388", YEAR = 1987 } @ARTICLE{Cheng3, AUTHOR = "Jingde Cheng and Kazuo Ushijima", TITLE = "Naming {A}da Tasks at Run-time", JOURNAL = "ACM Ada Letters", VOLUME = 9, NUMBER = 2, MONTH = "February", YEAR = 1989, PAGES = "52--61" } @INPROCEEDINGS{Cheng4, AUTHOR = "Jingde Cheng and Keijiro Araki and Kazuo Ushijima", TITLE = "Detecting Tasking Communication Deadlocks in Concurrent {A}da Programs", BOOKTITLE = "Proceedings of International Computer Science Conference '88", ADDRESS = "Hong Kong", MONTH = "December", PAGES = "138--145", YEAR = 1988 } @INPROCEEDINGS{Cheng5, AUTHOR = "Jingde Cheng and Kazuo Ushijima", TITLE = "Partial Order Transparency in Monitoring Tasking Behaviors of Concurrent {A}da Programs", BOOKTITLE = "Proceedings of International Computer Science Conference '88", ADDRESS = "Hong Kong", MONTH = "December", PAGES = "583--588", YEAR = 1988 } @INPROCEEDINGS{Cheng6, AUTHOR = "Jingde Cheng and Kazuo Ushijima", TITLE = "Partial Order Transparency: A Minimum Requirement for Monitoring Concurrent Systems", BOOKTITLE = "Proceedings of Second International Workshop on Software Engineering and Its Applications", ADDRESS = "Toulouse, France", MONTH = "December", PAGES = "827--839", YEAR = 1989 } @TECHREPORT{Cheng7, AUTHOR = "Jingde Cheng", TITLE = "Studies on Monitoring Concurrent Programs", TYPE = "{Ph.D.} Dissertation", ADDRESS = "Department of Computer Science and Communication Engineering", INSTITUTION = "Kyushu University", MONTH = "December", YEAR = 1988 } @TECHREPORT{Couch2, AUTHOR = "Alva L. Couch and David W. Krumme", TITLE = "Projection, Pursuit, and the {T}riplex Tool Set for the {NCUBE} Multiprocessor", INSTITUTION = "Tufts University", TYPE = "Technical Report", ADDRESS = "Department of Computer Science", MONTH = "November", YEAR = 1989 } @INPROCEEDINGS{Dinning1, AUTHOR = "Anne Dinning and Edith Schonberg", TITLE = "An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection", BOOKTITLE = "Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming", ADDRESS = "Seattle WA", MONTH = "March", PAGES = "1--10", YEAR = 1990 } @TECHREPORT{Dinning1x, AUTHOR = "Anne Dinning and Edith Schonberg", TITLE = "An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection", INSTITUTION = "New York University", TYPE = "Technical Report", NUMBER = "Ultracomputer Note 163", MONTH = "July", YEAR = 1989 } @INPROCEEDINGS{Eggers1, AUTHOR = "Susan J. Eggers and Randy H. Katz", TITLE = "A Characterization of Sharing in Parallel Programs and Its Application to Coherency Protocol Evaluation", BOOKTITLE = "Proceedings of the Fifth Annual International Symposium on Computer Architecture", MONTH = "May", PAGES = "373--382", YEAR = 1988 } @TECHREPORT{Francioni2, AUTHOR = "Joan M. Francioni", TITLE = "Design of a Communication Modeling Tool for Debugging Parallel Programs", INSTITUTION = "Michigan Technological University", TYPE = "Technical Report", NUMBER = "CS-TR-89-7", ADDRESS = "Department of Computer Science", MONTH = "April", YEAR = 1989 } @ARTICLE{Gait3, AUTHOR = "Jason Gait and Terry Laskodi and Rick Krull", TITLE = "Interactive Monitor for a Communication Kernel", JOURNAL = "Computer Systems Science and Engineering", VOLUME = 4, NUMBER = 3, MONTH = "July", YEAR = 1989, PAGES = "154--160" } @ARTICLE{Griffin4, AUTHOR = "James Griffin and Robert Hiromoto", TITLE = "Experience with an Experimental Debugger for Parallel Programs", JOURNAL = "Supercomputer", VOLUME = 33, NUMBER = 5, MONTH = "September", YEAR = 1989, PAGES = "44--50" } @ARTICLE{Guarna2, AUTHOR = "Vincent A. {Guarna, Jr.} and Dennis Gannon and David Jablonowski and Allen D. Malony and Yogesh Gaur", TITLE = "Faust: An Integrated Environment for Paralle Programming", JOURNAL = "IEEE Software", VOLUME = 6, NUMBER = 4, MONTH = "July", YEAR = 1989, PAGES = "20--27" } @INPROCEEDINGS{Gupta1, AUTHOR = "Rajiv Gupta", TITLE = "Debugging Code Reorganized by a Trace Scheduling Compiler", BOOKTITLE = "Proceedings of Third International Conference on Supercomputing", PAGES = "422--430", YEAR = 1988 } @TECHREPORT{Haban3, AUTHOR = "Dieter Haban and Dieter Wybranietz", TITLE = "Behavior and Performance Analysis of Distributed Systems using a Hybrid Monitor", INSTITUTION = "International Computer Science Institute", TYPE = "Technical Report", NUMBER = "89-029", MONTH = "May", YEAR = 1989, NOTE = "[Same as Haban2x]" } @ARTICLE{Henderson2, AUTHOR = "Leslie Ann Henderson and Robert E. Hiromoto and Olaf M. Lubeck and Margaret L. Simmons", TITLE = "On the Use of Diagnostic Dependence-Analysis Tools in Parallel Programming: Experiences using {PTOOL}", JOURNAL = "The Journal of Supercomputing", VOLUME = 4, PAGES = "83--96", YEAR = 1990 } @TECHREPORT{Holloman1, AUTHOR = "Edward Dean Holloman", TITLE = "Design and Implementation of a Replay Debugger for Parallel Programs on {UNIX}-based Systems", INSTITUTION = "North Carolina State University", TYPE = "Technical Report", NUMBER = "89-22", ADDRESS = "Department of Computer Studies", MONTH = "June", YEAR = 1989 } @TECHREPORT{Hood2, AUTHOR = "Robert Hood and Ken Kennedy and John Mellor-Crummey", TITLE = "Parallel Program Debugging with On-the-fly Anomaly Detection", INSTITUTION = "Rice University", TYPE = "Technical Report", NUMBER = "TR90-111", ADDRESS = "Department of Computer Science", MONTH = "May", YEAR = 1990 } @INPROCEEDINGS{Hseush2, AUTHOR = "Wenway Hseush and Gail E. Kaiser", TITLE = "Modeling Concurrency in Parallel Debugging", BOOKTITLE = "Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming", ADDRESS = "Seattle WA", MONTH = "March", PAGES = "11--20", YEAR = 1990 } @INPROCEEDINGS{Katseff2, AUTHOR = "Howard P. Katseff", TITLE = "Debugging and Performance Monitoring in {HPC/VORX}", BOOKTITLE = "Proceedings of Distributed \& Multiprocessor Systems Workshop", PAGES = "255--267", YEAR = "??" } @INPROCEEDINGS{Korty1, AUTHOR = "Joseph A. Korty", TITLE = "Sema: A {L}int-like Tool for Analyzing Semaphore Usage in a Multithreaded {UNIX} Kernel", BOOKTITLE = "Proceedings of USENIX", PAGES = "113--123", MONTH = "Winter", YEAR = 1989 } @INCOLLECTION{Krumme2, AUTHOR = "David W. Krumme and Alva L. Couch and George Cybenko", TITLE = "Debugging Support for Parallel Programs", BOOKTITLE = "Vector and Parallel Computing: Issues in Applied Research and Development", EDITOR = "Jack Dongarra et al.", PUBLISHER = "Ellis Horwood", ADDRESS = "Chichester, England", YEAR = 1989, PAGES = "205--214" } @ARTICLE{Leblanc5, AUTHOR = "Thomas J. LeBlanc and John M. Mellor-Crummey and Robert J. Fowler", TITLE = "Analyzing Parallel Program Executions Using Multiple Views", JOURNAL = "Journal of Parallel and Distributed Computing", VOLUME = 9, MONTH = "June", YEAR = 1990, PAGES = "203--217", NOTE = "[Same as Leblanc7]" } @TECHREPORT{Leblanc7, AUTHOR = "Thomas J. LeBlanc and John M. Mellor-Crummey and Robert J. Fowler", TITLE = "Analyzing Parallel Program Executions Using Multiple Views", INSTITUTION = "Rice University", TYPE = "Technical Report", NUMBER = "TR90-110", ADDRESS = "Department of Computer Science", MONTH = "January", YEAR = 1990, NOTE = "[Same as Leblanc5]" } @ARTICLE{Lehr1, AUTHOR = "Ted Lehr and Zary Segall and Dalibor F. Vrsalovic and Eddie Caplan and Alan L. Chung and Charles E. Fineman", TITLE = "Visualizing Performance Debugging", JOURNAL = "IEEE Computer", VOLUME = 22, NUMBER = 10, MONTH = "October", YEAR = 1989, PAGES = "52--61" } @INPROCEEDINGS{Li1, AUTHOR = "Kai Li and Jeffrey F. Naughton and James S. Plank", TITLE = "Real-Time, Concurrent Checkpoint for Parallel Programs", BOOKTITLE = "Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming", ADDRESS = "Seattle WA", MONTH = "March", PAGES = "79--88", YEAR = 1990 } @ARTICLE{Mcdowell4, AUTHOR = "Charles E. McDowell and David P. Helmbold", TITLE = "Debugging Concurrent Programs", JOURNAL = "ACM Computing Surveys", VOLUME = 21, NUMBER = 4, MONTH = "December", YEAR = 1989, PAGES = "593--622" } @TECHREPORT{Mellorcrummey1, AUTHOR = "John M. Mellor-Crummey", TITLE = "Debugging and Analysis of Large-Scale Parallel Programs", TYPE = "{Ph.D.} Dissertation", ADDRESS = "Department of Computer Science", INSTITUTION = "University of Rochester", MONTH = "September", YEAR = 1989 } @INPROCEEDINGS{Mills1, AUTHOR = "Russell C. Mills and Leland Woodbury and Gerald Q. {Maguire, Jr.}", TITLE = "A Debugging Environment for the {DADO} Parallel Computer", BOOKTITLE = "Proceedings of Third International Conference on Supercomputing", ADDRESS = "St. Petersburg FL", PAGES = "413--421", YEAR = 1988 } @TECHREPORT{Netzer1, AUTHOR = "Robert H. B. Netzer and Barton P. Miller", TITLE = "Detecting Data Races in Parallel Program Executions", INSTITUTION = "University of Wisconsin, Madison", TYPE = "Technical Report", NUMBER = "TR90-894", ADDRESS = "Department of Computer Science", MONTH = "August", YEAR = 1990, NOTE = "[Same as Netzer2x]" } @INCOLLECTION{Solin1, AUTHOR = "Ulla Solin", TITLE = "Animation Techniques for Parallel Algorithms", BOOKTITLE = "Parallel Processing and Applications", EDITOR = "E. Chiricozzi and A. {D'Amico}", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1988, PAGES = "437--445" } @ARTICLE{Valmari1, AUTHOR = "Antti Valmari", TITLE = "{PC-RIMST}: A Tool for Validating Concurrent Program Designs", JOURNAL = "Microprocessing and Microprogramming", VOLUME = 24, YEAR = 1989, PAGES = "809--818" } @ARTICLE{Young2, AUTHOR = "Michal Young and Richard N. Taylor and Kari Forester and Debra Brodbeck", TITLE = "Integrated Concurrency Analysis in a Software Development Environment", PAGES = "200--209", JOURNAL = "Proceedings of the ACM SIGSOFT '89 Symposium on Software Testing, Analysis and Verification, published in ACM SIGSOFT Software Engineering Notes", VOLUME = 14, NUMBER = 8, YEAR = 1989, MONTH = "December", } @TECHREPORT{Zifrony1, AUTHOR = "D. Zifrony", TITLE = "Pdeb ({P}arallel debugger) -- A Debugger for a Shared Memory Parallel Computer", INSTITUTION = "Telaviv University", TYPE = "Technical Report", NUMBER = "153/89", MONTH = "November", YEAR = 1989 } @ARTICLE{Zhou2, AUTHOR = "Wanlei Zhou", TITLE = "{PM}: A System for Prototyping and Monitoring Remote Procedure Call Programs", JOURNAL = "ACM SIGSOFT Software Engineering Notes", VOLUME = 15, NUMBER = 1, MONTH = "January", YEAR = 1990, PAGES = 59 } @INPROCEEDINGS{Balasundaram1x, AUTHOR = "*V. Balasundaram and K. Kennedy", TITLE = "Compile-Time Detection of Race Conditions in a Parallel Program", BOOKTITLE = "Proceedings of Fourth International Conference on Supercomputing", PAGES = "??--??", YEAR = 1989 } @TECHREPORT{Netzer1x, AUTHOR = "*Robert H. B. Netzer and Barton P. Miller", TITLE = "Event Orderings, Races and Replay of Semaphore Program Executions", INSTITUTION = "University of Wisconsin, Madison", TYPE = "Technical Report", ADDRESS = "Department of Computer Science", YEAR = 1989 } @INPROCEEDINGS{Netzer2x, AUTHOR = "*Robert H. B. Netzer and Barton P. Miller", TITLE = "Detecting Data Races in Parallel Program Executions", BOOKTITLE = "Proceedings of Third Workshop on Programming Languages and Compilers for Parallel Computing", MONTH = "August", YEAR = 1990, NOTE = "[Same as Netzer1]" } @TECHREPORT{Netzer3x, AUTHOR = "*Robert H. B. Netzer and Barton P. Miller", TITLE = "On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions", INSTITUTION = "University of Wisconsin, Madison", TYPE = "Technical Report", ADDRESS = "Computer Sciences Department", NUMBER = 908, YEAR = 1990 } @TECHREPORT{Choi1x, AUTHOR = "*Jong-Deok Choi", TITLE = "Parallel Program Debugging with Flowback Analysis", INSTITUTION = "University of Wisconsin, Madison", TYPE = "{Ph.D.} Thesis", ADDRESS = "Computer Sciences Department", YEAR = 1989 } @INCOLLECTION{Zifrony1x, AUTHOR = "D. Zifrony and A. Averbuch", TITLE = "Pdeb - A Debugger for a Shared Memory Parallel Computer", BOOKTITLE = "Parallel Computing 89", EDITOR = "D. J. Evans and G. R. Joubert and F. J. Peters", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1990, PAGES = "481--486" } @TECHREPORT{Bates5x, AUTHOR = "*Peter C. Bates", TITLE = "Shuffle Automata: A Formal Model for Behavior Recognition in Distributed Systems", INSTITUTION = "University of Massachusetts", TYPE = "Technical Report", NUMBER = "COINS-87-27", YEAR = 1987, MONTH= "January" } @INPROCEEDINGS{Haban2x, AUTHOR = "*Dieter Haban and Dieter Wybranietz", TITLE = "Monitoring and Measuring Parallel Systems", BOOKTITLE = "Proceedings of Third IEEE Annual Parallel Processing Symposium", ADDRESS = "Fullerton CA", MONTH = "March", PAGES = "??--??", YEAR = 1990, NOTE = "[Same as Haban3]" } @TECHREPORT{Schaffer1x, AUTHOR = "*Gregory S. Schaffer", TITLE = "High-level Multitask Debugging: A Proposal for {S}ylvan", INSTITUTION = "University of Waterloo", TYPE = "Technical Report", NUMBER = "T-164", MONTH = "October", YEAR = 1987 } @INCOLLECTION{Banda1x, AUTHOR = "*Venu P. Banda and Richard A. Volz", TITLE = "Architectural Support for Debugging and Monitoring Real-Time Software", BOOKTITLE = "Proceedings of Euromicro '80", PAGES = "200--210", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1989 } @INPROCEEDINGS{Obrien1x, AUTHOR = "*T. Flint O'Brien", TITLE = "{ACID}: Concurrent Debugging for Concurrent Programs", BOOKTITLE = "Proceedings of the 36th Annual Southeast Regional ACM Conference", ADDRESS = "Mobile AL", MONTH = "April", PAGES = "39--44", YEAR = 1988 } @INPROCEEDINGS{Pazat1x, AUTHOR = "*Jean-Louis Pazat", TITLE = "{RA} Control Replay Scheme for Distributed Computers", BOOKTITLE = "Proceedings of First European Workshop on Hypercubes and Distributed Computers", ADDRESS = "Rennes, France", MONTH = "October", PAGES = "105--116", YEAR = 1989 } @INPROCEEDINGS{Fowler1x, AUTHOR = "*Jerry Fowler and Willy Zwaenepoel", TITLE = "Causal Distributed Breakpoints", BOOKTITLE = "Proceedings of Tenth International Conference on Distributed Computing Systems", ADDRESS = "Paris, France", MONTH = "May", PAGES = "134--141", YEAR = 1990 } @INPROCEEDINGS{Lumpp1x, AUTHOR = "*J. E. {Lumpp, Jr.} and H. J. Siegel and D. C. Marinescu and T. L. Casavant", TITLE = "Specification and Identification of Events for Debugging and Performance Monitoring of Distributed Multiprocessor Systems", BOOKTITLE = "Proceedings of Tenth International Conference on Distributed Computing Systems", ADDRESS = "Paris, France", MONTH = "May", PAGES = "476--483", YEAR = 1990 } @INPROCEEDINGS{Marinescu1x, AUTHOR = "*D. C. Marinescu and J. E. {Lumpp, Jr.} and T. L. Casavant and H. J. Siegel", TITLE = "A Model for Monitoring and Debugging Parallel and Distributed Software", BOOKTITLE = "Proceedings of COMPSAC 89", MONTH = "September", YEAR = 1989, NOTE = "[Same as Marinescu2x]" } @ARTICLE{Marinescu2x, AUTHOR = "*D. C. Marinescu and J. E. {Lumpp, Jr.} and T. L. Casavant and H. J. Siegel", TITLE = "Models for Monitoring and Debugging Tools for Parallel and Distributed Software", JOURNAL = "Journal of Parallel and Distributed Computing", MONTH = "June", YEAR = 1990, VOLUME = 9, PAGES = "171--184", NOTE = "[Same as Marinescu1x]" } @INCOLLECTION{Bemmerl2x, AUTHOR = "*T. Bemmerl", TITLE = "Realtime High Level Debugging in Host/Target Environments", BOOKTITLE = "Proceedings of Euromicro '86", PAGES = "387--400", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1986 } @INCOLLECTION{Bemmerl3x, AUTHOR = "*T. Bemmerl and N. Erl and O. Hansen", TITLE = "A Menu and Graphic Driven Human Interface for a High Level Debugger", BOOKTITLE = "Proceedings of Euromicro '88", PAGES = "??--??", PUBLISHER = "North-Holland", ADDRESS = "New York", YEAR = 1988 } @INPROCEEDINGS{Bemmerl4x, AUTHOR = "*T. Bemmerl and G. Schoeder", TITLE = "A Portable Realtime Multitasking Kernel with Debugging Support", BOOKTITLE = "Proceedings of International Conference on Software Engineering for Real Time Systems", PAGES = "165--171", ADDRESS = "Cirencester, U.K.", MONTH = "September", YEAR = 1987 } @INPROCEEDINGS{Pancake2, AUTHOR = "Cherri M. Pancake and Sue Utter", TITLE = "Models for Visualization in Parallel Debuggers", BOOKTITLE = "Proceedings of Supercomputing '89", ADDRESS = "Reno NV", MONTH = "November", PAGES = "627--636", YEAR = 1989, NOTE = "[Same as Pancake1]" } @INPROCEEDINGS{Cheng8, AUTHOR = "Doreen Y. Cheng", TITLE = "{HDB} -- A High Level Debugging Tool Using Checksums", BOOKTITLE = "Proceedings of Supercomputing '89", ADDRESS = "Reno NV", MONTH = "November", PAGES = "568--573", YEAR = 1989 } @INPROCEEDINGS{Emrath2, AUTHOR = "Perry A. Emrath and Sanjoy Ghosh and David A. Padua", TITLE = "Event Synchronization Analysis for Debugging Parallel Programs", BOOKTITLE = "Proceedings of Supercomputing '89", ADDRESS = "Reno NV", MONTH = "November", PAGES = "580--588", YEAR = 1989 } @INPROCEEDINGS{Gaur1, AUTHOR = "Yogesh Gaur and Vincent A. {Guarna, Jr.} and David Jablonowski", TITLE = "An Environment for Performance Experimentation on Multiprocessors", BOOKTITLE = "Proceedings of Supercomputing '89", ADDRESS = "Reno NV", MONTH = "November", PAGES = "589--596", YEAR = 1989 } @INPROCEEDINGS{Morison1, AUTHOR = "Rodney Morison", TITLE = "Interactive Performance Display and Debugging using the {NCUBE} Real-Time Graphics System", BOOKTITLE = "Proceedings of Third Conference on Hypercube Concurrent Computers and Applications", ADDRESS = "Pasadena CA", MONTH = "January", PAGES = "760--765", YEAR = 1988 } @INPROCEEDINGS{Tolle1, AUTHOR = "Dave Tolle", TITLE = "A Graphics Facility Useful for Performance Monitoring on an {NCUBE}", BOOKTITLE = "Proceedings of Third Conference on Hypercube Concurrent Computers and Applications", ADDRESS = "Pasadena CA", MONTH = "January", PAGES = "766--771", YEAR = 1988 } @INPROCEEDINGS{Walker1, AUTHOR = "D. W. Walker and Paul Messina and Clive F. Baillie", TITLE = "Performance Evaluation of Scientific Programs on Advanced Architecture Computers", BOOKTITLE = "Proceedings of Third Conference on Hypercube Concurrent Computers and Applications", ADDRESS = "Pasadena CA", MONTH = "January", PAGES = "173--179", YEAR = 1988 } @ARTICLE{Dongarra4, AUTHOR = "Jack Dongarra and Orlie Brewer and James Arthur Kohl and Samuel Fineberg", TITLE = "A Tool to Aid in the Design, Implementation, and Understanding of Matrix Algorithms for Parallel Processors", JOURNAL = "Journal of Parallel and Distributed Computing", VOLUME = 9, MONTH = "June", YEAR = 1990, PAGES = "185--202" } @INPROCEEDINGS{Helmbold3, AUTHOR = "David P. Helmbold and Charles E. McDowell and Jian-Zhong Wang", TITLE = "Analyzing Traces with Anonymous Synchronization", BOOKTITLE = "Proceedings of 1990 International Conference on Parallel Processing", ADDRESS = "University Park PA", MONTH = "August", PAGES = "II.70--II.77", YEAR = 1990 } @INPROCEEDINGS{Masticola1, AUTHOR = "Stephen P. Masticola and Barbara G. Ryder", TITLE = "Static Infinite Wait Anomaly Detection in Polynomial Time", BOOKTITLE = "Proceedings of 1990 International Conference on Parallel Processing", ADDRESS = "University Park PA", MONTH = "August", PAGES = "II.78--II.87", YEAR = 1990 } @INPROCEEDINGS{Bruegge5, AUTHOR = "Bernd Bruegge and Frank Walzer", TITLE = "Runtime Monitoring in a Network Environment", BOOKTITLE = "Proceedings of 1990 International Conference on Parallel Processing", ADDRESS = "University Park PA", MONTH = "August", PAGES = "II.278--II.279", YEAR = 1990 } @INPROCEEDINGS{Netzer2, AUTHOR = "Robert H. B. Netzer and Barton P. Miller", TITLE = "On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions", BOOKTITLE = "Proceedings of 1990 International Conference on Parallel Processing", ADDRESS = "University Park PA", MONTH = "August", PAGES = "II.93--II.97", YEAR = 1990 } @INPROCEEDINGS{Hough3, AUTHOR = "Alfred A. Hough and Janice E. Cuny", TITLE = "Perspective Views: A Technique for Enhancing Parallel Program Visualization", BOOKTITLE = "Proceedings of 1990 International Conference on Parallel Processing", ADDRESS = "University Park PA", MONTH = "August", PAGES = "II.124--II.132", YEAR = 1990 }