Breakpoints and Halting in Distributed Programs. - Barton P. Miller; Jong-Deok Choi (ICDCS, 1988)

A Mechanism for Efficient Debugging of Parallel Programs. - Barton P. Miller; Jong-Deok Choi (PLDI, 1988)

An Efficient Cache-Based Access Anomaly Detection Scheme. - Sang Lyul Min; Jong-Deok Choi (ASPLOS, 1991)

Balancing Runtime and Replay Costs in a Trace-and-Replay System. - Jong-Deok Choi; Janice M. Stone (Workshop on Parallel and Distributed Debugging, 1991)

Automatic Construction of Sparse Data Flow Evaluation Graphs. - Jong-Deok Choi; Ron Cytron; Jeanne Ferrante (POPL, 1991)

Race Frontier: Reproducing Data Races in Parallel-Program Debugging. - Jong-Deok Choi; Sang Lyul Min (PPoPP, 1991)

Techniques for Debugging Parallel Programs with Flowback Analysis. - Jong-Deok Choi; Barton P. Miller; Robert H. B. Netzer (ACM Trans. Program. Lang. Syst., 1991)

Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. - Michael G. Burke; Jong-Deok Choi (LOPLAS, 1992)

Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. - Jong-Deok Choi; Michael G. Burke; Paul R. Carini (POPL, 1993)

Pointer-Induced Aliasing: A Clarification. - Thomas J. Marlowe; Jong-Deok Choi; William Landi; Michael G. Burke; Barbara G. Ryder; Paul R. Carini (ACM SIGPLAN Notices, 1993)

Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. - Michael G. Burke; Paul R. Carini; Jong-Deok Choi; Michael Hind (LCPC, 1994)

Static Slicing in the Presence of Goto Statements. - Jong-Deok Choi; Jeanne Ferrante (ACM Trans. Program. Lang. Syst., 1994)

On the Efficient Engineering of Ambitious Program Analysis. - Jong-Deok Choi; Ron Cytron; Jeanne Ferrante (IEEE Trans. Software Eng., 1994)

Incremental Computation of Static Single Assignment Form. - Jong-Deok Choi; Vivek Sarkar; Edith Schonberg (CC, 1996)

Slicing Class Hierarchies in C++. - Frank Tip; Jong-Deok Choi; John Field; G. Ramalingam (OOPSLA, 1996)

Global Communication Analysis and Optimization. - Soumen Chakrabarti; Manish Gupta 002; Jong-Deok Choi (PLDI, 1996)

Deterministic replay of Java multithreaded applications. - Jong-Deok Choi; Harini Srinivasan (SPDT, 1998)

Dynamic Linking on a Shared-Memory Multiprocessor. - Bowen Alpern; Mark Charney; Jong-Deok Choi; Anthony Cocchi; Derek Lieber (IEEE PACT, 1999)

The Jalapeño Dynamic Optimizing Compiler for Java. - Michael G. Burke; Jong-Deok Choi; Stephen J. Fink; David Grove; Michael Hind; Vivek Sarkar; Mauricio J. Serrano; Vugranam C. Sreedhar; Harini Srinivasan; John Whaley (Java Grande, 1999)

Escape Analysis for Java. - Jong-Deok Choi; Manish Gupta 002; Mauricio J. Serrano; Vugranam C. Sreedhar; Samuel P. Midkiff (OOPSLA, 1999)

Efficient and precise modeling of exceptions for the analysis of Java programs. - Jong-Deok Choi; David Grove; Michael Hind; Vivek Sarkar (ACM SIGSOFT Softw. Eng. Notes, 1999)

Interprocedural pointer alias analysis. - Michael Hind; Michael G. Burke; Paul R. Carini; Jong-Deok Choi (ACM Trans. Program. Lang. Syst., 1999)

Optimizing Java Programs in the Presence of Exceptions. - Manish Gupta 002; Jong-Deok Choi; Michael Hind (ECOOP, 2000)

Deterministic Replay of Distributed Java Applications. - Ravi B. Konuru; Harini Srinivasan; Jong-Deok Choi (IPDPS, 2000)

DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. - Bowen Alpern; Ton Ngo; Jong-Deok Choi; Manu Sridharan (OOPSLA Addendum, 2000)

A framework for interprocedural optimization in the presence of dynamic class loading. - Vugranam C. Sreedhar; Michael G. Burke; Jong-Deok Choi (PLDI, 2000)

The Jalapeño virtual machine. - Bowen Alpern; C. Richard Attanasio; John J. Barton; Michael G. Burke; Perry Cheng; Jong-Deok Choi; Anthony Cocchi; Stephen J. Fink; David Grove; Michael Hind; Susan Flynn Hummel; Derek Lieber; et al. (IBM Syst. J., 2000)

A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. - Bowen Alpern; Jong-Deok Choi; Ton Ngo; Manu Sridharan; John M. Vlissides (IPDPS, 2001)

Isolating failure-inducing thread schedules. - Jong-Deok Choi; Andreas Zeller (ISSTA, 2002)

Record/Play in the Presence of Benign Data Races. - Mark Christiaens; Jong-Deok Choi; Michiel Ronsse; Koenraad De Bosschere (PDPTA, 2002)

Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. - Jong-Deok Choi; Keunwoo Lee; Alexey Loginov; Robert O'Callahan; Vivek Sarkar; Manu Sridharan (PLDI, 2002)

Hybrid dynamic data race detection. - Robert O'Callahan; Jong-Deok Choi (PPoPP, 2003)

Stack allocation and synchronization optimizations for Java using escape analysis. - Jong-Deok Choi; Manish Gupta 002; Mauricio J. Serrano; Vugranam C. Sreedhar; Samuel P. Midkiff (ACM Trans. Program. Lang. Syst., 2003)

Finding and Removing Performance Bottlenecks in Large Systems. - Glenn Ammons; Jong-Deok Choi; Manish Gupta 002; Nikhil Swamy (ECOOP, 2004)

Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. - Byeong-Mo Chang; Jong-Deok Choi (ISCIS, 2004)

Whole-Stack Analysis and Optimization of Commercial Workloads on Server Systems. - C. Richard Attanasio; Jong-Deok Choi; Niteesh Dubey; Kattamuri Ekanadham; Manish Gupta 002; Tatsushi Inagaki; Kazuaki Ishizaki; Joefon Jann; Robert D. Johnson; Toshio Nakatani; Il Park; Pratap Pattnaik; et al. (NPC, 2004)

Deployment Time Performance Optimization of Internet Services. - Sang Jeong Lee; Kang-Won Lee; Kyung Dong Ryu; Jong-Deok Choi; Dinesh C. Verma (GLOBECOM, 2006)

Conditional Memory Ordering. - Christoph von Praun; Harold W. Cain; Jong-Deok Choi; Kyung Dong Ryu (ISCA, 2006)

Accurate, efficient, and adaptive calling context profiling. - Xiaotong Zhuang; Mauricio J. Serrano; Harold W. Cain; Jong-Deok Choi (PLDI, 2006)

Call-chain Software Instruction Prefetching in J2EE Server Applications. - Priya Nagpurkar; Harold W. Cain; Mauricio J. Serrano; Jong-Deok Choi; Chandra Krintz (PACT, 2007)

Improving the Performance of Web Services Using Deployment-Time Binding Selection. - Sang Jeong Lee; Kyung Dong Ryu; Kang-Won Lee; Jong-Deok Choi (ICWS, 2007)

Perfdiff: a framework for performance difference analysis in a virtual machine environment. - Xiaotong Zhuang; Suhyun Kim; Mauricio J. Serrano; Jong-Deok Choi (CGO, 2008)

An OpenCL framework for heterogeneous multicores with local memory. - Jaejin Lee; Jungwon Kim; Sangmin Seo; Seungkyun Kim; Jung-Ho Park; Honggyu Kim; Thanh Tuan Dao; Yongjin Cho; Sung Jong Seo; Seung Hak Lee; Seung Mo Cho; Hyo Jung Song; et al. (PACT, 2010)

Fine-grained I/O access control based on Xen virtualization for 3G/4G mobile devices. - Sung-Min Lee 004; Sang-Bum Suh; Jong-Deok Choi (DAC, 2010)

A standards-based, fully-open software platform for smart embedded systems. - Jong-Deok Choi (CODES+ISSS, 2012)

Taming the web. - Jong-Deok Choi (WWW, 2014)

Programming in the Large for the Internet of Things (Invited Talk). - Jong-Deok Choi (ECOOP, 2015)