Jong-Deok Choi

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 1

Top Topics

Script Language

Software Platform

Top Venues

Publications

Jong-Deok Choi
Programming in the Large for the Internet of Things (Invited Talk). ECOOP (2015)
Jong-Deok Choi
Taming the web. WWW (2014)
Jong-Deok Choi
A standards-based, fully-open software platform for smart embedded systems. CODES+ISSS (2012)
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, Sang-Bum Suh, Jong-Deok Choi
An OpenCL framework for heterogeneous multicores with local memory. PACT (2010)
Sung-Min Lee, Sang-Bum Suh, Jong-Deok Choi
Fine-grained I/O access control based on Xen virtualization for 3G/4G mobile devices. DAC (2010)
Xiaotong Zhuang, Suhyun Kim, Mauricio J. Serrano, Jong-Deok Choi
Perfdiff: a framework for performance difference analysis in a virtual machine environment. CGO (2008)
Sang Jeong Lee, Kyung Dong Ryu, Kang-Won Lee, Jong-Deok Choi
Improving the Performance of Web Services Using Deployment-Time Binding Selection. ICWS (2007)
Priya Nagpurkar, Harold W. Cain, Mauricio J. Serrano, Jong-Deok Choi, Chandra Krintz
Call-chain Software Instruction Prefetching in J2EE Server Applications. PACT (2007)
Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi
Accurate, efficient, and adaptive calling context profiling. PLDI (2006)
Sang Jeong Lee, Kang-Won Lee, Kyung Dong Ryu, Jong-Deok Choi, Dinesh C. Verma
Deployment Time Performance Optimization of Internet Services. GLOBECOM (2006)
Christoph von Praun, Harold W. Cain, Jong-Deok Choi, Kyung Dong Ryu
Conditional Memory Ordering. ISCA (2006)
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
Whole-Stack Analysis and Optimization of Commercial Workloads on Server Systems. NPC (2004)
Byeong-Mo Chang, Jong-Deok Choi
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. ISCIS (2004)
Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy
Finding and Removing Performance Bottlenecks in Large Systems. ECOOP (2004)
Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff
Stack allocation and synchronization optimizations for Java using escape analysis. ACM Trans. Program. Lang. Syst. 25 (6) (2003)
Robert O'Callahan, Jong-Deok Choi
Hybrid dynamic data race detection. PPOPP (2003)
Mark Christiaens, Jong-Deok Choi, Michiel Ronsse, Koenraad De Bosschere
Record/Play in the Presence of Benign Data Races. PDPTA (2002)
Jong-Deok Choi, Andreas Zeller
Isolating failure-inducing thread schedules. ISSTA (2002)
Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. PLDI (2002)
Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. IPDPS (2001)
Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan
DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. OOPSLA Addendum (2000)
Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi
Deterministic Replay of Distributed Java Applications. IPDPS (2000)
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, Vassily Litvinov, Mark F. Mergen, Ton Ngo, James R. Russell, Vivek Sarkar, Mauricio J. Serrano, Janice C. Shepherd, Stephen E. Smith, Vugranam C. Sreedhar, Harini Srinivasan, John Whaley
The Jalapeño virtual machine. IBM Syst. J. 39 (1) (2000)
Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok Choi
A framework for interprocedural optimization in the presence of dynamic class loading. PLDI (2000)
Manish Gupta, Jong-Deok Choi, Michael Hind
Optimizing Java Programs in the Presence of Exceptions. ECOOP (2000)
Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff
Escape Analysis for Java. OOPSLA (1999)
Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar
Efficient and precise modeling of exceptions for the analysis of Java programs. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)
Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi
Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst. 21 (4) (1999)
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
The Jalapeño Dynamic Optimizing Compiler for Java. Java Grande (1999)
Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. PASTE (1999)
Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber
Dynamic Linking on a Shared-Memory Multiprocessor. IEEE PACT (1999)
Jong-Deok Choi, Harini Srinivasan
Deterministic replay of Java multithreaded applications. SPDT (1998)
Soumen Chakrabarti, Manish Gupta, Jong-Deok Choi
Global Communication Analysis and Optimization. PLDI (1996)
Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
Slicing Class Hierarchies in C++. OOPSLA (1996)
Jong-Deok Choi, Vivek Sarkar, Edith Schonberg
Incremental Computation of Static Single Assignment Form. CC (1996)
Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. LCPC (1994)
Jong-Deok Choi, Jeanne Ferrante
Static Slicing in the Presence of Goto Statements. ACM Trans. Program. Lang. Syst. 16 (4) (1994)
Jong-Deok Choi, Ron Cytron, Jeanne Ferrante
On the Efficient Engineering of Ambitious Program Analysis. IEEE Trans. Software Eng. 20 (2) (1994)
Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini
Pointer-Induced Aliasing: A Clarification. ACM SIGPLAN Notices 28 (9) (1993)
Jong-Deok Choi, Michael G. Burke, Paul R. Carini
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. POPL (1993)
Michael G. Burke, Jong-Deok Choi
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. LOPLAS 1 (1) (1992)
Jong-Deok Choi, Janice M. Stone
Balancing Runtime and Replay Costs in a Trace-and-Replay System. Workshop on Parallel and Distributed Debugging (1991)
Jong-Deok Choi, Ron Cytron, Jeanne Ferrante
Automatic Construction of Sparse Data Flow Evaluation Graphs. POPL (1991)
Sang Lyul Min, Jong-Deok Choi
An Efficient Cache-Based Access Anomaly Detection Scheme. ASPLOS (1991)
Jong-Deok Choi, Barton P. Miller, Robert H. B. Netzer
Techniques for Debugging Parallel Programs with Flowback Analysis. ACM Trans. Program. Lang. Syst. 13 (4) (1991)
Jong-Deok Choi, Sang Lyul Min
Race Frontier: Reproducing Data Races in Parallel-Program Debugging. PPOPP (1991)
Barton P. Miller, Jong-Deok Choi
A Mechanism for Efficient Debugging of Parallel Programs. Workshop on Parallel and Distributed Debugging (1988)
Barton P. Miller, Jong-Deok Choi
A Mechanism for Efficient Debugging of Parallel Programs. PLDI (1988)
Barton P. Miller, Jong-Deok Choi
Breakpoints and Halting in Distributed Programs. ICDCS (1988)