Over the past decades automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. The aims of the workshop are 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 workshop 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 |
Accepted papers and demo descriptions will be included in the workshop proceedings, distributed locally on paper and CD, and will also be published on the CoRR (Computing Research Repository) website. Authors of the best papers will be invited to submit journal versions of their papers to a special issue of the Journal of Automated Software Engineering on automated debugging.
Demonstration of tools and research prototypes that implement new ideas in debugging automation will be part of the AADEBUG2003 technical program. Demos will be given in sessions together with technical paper presentations. Both demos and regular papers will receive a 30' time slot.
AADEBUG 2003 follows AADEBUG'93 in Linkoeping (Sweden), AADEBUG'95 in Saint Malo (France), AADEBUG'97 in Linkoeping (Sweden) and AADEBUG 2000 in Munich (Germany).
See Mikhail Auguston's page on Automated and Algorithmic Debugging) for more information.
The Call for Papers is available as PDF or ASCII.
| Paper and demo submission before | March 22, 2003 |
| Notification of acceptance by | May 31, 2003 |
| Final version of paper before | July 15, 2003 |
| Early registration deadline | August 15, 2003 |
| Deadline for the CoRR proceddings | October 15, 2003 |
| Mikhail Auguston | Naval Postgraduate School (CA), USA |
| Koen De Bosschere | Ghent University, Belgium |
| Jacques Chassin de Kergommeaux | LSR/ENSIMAG, France |
| Jong-Deok Choi | IBM T.J. Watson Research Center, USA |
| Mireille Ducassé | IRISA/INSA, France |
| Peter Fritzson | Linköpings Universitet, Sweden |
| Michael Gerndt | Tech. Universität München, Germany |
| Gerda Janssens | Katholieke Universiteit Leuven, Belgium |
| Clinton L. Jeffery | New Mexico State University, USA |
| Mariam Kamkar | Linköpings Universitet, Sweden |
| Dieter Kranzlmüller | Joh. Kepler University Linz, Austria |
| Raimondas Lencevicius | Nokia Research Center, USA |
| Edu Metz | Nokia Research Center, USA |
| Henrik Nilsson | Yale University, USA |
| Michiel Ronsse | Ghent University, Belgium |
| Gary Sevitsky | IBM T.J. Watson Research Center, USA |
| Markus Stumptner | University of South Australia, Australia |
| Kazunori Ueda | Waseda University, Japan |
| Roland Wismüller | Technische Univ. München, Germany |
| Peter Fritzson | Linköpings Universitet, Sweden |
| Mariam Kamkar | Linköpings Universitet, Sweden |
| Mikhail Auguston | Naval Postgraduate School (CA), USA |
| Mireille Ducassé | IRISA/INSA, France |
Papers and demos (only PDF!) have to be submitted here before March 22. Notification of acceptance: May 31.
Your camera ready version has to be sent before July 15 to aadebug2003@elis.UGent.be. Don't upload your paper to the paper submission website! Author guidelines and the LaTeX style file can be found here, please adhere to them and to 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. You can find the comments here.
Two distinguished speakers will give an invited talk:
The Conference Program can be found here.
The registration form can be found here.
The online proceedings can be found on the CoRR website.
AADEBUG2003 will take place in Ghent, Belgium on the premises of Ghent University. The exact conference location is Jozef Plateaustraat 22, Auditorium D (U1 on the map, Here is a photo of the building).
Ghent is one of the oldest cities in Flanders, the Dutch speaking northern part of Belgium. Through the Middle Ages, it was among the most important economic centres of Western Europe and the historic city centre still reminds us of this period through its beautiful medieval towers. There are several trains an hour that connect Ghent to the closest international airport (Brussels, 60km). Other nearby airports are Schiphol (The Netherlands, 200km) and Lille (France, 90km), both having easy train connections to Ghent.
Hotel information can be found here, here, here, here, here and here. Bed & Breakfast is also possible. We can get you a room in a dorm at 19,15 EURO (no breakfast included) if you notify us before August 1.
A map with a number of hotels and the conference venue can be found here. A high resolution PDF version is also available.
AADEBUG2003 is sponsored by the following two Scientific Research Networks from the Fund for scientific research - Flanders:
