 |
Fault Injection-based Testing Session
Chair: Eitan Farchi
09:00 A Kernel-based Communication Fault Injector for Dependability Testing of Distributed Systems,
Roberto Jung Drebes, Gabriela Jacques-Silva, Joana Matos Fonseca da Trindade, and Taisy Silva Weber, Instituto de Informatica - Universidade Federal do Rio Grande do Sul
(Paper , Presentation)
09:45 Invited Talk: Testing of MPI Software,
Dan Quinlan, Lawrence Livermore National Laboratory
10:30 Coffee break
11:00 Keynote: Checking Atomicity in Concurrent Java Programs,
Scott D. Stoller, State University of New York at Stony Brook
(Presentation)
12:00 Lunch
Deadlocks Analysis Session
Chair: Orit Edelstein
13:00 Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring,
Rahul Agarwal, Liqiang Wang, and Scott D. Stoller, State University of New York at Stony Brook
(Paper , Presentation)
|
|
|
|
13:45 Scalable Deadlock Analysis of Multi-threaded Programs,
Saddek Bensalem, Universite Joseph Fourier/Verimag, Grenoble, France, and Klaus Havelund, Kestrel Technology, Palo Alto, California, USA
(Paper , Presentation)
14:30 Cross-Run Lock Discipline Checker for Java,
Eitan Farchi, Yarden Nir-Buchbinder, and Shmuel Ur, IBM Haifa Research Lab
(Presentation)
14:40 Discussion on Deadlock Analysis Techniques
15:10 Coffee break
Verification and Replay Session
Chair: Shmuel Ur
15:40 Verification of the Java Causality Feature,
Sergey Polyakov and Assaf Schuster, Department of Computer Science, Technion - Israel Institute of Technology
(Paper , Presentation)
16:20 Choosing Among Alternative Futures,
Steve MacDonald and Jun Chen, School of Computer Science, University of Waterloo, and Diego Novillo, Red Hat, Inc.
(Paper , Presentation)
|
|
