Powered by

2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD), July 16, 2012, Minneapolis, MN, USA

PADTAD 2012 – Proceedings

Contents - Abstracts - Authors

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

Title Page
Article: isstaws12padtadforeword-fm000-p (type: Frontmatter) doi:

Foreword
Article: isstaws12padtadforeword-fm001-p (type: Frontmatter) doi:

Committees
Article: isstaws12padtadforeword-fm002-p (type: Frontmatter) doi:

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)
Article: isstaws12padtad-id2-p (type: Full Paper) doi:

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)
Article: isstaws12padtad-id1-p (type: Full Paper) doi:

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)
Article: isstaws12padtad-id5-p (type: Full Paper) doi:

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)
Article: isstaws12padtad-id4-p (type: Full Paper) doi:

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)
Article: isstaws12padtad-id3-p (type: Full Paper) doi:

proc time: 0.01