IBM Israel
Skip to main content
Search IBM Research
   Home  |  Products & services  |  Support & downloads  |  My account
Select a Country Select a country
IBM Research Home IBM Research Home
IBM Haifa Labs Homepage IBM Haifa Labs Home
IBM Haifa Labs Homepage IBM Haifa Labs Leadership Seminars

Testing and Debugging

Workshop Homepage
Author Instructions
Important Dates
Workshop Co-chairs
Program Committee
Paper Submission

Program available in (pdf 109KB)

08:30 -- 08:45 Introduction to the First International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD)
Eitan Farchi, Paul Lu, and Shmuel Ur

08:45 -- 09:30 Invited Talk
Efficient On-the-Fly Data Race Detection in Multithreaded C++ Programs
Eli Pozniansky and Assaf Schuster (Abstract)

09:30 -- 10:00 Concurrent Bug Patterns and How to Test Them
Eitan Farchi, Yarden Nir, and Shmuel Ur (Abstract)

10:00 -- 10:30 Coffee Break

10:30 -- 11:00 A Classification of Concurrency Failures in Java Components
Brad Long and Paul Strooper (Abstract)

11:00 -- 11:30 Invited Talk
Experiences and Lessons Learned with a Portable Interface to Hardware Performance Counters
Jack Dongarra, Kevin London, Shirley Moore, Philip Mucci, Patricia Teller, Dan Terpstra, Haihang You, and Min Zhou (Abstract)

11:30 -- 12:00 Invited Talk
Benchmark and Framework for Encouraging Research on Multi-threaded Testing Tools
Klaus Havelund, Scott Stoller, and Shmuel Ur (Abstract)

12:00 -- 13:30 Lunch

13:30 -- 14:00 Heuristics for Finding Concurrent Bugs
Yosi Ben-Asher, Yaniv Eytani, and Eitan Farchi (Abstract)

14:00 -- 14:30 Replay Debugging of Real-Time Systems Using Time Machines
Henrik Thane, Daniel Sundmark, Joel Huselius, and Anders Pettersson (Abstract)

14:30 -- 15:00 Choosing Among Alternative Pasts
Marina Biberstein, Eitan Farchi, and Shmuel Ur (Abstract)

15:00 -- 15:30 Coffee Break

15:30 -- 16:00 Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL
M. Subramaniam (Abstract)

16:00 -- 16:30 A Case Study of Selected SPLASH-2 Applications and the SBT Debugging Tool
Ernesto Novillo and Paul Lu (Abstract)

  About IBM  |  Privacy  |  Terms of use  |  Contact