From: Patrik Hagglund
Subject: CFP: 3rd International Workshop on Automated Debugging
Date:
Message-ID: <7h7mnhp1o9.fsf@sen23.ida.liu.se>
Call for Papers
3rd International Workshop on Automated Debugging
----------------------------------------------------------------------------
Third International Workshop on Automated Debugging
Link�ping, Sweden May 26-28 1997
----------------------------------------------------------------------------
Over the past decade 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,
* software testing,
* program slicing,
* monitoring,
* performance debugging,
* trace analysis,
* parallel and distributed debugging, and
* debugging by simulation
for any kind of programming paradigms (sequential, parallel, distributed,
real-time, logic programming, functional, object-oriented, imperative,
visual languages.)
In order to encourage discussion and exchange of ideas, the workshop will be
limited to at most 60 people. Contributors should be aware that the
prospective audience will not necessarily be familiar with the addressed
programming paradigms, which should, therefore, be briefly introduced.
Accepted papers will be included in the workshop proceedings. In 1995 the
authors of the best papers were invited to submit journal versions of their
papers to a special issue of the Journal of Automated Software Engineering
on automated debugging. If the contributions to AADEBUG'97 are of
sufficiently high quality we will try to make similar arrangements this
time.
Submission of Papers
Papers should be 2000 to 5000 words in length, including a 150 to 200 word
abstract. Submit papers by sending a Ghostview-readable Postscript file
containing the paper to ·········@ida.liu.se. Alternatively, send five
copies of the paper by postal mail to the program chair; concurrently send
an e-mail to ·········@ida.liu.se 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.
Important Dates
* Papers should be submitted before December 15, 1996
* Notification of acceptance by February 15, 1997
* Final version of paper before April 15, 1997
Program Chair
Mariam Kamkar
Department of Computer and Information Science
Link�ping University
S-581 83 Link�ping, Sweden
Phone: +46 13 281949
Fax: +46 13 284499
Email: ·····@ida.liu.se
Program Committee Members (Preliminary)
Michel Berg�re, University of Orleans, France
Bernd Bruegge, CMU, USA
Wlodzimierz Drabent, Polish Academy of Sciences, Poland
Mireille Ducasse, IRISA/INSA, France
Peter Fritzson, Link�ping University, Sweden
Keith Brian Gallagher, Loyola College, USA
Claude Jard, IRISA/CNRS, France
Thomas Johnsson, Chalmers university of Technology, Sweden
Lewis Johnson, USC ISI, USA
Mariam Kamkar, Link�ping University, Sweden
Bogdan Korel, Illinois Institute of Technology, USA
Jukka Paakki, University of Jyvaskyla, Finland
Boris Magnusson, Lund University
Nahid Shahmehri, Link�ping University, Sweden
Mary Lou Soffa, University of Pittsburgh, USA
Elaine Weyuker, AT&T Research Labs, N.J., USA
Roland Wism�ller, Technische Universitaet M�nchen, Germany
Registeration and Local Arrangements Chair
David Byers
Department of Computer and Information Science
Link�ping University
S-581 83 Link�ping, Sweden
Phone: +46 13 284496
Fax : +46 13 284499
Email: ·····@ida.liu.se
For further information:
<http://www.ida.liu.se/activities/conferences/AADEBUG/>
The workshop is sponsored by University of Link�ping.