Issued Patents All Time
Showing 26–50 of 72 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10789070 | Synchronizing a set of code branches | Maurizio Cimadamore | 2020-09-29 |
| 10740115 | Structural identification of dynamically-generated, pattern-based classes | John R. Rose | 2020-08-11 |
| 10719337 | Container-based language runtime loading an isolated method | Michael Haupt, John R. Rose | 2020-07-21 |
| 10635420 | Overriding a migrated method in an updated type | John R. Rose, Gavin Mark Bierman | 2020-04-28 |
| 10606614 | Container-based language runtime using a variable-sized container for an isolated method | Michael Haupt, John R. Rose | 2020-03-31 |
| 10540148 | Complex constants | John R. Rose | 2020-01-21 |
| 10528330 | System and method for supporting compatibility checking for lambda expression | Daniel Smith, Maurizio Cimadamore | 2020-01-07 |
| 10496417 | Modular co-versioning in a dynamically linked runtime environment | Paul D. Sandoz | 2019-12-03 |
| 10466975 | Execution of parameterized classes on legacy virtual machines to generate instantiation metadata | Maurizio Cimadamore | 2019-11-05 |
| 10409559 | Single-source-base compilation for multiple target environments | Maurizio Cimadamore | 2019-09-10 |
| 10387153 | Synchronizing a set of code branches | Maurizio Cimadamore | 2019-08-20 |
| 10373139 | Java store television | Bernard A. Traversat, Mohamed M. Abdelaziz, Michael J. Duigou, Henry C. Jen | 2019-08-06 |
| 10310827 | Flow-based scoping | Gavin Mark Bierman, Guy L. Steele, Jr. | 2019-06-04 |
| 10303449 | Compiling non-native constants | Maurizio Cimadamore, Vicente A. Romero Zaldivar | 2019-05-28 |
| 10303467 | Target typing-dependent combinatorial code analysis | Maurizio Cimadamore | 2019-05-28 |
| 10275226 | Structural representation of generic type variable in a nominally typed virtual machine | Maurizio Cimadamore | 2019-04-30 |
| 10261764 | Handling value types | John R. Rose, Guy L. Steele, Jr. | 2019-04-16 |
| 10209970 | System and method for supporting compatibility checking for lambda expression | Daniel Smith, Maurizio Cimadamore | 2019-02-19 |
| 10175998 | Container-based language runtime loading an isolated method | Michael Haupt, John R. Rose | 2019-01-08 |
| 10073684 | Adaptive selection of programming language versions for compilation of software programs | Alexander R. Buckley | 2018-09-11 |
| 10055208 | Extending a virtual machine instruction set architecture | Michael Haupt, Maurizio Cimadamore | 2018-08-21 |
| 9910680 | Decomposing a generic class into layers | John R. Rose | 2018-03-06 |
| 9891900 | Generation of specialized methods based on generic methods and type parameterizations | John R. Rose, Maurizio Cimadamore | 2018-02-13 |
| 9798529 | Java store | Bernard A. Traversat, James A. Gosling, Michael J. Duigou, Henry C. Jen, Mohamed M. Abdelaziz | 2017-10-24 |
| 9785456 | Metadata-driven dynamic specialization | John R. Rose, Alexander R. Buckley | 2017-10-10 |