Travelled to:1 × Czech Republic
1 × Germany
1 × Italy
1 × Norway
1 × Sweden
11 × USA
2 × Canada
2 × France
Collaborated with:M.Gupta S.L.Min V.Sarkar M.J.Serrano R.O'Callahan M.G.Burke M.Hind V.C.Sreedhar ∅ X.Zhuang A.Zeller B.P.Miller S.Lee S.Suh E.Schonberg S.Chakrabarti P.R.Carini R.Cytron J.Ferrante S.Kim H.W.Cain G.Ammons N.Swamy D.Grove F.Tip J.Field G.Ramalingam S.P.Midkiff K.Lee A.Loginov M.Sridharan
Talks about:program (6) effici (6) analysi (4) detect (3) optim (3) race (3) java (3) data (3) interprocedur (2) framework (2)
Person: Jong-Deok Choi
DBLP: Choi:Jong=Deok
Contributed to:
2015
2010
2008
20062004
2003
2002200220002000
1999
1999
199619961996
1993
1991199119911988Wrote 20 papers:
- ECOOP-2015-Choi #in the large #internet #programming
- Programming in the Large for the Internet of Things (JDC), p. 2.
- DAC-2010-LeeSC #data access #fine-grained #mobile
- Fine-grained I/O access control based on Xen virtualization for 3G/4G mobile devices (SML, SBS, JDC), pp. 108–113.
- CGO-2008-ZhuangKSC #analysis #difference #framework #named #performance #virtual machine
- Perfdiff: a framework for performance difference analysis in a virtual machine environment (XZ, SK, MJS, JDC), pp. 4–13.
- PLDI-2006-ZhuangSCC #adaptation #performance #profiling
- Accurate, efficient, and adaptive calling context profiling (XZ, MJS, HWC, JDC), pp. 263–271.
- ECOOP-2004-AmmonsCGS #performance #scalability
- Finding and Removing Performance Bottlenecks in Large Systems (GA, JDC, MG, NS), pp. 170–194.
- PPoPP-2003-OCallahanC #concurrent #detection #hybrid
- Hybrid dynamic data race detection (RO, JDC), pp. 167–178.
- ISSTA-2002-ChoiZ #concurrent #thread
- Isolating failure-inducing thread schedules (JDC, AZ), pp. 210–220.
- PLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #precise #source code #thread
- Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.
- ECOOP-2000-GuptaCH #exception #java #optimisation #source code
- Optimizing Java Programs in the Presence of Exceptions (MG, JDC, MH), pp. 422–446.
- PLDI-2000-SreedharBC #framework #interprocedural #optimisation
- A framework for interprocedural optimization in the presence of dynamic class loading (VCS, MGB, JDC), pp. 196–207.
- OOPSLA-1999-ChoiGSSM #analysis #java
- Escape Analysis for Java (JDC, MG, MJS, VCS, SPM), pp. 1–19.
- PASTE-1999-ChoiGHS #analysis #exception #java #modelling #performance #precise #source code
- Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs (JDC, DG, MH, VS), pp. 21–31.
- CC-1996-ChoiSS #incremental
- Incremental Computation of Static Single Assignment Form (JDC, VS, ES), pp. 223–237.
- OOPSLA-1996-TipCFR #c++ #slicing
- Slicing Class Hierarchies in C++ (FT, JDC, JF, GR), pp. 179–197.
- PLDI-1996-ChakrabartiGC #analysis #communication #optimisation
- Global Communication Analysis and Optimization (SC, MG, JDC), pp. 68–78.
- POPL-1993-ChoiBC #alias #interprocedural #performance #pointer
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects (JDC, MGB, PRC), pp. 232–245.
- ASPLOS-1991-MinC #detection #performance
- An Efficient Cache-Based Access Anomaly Detection Scheme (SLM, JDC), pp. 235–244.
- POPL-1991-ChoiCF #automation #data flow #evaluation #graph
- Automatic Construction of Sparse Data Flow Evaluation Graphs (JDC, RC, JF), pp. 55–66.
- PPoPP-1991-ChoiM #debugging
- Race Frontier: Reproducing Data Races in Parallel-Program Debugging (JDC, SLM), pp. 145–154.
- PLDI-1988-MillerC #debugging #parallel #performance #source code
- A Mechanism for Efficient Debugging of Parallel Programs (BPM, JDC), pp. 135–144.