July 17th-21st, 2011, Toronto, ON, Canada

Powered by
Conference Publishing Consulting

Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011), July 17, 2011, Toronto, ON, Canada

PADTAD 2011 – Proceedings

Contents - Abstracts - Authors

Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2011)


Title Page

Session 1: Invited Talk

Research in Concurrent Software Testing: A Systematic Review
Simone R. S. Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo S. L. Souza, and Ed Zaluska
(Universidade de São Paulo São Carlos, Brazil; University of Southampton, UK)
Article Search

Session 2: Debugging

Deterministic Replay for MCAPI Programs
Mohamed Elwakil and Zijiang Yang
(Western Michigan University, USA)
Article Search
Java Replay for Dependence-based Debugging
Jan Lönnberg, Mordechai Ben-Ari, and Lauri Malmi
(Aalto University, Finland; Weizmann Institute of Science, Israel)
Article Search
Practical Verification of High-Level Dataraces in Transactional Memory Programs
Vasco Pessanha, Ricardo J. Dias, João M. Lourenço, Eitan Farchi, and Diogo Sousa
(Universidade Nova de Lisboa, Portugal; IBM Research Haifa, Israel)
Article Search

Session 3: Design for Correctness

Refactoring Java Programs using Concurrent Libraries
Kazuaki Ishizaki, Shahrokh Daijavad, and Toshio Nakatani
(IBM Research Tokyo, Japan; IBM Research Watson, USA)
Article Search
Extending a Distributed Loop Network to Tolerate Node Failures
Abdel Aziz Farrag
(Dalhousie University, Canada)
Article Search

Session 4: Testing

Executing Association Rule Mining Algorithms under a Grid Computing Environment
Raja Tlili and Yahya Slimani
(Tunis El Manar University, Tunisia)
Article Search

proc time: 0.03