Verifying dereference safety via expanding-scope analysis
- A. Loginov
- E. Yahav
- et al.
- 2008
- ISSTA 2008
Conference paper
Publications
2 results for A. Loginov
Efficient and precise datarace detection for multithreaded object-oriented programs
- Jong-Deok Choi
- Keunwoo Lee
- et al.
- 2002
- PLDI 2002
Conference paper