PADTAD 2008: Seattle, WA, USA

Shmuel Ur (Ed.): Proceedings of the 6th 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 2008), PADTAD 2008, Seattle, Washington, USA, July 20-21, 2008. ACM 2008, ISBN 978-1-60558-052-4 BibTeX

Cyril Briquet, Pierre-Arnoul de Marneffe:
Reproducible testing of distributed software with middleware virtualization and simulation. 1
Electronic Edition (ACM DL) BibTeX
Basile Schaeli, Roger D. Hersch:
Dynamic testing of flow graph based parallel applications. 2
Electronic Edition (ACM DL) BibTeX
Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI. 3
Electronic Edition (ACM DL) BibTeX
Filippo Gioachin, Laxmikant V. Kalé:
Memory tagging in Charm++. 4
Electronic Edition (ACM DL) BibTeX
Vijay Nagarajan, Rajiv Gupta:
Support for symmetric shadow memory in multiprocessors. 5
Electronic Edition (ACM DL) BibTeX
Ali Jannesari, Walter F. Tichy:
On-the-fly race detection in multi-threaded programs. 6
Electronic Edition (ACM DL) BibTeX
Zdenek Letko, Tomás Vojnar, Bohuslav Krena:
AtomRace: data race and atomicity violation detector and healer. 7
Electronic Edition (ACM DL) BibTeX
Jun Chen, Steve MacDonald:
Towards a better collaboration of static and dynamic analyses for testing concurrent programs. 8
Electronic Edition (ACM DL) BibTeX
Ramesh Peri:
Software development tools for multi-core/parallel programming. 9
Electronic Edition (ACM DL) BibTeX
Madan Musuvathi:
Systematic concurrency testing using CHESS. 10
Electronic Edition (ACM DL) BibTeX
Eitan Farchi:
Pitfalls in teaching development and testing of concurrent programs and how to overcome them. 11
Electronic Edition (ACM DL) BibTeX