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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Shmuel Ur, Eitan Farchi, editors, 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.

Conference: ISSTA2007

Abstract is missing.

Experience with fluid: analysis, design intent, and assurance for concurrencyWilliam L. Scherlis. 1-2 [doi]

JThreadSpy: teaching multithreading programming by analyzing execution tracesGiovanni Malnati, Caterina Maria Cuva, Claudia Barberis. 3-13 [doi]

A debugger for flow graph based parallel applicationsAli Al-Shabibi, Sebastian Gerlach, Roger D. Hersch, Basile Schaeli. 14-20 [doi]

Organizing processes and threads for debuggingBarry Kingsbury. 21-26 [doi]

Techniques for specifying bug patternsDaniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi. 27-35 [doi]

Testing patterns for software transactional memory enginesJoão Lourenço, Gonçalo Cunha. 36-42 [doi]

Semantics driven dynamic partial-order reduction of MPI-based parallel programsRobert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby. 43-53 [doi]

Healing data races on-the-flyBohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar. 54-64 [doi]

runs on WebDSL