1: <!doctype html public "-//w3c//dtd html 4.0 transitional//en">
2: <html>
3: <head>
4: <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
5: </head>
6: <body text="#000000" bgcolor="#FFFFFF" link="#0000EE" vlink="#551A8B" alink="#FF0000">
7:
8:
9: <center>
10: <p><b><font size=+2>Proceedings of the Fifth International
11: <p> Workshop on Automated Debugging </font>
12: <p> <font size=+4>AADEBUG 2003</font></b>
13:
14: <p><font size=+1>Ghent - September 8 - 10th, 2003</font>
15: <p><font size=+2><em>Michiel Ronsse, Editor; Koen De Bosschere, General Chair</em></font>
16: </center>
17:
18:
19: <p><br><font size=+1></font>
20: <ul>
21: <li>
22: <font size=+1><a href="#preface">Preface</a></font></li>
23:
24: <li>
25: <font size=+1><a href="#program committee">Program Committee</a></font></li>
26:
27: <li>
28: <font size=+1>Invited papers</font></li>
29: <ul>
30: <li><em><a href=http://arxiv.org/abs/cs/0309047>Causes and Effects in Computer Programs</a></em><br>Andreas Zeller
31: <li><em><a href=http://arxiv.org/abs/cs/0311040>Idempotent I/O for safe time travel</a></em><br>Zoltan Somogyi
32:
33: </ul>
34:
35: <li><font size=+1>Full papers</font></li>
36: <ul>
37: <li><em><a href=http://hal.ccsd.cnrs.fr/ccsd-00000840>Automatic State Reaching for Debugging Reactive Programs</a></em><br>Gaucher Fabien, Jahier Erwan, Jeannet Bertrand, Maraninchi Florence
38: <li><em><a href=http://arxiv.org/abs/cs/0310025>A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization</a></em><br>Mikhail Auguston, Clinton Jeffery, Scott Underwood
39: <li><em><a href=http://arxiv.org/abs/cs/0309030>Model-Based Debugging using Multiple Abstract Models</a></em><br>Wolfgang Mayer, Markus Stumptner
40: <li><em><a href=http://arxiv.org/abs/cs/0309037>Postmortem Object Type Identification</a></em><br>Bryan Cantrill
41: <li><em><a href=http://arxiv.org/abs/cs/0309031>Timestamp Based Execution Control for C and Java Programs</a></em><br>Kazutaka Maruyama, Minoru Terada
42: <li><em><a href=http://arxiv.org/abs/cs/0309029>Instrumenting self-modifying code</a></em><br>Jonas Maebe, Koen De Bosschere
43: <li><em><a href=http://arxiv.org/abs/cs/0311037>DUCT: An Interactive Define-Use Chain Navigation Tool for Relative Debugging</a></em><br>Aaron Searle, John Gough, David Abramson
44: <li><em>Debugging Tool for Localizing Faulty Processes in Message Passing Programs</em><br>Masao Okita, Fumihiko Ino, Kenicni Hagihara
45: <li><em><a href=http://arxiv.org/abs/cs/0309049>Control and Debugging of Distributed Programs Using Fiddle</a></em><br>João Lourenço, José Cunha, Vitor Moreira
46: <li><em><a href=http://arxiv.org/abs/cs/0309032>Towards declarative diagnosis of constraint programs over finite domains</a></em><br>Gerard Ferrand, Willy Lesaint, Alexandre Tessier
47: <li><em><a href=http://arxiv.org/abs/cs/0310042>Rigourous Design of Tracers: an Experiment for Constraint Logic Programming</a></em><br>Mireille Ducassé, Ludovic Langevine, Pierre Deransart
48: <li><em>A Constraint Programming Approach For Software Diagnosis</em><br>R. Ceballos, R. M. Gasca, C. Del Valle, F. De La Rosa
49: <li><em><a href=http://arxiv.org/abs/cs/0311001>Modeling state in software debugging of VHDL-RTL designs - a model-based diagnosis approach</a></em><br>Bernhard Peischl, Franz Wotawa
50: <li><em><a href=http://arxiv.org/abs/cs/0311019>Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies</a></em><br>Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson, Roger Mellander, Ingemar Reiyer, Mattias Kallvi
51:
52: </ul><li><font size=+1>Full papers with demo</font></li><ul>
53:
54: <li><em><a href=http://arxiv.org/abs/cs/0310016>Debugging Backwards in Time</a></em><br>Bil Lewis
55: <li><em><a href=http://arXiv.org/abs/cs/0310007>Event-based Program Analysis with DeWiz</a></em><br>Ch. Schaubschläger, D. Kranzlmüller, J. Volkert.
56: <li><em><a href=http://arxiv.org/abs/cs/0311023>The Chameleon Type Debugger</a></em><br>Peter Stuckey, Martin Sulzmann, Jeremy Wazny
57:
58: </ul>
59:
60: <li><font size=+1>Work In Progress papers</font></li>
61: <ul>
62:
63: <li><em><a href=http://arxiv.org/abs/cs/0310024>Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems</a></em><br>Joel Huselius, Henrik Thane, Daniel Sundmark
64: <li><em>A mathematical framework for automated bug localization</em><br>Tsuyoshi Ohta, Tadanori Mizuno
65: <li><em><a href=http://arxiv.org/abs/cs/0310030>A particular bug trap: execution replay for virtual machines</a></em><br>Oppitz Oliver
66: <li><em><a href=http://arxiv.org/abs/cs/0310040>Automated Fault Localization Using Potential Invariants</a></em><br>Brock Pytlik, Manos Renieris, Shiram Krishnamurthi, Steven P. Reiss
67: </ul>
68:
69: <li><font size=+1>Short demos</font></li>
70: <ul>
71: <li><em><a href=http://arxiv.org/abs/cs/0310001>A performance analysis tool for Nokia mobile phone software</a></em><br>Edu Metz, Raimondas Lencevicius
72: <li><em><a href=http://arxiv.org/abs/cs/0310026>Generalized systematic debugging for attribute grammars</a></em><br>Akira Sasaki, Masataka Sassa
73:
74: </ul>
75:
76:
77: <p>
78: <hr WIDTH="100%">
79: <br><a NAME="preface"></a><font size=+1>Preface</font><font size=+1></font>
80:
81: <p>
82:
83: Over the past decades automated debugging has seen major achievements. However,
84: as debugging is by necessity attached to particular programming paradigms, the
85: results are scattered. To alleviate this problem, the Automated and Algorithmic
86: Debugging workshop (AADEBUG for short) was organised in 1993 in Linköping
87: (Sweden). As this workshop proved to be successful, subsequent workshops have
88: been organised in 1995 (Saint-Malo, France), 1997 (again in Linköping, Sweden)
89: and <a href=http://xxx.lanl.gov/html/cs.SE/0010035>2000</a> (Munich, Germany).
90: In 2003, the workshop is organised in Ghent, Belgium, the proceedings of which
91: you are reading right now.
92:
93: <p>
94:
95: Over the years, the AADEBUG workshop has become one of the premier forums for
96: the presentation of new and exciting research ideas concerning software
97: debugging. This workshop consists of 14 full papers, 3 full papers with demo, 4
98: work-in-progress papers and 3 short demos. All papers were reviewed by at least
99: three program committee members and a number of external referees. The authors
100: got back many thorough comments which, we hope, helped them improve
101: significantly their papers.
102:
103: <p>
104:
105: We are very pleased to have two distinguished invited speakers. Andreas Zeller
106: will talk about Causes and Effects in Computer Programs and Zoltan Somogyi will
107: enlighten us on Idempotent I/O for safe time travel.
108:
109: <p>
110:
111: I am grateful to the
112: authors for all their hard work in preparing submissions to the workshop. I
113: would like to thank the Program Committee members and the external referees for
114: their valuable time and the Steering Committee members for their help in
115: forming a well balanced Program Committee.
116:
117: <p>
118:
119: Finally, The fund for scientific research - Flanders (FWO) is thanked for the
120: financial support through two Scientific Research Networks (Declarative methods
121: in computer science and Program acceleration by Application-driven and
122: architecture-driven Code Trans-formations) and Ghent University is thanked for
123: the facilities they provide.
124:
125: <p> The workshop web page can be found at
126: <a href=http://www.elis.UGent.be/aadebug2003>http://www.elis.UGent.be/aadebug2003</a>.
127:
128: <P>
129: Michiel Ronsse
130: <br>Program Chair
131: <br>Ghent University
132: <p>
133:
134:
135:
136:
137:
138: <hr WIDTH="100%">
139:
140:
141:
142: <br><a NAME="program committee"></a><font size=+1>Program Committee</font>
143: <p>
144: <a href="http://www.cs.nmsu.edu/~mikau/">Mikhail Auguston</a>, Naval Postgraduate School (CA), USA
145: <br><a href="http://www.elis.UGent.be/~kdb/">Koen De Bosschere</a>, Ghent University, Belgium <strong>(general chair)</strong>
146: <br><a href="http://drakkar.imag.fr/~chassin/">Jacques Chassin de Kergommeaux</a>, LSR/ENSIMAG, France
147: <br><a href="http://www.research.ibm.com/people/j/jdchoi/">Jong-Deok Choi</a>, IBM T.J. Watson Research Center, USA
148: <br><a href="http://www.irisa.fr/lande/ducasse/">Mireille Ducassé</a>, IRISA/INSA, France
149: <br><a href="http://www.ida.liu.se/~pelab/members/?3">Peter Fritzson</a>, Linköpings Universitet, Sweden
150: <br><a href="http://www.in.tum.de/~gerndt/">Michael Gerndt</a>, Tech. Universität München, Germany
151: <br><a href="http://www.cs.kuleuven.ac.be/~gerda/">Gerda Janssens</a>, Katholieke Universiteit Leuven, Belgium
152: <br><a href="http://www.cs.nmsu.edu/~jeffery/">Clinton L. Jeffery</a>, New Mexico State University, USA
153: <br><a href="http://www.ida.liu.se/~pelab/members/index.php4/?5">Mariam Kamkar</a>, Linköpings Universitet, Sweden
154: <br><a href="http://www.gup.uni-linz.ac.at/~dk/">Dieter Kranzlmüller</a>, Joh. Kepler University Linz, Austria
155: <br><a href="http://alumni.cs.ucsb.edu/~raimisl/">Raimondas Lencevicius</a>, Nokia Research Center, USA
156: <br>Edu Metz, Nokia Research Center, USA
157: <br><a href="http://cs-www.cs.yale.edu/homes/nilsson/">Henrik Nilsson</a>, Yale University, USA
158: <br><a href="http://www.elis.UGent.be/~ronsse/">Michiel Ronsse</a>, Ghent University, Belgium <strong>(program chair)</strong>
159: <br>Gary Sevitsky, IBM T.J. Watson Research Center, USA
160: <br>Markus Stumptner, University of South Australia, Australia
161: <br><a href="http://www.ueda.info.waseda.ac.jp/~ueda/">Kazunori Ueda</a>, Waseda University, Japan
162: <br><a href="http://wwwbode.cs.tum.edu/~wismuell/">Roland Wismüller</a>, Technische Univ. München, Germany
163:
164: <br>
165: <hr WIDTH="100%">
166: </body>
167: </html>
168: