CfP: AADEBUG 2005 - 6th International Symposium on Automated and Analysis-Driven Debugging (California, Sept 05)

************************************************************
                                        Call For Papers


                                          AADEBUG 2005
                            Sixth International Symposium on
                    Automated and Analysis-Driven Debugging


                                    September 19-21, 2005
                                    Monterey, California
                          http://www.cs.nmsu.edu/aadebug/


                        Sponsored By: ACM SIGPLAN & ACM SIGSOFT
************************************************************


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 symposium are to gather common themes and solutions
across programming communities, and to cross-fertilize ideas. We
seek papers describing original research as well as reports on
practical experience. We also welcome demonstrations of tools and
research prototypes.


Typical topics of the symposium 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, grid, real-time, logic programming, functional,
object-oriented, imperative, visual languages).


Accepted papers and demo descriptions will be included in the
symposium proceedings published on paper by ACM with ISBN and
also electronically in the ACM Digital Library.


Demonstration of tools and research prototypes that implement new
ideas in debugging automation will be part of the AADEBUG 2005
technical program.


Demos will be given in sessions together with technical paper
presentations.


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 10 pages in length, including a 150 to 200 word
abstract. Submit papers by uploading a PDF file to the submission
site (see http://www.softconf.com/start/AADEBUG05/submit.html).
Concurrently send an e-mail to aadebug-submit@cs.nmsu.edu with the
title of the paper, names of the authors, full address of the
correspondent and a 150 to 200 word abstract of the paper.


Submission of Demos


Demo descriptions should be no longer than 5 pages including a
150 to 200 word abstract. Submit demos by uploading a PDF file
to the submission site
(see http://www.softconf.com/start/AADEBUG05/submit.html).
Concurrently send an e-mail to aadebug-submit@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. Clearly mention the fact that you submit a demo and not
a regular paper in your email.


Authors having problems to submit using the web server can
send the paper as an attachment to aadebug-submit@cs.nmsu.edu


Important Dates
Paper and demo submission before March 12, 2005
Notification of acceptance by May 31, 2005
Final version of paper before July 15, 2005
Early registration deadline August 15, 2005




General chair
Clinton Jeffery, New Mexico State University, USA


Program chairs
Jong-Deok Choi, IBM, USA
Raimondas Lencevicius, Nokia, USA


Local arrangements chair
Mikhail Auguston, NPS, USA


Program committee
David Abramson, Monash U, Australia
Jose Nelson Amaral, U of Alberta, Canada
Mikhail Auguston, Naval Postgraduate School (CA), USA
Thomas Ball, Microsoft Research, USA
Koen De Bosschere, Ghent U, Belgium
Peter Bunus, Linkopings U, Sweden
Jacques Chassin de Kergommeaux, LSR/ENSIMAG, France
Mireille Ducasse, IRISA/INSA, France
Peter Fritzson, Linkopings U, Sweden
Michael Gerndt, Tech. U Munchen, Germany
Jeff Hollingsworth, U of Maryland, USA
Gerda Janssens, Katholieke U Leuven, Belgium
Dieter Kranzlmuller, Joh. Kepler U Linz, Austria
Edu Metz, Nokia Research Center, USA
Barton Miller, U of Wisconsin, USA
Henrik Nilsson, U of Nottingham, UK
Steve Reiss, Brown U, USA
Michiel Ronsse, Ghent U, Belgium
Atanas Rountev, Ohio State U, USA
Mary Lou Soffa, U of Virginia, USA
Scott Stoller, State U of New York at Stony Brook, USA
Markus Stumptner, U of South Australia, Australia
Kazunori Ueda, Waseda U, Japan
Shmuel Ur, IBM Haifa, Israel
Roland Wismuller , Tech U Munchen, Germany
Franz Wotawa, Technische U Graz, Austria
Andreas Zeller, Saarbrucken U, Germany

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