A static analysis tool using a three-step approach for data races in HPC programs
- Yasushi Negishi
- Hiroki Murata
- et al.
- 2012
- ISSTA 2012
Publications
Date
Featured collections
Popular topics
2 results at ISSTA 2012
Using program closures to make an application programming interface (API) implementation thread safe
- Eitan Farchi
- Itai Segall
- et al.
- 2012
- ISSTA 2012