USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 20 results:
Filters: Author is Jon Howell [Clear All Filters]
Anvil: Verifying Liveness of Cluster Management Controllers. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI 24). :649--666.
.
2024. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
.
2023. Storage Systems are Distributed Systems (So Verify Them That Way!). 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :99--115.
.
2020. Slicer: Auto-Sharding for Datacenter Applications. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :739--753.
.
2016. Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :165--181.
.
2014. Missive: Fast Application Launch From an Untrusted Buffer Cache. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :145--156.
.
2014. Embassies: Radically Refactoring the Web. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :529--545.
.
2013. How to Run POSIX Apps in a Minimal Picoprocess. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :321--332.
.
2013. Flat Datacenter Storage. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :1--15.
.
2012. Crom: Faster Web Browsing Using Speculative Execution. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
.
2010. Mugshot: Deterministic Capture and Replay for JavaScript Applications. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
.
2010. The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. 2010 USENIX Annual Technical Conference (USENIX ATC 10).
.
2010. Refactoring Human Roles Solves Systems Problems. Workshop on Hot Topics in Cloud Computing (HotCloud 09).
.
2009. Handling Flash Crowds from Your Garage. 2008 USENIX Annual Technical Conference (USENIX ATC 08).
.
2008. Leveraging Legacy Code to Deploy Desktop Applications on the Web. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
.
2008. MashupOS: Operating System Abstractions for Client Mashups. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
.
2007. Distributed Directory Service in the Farsite File System. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
.
2006. Cooperative Task Management Without Manual Stack Management. 2002 USENIX Annual Technical Conference (USENIX ATC 02).
.
2002. FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
.
2002. End-to-End Authorization. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).
.
2000.