Jong-Deok Choi
Jong-Deok Choi
Software R&D Center, Samsung Electronics
Verified email at samsung.com
TitleCited byYear
The Jalapeno virtual machine
B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ...
IBM Systems Journal 39 (1), 211-238, 2000
7612000
Escape analysis for Java
JD Choi, M Gupta, M Serrano, VC Sreedhar, S Midkiff
Acm Sigplan Notices 34 (10), 1-19, 1999
6151999
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
JD Choi, M Burke, P Carini
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
4891993
Hybrid dynamic data race detection
R O'callahan, JD Choi
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of …, 2003
4642003
Efficient and precise datarace detection for multithreaded object-oriented programs
JD Choi, K Lee, A Loginov, R O'Callahan, V Sarkar, M Sridharan
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
4622002
The Jalapeno dynamic optimizing compiler for Java
MG Burke, JD Choi, S Fink, D Grove, M Hind, V Sarkar, MJ Serrano, ...
Proceedings of the ACM 1999 conference on Java Grande, 129-141, 1999
3821999
Deterministic replay of Java multithreaded applications
JD Choi, H Srinivasan
Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, 48-59, 1998
3111998
Automatic construction of sparse data flow evaluation graphs
JD Choi, R Cytron, J Ferrante
Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of …, 1991
2661991
Interprocedural pointer alias analysis
M Hind, M Burke, P Carini, JD Choi
ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (4), 848-894, 1999
2641999
Method and system for recording and replaying the execution of distributed java programs
JD Choi, R Konuru, H Srinivasan
US Patent 6,832,367, 2004
2512004
A mechanism for efficient debugging of parallel programs
BP Miller, JD Choi
ACM SIGPLAN Notices 23 (7), 135-144, 1988
2241988
Techniques for debugging parallel programs with flowback analysis
JD Choi, BP Miller, RHB Netzer
ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (4), 491-530, 1991
2011991
Breakpoints and halting in distributed programs
BP Miller, JD Choi
University of Wisconsin-Madison Department of Computer Sciences, 1986
2011986
Deterministic replay of multithreaded applications
JD Choi, H Srinivasan
US Patent 6,101,524, 2000
1652000
Efficient and precise modeling of exceptions for the analysis of Java programs
JD Choi, D Grove, M Hind, V Sarkar
ACM SIGSOFT Software Engineering Notes 24 (5), 21-31, 1999
1611999
Flow-insensitive interprocedural alias analysis in the presence of pointers
M Burke, P Carini, JD Choi, M Hind
International Workshop on Languages and Compilers for Parallel Computing …, 1994
1521994
Static slicing in the presence of goto statements
JD Choi, J Ferrante
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1097-1113, 1994
1391994
Stack allocation and synchronization optimizations for Java using escape analysis
JD Choi, M Gupta, MJ Serrano, VC Sreedhar, SP Midkiff
ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (6), 876-910, 2003
1342003
Accurate, efficient, and adaptive calling context profiling
X Zhuang, MJ Serrano, HW Cain, JD Choi
Proceedings of the 27th ACM SIGPLAN Conference on Programming Language …, 2006
1292006
Isolating failure-inducing thread schedules
JD Choi, A Zeller
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
1272002
The system can't perform the operation now. Try again later.
Articles 1–20