Automated and analysis-driven debugging techniques continue to increase in importance as program source codes and execution behaviors increase in size. The aim of the automated debugging symposium is to gather common themes and solutions across programming communities, and to cross-fertilize ideas. We also welcome demonstrations of tools and research prototypes.

Typical topics of the symposium include (but are not limited to):

automated debugging      declarative debugging
type debugging      knowledge-based debugging
algorithmic debugging      assertion-based debugging
trace analysis      software testing
program slicing      monitoring
performance debugging      parallel and distributed debugging
debugging by simulation      debugging using record/replay
for any kind of programming paradigms (sequential, parallel, distributed, real-time, logic programming, functional, object-oriented, imperative, visual languages).

Accepted papers and demo descriptions will be included in the symposium proceedings published on paper by ACM with ISBN and also electronically in the ACM Digital Library.

Demonstration of tools and research prototypes that implement new ideas in debugging automation will be part of the AADEBUG2005 technical program. Demos will be given in sessions together with technical paper presentations. Both demos and regular papers will receive a 30 minute time slot.

AADEBUG 2005 follows AADEBUG'93 in Linkoeping (Sweden), AADEBUG'95 in Saint Malo (France), AADEBUG'97 in Linkoeping (Sweden), AADEBUG 2000 in Munich (Germany), and AADEBUG 2003 in Ghent (Belgium).

See Mikhail Auguston and Clint Jeffery's page on Automated and Algorithmic Debugging for more information.


Call for Papers

The Call for Papers is available as a PDF document.

Important dates
Paper and demo submission before    March 21 (was 12), 2005
Notification of acceptance by    May 31, 2005
Final version of paper before    July 8, 2005
Early registration deadline    August 15, 2005


General chair

General chair of AADEBUG2005 is Clinton Jeffery of New Mexico State University, USA.

Program chairs

Program co-chairs of AADEBUG2005 are Jong Deok Choi of IBM and Raimondas Lencevicius of Nokia.

Local Arrangements Chair

Local arrangements chair of AADEBUG 2005 is Mikhail Auguston.

Program Committee

David Abramson    Monash University, Australia
Jose Nelson Amaral    University of Alberta, Canada
Mikhail Auguston    Naval Postgraduate School (CA), USA
Thomas Ball    Microsoft Research, USA
Koen De Bosschere    Ghent University, Belgium
Peter Bunus     Linköpings Universitet, Sweden
Jacques Chassin de Kergommeaux    LSR/ENSIMAG, France
Mireille Ducassé    IRISA/INSA, France
Peter Fritzson    Linköpings Universitet, Sweden
Michael Gerndt    Tech. Universität München, Germany
Jeff Hollingsworth    University of Maryland, USA
Gerda Janssens    Katholieke Universiteit Leuven, Belgium
Dieter Kranzlmüller    Joh. Kepler University Linz, Austria
Edu Metz    Nokia Research Center, USA
Barton Miller    University of Wisconsin, USA
Henrik Nilsson    University of Nottingham, UK
Steve Reiss    Brown University, USA
Michiel Ronsse    Ghent University, Belgium
Atanas Rountev    Ohio State University, USA
Mary Lou Soffa    University of Virginia, USA
Scott Stoller    State University of New York at Stony Brook, USA
Markus Stumptner    University of South Australia, Australia
Kazunori Ueda    Waseda University, Japan
Shmuel Ur    IBM Haifa, Israel
Roland Wismüller    Technische Univ. München, Germany
Franz Wotawa    Technische Univ. Graz, Austria
Andreas Zeller    Saarbrucken Universität, Germany

Steering Committee

Mikhail Auguston    Naval Postgraduate School (CA), USA
Mireille Ducassé    IRISA/INSA, France
Koen de Bosschere    Universiteit Gent
Peter Fritzson    Linköpings Universitet, Sweden
Kathleen Fisher    AT&T + SIGPLAN
Mary Jean Harrold    Georgia Tech + SIGSOFT
Michiel Ronsse    Universiteit Gent


Papers and demos (only PDF!) have to be submitted here on or before March 21. Notification of acceptance: May 31.

Your camera ready version has to be sent before July 15 to aadebug-submit@cs.nmsu.edu. Don't upload your final-version paper to the paper submission website!

Papers must be formatted according the ACM proceedings format. Regular papers should be no longer than 10 pages in this format. This 10 pages includes everything (i.e., it is the total length of the paper). Demo submissions should be no longer than 5 pages total, in ACM proceedings format.

The page limits will be strictly enforced, and papers that exceed the limit will very possibly be rejected by the program co-chairs. Templates for ACM format are available for Word Perfect, Microsoft Word, and Latex at http://www.acm.org/sigs/pubs/proceed/template.html. Submissions should be in PDF (preferably) or Postscript that is interpretable by Ghostscript and printable on US Letter and A4 sized paper. In your final paper, please also carefully address the comments from the reviewers! If you use xfig to create figures, have a look at http://hverrill.net/slides/ in order to make correct PDF figures.

Invited speaker

Distinguished researcher Bill Pugh will give a invited Keynote talk.

Advice to Bug Hunters

We all understand that software defects are a problem, and we want to make it easy to build more reliable software. But finding bugs is embarrassingly easy, as is devising a new program analysis technique that is able to find some bugs. Actually improving software quality through bug detection or bug localization tools is hard, and requires careful thinking about what really impacts software reliability and how your tool can fit into the entire software development process. I'll discuss some observations and attempts to address these issues from the perspective of the FindBugs project.

Conference Program

The Conference Program is available here.


The registration form can be found here.


There will be a proceedings, published by ACM in print as well as in the ACM Digital Library.


AADEBUG2005 will take place in Monterey, California at the Monterey Beach Resort, 2600 Sand Dunes Drive, Monterey, CA 93940 USA, 800-242-8627. The hotel has reserved a block of rooms for us under the name AADEBUG from September 18-21 at a rate of $119 gardenside $159 oceanside for 1 person, plus $15 for a second person; reservations at this rate must be made by August 28 and our group name must be mentioned. The room block is not reserved the evening of September 21 after the conference; if you need to stay an extra day you can inquire whether they have any rooms left.

Monterey is one of the most beautiful areas of the California coast. It features the Monterey Bay Acquarium, Cannery Row, the U.S. Naval Postgraduate School, and proximity to numerous Californian attractions ranging from Silicon Valley to the Carmel Mission to the Hearst Mansion. The Monterey-Salinas Airbus provides 14 trips daily to the San Jose and San Francisco international airports from downtown Monterey. Other shuttles and car rentals are also available to the closest international airport (San Jose, SJC, 125 km), and Monterey Airport offers commercial air service to San Francisco, Los Angeles, and Phoenix. Other nearby airports are San Francisco, and Oakland.

Hotel information can be found here, and here.

A map with the conference venue can be found here.

The conference banquet is Tuesday night at Tarpy's Roadhouse, a map is here.


AADEBUG2005 is sponsored by ACM SIGPLAN and SIGSOFT.