Efficient and precise datarace detection for multithreaded object-oriented programs
- Jong-Deok Choi
- Keunwoo Lee
- et al.
- 2002
- PLDI 2002
Conference paper
Publications
35 results for Jong-Deok Choi
A perturbation-free replay platform for cross-optimized multithreaded applications
- Jong-Deok Choi
- Bowen Alpern
- et al.
- 2001
- IPDPS 2001
Conference paperA framework for interprocedural optimization in the presence of dynamic class loading
- V.C. Sreedhar
- M. Burke
- et al.
- 2000
- PLDI 2000
Conference paperA framework for interprocedural optimization in the presence of dynamic class loading
- Vugranam C. Sreedhar
- Michael Burke
- et al.
- 2000
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
PaperDeterministic replay of distributed Java applications
- Ravi Konuru
- Harini Srinivasan
- et al.
- 2000
- IPDPS 2000
Conference paperDynamic linking on a shared-memory multiprocessor
- Bowen Alpern
- Mark Charney
- et al.
- 1999
- PACT 1999
Conference paperEfficient and Precise Modeling of Exceptions for the Analysis of Java Programs
- Jong-Deok Choi
- David Grove
- et al.
- 1999
- PASTE 1999
Conference paperEscape analysis for Java
- Jong-Deok Choi
- Manish Gupta
- et al.
- 1999
- SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
PaperInterprocedural pointer alias analysis
- Michael Hind
- Michael Burke
- et al.
- 1999
- ACM TOPLAS
PaperDeterministic replay of Java multithreaded applications
- Jong-Deok Choi
- Harini Srinivasan
- 1998
- SIGMETRICS Parallel and Distributed Tools 1998
Conference paper