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