Biblio

Export 19 results:
Filters: Author is Jon Howell  [Clear All Filters]
2023
Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B.  2023.  Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
2020
Hance T, Lattuada A, Hawblitzel C, Howell J, Johnson R, Parno B.  2020.  Storage Systems are Distributed Systems (So Verify Them That Way!). 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :99--115.
2016
Adya A, Myers D, Howell J, Elson J, Meek C, Khemani V, Fulger S, Gu P, Bhuvanagiri L, Hunter J et al..  2016.  Slicer: Auto-Sharding for Datacenter Applications. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :739--753.
2014
Hawblitzel C, Howell J, Lorch JR, Narayan A, Parno B, Zhang D, Zill B.  2014.  Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :165--181.
Howell J, Elson J, Parno B, Douceur JR.  2014.  Missive: Fast Application Launch From an Untrusted Buffer Cache. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :145--156.
2013
Howell J, Parno B, Douceur JR.  2013.  Embassies: Radically Refactoring the Web. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :529--545.
Howell J, Parno B, Douceur JR.  2013.  How to Run POSIX Apps in a Minimal Picoprocess. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :321--332.
2012
Nightingale EB, Elson J, Fan J, Hofmann O, Howell J, Suzue Y.  2012.  Flat Datacenter Storage. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :1--15.
2010
Mickens J, Elson J, Howell J, Lorch J.  2010.  Crom: Faster Web Browsing Using Speculative Execution. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
Mickens J, Elson J, Howell J.  2010.  Mugshot: Deterministic Capture and Replay for JavaScript Applications. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
Douceur JR, Elson J, Howell J, Lorch JR.  2010.  The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. 2010 USENIX Annual Technical Conference (USENIX ATC 10).
2009
Elson J, Howell J.  2009.  Refactoring Human Roles Solves Systems Problems. Workshop on Hot Topics in Cloud Computing (HotCloud 09).
2008
Elson J, Howell J.  2008.  Handling Flash Crowds from Your Garage. 2008 USENIX Annual Technical Conference (USENIX ATC 08).
Douceur JR, Elson J, Howell J, Lorch JR.  2008.  Leveraging Legacy Code to Deploy Desktop Applications on the Web. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
2007
Howell J, Jackson C.  2007.  MashupOS: Operating System Abstractions for Client Mashups. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
2006
Douceur JR, Howell J.  2006.  Distributed Directory Service in the Farsite File System. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
2002
Adya A, Howell J, Theimer M, Bolosky B, Douceur J.  2002.  Cooperative Task Management Without Manual Stack Management. 2002 USENIX Annual Technical Conference (USENIX ATC 02).
Adya A, Bolosky WJ, Castro M, Cermak G, Chaiken R, Douceur JR, Howell J, Lorch JR, Theimer M, Wattenhofer RP.  2002.  FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
2000
Howell J, Kotz D.  2000.  End-to-End Authorization. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).