AADEBUG2003
Ghent, Belgium, September 8-10, 2003

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
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 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.

News

Call for Papers

The Call for Papers is available as PDF or ASCII.

Important dates
Paper and demo submission beforeMarch 22, 2003
Notification of acceptance byMay 31, 2003
Final version of paper beforeJuly 15, 2003
Early registration deadlineAugust 15, 2003
Deadline for the CoRR proceddingsOctober 15, 2003

Chairs

General chair

General chair of AADEBUG2003 is Prof. Koen De Bosschere of Ghent University, Belgium.

Program chair

Program chair of AADEBUG2003 is Michiel Ronsse of Ghent University, Belgium.

Program Committee
Mikhail AugustonNaval Postgraduate School (CA), USA
Koen De BosschereGhent University, Belgium
Jacques Chassin de KergommeauxLSR/ENSIMAG, France
Jong-Deok ChoiIBM T.J. Watson Research Center, USA
Mireille DucasséIRISA/INSA, France
Peter FritzsonLinköpings Universitet, Sweden
Michael GerndtTech. Universität München, Germany
Gerda JanssensKatholieke Universiteit Leuven, Belgium
Clinton L. JefferyNew Mexico State University, USA
Mariam KamkarLinköpings Universitet, Sweden
Dieter KranzlmüllerJoh. Kepler University Linz, Austria
Raimondas LenceviciusNokia Research Center, USA
Edu MetzNokia Research Center, USA
Henrik NilssonYale University, USA
Michiel RonsseGhent University, Belgium
Gary SevitskyIBM T.J. Watson Research Center, USA
Markus StumptnerUniversity of South Australia, Australia
Kazunori UedaWaseda University, Japan
Roland WismüllerTechnische Univ. München, Germany

Steering Committee
Peter FritzsonLinköpings Universitet, Sweden
Mariam KamkarLinköpings Universitet, Sweden
Mikhail AugustonNaval Postgraduate School (CA), USA
Mireille DucasséIRISA/INSA, France

Submission

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.

Invited speakers

Two distinguished speakers will give an invited talk:

Conference Program

The Conference Program can be found here.

Registration

The registration form can be found here.

Proceedings

The online proceedings can be found on the CoRR website.

Venue

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.

Sponsors

AADEBUG2003 is sponsored by the following two Scientific Research Networks from the Fund for scientific research - Flanders: