Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12111957 | Software provenance validation | Claire Novotny, Jason Shaver, Jobst-Immo Landwerth, Richard Steele Gibson, Tomas Matousek | 2024-10-08 |
| 12079595 | Runtime support for role types that extend underlying types | David Charles Wrighton, Julien Couvreur, Stephen H. Toub, Mads Torgersen | 2024-09-03 |
| 11972237 | Member invocation declarative interception | David Fowler, Jan Kotas, Stephen H. Toub, Richard Steele Gibson, Andrew Spenser Gocke +2 more | 2024-04-30 |
| 11372630 | Efficient immutable syntax representation with incremental change | Matthew J. Warren, Mads Torgersen, Renaud Paquay, Neal M. Gafter, David N. Schach +4 more | 2022-06-28 |
| 10564944 | Efficient immutable syntax representation with incremental change | Matthew J. Warren, Avner Y. Aharoni, Mads Torgersen, Renaud Paquay, Neal M. Gafter +5 more | 2020-02-18 |
| 9971578 | Reference attribute annotation signifying no external reference | John Duffy, Michael Sinz, Alexander Daniel Bromfield | 2018-05-15 |
| 9740460 | Resource access safety through immutable object types | John Duffy, Michael Sinz, Aleksandra Nadia Culver, Krzysztof J. Cwalina | 2017-08-22 |
| 9286039 | Operating system support for contracts | John Duffy, Colin Gordon, Alexander Daniel Bromfield, Martin Taillefer, David Bartolomeo +1 more | 2016-03-15 |
| 9229959 | Object graph partial immutability and isolation enforcement | G. Shon Katzenberger, Alexander Daniel Bromfield, John Duffy, Krzysztof J. Cwalina | 2016-01-05 |
| 9098269 | System and method to ensure resource access safety with immutable object types | John Duffy, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina | 2015-08-04 |