Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
(PADTAD - IX)
July 17, 2011
In conjunction with International Symposium on Software Testing and Analysis
(ISSTA 2011, July 17-21)
Toronto, ON, Canada
Program
Session 1: Invited Talk (9h00-10h30)
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)
PaperPresentation
Coffee Break (10h30-11h00)
Session 2: Debugging (11h00-12h30)
Deterministic Replay for MCAPI Programs
Mohamed Elwakil and Zijiang Yang
(Western Michigan University, USA)
PaperPresentation
Java Replay for Dependence-based Debugging
Jan Lönnberg, Mordechai Ben-Ari, and Lauri Malmi
(Aalto University, Finland; Weizmann Institute of Science, Israel)
PaperPresentation
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)
PaperPresentation
Lunch (12h30-14h00)
Session 3: Testing and Design for Correctness (14h00-15h30)
Refactoring Java Programs using Concurrent Libraries
Kazuaki Ishizaki, Shahrokh Daijavad, and Toshio Nakatani
(IBM Research Tokyo, Japan; IBM Research Watson, USA)
Paper
Extending a Distributed Loop Network to Tolerate Node Failures
Abdel Aziz Farrag
(Dalhousie University, Canada)
Paper
Executing Association Rule Mining Algorithms under a Grid Computing Environment
Raja Tlili and Yahya Slimani
(Tunis El Manar University, Tunisia)
Paper
Coffee Break (15h30-16h00)
Session 4: Free Minds Corner (16h00-17h00)
Free discussion on the challenges on the Verification, Testing and Debugging of the upcoming programs with thousands of thread running in highly parallel multiprocessors. Presentation
