Jong-Deok Choi
35Patents
16h-index
37Co-inventors
81Inventor score
Filing activity: Sep 20, 1991 → May 27, 2020
Most-cited inventions
| Patent | Title | Area | Cited by | Status |
|---|---|---|---|---|
| US6832367B1 | Method and system for recording and replaying the execution of distributed java programs | Physics | 375 | Expired |
| US6101524A | Deterministic replay of multithreaded applications | Physics | 160 | Expired |
| US6381738B1 | Method for optimizing creation and destruction of objects in computer programs | Physics | 109 | Expired |
| US6854108B1 | Method and apparatus for deterministic replay of java multithreaded programs on multiprocessors | Physics | 90 | Expired |
| US6530079B1 | Method for optimizing locks in computer programs | Physics | 85 | Expired |
| US5485616A | Using program call graphs to determine the maximum fixed point solution of interprocedural bidirectional data flow problems in a compiler | Physics | 75 | Expired |
| US5448737A | System and method for optimizing computer code using a compact data flow representation | Physics | 59 | Expired |
| US7516446B2 | Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs | Physics | 57 | Expired |
| US6487716B1 | Methods and apparatus for optimizing programs in the presence of exceptions | Physics | 43 | Expired |
| US5327561A | System and method for solving monotone information propagation problems | Physics | 42 | Expired |
| US6865730B1 | Interprocedural analysis and optimization of an object oriented program in the presence of dynamic class loading | Physics | 38 | Expired |
| US7275241B2 | Dynamic instrumentation for a mixed mode virtual machine | Physics | 34 | Expired |
| US7793049B2 | Mechanism for data cache replacement based on region policies | Physics | 23 | Active |
| US5535394A | Methods for distinguishing dynamically allocated storage along different call paths and for providing a compact representation of alias analysis | Physics | 22 | Expired |
| US6301700A | Method and apparatus for slicing class hierarchies | Physics | 20 | Expired |
| US7469403B2 | Static detection of a datarace condition for multithreaded object-oriented applications | Physics | 17 | Expired |
| US6179491A | Method and apparatus for slicing class hierarchies | Physics | 16 | Expired |
| US7434037B2 | System for target branch prediction using correlation of local target histories including update inhibition for inefficient entries | Physics | 15 | Active |
| US8464223B2 | Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs | Physics | 14 | Active |
| US8706973B2 | Unbounded transactional memory system and method | Physics | 12 | Active |
| US7409535B2 | Branch target prediction for multi-target branches by identifying a repeated pattern | Physics | 10 | Expired |
| US7356653B2 | Reader-initiated shared memory synchronization | Physics | 10 | Expired |
| US9015683B2 | Method and apparatus for transforming program code | Physics | 6 | Active |
| US8608072B2 | Memory card socket and data processing device including the same | Physics | 5 | Active |
| US7921260B2 | Preferred write-mostly data cache replacement policies | Physics | 5 | Active |
Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.