Nathan Robert Albert Keynes

Person

Kuraby, AU

People

Patents Grantslast 30 patents

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
Verification of software-defined networking (SDN) policies for spec...
- Patent number 11,159,381
- Issue date Oct 26, 2021
- Oracle International Corporation
- Henry John O'Brien
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
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
Path-sensitive static analysis
- Patent number 10,949,336
- Issue date Mar 16, 2021
- Oracle International Corporation
- Nathan Robert Albert Keynes
- 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
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
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
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

Patents Applicationslast 30 patents

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
VERIFICATION OF SOFTWARE-DEFINED NETWORKING (SDN) POLICIES FOR SPEC...
- Publication number 20210036926
- Publication date Feb 4, 2021
- ORACLE INTERNATIONAL CORPORATION
- Henry John O'Brien
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
PATH-SENSITIVE STATIC ANALYSIS
- Publication number 20200310951
- Publication date Oct 1, 2020
- ORACLE INTERNATIONAL CORPORATION
- Nathan Robert Albert Keynes
- 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
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

Nathan Robert Albert Keynes

Person

Patents Grantslast 30 patents

Encoding dependencies in call graphs

Verification of software-defined networking (SDN) policies for spec...

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

Path-sensitive static analysis

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

Efficient timestamp solution for analyzing concurrent software systems

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

System and method for overflow detection using partial evaluations

Context-sensitive analysis framework using value flows

Points-to analysis using value flow

Patents Applicationslast 30 patents

ENCODING DEPENDENCIES IN CALL GRAPHS

VERIFICATION OF SOFTWARE-DEFINED NETWORKING (SDN) POLICIES FOR SPEC...

PATH-SENSITIVE STATIC ANALYSIS

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

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