default search action
PADTAD 2012: Minneapolis, MN, USA
- Jeremy S. Bradbury, Simone do Rócio Senger de Souza:
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012. ACM 2012, ISBN 978-1-4503-1456-5
Data Race Detection
- Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun:
On-the-fly detection of data races in OpenMP programs. 1-10 - 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. 11-17 - Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa:
Using program closures to make an application programming interface (API) implementation thread safe. 18-24
Testing and Analysis
- Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk:
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. 25-35 - Jan Fiedor, Tomás Vojnar:
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. 36-46
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.