Publications

2 results at ISSTA 2012

A static analysis tool using a three-step approach for data races in HPC programs
- - Yasushi Negishi
  - Hiroki Murata
  - et al.
- 2012
- ISSTA 2012
Conference paper
Using program closures to make an application programming interface (API) implementation thread safe
- - Eitan Farchi
  - Itai Segall
  - et al.
- 2012
- ISSTA 2012
Workshop paper