AADEBUG'2000 CFP

                                                                AADEBUG'2000


                        Fourth International Workshop on Automated Debugging
                                          Munich, Germany, 28-30 August 2000


http://www.irisa.fr/lande/ducasse/aadebug2000


Call for papers


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


Accepted papers 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 ducasse@irisa.fr. Concurrently send an
e-mail to ducasse@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.


Important Dates


      * Papers 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: ducasse@irisa.fr


Program Committee Members


Mikhail Auguston, New Mexico State University, USA
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

Return to the comp.compilers page.
Search the comp.compilers archives again.