PADTAD 2011 – Proceedings

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

Preface

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)


@InProceedings{PADTAD11p1, author = {Simone R. S. Souza and Maria A. S. Brito and Rodolfo A. Silva and Paulo S. L. Souza and Ed Zaluska}, title = {Research in Concurrent Software Testing: A Systematic Review}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }

Session 2: Debugging

Deterministic Replay for MCAPI Programs
Mohamed Elwakil and Zijiang Yang
(Western Michigan University, USA)


@InProceedings{PADTAD11p12, author = {Mohamed Elwakil and Zijiang Yang}, title = {Deterministic Replay for MCAPI Programs}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2011}, }

Java Replay for Dependence-based Debugging
Jan Lönnberg, Mordechai Ben-Ari, and Lauri Malmi
(Aalto University, Finland; Weizmann Institute of Science, Israel)


@InProceedings{PADTAD11p23, author = {Jan Lönnberg and Mordechai Ben-Ari and Lauri Malmi}, title = {Java Replay for Dependence-based Debugging}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2011}, }

Practical Verification of High-Level Dataraces in Transactional Memory Programs
Vasco Pessanha, Ricardo J. Dias, João M. Lourenço, and Diogo Sousa
(Universidade Nova de Lisboa, Portugal; IBM Research Haifa, Israel)


@InProceedings{PADTAD11p34, author = {Vasco Pessanha and Ricardo J. Dias and João M. Lourenço and Diogo Sousa}, title = {Practical Verification of High-Level Dataraces in Transactional Memory Programs}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2011}, }

Session 3: Design for Correctness

Refactoring Java Programs using Concurrent Libraries
Kazuaki Ishizaki and Toshio Nakatani
(IBM Research Tokyo, Japan; IBM Research Watson, USA)


@InProceedings{PADTAD11p45, author = {Kazuaki Ishizaki and Toshio Nakatani}, title = {Refactoring Java Programs using Concurrent Libraries}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2011}, }

Extending a Distributed Loop Network to Tolerate Node Failures
Abdel Aziz Farrag
(Dalhousie University, Canada)


@InProceedings{PADTAD11p56, author = {Abdel Aziz Farrag}, title = {Extending a Distributed Loop Network to Tolerate Node Failures}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {56-55}, doi = {}, year = {2011}, }

Session 4: Testing

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


@InProceedings{PADTAD11p67, author = {Raja Tlili and Yahya Slimani}, title = {Executing Association Rule Mining Algorithms under a Grid Computing Environment}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {67-66}, doi = {}, year = {2011}, }

proc time: 0.01