Biblio

Export 18 results:
Filters: Author is Jon Howell  [Clear All Filters]
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).
2000
Howell J, Kotz D.  2000.  End-to-End Authorization. Fourth Symposium on Operating Systems Design and Implementation ({OSDI} 2000).