PADTAD 2012 – Proceedings

2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD)

Preface

Data Race Detection

On-the-fly Detection of Data Races in OpenMP Programs
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, and Yong-Kee Jun
(Gyeongsang National University, South Korea)


@InProceedings{PADTAD12p1, author = {Ok-Kyoon Ha and In-Bon Kuh and Guy Martin Tchamgoue and Yong-Kee Jun}, title = {On-the-fly Detection of Data Races in OpenMP Programs}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }

A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs
Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, and I-Hsin Chung
(IBM Research, Japan; IBM Research, USA)


@InProceedings{PADTAD12p12, author = {Yasushi Negishi and Hiroki Murata and Guojing Cong and Hui-Fang Wen and I-Hsin Chung}, title = {A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {12-11}, doi = {}, year = {2012}, }

Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe
Eitan Farchi, Itai Segall, João M. Lourenço, and Diogo Sousa
(IBM Research, Israel; Universidade Nova de Lisboa, Portugal)


@InProceedings{PADTAD12p23, author = {Eitan Farchi and Itai Segall and João M. Lourenço and Diogo Sousa}, title = {Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2012}, }

Testing and Analysis

Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, and David Kelk
(University of Ontario Institute of Technology, Canada; IBM Research, Israel)


@InProceedings{PADTAD12p34, author = {Jeremy S. Bradbury and Itai Segall and Eitan Farchi and Kevin Jalbert and David Kelk}, title = {Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {34-33}, doi = {}, year = {2012}, }

Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Jan Fiedor and Tomáš Vojnar
(Brno University of Technology, Czech Republic)


@InProceedings{PADTAD12p45, author = {Jan Fiedor and Tomáš Vojnar}, title = {Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level}, booktitle = {Proc.\ PADTAD}, publisher = {ACM}, pages = {45-44}, doi = {}, year = {2012}, }

proc time: 0.47