P

Inventor

KEYNES NATHAN ROBERT ALBERT

AU10 patents
⚠️ This page may combine multiple inventors who share the name “KEYNES NATHAN ROBERT ALBERT”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

ORACLE INT CORP

5 patents
US11159381B2Oct 26, 2021

Verification of software-defined networking (SDN) policies for specific topologies

ORACLE INT CORP2 citations66
US10949336B2Mar 16, 2021

Path-sensitive static analysis

ORACLE INT CORP0 citations51
US11204746B2Dec 21, 2021

Encoding dependencies in call graphs

ORACLE INT CORP0 citations46
US10620660B2Apr 14, 2020

Efficient timestamp solution for analyzing concurrent software systems

ORACLE INT CORP0 citations46
US10719425B2Jul 21, 2020

Happens-before-based dynamic concurrency analysis for actor-based programs

ORACLE INT CORP0 citations36

LI LIAN

3 patents
US8516443B2Aug 20, 2013

Context-sensitive analysis framework using value flows

LI LIAN51 citations92
US8473927B2Jun 25, 2013

Points-to analysis using value flow

LI LIAN2 citations60
US8302086B2Oct 30, 2012

System and method for overflow detection using symbolic analysis

LI LIAN4 citations60

KEYNES NATHAN ROBERT ALBERT

1 patent
US8893102B2Nov 18, 2014

Method and system for performing backward-driven path-sensitive dataflow analysis

KEYNES NATHAN ROBERT ALBERT8 citations78

SCHOLZ BERNHARD F

1 patent
US8578343B2Nov 5, 2013

System and method for overflow detection using partial evaluations

SCHOLZ BERNHARD F1 citations47