Issued Patents All Time
Showing 1–18 of 18 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10558501 | Resource allocation for computer processing | Robert Bradshaw, Rafael de Jesús Fernández Moctezuma, Daniel Mills, Samuel Green McVeety, Samuel Carl Whittle +9 more | 2020-02-11 |
| 9904541 | Semantic baselining | Shuvendu K. Lahiri, Francesco Logozzo, Sam Blackshear | 2018-02-27 |
| 9436502 | Eventually consistent storage and transactions in cloud based environment | Sebastian Burckhardt, Daniel Johannes Pieter Leijen, Benjamin P. Wood | 2016-09-06 |
| 9104528 | Controlling the release of private information using static flow analysis | Xusheng Xiao, Nikolai Tillmann, Jonathan Paul de Halleux, Michal J. Moskal | 2015-08-11 |
| 8959496 | Automatic parallelization in a tracing just-in-time compiler system | Wolfram Schulte, Nikolai Tillmann, Michal J. Moskal, Daniel J P Leijen, Barend H. Venter | 2015-02-17 |
| 8782607 | Contract failure behavior with escalation policy | Melitta Andersen, Michael Barnett, Brian Grunkemeyer, Katherine E. King, Michael M. Magruder +2 more | 2014-07-15 |
| 8250524 | Contract programming for code error reduction | Michael Barnett, Brian Grunkemeyer, Wolfram Schulte | 2012-08-21 |
| 8074231 | Configuration of isolated extensions and device drivers | Galen C. Hunt, James R. Larus, Orion Hodson, David Tarditi, Michael F. Spear +3 more | 2011-12-06 |
| 8032898 | Kernel interface with categorized kernel objects | Galen C. Hunt, James R. Larus, Bjarne Steensgaard, David Tarditi, Brian D. Zill | 2011-10-04 |
| 7882317 | Process isolation using protection domains | Galen C. Hunt, Chris Hawblitzel, James R. Larus, Mark Aiken | 2011-02-01 |
| 7865934 | Access-control permissions with inter-process message-based communications | Edward P. Wobber, Ulfar Erlingsson, Martin Abadi | 2011-01-04 |
| 7600232 | Inter-process communications employing bi-directional message conduits | Galen C. Hunt, James R. Larus, Edward P. Wobber, Martin Abadi, John D. DeTreville | 2009-10-06 |
| 7584458 | Source code annotation language | Manuvir Das, Ramanathan Venkatapathy, Daniel Weise, William Hunter Hudson, Sameet Agarwal +4 more | 2009-09-01 |
| 7526755 | Plug-in pre- and postconditions for static program analysis | Robert DeLine | 2009-04-28 |
| 7500232 | Methods for enhancing flow analysis | Manuvir Das, Jakob Rehof | 2009-03-03 |
| 7451435 | Self-describing artifacts and application abstractions | Galen C. Hunt, Thomas Roeder, James R. Larus, John D. DeTreville, Steven P. Levi +2 more | 2008-11-11 |
| 7421680 | Persisted specifications of method pre-and post-conditions for static checking | Robert DeLine | 2008-09-02 |
| 6813761 | Methods for enhancing flow analysis | Manuvir Das, Jakob Rehof | 2004-11-02 |