Inventor · disambiguated record
Gavin Mark Bierman
Also filed as: BIERMAN GAVIN · Bierman Gavin Mark
12 granted patents·2 pending applications·115 citations·filing 2004–2023
89Inventor score
Technology areasG06F
Top patents by PatentIndex Score
14 records- 0195US8762942B2Bidirectional type checking for declarative data scripting languageLANGWORTHY DAVID E·Filed 2008·Granted Jun 24, 2014·54 cites·12 claims
- 0285US7873592B2Type inference for object-oriented languagesMICROSOFT CORP·Filed 2007·Granted Jan 18, 2011·16 cites·13 claims
- 0377US10310827B2Flow-based scopingORACLE INT CORP·Filed 2018·Granted Jun 4, 2019·2 cites·20 claims
- 0476US7774376B1Type-system extensions for object-oriented language based on coercive subtyping with restrictionsMICROSOFT CORP·Filed 2004·Granted Aug 10, 2010·23 cites·18 claims
- 0575US11733985B2Accessing a migrated member in an updated typeORACLE INT CORP·Filed 2022·Granted Aug 22, 2023·0 cites·20 claims
- 0675US11599346B2Accessing a migrated member in an updated typeORACLE INT CORP·Filed 2022·Granted Mar 7, 2023·0 cites·20 claims
- 0775US10635420B2Overriding a migrated method in an updated typeORACLE INT CORP·Filed 2017·Granted Apr 28, 2020·1 cites·17 claims
- 0871US11347489B2Accessing a migrated member in an updated typeORACLE INT CORP·Filed 2020·Granted May 31, 2022·0 cites·19 claims
- 0968US8949784B2Type system for declarative data scripting languageLANGWORTHY DAVID E·Filed 2008·Granted Feb 3, 2015·4 cites·20 claims
- 1068US8413119B2Semantic subtyping for declarative data scripting language by calling a proverLANGWORTHY DAVID E·Filed 2008·Granted Apr 2, 2013·4 cites·20 claims
- 1165US7912863B1Compositional lifting of operations over structural typesMICROSOFT CORP·Filed 2004·Granted Mar 22, 2011·11 cites·39 claims
- 1260US10908886B2Accessing a migrated member in an updated typeORACLE INT CORP·Filed 2017·Granted Feb 2, 2021·0 cites·23 claims
- 1349US2024338186A1Compile-Time Checking For Exhaustive Switch Statements And ExpressionsORACLE INT CORP·Filed 2023·Application pending·0 cites
- 1440US2012047495A1Execution environment support for reactive programmingMEIJER HENRICUS JOHANNES MARIA·Filed 2010·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →