Follow
Jong-Deok Choi
Jong-Deok Choi
Software R&D Center, Samsung Electronics
Verified email at samsung.com
Title
Cited by
Cited by
Year
The Jalapeno virtual machine
B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ...
IBM Systems Journal 39 (1), 211-238, 2000
8092000
Escape analysis for Java
JD Choi, M Gupta, M Serrano, VC Sreedhar, S Midkiff
Acm Sigplan Notices 34 (10), 1-19, 1999
6961999
Hybrid dynamic data race detection
R O'callahan, JD Choi
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of …, 2003
5582003
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
5431993
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
5282002
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
4221999
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
3682004
Deterministic replay of Java multithreaded applications
JD Choi, H Srinivasan
Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, 48-59, 1998
3451998
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
3031991
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
2951999
A mechanism for efficient debugging of parallel programs
BP Miller, JD Choi
ACM Sigplan Notices 23 (7), 135-144, 1988
2391988
Breakpoints and halting in distributed programs
BP Miller, JD Choi
University of Wisconsin-Madison Department of Computer Sciences, 1986
2331986
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
2241991
Deterministic replay of multithreaded applications
JD Choi, H Srinivasan
US Patent 6,101,524, 2000
1762000
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
1741999
Flow-insensitive interprocedural alias analysis in the presence of pointers
M Burke, P Carini, JD Choi, M Hind
Languages and Compilers for Parallel Computing: 7th International Workshop …, 1995
1641995
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
1561994
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
1512003
Isolating failure-inducing thread schedules
JD Choi, A Zeller
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
1492002
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
1472006
The system can't perform the operation now. Try again later.
Articles 1–20