The Jalapeno virtual machine B Alpern, CR Attanasio, JJ Barton, MG Burke, P Cheng, JD Choi, ... IBM Systems Journal 39 (1), 211-238, 2000 | 814 | 2000 |
Escape analysis for Java JD Choi, M Gupta, M Serrano, VC Sreedhar, S Midkiff Acm Sigplan Notices 34 (10), 1-19, 1999 | 695 | 1999 |
Hybrid dynamic data race detection R O'callahan, JD Choi Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of …, 2003 | 575 | 2003 |
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 | 551 | 1993 |
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 | 532 | 2002 |
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 | 428 | 1999 |
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 | 376 | 2004 |
Deterministic replay of Java multithreaded applications JD Choi, H Srinivasan Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, 48-59, 1998 | 353 | 1998 |
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 | 306 | 1991 |
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 | 298 | 1999 |
A mechanism for efficient debugging of parallel programs BP Miller, JD Choi ACM Sigplan Notices 23 (7), 135-144, 1988 | 240 | 1988 |
Breakpoints and halting in distributed programs BP Miller, JD Choi University of Wisconsin-Madison Department of Computer Sciences, 1986 | 233 | 1986 |
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 | 226 | 1991 |
Deterministic replay of multithreaded applications JD Choi, H Srinivasan US Patent 6,101,524, 2000 | 176 | 2000 |
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 | 173 | 1999 |
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 | 166 | 1995 |
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 | 155 | 1994 |
Isolating failure-inducing thread schedules JD Choi, A Zeller Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002 | 153 | 2002 |
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 | 152 | 2003 |
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 | 147 | 2006 |