AADEBUG 2000 Program

ducasse@irisa.fr (Mireille Ducasse)
30 Jun 2000 10:16:10 -0400

          From comp.compilers

Related articles
AADEBUG 2000 Program ducasse@irisa.fr (2000-06-30)
| List of all articles for this month |

From: ducasse@irisa.fr (Mireille Ducasse)
Newsgroups: comp.compilers
Date: 30 Jun 2000 10:16:10 -0400
Organization: IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE
Keywords: debug, conference

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


Post a followup to this message

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