Algorithmic and Automatic Debugging Home Page

This document contains pointers to information relevant to Algorithmic and Automatic Debugging available around the world on the World Wide Web. The page was developed by Mikhail Auguston and is currently maintained by Clint Jeffery. We can not guarantee that all links are still valid, but we are trying to detect and delete broken links when appropriate.

Items marked with this icon have been added most recently.

Enter your e-mail address to receive e-mail when this page is updated.

Your Internet e-mail address:

But, according to Edsgar Dijkstra, another pioneer in computer science, the term is irresponsible. Debugging suggests that the programmer is not to blame for the error. It's as if the bug crept into the code while the programmer was looking the other way.

Citation from http://www.lafayette.edu:80/cs/cs102/lab17/debug.htm

Bibliography and WWW archives

• Computer Science Bibliography Collection. This is a reach collection of CS bibliographies supported by a search mechanism.
• The Computing Research Repository at Los Alamos e-print Archive sponsored by ACM
• compilers & interpreters archive (debugging), maintained by Jon Hill.
• functional programming archive (debugging and profiling), maintained by Jon Hill.

• Formal Methods

  • The World Wide Web Virtual Library: Formal Methods, maintained by Jonathan Bowen.
  • Formal Methods Europe Information Resources. FME Applications Database: Indices
    This page gives access to the latest edition of the FME Formal Methods Applications Database. The database is maintained by Nico Plat. of Cap Volmac. The Web page is maintained by John Fitzgerald at the Centre for Software Reliability.
  • The recently released NASA guidebook "Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems, Volume II: A Practitioner's Companion" [NASA-GB-001-97, 245 pages, May 1997] is now available via the web.
    This guidebook is a product of the NASA Software Program and was cooperatively developed by three NASA centers (Jet Propulsion Laboratory, Johnson Space Center, and Langley Research Center) with support from SRI International, ViGYAN, and Lockheed Martin. This volume of the guidebook is designed to:
    - Help transition formal methods from experimental use into practical application for critical software requirements and design,
    - Discuss technical issues involved in applying these techniques to aerospace and avionics software systems, and
    - Provide an overview of the current status of formal methods techniques.
  • An On-Line Repository of Formal Methods Educational Materials maintained by Kathi Fisler at Rice University.
    "We are collecting materials from courses, seminars, and course modules in areas such as

    - computer-aided verification
    - theorem proving
    - programming languages
    - logic
    - software engineering
    - security
    

    Pointers to innovative materials that adopt a formal approach to other areas of computer science and system design are also welcome! The site contains pointers to

    - course web pages (including syllabi and handouts)
    - tools that have been used successfully in courses
    - suggested reading materials
    - project and example suggestions
    - events and workshops related to formal methods education
    

  • Formal Methods Research at Carnegie Mellon University
  • Formal methods Around the World, maintained at the Laboratory for Applied Logic at Brigham Young University
  
  
• Parallel Debugger Bibliography This online bibliography, maintained by Cherri Pancake (Oregon State) and Robert Netzer (Brown University) includes technical reports, journal and conference papers, and Ph.D. dissertations dealing with parallel debuggers. Ftp site also at Brown University.
• Program Slicing
  • Program Slicing References, maintained by Jim Lyle.
  • Program Slicing Internet Resources, maintained by Mark Harman.
  • Program Slicing home page, maintained by Jens Krinke.
• Program Static Analysis
  • List of static analysis tools, maintained by Brian Maric
  • LCLint static property checker at University of Virginia
  
  
• Model Checking at CMU. Model checking is a method for formally verifying finite-state concurrent systems. Specifications about the system are expressed as temporal logic formulas, and efficient symbolic algorithms are used to traverse the model defined by the system and check if the specification holds or not. Extremely large state-spaces can often be traversed in minutes. The technique has been applied to several complex industrial systems such as the Futurebus+ and the PCI local bus protocols.
• Program Result-Checking . This link leads to Hal Wasserman's home page containing a survey of an approach to program checking and correcting developed in the works of Manuel Blum et al. , a bibliography on Result-Checking, and a list of researchers in Result -Checking.
• Semantics-Based Program Analysis and Manipulation, maintained by W. Scherlis.
• Program Testing
  • STORM - Software Testing Online Resources, maintained by Roland H. Untch
  
  
• High Performance Debugging Forum
• Links to real-time software debugging and testing info, maintained by Jon Eliot Stroemme
• ParaSoft Technical Papers Archive
• Microsoft Windows NT and Windows 2000 Debugging Resources
• Software Systems Dept.: Seminar »Automatisches Debugging« Universität Passau
  Lehrstuhl für Softwaresysteme
  
• Haskell Debugging Technologies, mainatained by Andy Gill
  
  
• Debugging Tools for Dynamic Storage Allocation and Memory Management

  This list is maintained by Ben Zorn, who is now working at Microsoft Research, in Redmond, WA.

Books and Special Journal Issues

• Andreas Zeller,
  "WHY PROGRAMS FAIL: A Guide to Systematic Debugging", Morgan Kaufman, 2005

• Monitoring and Debugging of Distributed and Real-Time Systems,
  (Eds. Jeffrey J.P.Tsai, Steve J.H.Yang), IEEE Computer Society Press, 1995, pp.430,
  This is a collection of 25 papers and a bibliography on related topics.
  

• Debugging and Performance Tuning for Parallel Computing Sysytems, (Eds. Margaret L.Simmons, Ann H.Hayes, Jeffrey S.Brown, and Daniel A.Reed), IEEE Computer Society Press, 1996, pp.403.
  

• Communications of the ACM, Vol. 40, #4, April 1997, A Special Issue with the subtitle "The Debugging Scandal"
  

• Raimondas Lencevicius,
  "Advanced Debugging Methods", The Kluver International Series in Engineering and Computer Science, 2000

• Clinton L. Jeffery,
  "Program Monitoring and Visualization: An Exploratory Approach", Springer, New York, 1999.

• Automated Software Engineering: An International Journal (Kluwer Academic Publishers,USA)
  Volume 9, Issue 1, January, 2002:

  • Extension Language Automation of Embedded System Debugging, Dale Parson, Bryan Schlieder, Paul Beatty
    
  • Slicing of Constraint Logic Programs, Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski
    
  • Kima -- an Automated Error Correction System for Concurrent Logic Programs, Yasuhiro Ajiro, Kazunori Ueda
    
  • Non-intrusive on-the-fly data race detection using execution replay, Michiel Ronsse and Koen De Bosschere

  Volume 10, Issue 1, January, 2003:

  • Query-Based Debugging, R. Lencevicius, U. Holzle, A.K. Singh
    
  • Support for Debugging Automatically Parallellized Programs, Gabriele Jost and Robert Hood
    

Conferences and workshops on Debugging and related topics

• AADEBUG 2007, April 23-25, 2007, Graz, Austria
  
  
• AADEBUG 2005, September 19-21, 2005, Monterey, CA
  
  
• Workshop on the Evaluation of Software Defect Detection Tools June 12, 2005, co-located with PLDI 2005, Chicago, IL.
  
  
• VMCAI'04, January 11-13, 2004, Venice, Italy
  
  • Call for papers at http://www.dsi.unive.it/~vmcai04/cfp.htm
  
  
• AADEBUG 2003, September 8-10, 2003, Ghent, Belgium
  
  
• Workshop on Specification and Verification of Component-Based Systems (SAVCVS'03), September 1-2 2003 at ESEC/FSE 2003, Helsinki, Finland
  
• Workshop on Advancing the State-of-the-Art in Runtime Inspection, 22 July 2003 at ECOOP 2003, Darmstadt, Germany
  
• Third Workshop on Runtime Verification, 13 July 2003 at CAV'03, Boulder, Colorado
  
• AVOCS'03, Automatic Verification of Critical Systems, April 2-3, 2003, Southhampton, England
• AADEBUG' 2000, August 28-30, 2000, Munich, Germany
  • On-line Proceedings of the AADEBUG'2000
• The First International Workshop on Automated Program Analysis, Testing and Verification, June 4-5, 2000, Limerick, Ireland
  
• AADEBUG'97 , May 26-27, 1997, Linköping, Sweden
  • On-line Proceedings of the AADEBUG'97
• AADEBUG'95 , May 1995, Saint-Malo, France
  
• AADEBUG'93 and AADEBUG'95
  

Testing and Debugging tool design projects

Disclaimer: this list is not exhaustive! Please let me know if you would like to be added to this list , or if you would like an existing entry modified or deleted.

• Dyninst is a dynamic instrumentation API for C/C++, built atop technology developed originally for Paradyn.
• GUP Linz - Debugging of Distributed Memory Machines
• Declarative debugging of lazy functional programs, Lee Naish,
  Dept. of Computer Science Melbourne University
• Centre d'Etude et de Recherche en Informatique du CNAM
• LRR-TUM
• Stanford University, Program Analysis and Verification Group, The Stanford Rapide Project, ANNA annotation language for Ada, TSL annotation language for Ada
• GUARD (Griffith University Relative Debugger) Project. GUARD uses a paradigm called relative debugging, which allows a user to test a program by comparing data structures between the debugged code and a reference version. (the link has changed!)
• Poet - The Shoshin Debugger, Department of Computer Science at the University of Waterloo
• Ariadne Project Home Page, University of Oregon
• Several projects at Saarland University, Saarbrücken:
  • Delta Debugging Project. Delta Debugging automatically isolates cause-effect chains from real programs with real bugs.
  • DDD - The Data Display Debugger. The Data Display Debugger (DDD) is a popular graphical user interface to command-line debuggers such as GDB, DBX, or XDB. DDD displays data structures as graphs.
• DiSCiPl Debugging Systems for Constraint Programming. Academic partners: INRIA, University of Bristol, Linkoping University, Technical University of Madrid, COSYTEC, ICON, OM Partners, PrologIA.
• MrSpidey - an interactive static debugger for Scheme
• SmartGDB project at the University of Kansas
• VeriSoft is a tool for software developers and testers of concurrent/reactive/real-time systems developed in the Software Production Research Department, Bell Laboratories, Lucent Technologies. For more information on other research projects related to VeriSoft, see Patrice Godefroid's home-page.
• GDB: The GNU Project Debugger
• Software Visualization Research at GVU
• buddha, a declarative debugger for Haskell from University of Melbourne.
• Stabilizer, an approach to quickly stabilizing (helping users avoid the bugs within) GUI programs.

Testing and Debugging Tools and Services

• ADL -- Better Software by Assertion from SUN Microsystems. ADL (Assertion Definition Language) is a specification language for programming interfaces. It can be used to describe the programmer's interface to any C-callable function, library or system call.
• Pilot C/C++/CHILL tester, ongoing work Kvatro Telecom, Trondheim, Norway,
  The Pilot is an asynchronous, real-time debugger and test execution engine for multiple networked multi-threaded programs written in C, C++ or CHILL. It is suitable for regression testing, conformance testing and on-line extension as well as fault finding.
• Developed by PARASOFT Corporation.

  
  Insure++ is an automatic runtime error detection tool for C and C++ programming;
  
  
  
  
  
  

  
  Code Wizard is a comprehensive tool for Code Analysis in C++ programs. CodeWizard is based on the popular programmer reference - "Effective C++" by Scott Meyers. It provides software enforcement of the rules/items discussed in the book.
  
  
  

  For more information and a free evaluation, please contact Bernie Green at
  bernie@parasoft.com, or call toll-free 1-888-305-0041x153.

• Assure: Automatic debugging tool for multithreaded parallel Java programs by KAI company.

• MicroSoft WinDbg Debugger

• TotalView debugger by Etnus

• Let's debug portal
  Provides a forum for programmers to submit their buggy code and have the team at Let's Debug.com have a shot at debugging it. If permitted by the owners of the code, the code will be made public for programmers at large to have a go at debugging it.

• TESTING TOOLS FOR EMBEDDED APPLICATIONS by PolySpace Technologies

• VALGRIND and CACHEGRIND an Open Source equivalent to Purify or Insure, works only under Linux.
  Valgrind is a GPL'd tool to help you find memory-management problems in your programs. When a program is run under Valgrind's supervision, all reads and writes of memory are checked, and calls to malloc/new/free/delete are intercepted. As a result, Valgrind can detect problems such as:
  • Use of uninitialised memory
  • Reading/writing memory after it has been free'd
  • Reading/writing off the end of malloc'd blocks
  • Reading/writing inappropriate areas on the stack
  • Memory leaks -- where pointers to malloc'd blocks are lost forever
  • Passing of uninitialised and/or unaddressible memory to system calls
  • Mismatched use of malloc/new/new [] vs free/delete/delete []
  • Some misuses of the POSIX pthreads API
  Valgrind contains built-in support for doing very detailed cache profiling. Since we already intercept every read and write, and have all the debugging information for your program close to hand, it's not too hard to also do a detailed simulation of your CPU's L1-D, L1-I and unified L2 caches. The supplied vg_annotate program will show your source code with these counts attached to every line. The cache arrangement of your CPU is auto-detected using the CPUID instruction. If that doesn't work or you want to override it, you can specify custom cache parameters on the command line. The manual contains full documentation of this new feature.
  You just need to put cachegrind in front of your program invocations, rather than valgrind.

• (http://www.askigor.org/) is an experimental automated debugging server that tells you why your program fails. Just submit the program to get the diagnosis.

• Verifysoft Technology GmbH offers tools for automated unit testing, test coverage analysis, and complexity measures for C, C++, and Java.

• Dynamic Memory Solutions' Dynamic Suite is a set of tools for leak detection, garbage collection, code coverage, memory debugging and application profiling. All of the tools can be used without recompiling or relinking of source code. The focus of the Dynamic Suite is Unix and C/C++ programs. The Dynamic Suite is a commercial product, limited-time evaluation copies are available.
  Contact Person: Dynamic Memory Solutions (sales@dynamic-memory.com).
  WWW Site: http://www.dynamic-memory.com

• DebugLab is a Korean-language site focusing on debugging. The site is operated by a Microsoft .NET MVP.

• Ebenezer Enterprises offers some free services aimed at helping C++ developers, including a C++ Debug Tool that automates the building of logging software.

Some home pages of researchers working on Algorithmic and Automatic Debugging theory and design, and in related areas

Disclaimer: this list is not exhaustive! Please let me know if you would like to be added to this list , or if you would like an existing entry modified or deleted.

• David Abramson, Monash University, GUARD (Griffith University Relative Debugger) Project.
  

• Mikhail Auguston , Computer Science Department of U.S. Naval Postgraduate School
  Programming Languages Design and Implementation, Testing and Debugging Automation, Assertion Languages.
  

• Alessio Bechini University of Pisa, Italy - Dept. of Information Engineering
  Research interests:
  1. Analysis and design techniques for concurrent systems
  2. Analysis, evaluation and design of parallel embedded systems.
  A. Bechini has focused his attention on the architectural design of tools to support dynamic analysis of concurrent applications in a number of diverse execution environments.

• Karen L.Bernstein. Research interests include programming environments, programming languages, software engineering and concurrent systems. Dissertation research was concerned with the application of techniques from programming language theory to the design and implementation of debugging tools for high-level programming languages.
  

• Yaodong Bi, Department of Computing Sciences University of Scranton,
  Areas of Interest: Real-time Systems, Software Testing and Debugging, Software Engineering

• Dominic Binks , PhD thesis "Declarative Debugging in Goedel" available via WWW in gzipped postscript format.
  email: dominic@aethos.demon.co.uk
  Aethos Communication Systems Ltd., 220 Park Avenue, Bristol BS8 1SB
  Telephone: +44 1454 614455 Fax: +44 1454 620527

• James P. Black, Department of Computer Science at the University of Waterloo Research interests: distributed debugging, network management, distributed systems, reliability and performance analysis. Director of the Shoshin distributed system group.

• Francois Bourdoncle, École des Mines de Paris
  Direction des Recherches 60, Boulevard Saint-Michel 75272 Paris Cedex 06 FRANCE
  Research interests: Programming languages design, semantics and implementation. Compilation. Static analysis of programs. Abstract interpretation. Automatic debugging. Object-oriented programming and technologies. Type theory and type inference. Information technologies in a broad sense.

• James C. Browne, University of Texas at Austin,
  Parallel computation with the major focus on parallel programming, high level specification languages and integration of computer science with application areas, Visual Programming and Debugging for Parallel Computing.

• Berndt Bruegge , Technische Universität München,
  Interests
  • Distributed object-oriented systems
  • Reusable architectures
  • Diagnositics
  • Multi-project management

• Peter Buhr - University of Waterloo Polymorphism, persistence, concurrency, and concurrent monitoring, visualization and debugging.

• Miguel Calejo, Declarativa. I worked on declarative diagnosis of logic programs and Prolog between 1987 and 1991. If you're interested in optimal algorithms for both pure and impure logic programs, declarative source debugging, GUI-based implementations and other goodies you may want to read "A Framework for Declarative Prolog Debugging", PhD Thesis, Universidade Nova de Lisboa, Portugal, 1992. Available as a Word document from http://www.declarativa.com/people/mc/mcstuff/PhDthesis.zip

• Holger Cleve at Saarland University, Saarbrücken, Germany. I work on integrating Delta Debugging with program analysis.
  

• Marco Comini, PhD Student, Member of the Logic Programming Group.

• Patrick Cousot, Département d'Informatique (DI)
  École Normale Supérieure (ENS)
  Abstract Interpretation and its applications to the semantics and verification of computer programs by static analysis. (This web page contains links to bibliography and other web resources on abstract interpretation.)

• Janice E. Cuny, University of Oregon, Computer & Information Science
  Research Areas: Parallel Debugging, Parallel Programming Environments

• C . Delara, Main interests are intelligent debugging systems, program understanding, and knowledge-based software engineering.

• Laurie Dillon, Department of Computer Science, Michigan State University, East Lansing, MI 48864
  Research interests: Formal methods for specification and validation of concurrent systems; software engineering; programming languages.

• Wlodzimierz Drabent, Logic Programming, Constraint Programming
  
  • Institute of Computer Science of the Polish Academy of Sciences.
  • Logic Programming Laboratory, Department of Computer and Information Science, Linköping University, Sweden.
  • Institute of Informatics, Warsaw University.

• Mireille Ducasse , IRISA, Research interests: Dynamic Analysis, Automated Debugging.

• Peter Fritzson, PELAB - Programming Environments Laboratory
  Department of Computer and Information Science, Linköping University, S-581 83 Linköping, Sweden
  Programming environments for parallel and serial computers, Debugging tools and methods, e.g. semi-automatic debugging methods, and declarative debugging for lazy functional languages, High-level languages and environments for Scientific Computing, Compilation techniques, Program slicing.

• Keith Gallager, Computer Science Department, Loyola College in Maryland
  Software Process, Program Slicing

• Vijay Garg , UT Austin,
  Research interests: Distributed Systems, Discrete event systems and software engineering

• Ann Q. Gates , University of Texas at El Paso, El Paso, TX
  I am interested in the use of integrity constraints in a programming language as a software development and software maintenance tool, specification languages, rapid prototyping and reusability.

• Patrice Godefroid, Software Production Research Department, Bell Laboratories, Lucent Technologies
  Research interests include:
  • Verification and testing of communication protocols (automatic analysis methods for reactive and concurrent systems, model-checking algorithms, formal specification languages, logics of programs), program analysis, design methodologies, software engineering.
  • Methods for exploring and representing large state spaces, search techniques in artificial intelligence.
  • Automatic synthesis of reactive controllers, planning, control theory.

• Thomas Gross, Computer Science, Carnegie Mellon University
  I am interested in programming and software construction: compilers, the interface between hardware and software, parallel systems, distributed systems, and networks.

• Thorsten Grötker, Ulrich Holtmann, Holger Keding, and Markus Wloka, have written "The Developer's Guide to Debugging", an introductory textbook on how to debug C/C++ software. The website www.debugging-guide.com providing examples from the book lists and up-to-date references on the topic of software debugging: access to tools, books, journals, research papers, conferences, tutorials, and web links. The authors develop software and methodology for simulation and debugging, as applied to the domains of embedded systems, dataflow, SystemC, and hardware design.
>
• Mark Harman, School of Computing , University of North London .
  Research Interests: Slicing, Transformation, Metrics, Testing, Formal Methods.
  Project Project research on slicing and related technologies.

• Tim Heyer Department of Computer and Information Science at Linköping University in Sweden. I am working at the Real-Time Systems Laboratory. My current research is about assertional programming. The aim is to conceive a method for automated support in software development and verification, especially focused on software for process control.

• Erwan Jahier , IRISA - Project Lande. Research interest concerns dynamic analysis of Mercury programs, also have implemented Opium-M, a debugger/trace analyzer for Mercury programs within the European R & D project ARGo.

• Clinton L. Jeffery, New Mexico State University
  Areas of Interest:
  • programming languages
  • program execution monitoring
  • program visualization
  Current research projects include the Unicon programming language, the Godiva Programming Language, and the Alamo execution monitor architecture.

• Mariam Kamkar, PELAB - Programming Environments Laboratory
  Department of Computer and Information Science, Linköping University, S-581 83 Linköping, Sweden
  Debugging tools and methods, Program slicing.

• Gabriella Kokai, Ph.D. student at the Department of Computer Science Jozsef Attila University
  Research interests: Inductive Logic Programing , Program Testing, Slicing, Automated Debugging

• Bogdan Korel, Illinois Institute of Technology,
  Research interests: Software engineering, automated software system analysis, software reliability and testing. Program Slicing.

• Dieter Kranzlmueller, I am a research assistent at the GUP-Linz. My main job is the development of a parallel debugger for MIMD-machines.

• Thomas Kunz, Department of Computer Science at the University of Waterloo
  The focus of my research activities so far has been in the area of distributed and parallel systems. I examined issues in load-balancing while staying as exchange student at the University of Illinois, Urbana-Champaign, in 1988/89. My master's thesis dealt with distributed object-oriented programming languages. My Ph.D. research addresses the behaviour visualization of distributed and parallel applications to facilitate the program understanding task, for example during distributed debugging.

  Currently, I am a member of the Shoshin research group. We have two major projects on the go:

  • MANDAS
  • Mobile Computing
  Additionally, I am interested in problems of program understanding and reverse engineering in distributed applications. In particular, I am looking at ways to derive abstractions automatically to visualize the execution of parallel and distributed applications at high abstraction levels. Information for such automatic abstraction tools can come from plan libraries, static source analysis and other sources. The resulting abstractions can be read in by Poet, the visualization tool developed within the MANDAS project, to provide high-level execution visualizations.
• Insup Lee
  Research Interests: Formal Methods and Tools, Operating Systems, Programming Languages, and Software Engineering for Distributed Systems, E-commerce Systems, Embedded Systems, Hybrid Systems, Mobile Systems, and Real-Time Systems.
  Run-time monitoring and checking project for Java

• Raimondas Lencevicius, Nokia Research Center, Boston.
  Currently working in the areas of trace analysis, performance analysis, resource management and scheduling.
  Ph.D. thesis at University of California, Santa Barbara: "Query-Based Debugging".
  Query-based debuggers allow programmers to ask questions about object relationships during a program runtime. The debugger detects and displays broken relationships between objects while the program is running.

• Bil Lewis - Bil@LambdaCS.com. I am working on "Omniscient Debugging" -- the idea that a debugger should maintain full knowledge of the state of a program at all times, and that programmers should be able to "revert" the debugger to display that state any time they want to. Essentially a time-machine view of debugging. Related to "Reversible Debugging," but distinct in the sense that it doesn't actually reverse anything, it just displays what used to be there. The "ODB" is a fully functional, open source implementation in Java, available at LambdaCS.com.

• Calvin Lin, Department of Computer Sciences the University of Texas at Austin. Compilers and languages for parallel computing, parallel performance analysis, scientific computing,
  The Ariadne Debugger: Scalable Application of Event-Based Abstraction

• Lunjin Lu , Department of Computer Science, University of Waikato, Hamilton, New Zealand. Research Interest: Constraint and logic programming, Semantics-based program analysis and manipulation, program debugging, and Intelligent tutoring systems.

• David Luckham Stanford University, Program Analysis and Verification Group, specification languages, prototyping languages for large scale systems, and advanced programming environment support tools.

• Sarah Mallet. I'm  actually Phd student in the  LANDE  project at IRISA under the direction of Mireille Ducassé.  I'm working on debugging and explanations for deductive databases.

• John Mellor-Crummey Rice University - Computer Science Department
  John Mellor-Crummey's research interests focus on topics in large-scale parallel computation including architectures, operating systems, programming environments, and algorithms. Recent work with M. Scott on synchronization for shared-memory multiprocessors has led to novel algorithms for mutual exclusion, reader-writer control, and barrier synchronization. These algorithms avoid memory and network contention by exploiting locality in a multiprocessor's memory hierarchy and thus provide attractive alternatives to costly special-purpose synchronization hardware. In the area of programming environments, his work has focused on support for debugging shared-memory parallel programs. For the ParaScope programming environment, he has developed an asymptotically efficient strategy for detecting data races in program executions and is currently exploring compile-time analysis strategies to minimize the amount of instrumentation needed to guarantee that no data race will go unnoticed.

• Barton P. Miller Computer Sciences Department University of Wisconsin 1210 W. Dayton St. Madison, WI 53706-1685
  Paradyn Parallel Performance Tools project

• Mark Minas, Member of the research staff of the Department of Computer Science II of the University of Erlangen-Nürnberg, Germany.
  

  My main research interests are fault detection, debugging of parallel programs, visual languages, and programming in general. Currently, I'm involved in creating a generator for diagram editors and in parallel debugging.

• Lee Naish Dept. of Computer Science, Melbourne University, Parkville 3052, Australia
  E-mail: lee@cs.mu.oz.au, Phone: +61 3 9344 9156, Fax: +61 3 9348 1184
  Declarative debugging and testing of logic and functional programs.

• Henrik Nilsson, University of Nottingham. My current research interests include: lazy functional programming, implementation techniques for lazy functional languages, debugging tools for lazy functional languages.

• Michael Oberhuber Deterministic execution of parallel programs, Replay and causal relationships of parallel programs, Development of a monitoring system for Parsytec CC/PowerXplorer systems
  (Project TO OLWORLD) , PVM Monitoring system

• John O'Donnell - Glasgow Using functional programming to specify and reason about parallel systems such as digital circuits and data parallel architectures; nondeterminism; debugging; functional programming environments.

• Ned Okie Email: nokie@rucs.faculty.cs.runet.edu
  Automatic debugging, Object-oriented programming, Functional programming languages, Programming language semantics, Parallel systems, Limits of computation

• Harish Patil University of Wisconsin-Madison, USA

• Norman Ramsey, Harvard University
  Particular interests include retargetability, literate programming, debugging, and formal methods.

• David S. Rosenblum , Research interests are centered on the creation and application of powerful automated tools and techniques for building large-scale software systems, based on the use of scalable, formal program models and specification languages. His research has addressed a wide range of problems spanning the breadth of the software development life cycle, including software specification, architecture, design, testing, analysis and maintenance, as well as problems underlying the processes that guide large software projects.  His current research is focusing on the problem of validating distributed component-based software system; this research is being funded in part by a CAREER grant from the National Science Foundation.

• Peter Rüppel Software testing with special interest in testing of object-oriented software, Quality assurance

• Nahid Shahmehri, Intelligent Information Systems Laboratory, Department of Computer and Information Science, University of Linköping, S-581 83 Linköping, Sweden
  programming theory and languages, debugging tools, compiling technology, information management, business process modelling, CSCW, Theory and methods for advanced information systems.

• Ehud Shapiro, Weizmann Institute, Department of Mathematics , - first publications on Algorithmic Debugging (1982)

• Sameer Shende, CS Dept, University of Oregon, Ariadne Project

• Tony Sloane Department of Computer Science James Cook University of North Queensland Townsville, QLD, 4811 AUSTRALIA
  The Eli compiler construction system, Performance of automatically generated programs, Program slicing, Function argument values, Debugging systems and abstraction, Attributed graphs, Generation of program analysis tools, Boomerang: reconfiguring WWW pages

• Mary Lou Soffa Dept of Computer Science, Univ. of Pittsburgh Pittsburgh, PA 15260 Email: soffa@cs.pitt.edu
  Research Projects: Parallelizing and Optimizing Compilers, Program Analysis, Debugging of Optimized Code, Software Tools

• Rok Sosic , Dynascope , and GUARD (Griffith University Relative Debugger) Projects.

• Gene Spafford, Purdue University, Research interests: Computer and network security, Ethical and societal implications of computing, Software validation, verification, and debugging, Reliable distributed computer systems

• Jan Sparud PhD student at the Computing Science Department at Chalmers University. I am interested in the design and implementation of programming languages and programming environments. I am particularly interested in lazy functional languages, such as LML and Ha s kell. My current project is the design of a debugger for lazy functional languages.

• Jon Eliot Stroemme, Kvatro Telecom, Trondheim, Norway,
  Professional Interests: Debugging and testing networked, threaded real-time software. I am the designer and one of the implementors of the Pilot, an asynchronous, real-time debugger for multiple networked multi-threaded programs written in C, C++ or CHILL. See the Pilot Page Communication protocols. Computer languages, compiler and interpreter construction. CASE. Configuration Management. On-line extension of real-time, threaded software.

• David Taylor Department of Computer Science at the University of Waterloo
  My research interests are in two areas: fault tolerance and distributed computing systems. At present, most of my research activity is in the latter area, concentrating on techniques and tools for debugging distributed applications. Our research group has developed a good understanding of techniques for displaying execution histories of distributed (or parallel) applications and for applying abstraction to large histories so that currently irrelevant detail can be suppressed and relevant features more easily seen. Many of our theoretical ideas have been implemented in a prototype tool presently known as POET (Partial-Order Event Tracer). We are currently beginning to explore the application of our ideas concerning debugging to systems and application management in distributed systems.

• Frank Tip, I am a Research Staff Member at the IBM T. J. Watson Research Center in Yorktown Heights, New York.
  I work in the Program Analysis, Transformation, and Visualization group, which is part of Software Development Technology. The main focus of my work at IBM is on the development of algorithms and tools that assist programmers with the understanding and porting of object-oriented software. My primary research interests are: program analysis, program slicing, program understanding, analysis of object-oriented languages, class hierarchy transformations, program restructuring/transformation, Year2000 analysis, and compiler-optimization techniques.

• Steve Turner, Department of Computer Science, University of Exeter, ENGLAND, Research Interests: development of algorithms, languages and environments that make the transition from sequential to parallel computing easier; use of optimistic execution techniques as a parallelization tool for general purpose object-oriented languages; development of a visual programming environment that comprises tools for visual programming, debugging and performance analysis.

• Kazunori Ueda, Waseda University, Department of Information and Computer Science
  Current research interests include design and implementation of programming languages, logic programming, concurrency and parallelism, knowledge information processing, and interactive systems. Of particular interest are concurrent logic/constraint programming and applications of constraint-based program analysis.

• Roland Wismüller, TU München
  Institut für Informatik, SAB
  Lehrstuhl für Rechnertechnik und Rechnerorganisation
  D-80290 München
  Research Projects:
  • On Line Monitoring Interface Specification
  • Development of an OMIS Compliant Monitoring System
  • Development of a Parallel Debugger for PVM
  • SFB 342, Teilprojekt A1
  • Development of a debugger and a monitoring system for Parix/PowerPC systems

• Phil Winterbottom, Bell Labs, Acid, the Plan 9 debugger, was built as a language interpreter.

• Lea D. F. Wittie, Assistant Professor, Bucknell University, Algorithmic and Thought Guided Debugging

• Andreas Zeller at Saarland University, Saarbrücken, Germany. I work on Delta Debugging, a method that automatically isolates cause-effect chains from real programs with real bugs.

• Jianjun Zhao, Department of Computer Science and Engineering, Fukuoka Institute of Technology, Japan. Email: zhao@cs.fit.ac.jp Research interests:
  (1) Architectural-level dependence analysis, slicing, testing, and debugging of software systems [ project web page ]
  (2) Analysis and testing tools for object-oriented software
  (3) Automatic debugging

If you need help with installing a counter on your own page, contact Web-Counter Usage Page

Please submit your suggestions and new links by emailing Clint Jeffery .

Surface mail address:

Computer Science Department
New Mexico State University
Las Cruces, NM 88003, USA