Abstract is missing.
- On-the-fly detection of data races in OpenMP programsOk-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, Yong-Kee Jun. 1-10 [doi]
- A static analysis tool using a three-step approach for data races in HPC programsYasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, I-Hsin Chung. 11-17 [doi]
- Using program closures to make an application programming interface (API) implementation thread safeEitan Farchi, Itai Segall, João Lourenço, Diogo Sousa. 18-24 [doi]
- Using combinatorial benchmark construction to improve the assessment of concurrency bug detection toolsJeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk. 25-35 [doi]
- Noise-based testing and analysis of multi-threaded C/C++ programs on the binary levelJan Fiedor, Tomás Vojnar. 36-46 [doi]