Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9557974 | System and method for supporting compatibility checking for lambda expression | Brian Goetz, Maurizio Cimadamore | 2017-01-31 |
| 9542166 | System and method for inferring immutability of program variables | Brian Goetz, Alexander R. Buckley, Maurizio Cimadamore | 2017-01-10 |