From: Mireille Ducasse
Subject: AADEBUG 2000 Program
Date: 
Message-ID: <8jhoqe$edq$11@news.irisa.fr>
----------------------------------------------------------------------

			     AADEBUG'2000

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

	     http://wwwbruegge.in.tum.de/projects/AADEBUG

		    Co-located with Euro-Par 2000
		  http://wwwbode.in.tum.de/~europar/


Monday August 28th

 9.00 -  9.15	Opening

 9.15 - 10.15	Survey
Automated debugging by trace query
Mireille Ducass�

10.15 - 10.45	Break

10.45 - 11.30
Extension Language Automation of Embedded System Debugging
Dale Parson, Bryan Schlieder, Paul Beatty

11.30 - 12.15
On-the-fly Query-Based Debugging
Raimondas Lencevicius

12.15 - 12.45
Assertion checker for the C programming language based on computations
over event traces
Mikhail Auguston

12.45 - 14.00	Lunch

14.00 - 14.30
Collecting Graphical Abstract Views of Mercury Program Executions
Erwan Jahier

14.30 - 15.00
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a
debugger for Lustre
Florence Maraninchi and Fabien Gaucher

15.00 - 15.30
Automatic Debugging Support for UML Designs
Johann Schumann

15.30 - 16.00	Break

16.00 - 16.20
A Knowledge-based Automated� Debugger in Learning System 
Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, Mohd Jan Nordin

16.20 - 16.40
Finding Failure Causes through Automated Testin
Holger Cleve and Andreas Zeller

16.40 - 17.00
Model-Based Debugging of Java Programs
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa

17.00 - 17.20
A framework of an assertion-based algorithmic debugging for
distributed programs
Tusyoshi Ohta, Hideto Kinoshita, Takahiro Kimata,
and Tadanori Mizuno



Tuesday August 29th

9.00 - 10.00 Invited talk
Automatic Performance Debugging
Michael Gerndt

10.00 - 10.30	Break

10.30 - 11.15
Kima -- an Automated Error Correction System for Concurrent Logic
Programs
Yasuhiro AJIRO, Kazunori UEDA

11.15 - 11h 45
Non-intrusive on-the-fly data race detection using execution replay.
Michiel Ronsse and Koen De Bosschere

11.45 - 13.00	Lunch

13.00 -	13.30
Support for Debugging Automatically Parallelized Programs
Robert Hood and Gabriele Jost

13.30 - 14.00
A Brief Overview of the MAD Debugging Activities
Dieter Kranzlmueller, Christian Schaubschlaeger, Jens Volkert


14.30 - 16.30 Guided Tour at the Deustches Museum

19.00 - 23.00	Banquet



Wednesday August, 30th

 9.00 - 10.00 Invited talk
Instant Replay and debugging
Koen De Bosschere, Jacques Chassin de Kergommeaux, Michiel Ronsse

10.00 - 10.20
Automated Debugging in Java Using OCL and JDI
David J. Murray  and Dale E. Parson

10.20 - 10.40
Slicing Event Traces of Large Software Systems
Raymond Smith and Bogdan Korel

10.40 - 11.15	Break

11.15 - 11.45
Slicing of Constraint Logic Programs
Gyongyi Szilagyi, Tibor Gyimothy, Jan Maluszynski

11.45 - 12.15
Value Withdrawal Explanation in CSP
Gerard Ferrand, Willy Lesaint and Alexandre Tessier

12.15 - 12.45
Systematic Debugging of Attribute Grammars
Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, and Masataka Sassa

12.45 - 14.00	Lunch

14.00 - 14.30
Generation of and Debugging with Logical Pre and Post-Conditions
�ngel Herranz-Nieva, Juan Jos� Moreno-Navarro

14.30 - 15.00
In Search of Yeti: Footprint Analysis with Wildebeest
Srikanth Sankaran Adayapalam,

15.00 - 15.30
Apache Web Server Execution Tracing Using Third Eye
Raimondas Lencevicius, Alexander Ran, Rahav Yairi

15.30 - 16.00	Closing

----------------------------------------------------------------------