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

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

 
Related Seminar Links
PADTAD 2007, 2006, 2005, 2004, 2003  

    About IBMPrivacyContact