Gilad Bracha

Person

Los Altos, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method, system, and computer program product for implementing a mod...
- Patent number 7,895,156
- Issue date Feb 22, 2011
- Cadence Design Systems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reifying generic types while maintaining migration compatibility
- Patent number 7,810,077
- Issue date Oct 5, 2010
- Oracle America Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Allowing non-generified methods to override generified methods
- Patent number 7,735,070
- Issue date Jun 8, 2010
- Oracle America, Inc.
- Peter von der Ahe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Introspection support for local and anonymous classes
- Patent number 7,669,184
- Issue date Feb 23, 2010
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Supporting dynamically-typed languages in typed assembly languages
- Patent number 7,574,700
- Issue date Aug 11, 2009
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Protecting object identity in a language with built-in synchronizat...
- Patent number 7,458,061
- Issue date Nov 25, 2008
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fully lazy linking with module-by-module verification
- Patent number 7,444,648
- Issue date Oct 28, 2008
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and apparatus for type safe, lazy, user-defined class loading
- Patent number 7,197,511
- Issue date Mar 27, 2007
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Module-by-module verification
- Patent number 7,051,343
- Issue date May 23, 2006
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dataflow algorithm for symbolic computation of lowest upper bound type
- Patent number 6,766,521
- Issue date Jul 20, 2004
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fully lazy linking
- Patent number 6,763,397
- Issue date Jul 13, 2004
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for constructing dispatch tables which enable...
- Patent number 6,725,280
- Issue date Apr 20, 2004
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for performing method lookup in the presence o...
- Patent number 6,687,759
- Issue date Feb 3, 2004
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for preforming method lookup in the presence o...
- Patent number 6,687,760
- Issue date Feb 3, 2004
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for dispatch table construction
- Patent number 6,643,711
- Issue date Nov 4, 2003
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Module-by-module verification
- Patent number 6,618,769
- Issue date Sep 9, 2003
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Caching untrusted modules for module-by-module verification
- Patent number 6,618,855
- Issue date Sep 9, 2003
- Sun Microsystems, Inc.
- Timothy G. Lindholm
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fully lazy linking with module-by-module verification
- Patent number 6,601,114
- Issue date Jul 29, 2003
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods and apparatus for type safe, lazy, user-defined class loading
- Patent number 6,430,569
- Issue date Aug 6, 2002
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for dispatch table construction
- Patent number 6,393,491
- Issue date May 21, 2002
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method, System, and Computer Program Product for Implementing a Mod...
- Publication number 20090172042
- Publication date Jul 2, 2009
- Cadence Design Systems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Introspection support for local and anonymous classes
- Publication number 20070006141
- Publication date Jan 4, 2007
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Allowing non-generified methods to override generified methods
- Publication number 20070006138
- Publication date Jan 4, 2007
- Peter von der Ahe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Reifying generic types while maintaining migration compatibility
- Publication number 20060236315
- Publication date Oct 19, 2006
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Supporting dynamically-typed languages in typed assembly languages
- Publication number 20060225045
- Publication date Oct 5, 2006
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Module-by-module verification
- Publication number 20040045019
- Publication date Mar 4, 2004
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Protecting object identity in a language with built-in synchronizat...
- Publication number 20040039746
- Publication date Feb 26, 2004
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Fully lazy linking with module-by-module verification
- Publication number 20030233491
- Publication date Dec 18, 2003
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Methods and apparatus for type safe, lazy, user-defined class loading
- Publication number 20020133643
- Publication date Sep 19, 2002
- Sun Microsystems, Inc.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for dispatch table construction
- Publication number 20020107996
- Publication date Aug 8, 2002
- SUN MICROSYSTEMS, INC.
- Gilad Bracha
- G06 - COMPUTING CALCULATING COUNTING

Gilad Bracha

Person

Patents Grantslast 30 patents

Method, system, and computer program product for implementing a mod...

Reifying generic types while maintaining migration compatibility

Allowing non-generified methods to override generified methods

Introspection support for local and anonymous classes

Supporting dynamically-typed languages in typed assembly languages

Protecting object identity in a language with built-in synchronizat...

Fully lazy linking with module-by-module verification

Methods and apparatus for type safe, lazy, user-defined class loading

Module-by-module verification

Dataflow algorithm for symbolic computation of lowest upper bound type

Fully lazy linking

Method and apparatus for constructing dispatch tables which enable...

Method and apparatus for performing method lookup in the presence o...

Method and apparatus for preforming method lookup in the presence o...

Method and apparatus for dispatch table construction

Module-by-module verification

Caching untrusted modules for module-by-module verification

Fully lazy linking with module-by-module verification

Methods and apparatus for type safe, lazy, user-defined class loading

Method and apparatus for dispatch table construction

Patents Applicationslast 30 patents

Method, System, and Computer Program Product for Implementing a Mod...

Introspection support for local and anonymous classes

Allowing non-generified methods to override generified methods

Reifying generic types while maintaining migration compatibility

Supporting dynamically-typed languages in typed assembly languages

Module-by-module verification

Protecting object identity in a language with built-in synchronizat...

Fully lazy linking with module-by-module verification

Methods and apparatus for type safe, lazy, user-defined class loading

Method and apparatus for dispatch table construction