Re: Wanted info. about debuggers.

> Any other information on debuggers, (the way debuggers are designed, how to
> develop a source level debugger on top of an assembly level debuggers etc.)
> would be most welcome.


Here's a bibliography from a paper I wrote on "A Survey of Support For
Implementing Debuggers" as a class project at U.C. Berkeley. It's a much
more modest bibliography than that available from ftp.cse.ucsc.edu, but
the emphasis is on non-parallel debugging. If anyone's interested in a
copy of the paper, just send me email.


Vern


Vern Paxson vern@ee.lbl.gov
Systems Engineering ucbvax!ee.lbl.gov!vern
Lawrence Berkeley Laboratory (510) 486-7504




@INPROCEEDINGS{Kaufer88,
        AUTHOR = "Stephen Kaufer and Russell Lopez and Sesha Pratap",
        TITLE = "Saber-{C}: An Interpreter-based Programming Environment for
        the {C} Language",
        MONTH = "June",
        YEAR = 1988,
        BOOKTITLE = "Proceedings of the 1988 Usenix Summer Conference, San
        Francisco, CA"
}


@INPROCEEDINGS{Killian84,
        AUTHOR = "T.J. Killian",
        TITLE = "Processes as Files",
        MONTH = "June",
        YEAR = 1984,
        BOOKTITLE = "Proceedings of the 1984 Usenix Summer Conference, Salt
        Lake City, Utah"
}


@INPROCEEDINGS{Farley83,
        AUTHOR = "Michael Farley and Trevor Thompson",
        TITLE = "A {C} Source Language Debugger",
        MONTH = "July",
        YEAR = 1983,
        BOOKTITLE = "Proceedings of the 1983 Usenix Summer Conference,
        Toronto, Ontario, Canada"
}


@INPROCEEDINGS{Staknis89,
        CROSSREF = "ASPLOS89",
        AUTHOR = "Mark E. Staknis",
        TITLE = "Sheaved Memory: Architectural Support for State Saving and
        Restoration in Paged Systems"
}


@INPROCEEDINGS{Aral89,
        CROSSREF = "ASPLOS89",
        AUTHOR = "Ziya Aral and Ilya Gertner and Greg Schaffer",
        TITLE = "Efficient Debugging Primitives for Multiprocessors"
}


@INPROCEEDINGS{LeBlanc89,
        CROSSREF = "ASPLOS89",
        AUTHOR = "J. M. Mellor-Crummey and T. LeBlanc",
        TITLE = "A Software Instruction Counter"
}


@INPROCEEDINGS{Ditzel87,
        CROSSREF = "ASPLOS87",
        AUTHOR = "David R. Ditzel and Huber R. McLellan and Alan Berenbaum",
        TITLE = "Design Tradeoffs to Support the {C} Programming Language in
        the {CRISP} Microprocessor"
}


@INPROCEEDINGS{Cargill87a,
        CROSSREF = "ASPLOS87",
        AUTHOR = "T.A. Cargill and B.N. Locanthi",
        TITLE = "Cheap Hardware Support for Software Debugging and Profiling"
}


@INPROCEEDINGS{McLear82,
        CROSSREF = "ASPLOS82",
        AUTHOR = "D. E. McLear and D. M. Scheibelhut and E. Tammaru",
        TITLE = "Guidelines for Creating a Debuggable Processor",
}


@INPROCEEDINGS{MSJohnson82,
        CROSSREF = "ASPLOS82",
        AUTHOR = "Mark Scott Johnson",
        TITLE = "Some Requirements for Architectural Support of Software
        Debugging",
        PAGES = "140-148"
}


@INPROCEEDINGS{Sweet85,
        CROSSREF = "LIPE85",
        AUTHOR = "R.E. Sweet",
        TITLE = "The {M}esa Programming Environment",
        PAGES = "216-229"
}


@INPROCEEDINGS{Olsson90,
        AUTHOR = "Ronald A. Olsson and Richard H. Crawford and W. Wilson Ho",
        TITLE = "Dalek: A {GNU}, Improved Programmable Debugger",
        MONTH = "June",
        YEAR = 1990,
        BOOKTITLE = "Proceedings of the 1990 Usenix Summer Conference,
        Anaheim, CA"
}


@INPROCEEDINGS{Linton90,
        AUTHOR = "Mark A. Linton",
        TITLE = "The Evolution of Dbx",
        MONTH = "June",
        YEAR = 1990,
        BOOKTITLE = "Proceedings of the 1990 Usenix Summer Conference,
        Anaheim, CA"
}


@INPROCEEDINGS{Accetta86,
        AUTHOR = "M.J. Accetta et. al.",
        TITLE = "Mach: A New Kernel Foundation for {UNIX} Development",
        MONTH = "June",
        YEAR = 1986,
        BOOKTITLE = "Proceedings of the 1986 Usenix Summer Technical
        Conference and Exhibit"
}


@INPROCEEDINGS{Caswell90,
        AUTHOR = "Deborah Caswell and David Black",
        TITLE = "Implementing a {M}ach Debugger For Multithreaded Applications",
        MONTH = "January",
        YEAR = 1990,
        BOOKTITLE = "Proceedings of the 1990 Usenix Winter Conference,
        Washington, D.C."
}


@INPROCEEDINGS{Maybee90,
        AUTHOR = "Paul Maybee",
        TITLE = "pdb: A Network Oriented Symbolic Debugger",
        MONTH = "January",
        YEAR = 1990,
        BOOKTITLE = "Proceedings of the 1990 Usenix Winter Conference,
        Washington, D.C."
}


@INPROCEEDINGS{Redell89,
        CROSSREF = "PaDDbg89",
        AUTHOR = "David D. Redell",
        TITLE = "Experience with {T}opaz TeleDebugging",
}


@INPROCEEDINGS{Black89,
        CROSSREF = "PaDDbg89",
        AUTHOR = "David L. Black et. al.",
        TITLE = "The {M}ach Exception Handling Facility",
}


@INPROCEEDINGS{Feldman89,
        CROSSREF = "PaDDbg89",
        AUTHOR = "Stuart I. Feldman and Channing B. Brown",
        TITLE = "IGOR: A System for Program Debugging via Reversible Execution",
}


@INPROCEEDINGS{Pan89,
        CROSSREF = "PaDDbg89",
        AUTHOR = "Douglas Z. Pan and Mark A. Linton",
        TITLE = "Supporting Reverse Execution of Parallel Programs",
}


@INPROCEEDINGS{Wittie89,
        CROSSREF = "PaDDbg89",
        AUTHOR = "Larry D. Wittie",
        TITLE = "Debugging Distributed {C} Programs by Real Time Replay",
}


@INPROCEEDINGS{Gentleman83,
        CROSSREF = "HLD83",
        AUTHOR = "W. Morven Gentleman and Henry Hoeksma",
        TITLE = "Hardware Assisted High Level Debugging (Preliminary Draft)",
}


@INPROCEEDINGS{Cardell83,
        CROSSREF = "HLD83",
        AUTHOR = "James R. Cardell",
        TITLE = "Multilingual Debugging with the {SWAT} High-Level Debugger",
}


@INPROCEEDINGS{Beander83,
        CROSSREF = "HLD83",
        AUTHOR = "Bert Beander",
        TITLE = "VAX DEBUG: An Interactive, Symbolic, Multilingual Debugger",
        PAGES = "173-179"
}


@INPROCEEDINGS{Johnson83,
        CROSSREF = "HLD83",
        AUTHOR = "John D. Johnson and Gary W. Kenney",
        TITLE = "Implementation Issues for a Source Level Symbolic Debugger
        (Extended Abstract)",
        PAGES = "149-151"
}


@INPROCEEDINGS{Cargill83,
        CROSSREF = "HLD83",
        AUTHOR = "Thomas A. Cargill",
        TITLE = {The {B}lit Debugger (Preliminary Draft)},
        PAGES = "190-200"
}


@INPROCEEDINGS{Cargill87b,
        AUTHOR = "Thomas A. Cargill",
        TITLE = "Pi: A Case Study in Object-Oriented Programming",
        MONTH = "November",
        YEAR = 1987,
        PAGES = "282-303",
        BOOKTITLE = "Proceedings of the Usenix C++ Workshop, Santa Fe, NM"
}


@INPROCEEDINGS{Gramlich83,
        CROSSREF = "HLD83",
        AUTHOR = "W.C. Gramlich",
        TITLE = {Debugging Methodology (Session Summary)},
        PAGES = "1-3"
}


@PHDTHESIS{Bruegge85,
        AUTHOR = "Bernd Bruegge",
        TITLE = "Adaptability and Portability of Symbolic Debuggers",
        MONTH = "September",
        YEAR = 1985,
        SCHOOL = "Department of Computer Science, Carnegie-Mellon University",
        NOTE = "CMU-CS-85-174"
}


@TECHREPORT{Elshoff88,
        AUTHOR = "I.J.P. Elshoff",
        TITLE = "A Distributed Debugger for {A}moeba",
        INSTITUTION = "Centre for Mathematics and Computer Science, Amsterdam,
        The Netherlands",
        YEAR = 1988,
        MONTH = "July",
        NOTE = "Report CS-R8828"
}


@TECHREPORT{Teitelman84,
        AUTHOR = "Warren Teitelman",
        TITLE = "The {C}edar Programming Environment: A Midterm Report and
        Examination",
        INSTITUTION = "Xerox Corporation, Palo Alto Research Center",
        YEAR = 1984,
        MONTH = "June",
        NOTE = "CSL-83-11"
}


@TECHREPORT{Wong87,
        AUTHOR = "W.Y.P. Wong and C.R. Snow",
        TITLE = "Implementation of an Interactive Remote Source-level Debugger
        for {C} Programs",
        INSTITUTION = "University of Newcastle upon Tyne",
        YEAR = 1987,
        MONTH = "January",
        NOTE = "Technical Report Series No. 229"
}


@TECHREPORT{Stallman89,
        AUTHOR = "R. M. Stallman",
        TITLE = "{GDB} Manual (The {GNU} Source-Level Debugger)",
        INSTITUTION = "The Free Software Foundation",
        YEAR = 1989,
        MONTH = "January",
        NOTE = "Third Edition, GDB version 3.1"
}


@TECHREPORT{Snow87,
        AUTHOR = "C.R. Snow",
        TITLE = "Integrated Tools for Hardware/Software Debugging, Final Report",
        INSTITUTION = "University of Newcastle upon Tyne",
        YEAR = 1987,
        MONTH = "November",
        NOTE = "Technical Report Series No. 247, S.E.R.C. Research Project
        GR/C/35974"
}


@MANUAL{SunOSptrace,
        TITLE = "Ptrace(2), SunOS Reference Manual, Vol. II",
        ORGANIZATION = "Sun Microsystems",
        MONTH = "January",
        YEAR = 1990
}


@MANUAL{Ultrixptrace,
        TITLE = "Ptrace(2), Ultrix documentation",
        ORGANIZATION = "Digital Equipment Corporation",
        MONTH = "March",
        YEAR = 1990
}


@ARTICLE{Swinehart87,
        AUTHOR = "D. Swinehart et. al.",
        TITLE = "A Structural View of the {C}edar Programming Environment",
        JOURNAL = "ACM Transactions on Programming Languages and Systems",
        VOLUME = 8,
        NUMBER = 4,
        PAGES = "419-490",
        MONTH = "October",
        YEAR = 1986
}


@ARTICLE{LeBlanc87,
        AUTHOR = "T. LeBlanc and J. Mellor-Crummey",
        TITLE = "Debugging Parallel Programs with {I}nstant {R}eplay",
        JOURNAL = "IEEE Transactions on Computers",
        VOLUME = 36,
        NUMBER = 4,
        PAGES = "471-482",
        MONTH = "April",
        YEAR = 1987
}


@ARTICLE{Zelkowitz73,
        AUTHOR = "M.V. Zelkowitz",
        TITLE = "Reversible Execution",
        JOURNAL = "Communications of the ACM",
        VOLUME = 16,
        NUMBER = 9,
        PAGES = "566",
        MONTH = "September",
        YEAR = 1973
}


@ARTICLE{Gondzio87,
        AUTHOR = "Marek Gondzio",
        TITLE = "Microprocessor Debugging Techniques and Their Application in
        Debugger Design",
        JOURNAL = "Software--Practice and Experience",
        VOLUME = 17,
        NUMBER = 3,
        PAGES = "215-226",
        MONTH = "March",
        YEAR = 1987
}


@ARTICLE{Pike84,
        AUTHOR = "R. Pike",
        TITLE = "The {B}lit: a multiplexed bitmap terminal",
        JOURNAL = "AT\&T Bell Laboratories Technical Journal, Computing
        Science and Systems",
        MONTH = "October",
        YEAR = 1984
}


@ARTICLE{Cargill85,
        AUTHOR = "Thomas A. Cargill",
        TITLE = "Implementation of the {B}lit Debugger",
        JOURNAL = "Software--Practice and Experience",
        VOLUME = 15,
        NUMBER = 2,
        PAGES = "153-168",
        MONTH = "February",
        YEAR = 1985
}


@ARTICLE{Adams86,
        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,
        PAGES = "653-669",
        MONTH = "July",
        YEAR = 1986
}


@ARTICLE{Hennessy82,
        AUTHOR = "John Hennessy",
        TITLE = "Symbolic Debugging of Optimized Programs",
        JOURNAL = "ACM Transactions on Programming Languages and Systems",
        VOLUME = 4,
        NUMBER = 3,
        PAGES = "323-344",
        YEAR = 1982
}


@ARTICLE{MSJohnson81,
        AUTHOR = "Mark Scott Johnson",
        TITLE = "Dispel: A Run-Time Debugging Language",
        JOURNAL = "Computer Languages",
        VOLUME = 6,
        NUMBER = 2,
        YEAR = 1981
}


@ARTICLE{Tsai90,
        AUTHOR = "Jeffrey Tsai et. al.",
        TITLE = "A Noninterference Monitoring and Replay Mechanism for
        Real-Time Software Testing and Debugging",
        JOURNAL = "IEEE Transactions on Software Engineering",
        VOLUME = 16,
        NUMBER = 8,
        MONTH = "August",
        YEAR = 1990
}


@PROCEEDINGS{HLD83,
        TITLE = "Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering
        Symposium on High-Level Debugging",
        BOOKTITLE = "Proceedings of the ACM SIGSOFT/SIGPLAN Software
        Engineering Symposium on High-Level Debugging",
        MONTH = "August",
        YEAR = 1983,
        PUBLISHER = "SIGPLAN Notices 18(8)"
        }


@PROCEEDINGS{ASPLOS82,
        TITLE = "Symposium on Architectural Support for Programming Languages
        and Operating Systems",
        BOOKTITLE = "Symposium on Architectural Support for Programming
        Languages and Operating Systems",
        MONTH = "April",
        YEAR = 1982,
        PUBLISHER = "SIGPLAN Notices 17(4)"
        }


@PROCEEDINGS{ASPLOS87,
        TITLE = "Proceedings of the 2nd International Conference on
        Architectural Support for Programming Languages and Operating
        Systems",
        BOOKTITLE = "Proceedings of the 2nd International Conference on
        Architectural Support for Programming Languages and Operating
        Systems",
        MONTH = "October",
        YEAR = 1987,
        PUBLISHER = "SIGPLAN Notices 22(10)"
        }


@PROCEEDINGS{ASPLOS89,
        TITLE = "Proceedings of the Third International Conference on
        Architectural Support for Programming Languages and Operating
        Systems",
        BOOKTITLE = "Proceedings of the Third International Conference on
        Architectural Support for Programming Languages and Operating
        Systems",
        MONTH = "May",
        YEAR = 1989,
        PUBLISHER = "SIGPLAN Notices 24(Special issue)"
        }


@PROCEEDINGS{PaDDbg89,
        TITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel
        and Distributed Debugging",
        BOOKTITLE = "Proceedings of the ACM SIGPLAN/SIGOPS Workshop on
        Parallel and Distributed Debugging",
        MONTH = "January",
        YEAR = 1989,
        PUBLISHER = "SIGPLAN Notices 24(1)"
        }


@PROCEEDINGS{LIPE85,
        TITLE = "Proceedings of the ACM Symposium on Language Issues in
        Programming Environments",
        BOOKTITLE = "Proceedings of the ACM Symposium on Language Issues in
        Programming Environments",
        MONTH = "July",
        YEAR = 1985,
        PUBLISHER = "SIGPLAN Notices 20(7)"
        }


@MISC{CS262-1-90,
        AUTHOR = "Vern Paxson",
        TITLE = "A Survey of Support For Implementing Debuggers",
        YEAR = 1990,
        MONTH = "Fall Semester",
        HOWPUBLISHED = "CS 262 class project, EECS Department, University of
        California, Berkeley",
        }
--

Return to the comp.compilers page.
Search the comp.compilers archives again.