Ivan POSVA

Person

Mountain View, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System of type inference for tuple graph programs
- Patent number 11,429,355
- Issue date Aug 30, 2022
- Google LLC
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of executing a tuple graph program across a network
- Patent number 10,887,235
- Issue date Jan 5, 2021
- Google LLC
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System of type inference for tuple graph programs method of executi...
- Patent number 10,642,582
- Issue date May 5, 2020
- Google LLC
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for intra-subgraph optimization in tuple graph programs
- Patent number 10,599,482
- Issue date Mar 24, 2020
- Google LLC
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Per-selector dispatch
- Patent number 9,201,797
- Issue date Dec 1, 2015
- Google Inc.
- Vyacheslav Egorov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrent atomic execution
- Patent number 8,949,583
- Issue date Feb 3, 2015
- Azul Systems, Inc.
- Gil Tene
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
External data source redirection in segmented virtual machine
- Patent number 8,356,297
- Issue date Jan 15, 2013
- Azul Systems, Inc.
- Ivan Posva
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Detecting software race conditions
- Patent number 8,230,271
- Issue date Jul 24, 2012
- Azul Systems, Inc.
- Daniel Dwight Grove
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrent atomic execution
- Patent number 7,865,701
- Issue date Jan 4, 2011
- Azul Systems, Inc.
- Gil Tene
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting software race conditions
- Patent number 7,844,862
- Issue date Nov 30, 2010
- Azul Systems, Inc.
- Daniel Dwight Grove
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic concurrent atomic execution
- Patent number 7,836,280
- Issue date Nov 16, 2010
- Azul Systems, Inc.
- Gil Tene
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory management
- Patent number 7,257,685
- Issue date Aug 14, 2007
- Azul Systems, Inc.
- Gil Tene
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory management
- Patent number 7,117,318
- Issue date Oct 3, 2006
- Azul Systems, Inc.
- Gil Tene
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
System Of Type Inference For Tuple Graph Programs Method Of Executi...
- Publication number 20200293292
- Publication date Sep 17, 2020
- Google LLC
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD OF EXECUTING A TUPLE GRAPH PROGRAM ACROSS A NETWORK
- Publication number 20190068504
- Publication date Feb 28, 2019
- Google Inc.
- Gautham Thambidorai
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
METHOD FOR INTRA-SUBGRAPH OPTIMIZATION IN TUPLE GRAPH PROGRAMS
- Publication number 20190065162
- Publication date Feb 28, 2019
- Google Inc.
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM OF TYPE INFERENCE FOR TUPLE GRAPH PROGRAMS METHOD OF EXECUTI...
- Publication number 20190065154
- Publication date Feb 28, 2019
- Google Inc.
- Gautham Thambidorai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PER-SELECTOR DISPATCH
- Publication number 20150324291
- Publication date Nov 12, 2015
- Google Inc.
- Vyacheslav EGOROV
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EAGER TOKENIZATION OF PROGRAMS AND DISTRIBUTION OF TOKEN SEQUENCES...
- Publication number 20150199187
- Publication date Jul 16, 2015
- Google Inc.
- Matthias HAUSNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMPLEMENT INLINE CACHE USING A DATA ARRAY
- Publication number 20150199186
- Publication date Jul 16, 2015
- Google Inc.
- Srjdan MITROVIC
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING SOFTWARE RACE CONDITIONS
- Publication number 20110041015
- Publication date Feb 17, 2011
- AZUL SYSTEMS, INC.
- Daniel Dwight Grove
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Memory management
- Publication number 20070067486
- Publication date Mar 22, 2007
- Gil Tene
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

System of type inference for tuple graph programs

Method of executing a tuple graph program across a network

System of type inference for tuple graph programs method of executi...

Method for intra-subgraph optimization in tuple graph programs

Per-selector dispatch

Concurrent atomic execution

External data source redirection in segmented virtual machine

Detecting software race conditions

Concurrent atomic execution

Detecting software race conditions

Dynamic concurrent atomic execution

Memory management

Memory management

Patents Applicationslast 30 patents

System Of Type Inference For Tuple Graph Programs Method Of Executi...

METHOD OF EXECUTING A TUPLE GRAPH PROGRAM ACROSS A NETWORK

METHOD FOR INTRA-SUBGRAPH OPTIMIZATION IN TUPLE GRAPH PROGRAMS

SYSTEM OF TYPE INFERENCE FOR TUPLE GRAPH PROGRAMS METHOD OF EXECUTI...

PER-SELECTOR DISPATCH

EAGER TOKENIZATION OF PROGRAMS AND DISTRIBUTION OF TOKEN SEQUENCES...

IMPLEMENT INLINE CACHE USING A DATA ARRAY

DETECTING SOFTWARE RACE CONDITIONS

Memory management