The Community for Technology Leaders
Parallel and Distributed Processing Symposium, International (2004)
Santa Fe, New Mexico
Apr. 26, 2004 to Apr. 30, 2004
ISBN: 0-7695-2132-0
TABLE OF CONTENTS
Introduction
Papers

Debugging Support for Charm++ (Abstract)

Orion Sky Lawlor , University of Illinois at Urbana-Champaign
Rashmi Jyothi , University of Illinois at Urbana-Champaign
L. V. Kalé , University of Illinois at Urbana-Champaign
pp. 264a

Program Monitoring with LTL in EAGLE (Abstract)

Koushik Sen , University of Illinois at Urbana Champaign
Allen Goldberg , NASA Ames Research Center
Howard Barringer , University of Manchester
Klaus Havelund , NASA Ames Research Center
pp. 264b

Concurrent and Distributed Desk Checking (Abstract)

Amiram Hayardeny , IBM Research Lab in Haifa
Eitan Farchi , IBM Research Lab in Haifa
Shachar Fienblit , IBM Research Lab in Haifa
pp. 265a

Mutation-Based Exploration of a Method for Verifying Concurrent Java Components (Abstract)

Luke Wildman , University of Queensland
Roger Duke , University of Queensland
Brad Long , University of Queensland
Doug Goldson , University of Queensland
Paul Strooper , University of Queensland
pp. 265b

Compiling a Benchmark of Documented Multi-Threaded Bugs (Abstract)

Shmuel Ur , IBM Research Lab in Haifa
Yaniv Eytani , Haifa University
pp. 266a

Fidgeting to the Point of No Return (Abstract)

Shmuel Ur , IBM Haifa Lab
Eitan Farchi , IBM Haifa Lab
Marina Biberstein , IBM Haifa Lab
pp. 266b

Towards the Proper "Step" Command in Parallel Debuggers (Abstract)

Konstantin Karganov , Russian Academy of Sciences
Alexey Kalinov , Russian Academy of Sciences
Konstantin Konstantin , Russian Academy of Sciences
pp. 267a

Automatic Simulation of Network Problems in UDP-Based Java Programs (Abstract)

Yarden Nir , IBM Haifa Research Lab
Yoel Krasny , IBM Haifa Research Lab
Eitan Farchi , IBM Haifa Research Lab
pp. 267b

An Instrumentation Technique for Online Analysis of Multithreaded Programs (Abstract)

Grigore Roşu , University of Illinois at Urbana-Champaign
Koushik Sen , University of Illinois at Urbana-Champaign
pp. 268b

Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary) (Abstract)

Cormac Flanagan , University of California at Santa Cruz
Stephen N. Freund , Williams College
pp. 269
95 ms
(Ver )