Publications

3 results at PLDI 2002

A parallel, incremental and concurrent GC for servers
- - Yoav Ossia
  - Ori Ben-Yitzhak
  - et al.
- 2002
- PLDI 2002
Conference paper
Efficient and precise datarace detection for multithreaded object-oriented programs
- - Jong-Deok Choi
  - Keunwoo Lee
  - et al.
- 2002
- PLDI 2002
Conference paper
Deriving specialized program analyses for certifying component-client conformance
- - G. Ramalingam
  - Alex Warshavsky
  - et al.
- 2002
- PLDI 2002
Conference paper