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: <meta name="GENERATOR" content="Mozilla/4.61 [en] (X11; U; SunOS 5.7 sun4u) [Netscape]">
6: </head>
7: <body text="#000000" bgcolor="#FFFFFF" link="#0000EE" vlink="#551A8B" alink="#FF0000">
8:
9: <center>
10: <p><b><font size=+2>Proceedings of the Fourth International
11: <p> Workshop on Automated Debugging </font>
12: <p> <font size=+4>AADEBUG 2000</font></b>
13:
14: <p><font size=+1>Munich - August 28 - 30th, 2000</font>
15: <p><font size=+2><em>Mireille Ducassé, Editor</em></font>
16: </center>
17:
18:
19:
20: <p><br><font size=+1></font>
21: <ul>
22: <li>
23: <font size=+1><a href="#preface">Preface</a></font></li>
24:
25: <li>
26: <font size=+1><a href="#program committee">Program Committee</a></font></li>
27:
28: <li>
29: <font size=+1><a href="#referees">Referees</a></font></li>
30:
31: <li>
32: <font size=+1>Invited Talks</font></li>
33:
34: <ul>
35: <p>
36: <em>Towards automatic performance debugging tools</em>
37: <br>Michael Gerndt
38:
39: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011006">
40: <em>Execution replay and debugging</em></a>
41: <br>Michiel Ronsse, Koen De Bosschere, and Jacques Chassin de Kergommeaux
42: </ul>
43: <p>
44:
45: <li>
46: <font size=+1>Articles with demonstration</font></li>
47:
48: <ul>
49: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011010">
50: <em>Extension Language Automation of Embedded System Debugging</em></a>
51: <br>Dale Parson, Bryan Schlieder, and Paul Beatty
52: </font>
53:
54: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011021">
55: <em>On-the-fly query-based debugging with examples</em></a>
56: <br>Raimondas Lencevicius
57: </font>
58:
59: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0012007">
60: <em>Kima- An automated error correction system for concurrent logic
61: programs</em></a>
62: <br>Yasuhiro Ajiro and Kazunori Ueda
63: </font>
64:
65: </ul>
66: <p>
67:
68: <li>
69: <font size=+1>Articles</font></li>
70: <ul>
71: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0101007">
72: <em>Assertion checker for the C programming language based on computations over event traces</em></a>
73: <br>Mikhail Auguston
74: </font>
75: <br>
76:
77: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0010038">
78: <em>Collecting Graphical Abstract Views of Mercury Program Executions</em></a>
79: <br>Erwan Jahier
80: </font>
81: <br>
82:
83: <p>
84: <em>Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre</em>
85: <br>Florence Maraninchi and Fabien Gaucher
86: </font>
87:
88: <p><a href="http://xxx.lanl.gov/abs/cs.PL/0101009">
89: <em>Generation of and Debugging with Logical Pre and Post-Conditions</em></a>
90: <br>Ángel Herranz-Nieva and Juan José Moreno-Navarro
91: </font>
92:
93: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011005">
94: <em>Non-intrusive on-the-fly data race detection using execution replay</em></a>
95: <br>Michiel Ronsse and Koen De Bosschere
96: </font>
97:
98: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0012006">
99: <em>Support for Debugging Automatically Parallelized Programs</em></a>
100: <br>Robert Hood and Gabriele Jost
101: </font>
102:
103: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0012014">
104: <em>Slicing of Constraint Logic Programs</em></a>
105: <br>Gyongyi Szilagyi, Tibor Gyimothy, and Jan Maluszynski
106: </font>
107:
108: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0012005">
109: <em>Value Withdrawal Explanation in CSP</em></a>
110: <br>Gerard Ferrand, Willy Lesaint, and Alexandre Tessier
111: </font>
112:
113: <p>
114: <em>In Search of Yeti: Footprint Analysis with Wildebeest</em>
115: <br>Srikanth Sankaran Adayapalam
116: </font>
117:
118: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011017">
119: <em>Automatic Debugging Support for UML Designs</em></a>
120: <br>Johann Schumann
121: </font>
122:
123: <p>
124: </ul>
125:
126: <li>
127: <p><font size=+1>Demonstrations</font></li>
128: <ul>
129:
130: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0012012">
131: <em>A Brief Overview of the MAD Debugging Activities</em></a>
132: <br>Dieter Kranzlmueller, Christian Schaubschlaeger, and Jens Volkert
133: </font>
134:
135: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011029">
136: <em>Systematic Debugging of Attribute Grammars</em></a>
137: <br>Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita, and Masataka Sassa
138: </font>
139:
140: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011022">
141: <em>Apache Web Server Execution Tracing Using Third Eye</em></a>
142: <br>Raimondas Lencevicius, Alexander Ran, and Rahav Yairi
143: </font>
144:
145: <p>
146: </ul>
147:
148: <li>
149:
150: <p><font size=+1>Posters</font></li>
151: <ul>
152:
153: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0101008">
154: <em>A Knowledge-based Automated Debugger in Learning System</em></a>
155: <br>Abdullah Mohd Zin, Syed Ahmad Aljunid, Zarina Shukur, and Mohd Jan Nordin
156: </font>
157:
158: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0012009">
159: <em>Finding Failure Causes through Automated Testing</em></a>
160: <br>Holger Cleve and Andreas Zeller
161: </font>
162:
163: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0011027">
164: <em>Model-Based Debugging of Java Programs</em></a>
165: <br>Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa
166: </font>
167:
168: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0101002">
169: <em>Automated Debugging in Java Using OCL and JDI</em></a>
170: <br>David J. Murray, and Dale E. Parson
171: </font>
172:
173: <p><a href="http://xxx.lanl.gov/abs/cs.SE/0101005">
174: <em>Slicing Event Traces of Large Software Systems</em></a>
175: <br>Raymond Smith and Bogdan Korel
176: </font>
177: <br>
178: </ul>
179:
180: <p>
181: <hr WIDTH="100%">
182: <br><a NAME="preface"></a><font size=+1>Preface</font><font size=+1></font>
183:
184: <p>
185: Over the past decades automated debugging has seen major
186: achievements. However, as debugging is by necessity attached to
187: particular programming paradigms, the results are scattered. The
188: aims of the workshop are to gather common themes and solutions
189: across programming communities, and to cross-fertilize ideas.
190:
191: <p>
192: AADEBUG 2000 in Munich follows AADEBUG'93 in Linkoeping, Sweden;
193: AADEBUG'95 in Saint Malo, France; AADEBUG'97 in Linkoeping,
194: Sweden.
195:
196: <p>
197: This year we received 37 submissions. Each submission has been
198: reviewed by 3 referees and we are proud to say that the authors
199: got back many thorough comments which, we hope, helped them improve
200: significantly their articles.
201:
202: <p>
203: The program committee rejected 9 papers and selected 13 long articles
204: for insertion in the proceedings (3 with joined demos), 3 demos and 9
205: posters, both categories with extended abstracts for insertion in the
206: proceedings. Some posters were withdrawn by their authors and do not
207: appear in these proceedings. There were 5 submissions by program
208: committee members: 2 were accepted as long papers, 1 as poster and 2
209: were rejected.
210:
211: <p>
212: A special issue of the Automated Software Engineering journal will
213: appear with selected papers from the workshop.
214:
215: <p>
216: The geographical repartition is rather fair (although this had
217: absolutely no influence in the selection process): for long papers, 6
218: come from North America, 6 from Europe, and 1 from Asia; for posters,
219: 2 come from North America, 2 from Europe, and 1 from Asia; for demos,
220: 1 comes from North America, 1 from Europe, and 1 from Asia.
221:
222: <p>
223: The addressed paradigms are very varied: embedded systems, object
224: oriented including Java, parallel and distributed, logic programming
225: including constraint LP, and concurrent LP, imperative programming,
226: concurrent programming, Web applications, slicing, attribute grammars,
227: learning.
228:
229:
230: <p>
231: I am glad that Michael Gerndt and Koen de Bosschere accepted to
232: give invited talks. Michael Gerndt addresses "Automatic Performance
233: Debugging" which is a topic overlapping automated debugging. Koen De
234: Bosschere presents "Execution Replay and debugging", which, I believe,
235: is a technique relevant on a broader domain than parallel and
236: distributed executions. The inserted article has been prepared by
237: Michiel Ronsse, Koen De Bosschere and Jacques Chassin de Kergommeaux.
238:
239: <p>
240: I thank the program committee members, the referees (listed below),
241: Mikhail Auguston for taking care of the demonstrations and Bernd
242: Bruegge for hosting the workshop at the Technical University in
243: Munich. I am especially grateful to Guenter Teubner who has responded
244: so kindly to my many requests and has been fixing so many logistics
245: issues.
246:
247:
248: <p> The workshop web page can be found at
249: <a href="http://www.irisa.fr/lande/ducasse/aadebug2000/">
250: http://www.irisa.fr/lande/ducasse/aadebug2000/</a>. The Automated
251: Debugging web page can be found at
252: <a href="http://www.cs.nmsu.edu/~mikau/aadebug.html">
253: http://www.cs.nmsu.edu/~mikau/aadebug.html</a>.
254:
255:
256: <p>
257: Mireille Ducasse
258: <br>IRISA/INSA de Rennes
259: <p>
260:
261: <hr WIDTH="100%">
262: <br><a NAME="program committee"></a><font size=+1>Program Committee</font>
263: <p><a href= http://www.cs.nmsu.edu/~mikau>Mikhail Auguston</a>, New Mexico State University, USA <strong> (demo chair) </strong>
264: <br><a href= http://www12.informatik.tu-muenchen.de/people/bruegge/index.html>Bernd Bruegge</a>, Technische Universitaet Muenchen, Germany <strong> (local chair) </strong>
265: <br><a href= http://www.ipipan.waw.pl/~drabent/>Wlodzimierz Drabent</a>, Polish Academy of Sciences, Poland
266: <br><a href= http://www.irisa.fr//lande/ducasse/>Mireille Ducasse</a>, IRISA/INSA, France <strong> (program chair) </strong>
267: <br><a href= http://www.cs.loyola.edu/~kbg>Keith Gallagher</a>, Loyola College in Maryland, USA
268: <br><a href= http://www.cs.cmu.edu/~trg/> Thomas.Gross</a>, CMU, USA and ETH Zurich, Swizterland
269: <br><a href= http://www.research.microsoft.com/~drh/>David R. Hanson</a>, Microsoft Research, USA
270: <br><a href="http://www.ida.liu.se/~marka/">Mariam Kamkar</a>, Linkoeping University, Sweden
271: <br><a href= http://www.cs.iit.edu/faculty/korel_more.html>Bogdan Korel</a>, Illinois Institute of Technology, USA
272: <br><a href= http://www.ida.liu.se/~henni/>Henrik Nilsson</a>, Linkoeping University, Sweden
273: <br><a href= http://www.laas.fr/laasve/index.htm>Pascale Thevenod-Fosse</a>, LAAS-CNRS, France
274: <br><a href= http://www.research.ibm.com/people/t/tip>Frank Tip</a>, IBM T.J. Watson Research Center, USA
275: <br><a href= http://www.ueda.info.waseda.ac.jp/~ueda/ueda.html>Kazunori Ueda</a>, Waseda University, Japan
276: <br><a href= http://wwwbode.informatik.tu-muenchen.de/~wismuell/>Roland Wismueller</a>, Technische Universitaet Muenchen, Germany
277: <p>
278:
279:
280:
281: <hr WIDTH="100%">
282: <br><a NAME="referees"></a><font size=+1>Referees</font>
283: <p>
284: The following people acted as referees:
285: Mikhail Auguston,
286: Jorge Luis Victoria Barbosa,
287: Armin Biere,
288: Manuel M.T. Chakravarty,
289: Jacques Chassin de Kergommeaux,
290: Pierre Deransart,
291: Wlodzimierz Drabent,
292: Mireille Ducasse,
293: Keith Gallagher,
294: Thomas Gross,
295: David R. Hanson,
296: Leszek Holenderski,
297: Matthew Huntbach,
298: Katsuro Inoue,
299: Erwan Jahier,
300: Narendra Jussien,
301: Tomio Kamada,
302: Mariam Kamkar,
303: Bogdan Korel,
304: Jan Maluszynski,
305: Miroslawa Milkowska,
306: Ulrich Neumerkel,
307: Henrik Nilsson,
308: Jacek Plodzien,
309: Pawel Rychlikowski,
310: Kazuko Takahashi,
311: Alexandre Tessier,
312: Pascale Thevenod-Fosse,
313: Frank Tip,
314: Andrew Tolmach,
315: Tomasz Truderung,
316: Kazunori Ueda,
317: Roland Wismueller,
318: Ben Zorn.
319:
320:
321:
322:
323:
324:
325: <br>
326: <hr WIDTH="100%">
327: <br>
328: <br>
329: <ul>
330: <ul><font size=+1></font> </ul>
331: <font size=+1></font></ul>
332: <b><font size=+2></font></b>
333: <br><b><font size=+2></font></b>
334: <br>
335: </body>
336: </html>
337: