PADTAD

Keyphrases

Publications

2012

Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, I-Hsin Chung
A static analysis tool using a three-step approach for data races in HPC programs. PADTAD (2012)
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. PADTAD (2012)
Jan Fiedor, Tomás Vojnar
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. PADTAD (2012)
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun
On-the-fly detection of data races in OpenMP programs. PADTAD (2012)
Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa
Using program closures to make an application programming interface (API) implementation thread safe. PADTAD (2012)
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012 PADTAD (2012)

2011

2010

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010 PADTAD (2010)