Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research & CRI

IBM Verification Conference 2005

IBM Haifa Labs

Parallel and Distributed Systems: Testing and Debugging (PADTAD - 3)
November 15, 2005
Organized by IBM Research Lab in Haifa, Israel


Seminar's Agenda PDF version for printing (42 KB)

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

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

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)


Related Seminar Links
Visitors information  
Formal Verification and Testing Technologies in HRL  
PADTAD Home Page  
PADTAD 2004  
PADTAD 2003  

    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research