Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9733907 | System and method for testing compiler implementation using dynamic combinatorial test generation | Brian Goetz, Jonathan J. Gibbons | 2017-08-15 |
| 9582394 | Encapsulating and managing diagnostic information | Jonathan J. Gibbons, Alexander R. Buckley | 2017-02-28 |
| 9557974 | System and method for supporting compatibility checking for lambda expression | Brian Goetz, Daniel Smith | 2017-01-31 |
| 9542166 | System and method for inferring immutability of program variables | Brian Goetz, Alexander R. Buckley, Daniel Smith | 2017-01-10 |