| 10824716 |
Executing native-code applications in a browser |
Jacob R. Lorch, Jeremy E. Elson, John R. Douceur |
2020-11-03 |
$231,945,000 |
| 10762195 |
Protection and communication abstractions for web browsers |
Helen Wang, Xiaofeng Fan, Collin Edward Jackson, Zhenbin Xu |
2020-09-01 |
$133,035,000 |
| 10218688 |
Creating awareness of accessed to privacy-sensitive devices |
Stuart Schechter |
2019-02-26 |
$52,330,000 |
| 10148442 |
End-to-end security for hardware running verified software |
Chris Hawblitzel, Jacob R. Lorch, Brian D. Zill, Bryan Jeffrey Parno |
2018-12-04 |
$68,963,000 |
| 10019570 |
Protection and communication abstractions for web browsers |
Jiahe Helen Wang, Xiaofeng Fan, Collin Edward Jackson, Zhenbin Xu |
2018-07-10 |
$63,082,000 |
| 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 |
$29,269,000 |
| 9588803 |
Executing native-code applications in a browser |
Jacob R. Lorch, Jeremy E. Elson, John R. Douceur |
2017-03-07 |
$28,472,000 |
| 9536093 |
Automated verification of a software system |
Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Brian D. Zill |
2017-01-03 |
$30,922,000 |
| 9363087 |
End-to-end security for hardware running verified software |
Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Brian D. Zill |
2016-06-07 |
$39,883,000 |
| 9026952 |
Creating awareness of accesses to privacy-sensitive devices |
Stuart Schechter |
2015-05-05 |
$43,588,000 |
| 8903705 |
Application compatibility shims for minimal client computers |
John R. Douceur, Arun M. Seehra |
2014-12-02 |
$33,198,000 |
| 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 |
$30,051,000 |
| 8549106 |
Leveraging remote server pools for client applications |
Jeremy E. Elson, John R. Douceur, Jacob R. Lorch |
2013-10-01 |
$29,148,000 |
| 8533299 |
Locator table and client library for datacenters |
Edmund B. Nightingale, Jeremy E. Elson, Galen C. Hunt |
2013-09-10 |
$23,590,000 |
| 8447833 |
Reading and writing during cluster growth phase |
Edmund B. Nightingale, Jeremy E. Elson |
2013-05-21 |
$24,092,000 |
| 8438244 |
Bandwidth-proportioned datacenters |
Edmund B. Nightingale, Jeremy E. Elson, Galen C. Hunt, David A. Maltz |
2013-05-07 |
$27,755,000 |
| 8368695 |
Transforming offline maps into interactive online maps |
Jeremy E. Elson, John R. Douceur |
2013-02-05 |
$10,554,000 |
| 8335991 |
Secure application interoperation via user interface gestures |
John R. Douceur |
2012-12-18 |
$33,421,000 |
| 8209741 |
Human performance in human interactive proofs using partial credit |
Jeremy E. Elson, John R. Douceur |
2012-06-26 |
$23,366,000 |
| 8181061 |
Memory management and recovery for datacenters |
Edmund B. Nightingale, Jeremy E. Elson, Galen C. Hunt |
2012-05-15 |
$19,036,000 |
| 8139872 |
Splitting file types within partitioned images |
Jeremy E. Elson, John R. Douceur |
2012-03-20 |
$19,292,000 |
| 8140646 |
Network application performance enhancement using speculative execution |
James W. Mickens, Jacob R. Lorch, Jeremy E. Elson, Edmund B. Nightingale |
2012-03-20 |
$19,292,000 |
| 8135987 |
Collection ordering for replicated state machines |
John R. Douceur, Jacob R. Lorch |
2012-03-13 |
$22,667,000 |
| 8104070 |
Interest aligned manual image categorization for human interactive proofs |
John R. Douceur, Jeremy E. Elson |
2012-01-24 |
$16,228,000 |
| 8046413 |
Automatic commutativity detection for generalized paxos |
Jacob R. Lorch, John R. Douceur, Leslie B. Lamport |
2011-10-25 |
$24,710,000 |
