 |
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)
|
|
