[Note the call for demos]
AADEBUG'2000
Fourth International Workshop on Automated Debugging
Munich, Germany, 28-30 August 2000
http://www.irisa.fr/lande/ducasse/aadebug2000/
Call for papers and demos
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. Original research as well as practical experience
reports are welcome.
Typical topics of the workshop include (but are not limited to):
* automated debugging,
* declarative 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
for any kind of programming paradigms (sequential, parallel, distributed,
real-time, logic programming, functional, object-oriented, imperative,
visual languages.)
Demonstration of tools and research prototypes that implement new ideas in
debugging automation will be part of the AADEBUG'2000 technical program.
Demos will be given in sessions together with technical paper presentations.
Presenters will be responsible for providing and operating all necessary
computing equipment and connecting it to the data projection equipment
provided.
Accepted papers and demo descriptions will be included in the workshop
proceedings, probably published on the web. 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.
Submission of Papers
Contributors should be aware that the prospective audience will not
necessarily be familiar with the addressed programming paradigms, which
should, therefore, be briefly introduced. Papers should be no longer than
5000 words in length, including a 150 to 200 word abstract. Submit papers by
sending a Ghostview-readable Postscript file containing the article to the
program chair: ·······@irisa.fr. Concurrently send an e-mail to
·······@irisa.fr containing the title of the paper, names of the authors,
full address of the correspondent and a 150 to 200 word abstract of the
paper. Authors having problems to submit by email should contact the program
chair.
Submission of Demos
Demo descriptions should be non longer than 2000 words including a 150 to
200 word abstract. Submit papers by sending a Ghostview-readable Postscript
file containing the article to the demo chair: ·····@cs.nmsu.edu.
Concurrently send an e-mail to ·····@cs.nmsu.edu containing the title of the
demo, names of the authors, full address of the correspondent and a 150 to
200 word abstract of the paper. Authors having problems to submit by email
should contact the program chair.
Important Dates
* Papers and demos submission before March 31, 2000
* Notification of acceptance by May 15, 2000
* Final version of paper before June 30, 2000
Program Chair
Mireille Ducass�
IRISA/INSA
Campus Universitaire de Beaulieu
F- 35042 France cedex
Fax: +33 2 99 28 64 58
Email: ·······@irisa.fr
Program Committee Members
Mikhail Auguston, New Mexico State University, USA (demo chair)
Bernd Bruegge, Technische Universitaet Muenchen, Germany (local chair)
Wlodzimierz Drabent, Polish Academy of Sciences, Poland
Mireille Ducasse, IRISA/INSA, France (program chair)
Keith Gallagher, Loyola College in Maryland, USA
Thomas Gross, CMU, USA and ETH Zurich, Swizterland
David R. Hanson, Microsoft Research, USA
Mariam Kamkar, Link�ping University, Sweden
Bogdan Korel, Illinois Institute of Technology, USA
Henrik Nilsson, Link�ping University, Sweden
Pascale Thevenod-Fosse, LAAS-CNRS, France
Frank Tip, IBM T.J. Watson Research Center, USA
Kazunori Ueda, Waseda University, Japan
Roland Wism�ller, Technische Universitaet Muenchen, Germany