| 2015 | ECOOP | Programming in the Large for the Internet of Things (Invited Talk). | Jong-Deok Choi |
| 2014 | WWW | Taming the web. | Jong-Deok Choi |
| 2010 | DAC | Fine-grained I/O access control based on Xen virtualization for 3G/4G mobile devices. | Sung-Min Lee, Sang-Bum Suh, Jong-Deok Choi |
| 2008 | CGO | Perfdiff: a framework for performance difference analysis in a virtual machine environment. | Xiaotong Zhuang, Suhyun Kim, Mauricio J. Serrano, Jong-Deok Choi |
| 2007 | ICWS | Improving the Performance of Web Services Using Deployment-Time Binding Selection. | Sang Jeong Lee, Kyung Dong Ryu, Kang-Won Lee, Jong-Deok Choi |
| 2006 | GLOBECOM | Deployment Time Performance Optimization of Internet Services. | Sang Jeong Lee, Kang-Won Lee, Kyung Dong Ryu, Jong-Deok Choi, Dinesh C. Verma |
| 2006 | ISCA | Conditional Memory Ordering. | Christoph von Praun, Harold W. Cain, Jong-Deok Choi, Kyung Dong Ryu |
| 2006 | PLDI | Accurate, efficient, and adaptive calling context profiling. | Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi |
| 2004 | ECOOP | Finding and Removing Performance Bottlenecks in Large Systems. | Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy |
| 2004 | NPC | Whole-Stack Analysis and Optimization of Commercial Workloads on Server Systems. | C. Richard Attanasio, Jong-Deok Choi, Niteesh Dubey, Kattamuri Ekanadham, Manish Gupta, Tatsushi Inagaki, Kazuaki Ishizaki, Joefon Jann, Robert D. Johnson, Toshio Nakatani, Il Park, Pratap Pattnaik, Mauricio J. Serrano, Stephen E. Smith, Ian M. Steiner, Yefim Shuf |
| 2003 | PPoPP | Hybrid dynamic data race detection. | Robert O'Callahan, Jong-Deok Choi |
| 2002 | ISSTA | Isolating failure-inducing thread schedules. | Jong-Deok Choi, Andreas Zeller |
| 2002 | PDPTA | Record/Play in the Presence of Benign Data Races. | Mark Christiaens, Jong-Deok Choi, Michiel Ronsse, Koenraad De Bosschere |
| 2002 | PLDI | Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. | Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan |
| 2000 | ECOOP | Optimizing Java Programs in the Presence of Exceptions. | Manish Gupta, Jong-Deok Choi, Michael Hind |
| 2000 | OOPSLA | DejaVu: deterministic Java replay debugger for Jalapeo Java virtual machine. | Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan |
| 2000 | PLDI | A framework for interprocedural optimization in the presence of dynamic class loading. | Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok Choi |
| 1999 | OOPSLA | Escape Analysis for Java. | Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff |
| 1996 | CC | Incremental Computation of Static Single Assignment Form. | Jong-Deok Choi, Vivek Sarkar, Edith Schonberg |
| 1996 | OOPSLA | Slicing Class Hierarchies in C++. | Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam |
| 1996 | PLDI | Global Communication Analysis and Optimization. | Soumen Chakrabarti, Manish Gupta, Jong-Deok Choi |
| 1993 | POPL | Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. | Jong-Deok Choi, Michael G. Burke, Paul R. Carini |
| 1991 | ASPLOS | An Efficient Cache-Based Access Anomaly Detection Scheme. | Sang Lyul Min, Jong-Deok Choi |
| 1991 | POPL | Automatic Construction of Sparse Data Flow Evaluation Graphs. | Jong-Deok Choi, Ron Cytron, Jeanne Ferrante |
| 1991 | PPoPP | Race Frontier: Reproducing Data Races in Parallel-Program Debugging. | Jong-Deok Choi, Sang Lyul Min |
| 1988 | ICDCS | Breakpoints and Halting in Distributed Programs. | Barton P. Miller, Jong-Deok Choi |
| 1988 | PLDI | A Mechanism for Efficient Debugging of Parallel Programs. | Barton P. Miller, Jong-Deok Choi |