default search action
Jong-Deok Choi
Person information
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c40]Jong-Deok Choi:
Programming in the Large for the Internet of Things (Invited Talk). ECOOP 2015: 2-2 - 2014
- [c39]Jong-Deok Choi:
Taming the web. WWW 2014: 3-4 - 2012
- [c38]Jong-Deok Choi:
A standards-based, fully-open software platform for smart embedded systems. CODES+ISSS 2012: 5-6 - 2010
- [c37]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: 193-204 - [c36]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: 108-113
2000 – 2009
- 2008
- [c35]Xiaotong Zhuang, Suhyun Kim, Mauricio J. Serrano, Jong-Deok Choi:
Perfdiff: a framework for performance difference analysis in a virtual machine environment. CGO 2008: 4-13 - 2007
- [c34]Priya Nagpurkar, Harold W. Cain, Mauricio J. Serrano, Jong-Deok Choi, Chandra Krintz:
Call-chain Software Instruction Prefetching in J2EE Server Applications. PACT 2007: 140-149 - [c33]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: 159-167 - 2006
- [c32]Sang Jeong Lee, Kang-Won Lee, Kyung Dong Ryu, Jong-Deok Choi, Dinesh C. Verma:
Deployment Time Performance Optimization of Internet Services. GLOBECOM 2006 - [c31]Christoph von Praun, Harold W. Cain, Jong-Deok Choi, Kyung Dong Ryu:
Conditional Memory Ordering. ISCA 2006: 41-52 - [c30]Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi:
Accurate, efficient, and adaptive calling context profiling. PLDI 2006: 263-271 - 2005
- [e2]Clinton Jeffery, Jong-Deok Choi, Raimondas Lencevicius:
Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005. ACM 2005, ISBN 1-59593-050-7 [contents] - 2004
- [c29]Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy:
Finding and Removing Performance Bottlenecks in Large Systems. ECOOP 2004: 170-194 - [c28]Byeong-Mo Chang, Jong-Deok Choi:
Thread-Sensitive Points-to Analysis for Multithreaded Java Programs. ISCIS 2004: 945-954 - [c27]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: 5-8 - 2003
- [j9]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): 876-910 (2003) - [c26]Robert O'Callahan, Jong-Deok Choi:
Hybrid dynamic data race detection. PPoPP 2003: 167-178 - 2002
- [c25]Jong-Deok Choi, Andreas Zeller:
Isolating failure-inducing thread schedules. ISSTA 2002: 210-220 - [c24]Mark Christiaens, Jong-Deok Choi, Michiel Ronsse, Koenraad De Bosschere:
Record/Play in the Presence of Benign Data Races. PDPTA 2002: 1200-1206 - [c23]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: 258-269 - 2001
- [c22]Bowen Alpern, Jong-Deok Choi, Ton Ngo, Manu Sridharan, John M. Vlissides:
A Perturbation-Free Replay Platform for Cross-Optimized Multithreaded Applications. IPDPS 2001: 23 - 2000
- [j8]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): 211-238 (2000) - [c21]Manish Gupta, Jong-Deok Choi, Michael Hind:
Optimizing Java Programs in the Presence of Exceptions. ECOOP 2000: 422-446 - [c20]Ravi B. Konuru, Harini Srinivasan, Jong-Deok Choi:
Deterministic Replay of Distributed Java Applications. IPDPS 2000: 219-228 - [c19]Bowen Alpern, Ton Ngo, Jong-Deok Choi, Manu Sridharan:
DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine. OOPSLA Addendum 2000: 165-166 - [c18]Vugranam C. Sreedhar, Michael G. Burke, Jong-Deok Choi:
A framework for interprocedural optimization in the presence of dynamic class loading. PLDI 2000: 196-207 - [e1]Jong-Deok Choi, Vugranam C. Sreedhar:
Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), Boston, MA, USA, January 18, 2000. ACM 2000, ISBN 1-58113-241-7 [contents]
1990 – 1999
- 1999
- [j7]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): 21-31 (1999) - [j6]Michael Hind, Michael G. Burke, Paul R. Carini, Jong-Deok Choi:
Interprocedural pointer alias analysis. ACM Trans. Program. Lang. Syst. 21(4): 848-894 (1999) - [c17]Bowen Alpern, Mark Charney, Jong-Deok Choi, Anthony Cocchi, Derek Lieber:
Dynamic Linking on a Shared-Memory Multiprocessor. IEEE PACT 1999: 177-182 - [c16]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: 129-141 - [c15]Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff:
Escape Analysis for Java. OOPSLA 1999: 1-19 - [c14]Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar:
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs. PASTE 1999: 21-31 - 1998
- [c13]Jong-Deok Choi, Harini Srinivasan:
Deterministic replay of Java multithreaded applications. SPDT 1998: 48-59 - 1996
- [c12]Jong-Deok Choi, Vivek Sarkar, Edith Schonberg:
Incremental Computation of Static Single Assignment Form. CC 1996: 223-237 - [c11]Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam:
Slicing Class Hierarchies in C++. OOPSLA 1996: 179-197 - [c10]Soumen Chakrabarti, Manish Gupta, Jong-Deok Choi:
Global Communication Analysis and Optimization. PLDI 1996: 68-78 - 1994
- [j5]Jong-Deok Choi, Jeanne Ferrante:
Static Slicing in the Presence of Goto Statements. ACM Trans. Program. Lang. Syst. 16(4): 1096-1113 (1994) - [j4]Jong-Deok Choi, Ron Cytron, Jeanne Ferrante:
On the Efficient Engineering of Ambitious Program Analysis. IEEE Trans. Software Eng. 20(2): 105-114 (1994) - [c9]Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind:
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers. LCPC 1994: 234-250 - 1993
- [j3]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): 67-70 (1993) - [c8]Jong-Deok Choi, Michael G. Burke, Paul R. Carini:
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. POPL 1993: 232-245 - 1992
- [j2]Michael G. Burke, Jong-Deok Choi:
Precise and Efficient Integration of Interprocedural Alias Information into Data-Flow Analysis. LOPLAS 1(1): 14-21 (1992) - 1991
- [j1]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): 491-530 (1991) - [c7]Sang Lyul Min, Jong-Deok Choi:
An Efficient Cache-Based Access Anomaly Detection Scheme. ASPLOS 1991: 235-244 - [c6]Jong-Deok Choi, Janice M. Stone:
Balancing Runtime and Replay Costs in a Trace-and-Replay System. Workshop on Parallel and Distributed Debugging 1991: 26-35 - [c5]Jong-Deok Choi, Ron Cytron, Jeanne Ferrante:
Automatic Construction of Sparse Data Flow Evaluation Graphs. POPL 1991: 55-66 - [c4]Jong-Deok Choi, Sang Lyul Min:
Race Frontier: Reproducing Data Races in Parallel-Program Debugging. PPoPP 1991: 145-154
1980 – 1989
- 1988
- [c3]Barton P. Miller, Jong-Deok Choi:
Breakpoints and Halting in Distributed Programs. ICDCS 1988: 316-323 - [c2]Barton P. Miller, Jong-Deok Choi:
A Mechanism for Efficient Debugging of Parallel Programs. Workshop on Parallel and Distributed Debugging 1988: 141-150 - [c1]Barton P. Miller, Jong-Deok Choi:
A Mechanism for Efficient Debugging of Parallel Programs. PLDI 1988: 135-144
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint