Jong Hyuk Choi

Person

Yorktown Heights, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Facilitating processing within computing environments supporting pa...
- Patent number 10,684,800
- Issue date Jun 16, 2020
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Facilitating processing within computing environments supporting pa...
- Patent number 10,133,515
- Issue date Nov 20, 2018
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Facilitating processing within computing environments supporting pa...
- Patent number 9,183,027
- Issue date Nov 10, 2015
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Facilitating processing within computing environments supporting pa...
- Patent number 8,752,053
- Issue date Jun 10, 2014
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for efficient and precise datarace detection f...
- Patent number 8,464,223
- Issue date Jun 11, 2013
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Facilitating processing within computing environments supporting pa...
- Patent number 8,387,049
- Issue date Feb 26, 2013
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer implemented method and system for accurate, efficient and...
- Patent number 8,122,438
- Issue date Feb 21, 2012
- International Business Machines Corporation
- Harold Wade Cain, III
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Target branch prediction using a plurality of tables
- Patent number 7,900,026
- Issue date Mar 1, 2011
- International Business Machines Corporation
- Il Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer implemented method and system for accurate, efficient and...
- Patent number 7,818,722
- Issue date Oct 19, 2010
- International Business Machines Corporation
- Harold Wade Cain, III
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for efficient and precise datarace detection f...
- Patent number 7,516,446
- Issue date Apr 7, 2009
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for anonymous group messaging in a distributed...
- Patent number 7,512,788
- Issue date Mar 31, 2009
- International Business Machines Corporation
- Jong Hyuk Choi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Static detection of a datarace condition for multithreaded object-o...
- Patent number 7,469,403
- Issue date Dec 23, 2008
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for target branch prediction using correlation of local targ...
- Patent number 7,434,037
- Issue date Oct 7, 2008
- International Business Machines Corporation
- Il Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Branch target prediction for multi-target branches by identifying a...
- Patent number 7,409,535
- Issue date Aug 5, 2008
- International Business Machines Corporation
- Il Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reader-initiated shared memory synchronization
- Patent number 7,356,653
- Issue date Apr 8, 2008
- International Business Machines Corporation
- Christoph von Praun
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic instrumentation for a mixed mode virtual machine
- Patent number 7,275,241
- Issue date Sep 25, 2007
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interprocedural analysis and optimization of an object oriented pro...
- Patent number 6,865,730
- Issue date Mar 8, 2005
- International Business Machines Corporation
- Michael G. Burke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for deterministic replay of java multithreaded...
- Patent number 6,854,108
- Issue date Feb 8, 2005
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for recording and replaying the execution of dist...
- Patent number 6,832,367
- Issue date Dec 14, 2004
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for optimizing locks in computer programs
- Patent number 6,530,079
- Issue date Mar 4, 2003
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and apparatus for optimizing programs in the presence of ex...
- Patent number 6,487,716
- Issue date Nov 26, 2002
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for optimizing creation and destruction of objects in comput...
- Patent number 6,381,738
- Issue date Apr 30, 2002
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for slicing class hierarchies
- Patent number 6,301,700
- Issue date Oct 9, 2001
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for slicing class hierarchies
- Patent number 6,179,491
- Issue date Jan 30, 2001
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deterministic replay of multithreaded applications
- Patent number 6,101,524
- Issue date Aug 8, 2000
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for distinguishing dynamically allocated storage along diff...
- Patent number 5,535,394
- Issue date Jul 9, 1996
- International Business Machines Corporation
- Michael G. Burke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using program call graphs to determine the maximum fixed point solu...
- Patent number 5,485,616
- Issue date Jan 16, 1996
- International Business Machines Corporation
- Michael G. Burke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for optimizing computer code using a compact data...
- Patent number 5,448,737
- Issue date Sep 5, 1995
- International Business Machines Corporation
- Michael G. Burke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for solving monotone information propagation prob...
- Patent number 5,327,561
- Issue date Jul 5, 1994
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...
- Publication number 20190087132
- Publication date Mar 21, 2019
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...
- Publication number 20160062703
- Publication date Mar 3, 2016
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...
- Publication number 20140289729
- Publication date Sep 25, 2014
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...
- Publication number 20130174159
- Publication date Jul 4, 2013
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR EFFICIENT AND PRECISE DATARACE DETECTION F...
- Publication number 20090199162
- Publication date Aug 6, 2009
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TARGET BRANCH PREDICTION USING CORRELATION OF LOCAL TARGET HISTORIES
- Publication number 20090037708
- Publication date Feb 5, 2009
- International Business Machines Corporation
- Il Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Computer Implemented Method and System for Accurate, Efficient and...
- Publication number 20080288926
- Publication date Nov 20, 2008
- International Business Machine Corporation
- Harold Wade Cain, III
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BRANCH TARGET PREDICTION FOR MULTI-TARGET BRANCHES BY IDENTIFYING A...
- Publication number 20080288760
- Publication date Nov 20, 2008
- International Business Machines Corporation
- Il Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPUTER-IMPLEMENTED METHOD, SYSTEM, AND PROGRAM PRODUCT FOR OPTIMI...
- Publication number 20080271004
- Publication date Oct 30, 2008
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR OPTIMAL BINDING SELECTION FOR SERVICE ORIENTE...
- Publication number 20080263194
- Publication date Oct 23, 2008
- International Business Machines Corporation
- Jong-Deok Choi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Computer implemented method and system for accurate, efficient and...
- Publication number 20070288908
- Publication date Dec 13, 2007
- International Business Machines Corporation
- Harold Wade Cain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for target branch prediction using correlation of...
- Publication number 20070239974
- Publication date Oct 11, 2007
- International Business Machines Corporation
- II Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Computer-implemented method, system, and program product for deploy...
- Publication number 20070198973
- Publication date Aug 23, 2007
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Facilitating processing within computing environments supporting pa...
- Publication number 20070016904
- Publication date Jan 18, 2007
- International Business Machines Corporation
- Ingo Adlung
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Reader-initiated shared memory synchronization
- Publication number 20060277374
- Publication date Dec 7, 2006
- International Business Machines Corporation
- Christoph von Praun
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Security optimization techniques for web applications
- Publication number 20060272005
- Publication date Nov 30, 2006
- International Business Machines Corporation
- Glenn Ammons
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Branch target prediction for multi-target branches
- Publication number 20060242393
- Publication date Oct 26, 2006
- International Business Machines Corporation
- Il Park
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Dynamic instrumentation for a mixed mode virtual machine
- Publication number 20050114848
- Publication date May 26, 2005
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for obtaining personal access information and...
- Publication number 20040255034
- Publication date Dec 16, 2004
- Jong Hyuk Choi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Method and apparatus for anonymous group messaging in a distributed...
- Publication number 20040111612
- Publication date Jun 10, 2004
- International Business Machines Corporation
- Jong Hyuk Choi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
Method and apparatus for efficient and precise datarace detection f...
- Publication number 20030236951
- Publication date Dec 25, 2003
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Static datarace detection for multithreaded object-oriented applica...
- Publication number 20020188651
- Publication date Dec 12, 2002
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING

Jong Hyuk Choi

Person

Patents Grantslast 30 patents

Facilitating processing within computing environments supporting pa...

Facilitating processing within computing environments supporting pa...

Facilitating processing within computing environments supporting pa...

Facilitating processing within computing environments supporting pa...

Method and apparatus for efficient and precise datarace detection f...

Facilitating processing within computing environments supporting pa...

Computer implemented method and system for accurate, efficient and...

Target branch prediction using a plurality of tables

Computer implemented method and system for accurate, efficient and...

Method and apparatus for efficient and precise datarace detection f...

Method and apparatus for anonymous group messaging in a distributed...

Static detection of a datarace condition for multithreaded object-o...

System for target branch prediction using correlation of local targ...

Branch target prediction for multi-target branches by identifying a...

Reader-initiated shared memory synchronization

Dynamic instrumentation for a mixed mode virtual machine

Interprocedural analysis and optimization of an object oriented pro...

Method and apparatus for deterministic replay of java multithreaded...

Method and system for recording and replaying the execution of dist...

Method for optimizing locks in computer programs

Methods and apparatus for optimizing programs in the presence of ex...

Method for optimizing creation and destruction of objects in comput...

Method and apparatus for slicing class hierarchies

Method and apparatus for slicing class hierarchies

Deterministic replay of multithreaded applications

Methods for distinguishing dynamically allocated storage along diff...

Using program call graphs to determine the maximum fixed point solu...

System and method for optimizing computer code using a compact data...

System and method for solving monotone information propagation prob...

Patents Applicationslast 30 patents

FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...

FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...

FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...

FACILITATING PROCESSING WITHIN COMPUTING ENVIRONMENTS SUPPORTING PA...

METHOD AND APPARATUS FOR EFFICIENT AND PRECISE DATARACE DETECTION F...

TARGET BRANCH PREDICTION USING CORRELATION OF LOCAL TARGET HISTORIES

Computer Implemented Method and System for Accurate, Efficient and...

BRANCH TARGET PREDICTION FOR MULTI-TARGET BRANCHES BY IDENTIFYING A...

COMPUTER-IMPLEMENTED METHOD, SYSTEM, AND PROGRAM PRODUCT FOR OPTIMI...

METHOD AND SYSTEM FOR OPTIMAL BINDING SELECTION FOR SERVICE ORIENTE...

Computer implemented method and system for accurate, efficient and...

System and method for target branch prediction using correlation of...

Computer-implemented method, system, and program product for deploy...

Facilitating processing within computing environments supporting pa...

Reader-initiated shared memory synchronization

Security optimization techniques for web applications

Branch target prediction for multi-target branches

Dynamic instrumentation for a mixed mode virtual machine

Method and apparatus for obtaining personal access information and...

Method and apparatus for anonymous group messaging in a distributed...

Method and apparatus for efficient and precise datarace detection f...

Static datarace detection for multithreaded object-oriented applica...