PADTAD 2007: London, UK

Shmuel Ur, Eitan Farchi (Eds.): Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007. ACM 2007, ISBN 978-1-59593-748-3 BibTeX

William L. Scherlis:
Experience with fluid: analysis, design intent, and assurance for concurrency. 1-2
Electronic Edition (ACM DL) BibTeX

Debugging MPD programs

Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis:
JThreadSpy: teaching multithreading programming by analyzing execution traces. 3-13
Electronic Edition (ACM DL) BibTeX
Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli:
A debugger for flow graph based parallel applications. 14-20
Electronic Edition (ACM DL) BibTeX
Barry Kingsbury:
Organizing processes and threads for debugging. 21-26
Electronic Edition (ACM DL) BibTeX

Bug patterns in MPD programs

Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi:
Techniques for specifying bug patterns. 27-35
Electronic Edition (ACM DL) BibTeX
João Lourenço, Gonçalo Cunha:
Testing patterns for software transactional memory engines. 36-42
Electronic Edition (ACM DL) BibTeX

Formal and healing

Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby:
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. 43-53
Electronic Edition (ACM DL) BibTeX
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar:
Healing data races on-the-fly. 54-64
Electronic Edition (ACM DL) BibTeX