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 21, 2008

09:00 - 10:30 Talks by Madan and Eitan Session chair: Shmuel Ur Systematic Concurrency Testing using CHESS, Madan Musuvathi, Microsoft Research Pitfals in Teaching Development and Testing of Concurrent Programms and How to Overcome Them, Eitan Farchi 10:30-11:00 Coffee Break 11:00-11:45 Tool Demo Session chair: Scott Stoller CHESS, ConTest, and Inspect 11:45-12:30 Open Discussion Session chair: Eitan Farchi Will Parallel Programming Become Common Knowledge and the Parallel Programmer the Programmer of the Future? 13:00 Beginning of Social Event (not to be missed)