Issued Patents All Time
Showing 51–72 of 72 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9772828 | Structural identification of dynamically generated, pattern-instantiation, generated classes | John R. Rose | 2017-09-26 |
| 9766923 | Preventing unsafe sharing through confinement of mutable captured variables | Alexander R. Buckley | 2017-09-19 |
| 9733907 | System and method for testing compiler implementation using dynamic combinatorial test generation | Jonathan J. Gibbons, Maurizio Cimadamore | 2017-08-15 |
| 9690709 | Variable handles | Paul D. Sandoz, John R. Rose | 2017-06-27 |
| 9678729 | Dependency-driven co-specialization of specialized classes | John R. Rose, Alexander R. Buckley | 2017-06-13 |
| 9626488 | Java store television | Bernard A. Traversat, Mohamed M. Abdelaziz, Michael J. Duigou, Henry C. Jen | 2017-04-18 |
| 9557974 | System and method for supporting compatibility checking for lambda expression | Daniel Smith, Maurizio Cimadamore | 2017-01-31 |
| 9542166 | System and method for inferring immutability of program variables | Alexander R. Buckley, Daniel Smith, Maurizio Cimadamore | 2017-01-10 |
| 9524175 | Target typing of overloaded method and constructor arguments | Maurizio Cimadamore, Daniel Smith | 2016-12-20 |
| 9524152 | Partial specialization of generic classes | John R. Rose, Alexander R. Buckley | 2016-12-20 |
| 9519468 | Modular co-versioning in a dynamically linked runtime environment | Paul D. Sandoz | 2016-12-13 |
| 9489184 | Adaptive selection of programming language versions for compilation of software programs | Alexander R. Buckley | 2016-11-08 |
| 9483242 | Wholesale replacement of specialized classes in a runtime environments | John R. Rose, Paul Govereau | 2016-11-01 |
| 9477450 | Manual refinement of specialized classes in runtime environments | John R. Rose, Alexander R. Buckley | 2016-10-25 |
| 9465627 | Binding-based characterization of closures in software programs | Alexander R. Buckley | 2016-10-11 |
| 9195442 | System and method for compiling lambda expression in a programming language environment | Daniel Smith, Maurizio Cimadamore | 2015-11-24 |
| 9170825 | Interface method resolution for virtual extension methods | Alexander R. Buckley | 2015-10-27 |
| 8930765 | Systems and methods for feedback driven regression testing | Maurizio Cimadamore | 2015-01-06 |
| 8881126 | Systems and methods for testing a compiler through compile-time decision feedback | Maurizio Cimadamore | 2014-11-04 |
| 8813049 | Type inference of partially-specified parameterized types | Alexander R. Buckley, Joseph D. Darcy, Maurizio Cimadamore | 2014-08-19 |
| 8782644 | Preventing unsafe sharing through confinement of mutable captured variables | Alexander R. Buckley | 2014-07-15 |
| 8161084 | Memory management of soft references | Antonios Printezis | 2012-04-17 |