PADTAD 2011: Toronto, ON, Canada

João Lourenço, Eitan Farchi (Eds.): Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011. ACM 2011, ISBN 978-1-4503-0809-0

Invited talk

Simone do Rocio Senger de Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo Sergio Lopes de Souza, Ed Zaluska:
Research in concurrent software testing: a systematic review. 1-5

Debugging

Mohamed Elwakil, Zijiang Yang:
Deterministic replay for MCAPI programs. 6-14
Jan Lönnberg, Mordechai Ben-Ari, Lauri Malmi:
Java replay for dependence-based debugging. 15-25
Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa:
Practical verification of high-level dataraces in transactional memory programs. 26-34

Design for correctness

Kazuaki Ishizaki, Shahrokh Daijavad, Toshio Nakatani:
Refactoring Java programs using concurrent libraries. 35-44
Abdel Aziz Farrag:
Extending a distributed loop network to tolerate node failures. 45-52

Testing

Raja Tlili, Yahya Slimani:
Executing association rule mining algorithms under a Grid computing environment. 53-61

Last update Fri May 25 08:24:24 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page