Publications

3 results for Robert O'Callahan

Hybrid dynamic data race detection
- - Robert O'Callahan
  - Jong-Deok Choi
- 2003
- ACM SIGPLAN Notices
Hybrid dynamic data race detection
- - Robert O'Callahan
  - Jong-Deok Choi
- 2003
- PPoPP 2003
Efficient and precise datarace detection for multithreaded object-oriented programs
- - Jong-Deok Choi
  - Keunwoo Lee
  - et al.
- 2002
- PLDI 2002

Hybrid dynamic data race detection