Workshop on Parallel and Distributed Systems:
Testing, Analysis, and Debugging
(PADTAD - VI)
In conjunction with
International Symposium on Software Testing and Analysis
(ISSTA 2008)
July 20-21 2008
Seattle, WA
Program - July 20, 2008
|
09:00 - 10:30 Techniques for Message-passing Systems
Session chair: Shmuel Ur
Reproducible Testing of Distributed Software with Middleware Virtualization and Simulation,
Cyril Briquet and Pierre-Arnoul de Marneffe
Dynamic Testing of Flow Graph Based Parallel Applications,
Basile Schaeli and Roger D. Hersch
Scheduling Considerations for building Dynamic Verification Tools for MPI,
Sarvani Vakkalanka, Michael DeLisi, Ganesh Gopalakrishnan and Mike Kirby
10:30 - 11:00 Coffee Break
11:00 - 12:00 Concurrent Memory Issues
Session chair: Ganesh Gopalakrishnan
Memory Tagging in Charm++,
Filippo Gioachin and Laxmikant Kale
Support for Symmetric Shadow Memory in Multiprocessors,
Vijay Nagarajan and Rajiv Gupta
12:00 - 13:30 Sponsored Lunch
|
|
|
|
13:30 - 15:00 Analyzing Shared-variable Programs
Session chair: Scott Stoller
On-the-fly Race Detection in Multi-Threaded Programs,
Ali Jannesari and Walter F. Tichy
AtomRace: Data Race and Atomicity Violation Detector and Healer,
Zdenek Letko, Tomas Vojnar, and Bohuslav Krena
Towards a Better Collaboration of Static and Dynamic Analyses for Testing Concurrent Programs,
Jun Chen and Steve MacDonald
15:00 - 15:30 Coffee Break
15:30 - 16:30 Keynote
Session chair: Eitan Farchi
Software Development Tools for Multi-Core/Parallel Programming,
Dr. Ramesh Peri (Intel)
16:30 - 17:30 Five-minute Madness
Session chair: Scott Stoller
Short presentations about anything of interest to the PADTAD community; sign up at lunchtime
|
|
|
| |
|