AADEBUG 2000 Program

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

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