Jong-Deok Choi

The Jalape ~ no Dynamic Optimizing Compiler for Java TM

Vivek Sarkar, J. Whaley, H. Srinivasan, 1999 .

Efficient and precise datarace detection for multithreaded object-oriented programs

Jong-Deok Choi, Vivek Sarkar, Manu Sridharan, 2002, PLDI '02.

Efficient and precise modeling of exceptions for the analysis of Java programs

Jong-Deok Choi, Vivek Sarkar, David Grove, 1999, PASTE '99.