Cristina N. Cifuentes

Person

Forest Lake, AU

People

Patents Grantslast 30 patents

Information Patent Grant
Automated function category detection
- Patent number 11,822,459
- Issue date Nov 21, 2023
- Oracle International Corporation
- Mahinthan Chandramohan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Encoding dependencies in call graphs
- Patent number 11,204,746
- Issue date Dec 21, 2021
- Oracle International Corporation
- Sora Bae
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Buffer overflow detection based on a synthesis of assertions from t...
- Patent number 11,030,304
- Issue date Jun 8, 2021
- Oracle International Corporation
- Francois Gauthier
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Happens-before-based dynamic concurrency analysis for actor-based p...
- Patent number 10,719,425
- Issue date Jul 21, 2020
- Oracle International Corporation
- Nicholas John Allen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient timestamp solution for analyzing concurrent software systems
- Patent number 10,620,660
- Issue date Apr 14, 2020
- Oracle International Corporation
- Yang Zhao
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient model checking technique for finding software defects
- Patent number 9,208,057
- Issue date Dec 8, 2015
- Oracle International Corporation
- Manuel Javier Valdiviezo Basauri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Path-sensitive analysis framework for bug checking
- Patent number 9,189,318
- Issue date Nov 17, 2015
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for performing backward-driven path-sensitive dat...
- Patent number 8,893,102
- Issue date Nov 18, 2014
- Oracle International Corporation
- Nathan Robert Albert Keynes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient model checking technique for finding software defects
- Patent number 8,732,669
- Issue date May 20, 2014
- Oracle International Corporation
- Manuel Javier Valdiviezo Basauri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for overflow detection using partial evaluations
- Patent number 8,578,343
- Issue date Nov 5, 2013
- Oracle America, Inc.
- Bernhard F. Scholz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Layered static program analysis framework for software testing
- Patent number 8,527,965
- Issue date Sep 3, 2013
- Oracle America, Inc.
- Cristina N. Cifuentes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Context-sensitive analysis framework using value flows
- Patent number 8,516,443
- Issue date Aug 20, 2013
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Points-to analysis using value flow
- Patent number 8,473,927
- Issue date Jun 25, 2013
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for fast static taint analysis
- Patent number 8,327,339
- Issue date Dec 4, 2012
- Oracle America, Inc.
- Bernhard F. Scholz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for overflow detection using symbolic analysis
- Patent number 8,302,086
- Issue date Oct 30, 2012
- Oracle America, Inc.
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATED FUNCTION CATEGORY DETECTION
- Publication number 20220382664
- Publication date Dec 1, 2022
- ORACLE INTERNATIONAL CORPORATION
- Mahinthan Chandramohan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ENCODING DEPENDENCIES IN CALL GRAPHS
- Publication number 20210232377
- Publication date Jul 29, 2021
- ORACLE INTERNATIONAL CORPORATION
- Sora Bae
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BUFFER OVERFLOW DETECTION BASED ON A SYNTHESIS OF ASSERTIONS FROM T...
- Publication number 20200042697
- Publication date Feb 6, 2020
- ORACLE INTERNATIONAL CORPORATION
- Francois Gauthier
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HAPPENS-BEFORE-BASED DYNAMIC CONCURRENCY ANALYSIS FOR ACTOR-BASED P...
- Publication number 20190384695
- Publication date Dec 19, 2019
- ORACLE INTERNATIONAL CORPORATION
- Nicholas John Allen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT TIMESTAMP SOLUTION FOR ANALYZING CONCURRENT SOFTWARE SYSTEMS
- Publication number 20190294205
- Publication date Sep 26, 2019
- ORACLE INTERNATIONAL CORPORATION
- Yang ZHAO
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATH-SENSITIVE ANALYSIS FRAMEWORK FOR BUG CHECKING
- Publication number 20140344633
- Publication date Nov 20, 2014
- ORACLE INTERNATIONAL CORPORATION
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT MODEL CHECKING TECHNIQUE FOR FINDING SOFTWARE DEFECTS
- Publication number 20140229922
- Publication date Aug 14, 2014
- Oracle International Corporation
- Manuel Javier Valdiviezo Basauri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR PERFORMING BACKWARD-DRIVEN PATH-SENSITIVE DAT...
- Publication number 20130031531
- Publication date Jan 31, 2013
- Oracle International Corporation
- Nathan Robert Albert Keynes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
POINTS-TO ANALYSIS AS VALUE FLOW
- Publication number 20120304158
- Publication date Nov 29, 2012
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTEXT-SENSITIVE ANALYSIS FRAMEWORK USING VALUE FLOWS
- Publication number 20120304153
- Publication date Nov 29, 2012
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT MODEL CHECKING TECHNIQUE FOR FINDING SOFTWARE DEFECTS
- Publication number 20120233599
- Publication date Sep 13, 2012
- ORACLE INTERNATIONAL CORPORATION
- Manuel Javier Valdiviezo Basauri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for overflow detection USING PARTIAL EVALUATIONS
- Publication number 20110179400
- Publication date Jul 21, 2011
- SUN MICROSYSTEMS, INC.
- Bernhard F. Scholz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR OVERFLOW DETECTION USING SYMBOLIC ANALYSIS
- Publication number 20110154122
- Publication date Jun 23, 2011
- SUN MICROSYSTEMS, INC.
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR FAST STATIC TAINT ANALYSIS
- Publication number 20090328009
- Publication date Dec 31, 2009
- SUN MICROSYSTEMS, INC.
- Bernhard F. Scholz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LAYERED STATIC PROGRAM ANALYSIS FRAMEWORK FOR SOFTWARE TESTING
- Publication number 20090259989
- Publication date Oct 15, 2009
- SUN MICROSYSTEMS, INC.
- Cristina N. Cifuentes
- G06 - COMPUTING CALCULATING COUNTING

Cristina N. Cifuentes

Person

Patents Grantslast 30 patents

Automated function category detection

Encoding dependencies in call graphs

Buffer overflow detection based on a synthesis of assertions from t...

Happens-before-based dynamic concurrency analysis for actor-based p...

Efficient timestamp solution for analyzing concurrent software systems

Efficient model checking technique for finding software defects

Path-sensitive analysis framework for bug checking

Method and system for performing backward-driven path-sensitive dat...

Efficient model checking technique for finding software defects

System and method for overflow detection using partial evaluations

Layered static program analysis framework for software testing

Context-sensitive analysis framework using value flows

Points-to analysis using value flow

Method and system for fast static taint analysis

System and method for overflow detection using symbolic analysis

Patents Applicationslast 30 patents

AUTOMATED FUNCTION CATEGORY DETECTION

ENCODING DEPENDENCIES IN CALL GRAPHS

BUFFER OVERFLOW DETECTION BASED ON A SYNTHESIS OF ASSERTIONS FROM T...

HAPPENS-BEFORE-BASED DYNAMIC CONCURRENCY ANALYSIS FOR ACTOR-BASED P...

EFFICIENT TIMESTAMP SOLUTION FOR ANALYZING CONCURRENT SOFTWARE SYSTEMS

PATH-SENSITIVE ANALYSIS FRAMEWORK FOR BUG CHECKING

EFFICIENT MODEL CHECKING TECHNIQUE FOR FINDING SOFTWARE DEFECTS

METHOD AND SYSTEM FOR PERFORMING BACKWARD-DRIVEN PATH-SENSITIVE DAT...

POINTS-TO ANALYSIS AS VALUE FLOW

CONTEXT-SENSITIVE ANALYSIS FRAMEWORK USING VALUE FLOWS

EFFICIENT MODEL CHECKING TECHNIQUE FOR FINDING SOFTWARE DEFECTS

System and method for overflow detection USING PARTIAL EVALUATIONS

SYSTEM AND METHOD FOR OVERFLOW DETECTION USING SYMBOLIC ANALYSIS

METHOD AND SYSTEM FOR FAST STATIC TAINT ANALYSIS

LAYERED STATIC PROGRAM ANALYSIS FRAMEWORK FOR SOFTWARE TESTING