Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450314565

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On-the-fly detection of data races in OpenMP programs

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 ◽

10.1145/2338967.2336808 ◽

2012 ◽

Cited By ~ 11

Author(s):

Ok-Kyoon Ha ◽

In-Bon Kuh ◽

Guy Martin Tchamgoue ◽

Yong-Kee Jun

Keyword(s):

Data Races

Download Full-text

Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 ◽

10.1145/2338967.2336813 ◽

2012 ◽

Cited By ~ 6

Author(s):

Jan Fiedor ◽

Tomáš Vojnar

Keyword(s):

C Programs

Download Full-text

A static analysis tool using a three-step approach for data races in HPC programs

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 ◽

10.1145/2338967.2336809 ◽

2012 ◽

Cited By ~ 2

Author(s):

Yasushi Negishi ◽

Hiroki Murata ◽

Guojing Cong ◽

Hui-Fang Wen ◽

I-Hsin Chung

Keyword(s):

Static Analysis ◽

Analysis Tool ◽

Data Races ◽

Static Analysis Tool

Download Full-text

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 ◽

10.1145/2338967.2336812 ◽

2012 ◽

Cited By ~ 3

Author(s):

Jeremy S. Bradbury ◽

Itai Segall ◽

Eitan Farchi ◽

Kevin Jalbert ◽

David Kelk

Keyword(s):

Bug Detection ◽

Concurrency Bug Detection ◽

Concurrency Bug

Download Full-text

Using program closures to make an application programming interface (API) implementation thread safe

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012 ◽

10.1145/2338967.2336810 ◽

2012 ◽

Cited By ~ 1

Author(s):

Eitan Farchi ◽

Itai Segall ◽

João M. Lourenço ◽

Diogo Sousa

Keyword(s):

Application Programming Interface ◽

Application Programming ◽

Programming Interface

Download Full-text

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On-the-fly detection of data races in OpenMP programs

Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level

A static analysis tool using a three-step approach for data races in HPC programs

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools

Using program closures to make an application programming interface (API) implementation thread safe

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012
Latest Publications