default search action
PADTAD 2007: London, UK
- Shmuel Ur, Eitan Farchi:
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 - William L. Scherlis:
Experience with fluid: analysis, design intent, and assurance for concurrency. 1-2
Debugging MPD programs
- Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis:
JThreadSpy: teaching multithreading programming by analyzing execution traces. 3-13 - Ali Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli:
A debugger for flow graph based parallel applications. 14-20 - Barry Kingsbury:
Organizing processes and threads for debugging. 21-26
Bug patterns in MPD programs
- Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi:
Techniques for specifying bug patterns. 27-35 - João Lourenço, Gonçalo Cunha:
Testing patterns for software transactional memory engines. 36-42
Formal and healing
- Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby:
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. 43-53 - Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar:
Healing data races on-the-fly. 54-64
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.