Issued Patents All Time
Showing 25 most recent of 35 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10824716 | Executing native-code applications in a browser | Jacob R. Lorch, Jeremy E. Elson, John R. Douceur | 2020-11-03 |
| 10762195 | Protection and communication abstractions for web browsers | Helen Wang, Xiaofeng Fan, Collin Edward Jackson, Zhenbin Xu | 2020-09-01 |
| 10218688 | Creating awareness of accessed to privacy-sensitive devices | Stuart Schechter | 2019-02-26 |
| 10148442 | End-to-end security for hardware running verified software | Chris Hawblitzel, Jacob R. Lorch, Brian D. Zill, Bryan Jeffrey Parno | 2018-12-04 |
| 10019570 | Protection and communication abstractions for web browsers | Jiahe Helen Wang, Xiaofeng Fan, Collin Edward Jackson, Zhenbin Xu | 2018-07-10 |
| 9753754 | Enforcing deterministic execution of threads of guest operating systems running in a virtual machine hosted on a multiprocessor machine | Eric P. Traut, Jacob R. Lorch, John R. Douceur | 2017-09-05 |
| 9588803 | Executing native-code applications in a browser | Jacob R. Lorch, Jeremy E. Elson, John R. Douceur | 2017-03-07 |
| 9536093 | Automated verification of a software system | Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Brian D. Zill | 2017-01-03 |
| 9363087 | End-to-end security for hardware running verified software | Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Brian D. Zill | 2016-06-07 |
| 9026952 | Creating awareness of accesses to privacy-sensitive devices | Stuart Schechter | 2015-05-05 |
| 8903705 | Application compatibility shims for minimal client computers | John R. Douceur, Arun M. Seehra | 2014-12-02 |
| 8749585 | Adding custom content to mapping applications | Keith Robert Kinnan, Chandrasekhar Thota, Jaya Bhatia, Jeremy E. Elson, Danyel A. Fisher +2 more | 2014-06-10 |
| 8549106 | Leveraging remote server pools for client applications | Jeremy E. Elson, John R. Douceur, Jacob R. Lorch | 2013-10-01 |
| 8533299 | Locator table and client library for datacenters | Edmund B. Nightingale, Jeremy E. Elson, Galen C. Hunt | 2013-09-10 |
| 8447833 | Reading and writing during cluster growth phase | Edmund B. Nightingale, Jeremy E. Elson | 2013-05-21 |
| 8438244 | Bandwidth-proportioned datacenters | Edmund B. Nightingale, Jeremy E. Elson, Galen C. Hunt, David A. Maltz | 2013-05-07 |
| 8368695 | Transforming offline maps into interactive online maps | Jeremy E. Elson, John R. Douceur | 2013-02-05 |
| 8335991 | Secure application interoperation via user interface gestures | John R. Douceur | 2012-12-18 |
| 8209741 | Human performance in human interactive proofs using partial credit | Jeremy E. Elson, John R. Douceur | 2012-06-26 |
| 8181061 | Memory management and recovery for datacenters | Edmund B. Nightingale, Jeremy E. Elson, Galen C. Hunt | 2012-05-15 |
| 8139872 | Splitting file types within partitioned images | Jeremy E. Elson, John R. Douceur | 2012-03-20 |
| 8140646 | Network application performance enhancement using speculative execution | James W. Mickens, Jacob R. Lorch, Jeremy E. Elson, Edmund B. Nightingale | 2012-03-20 |
| 8135987 | Collection ordering for replicated state machines | John R. Douceur, Jacob R. Lorch | 2012-03-13 |
| 8104070 | Interest aligned manual image categorization for human interactive proofs | John R. Douceur, Jeremy E. Elson | 2012-01-24 |
| 8046413 | Automatic commutativity detection for generalized paxos | Jacob R. Lorch, John R. Douceur, Leslie B. Lamport | 2011-10-25 |