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):
for any kind of programming paradigms (sequential, parallel, distributed, real-time, logic programming, functional, object-oriented, imperative, visual languages).
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
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.
The Call for Papers is available as a PDF document.
| 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 |
| 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 |
| 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.
Distinguished researcher Bill Pugh will give a invited Keynote talk.
Advice to Bug HuntersWe 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.
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.