@inproceedings {288564,
	author = {Travis Hance and Yi Zhou and Andrea Lattuada and Reto Achermann and Alex Conway and Ryan Stutsman and Gerd Zellweger and Chris Hawblitzel and Jon Howell and Bryan Parno},
	title = {Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems},
	booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)},
	year = {2023},
	isbn = {978-1-939133-34-2},
	address = {Boston, MA},
	pages = {911--929},
	url = {https://www.usenix.org/conference/osdi23/presentation/hance},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {258969,
	author = {Travis Hance and Andrea Lattuada and Chris Hawblitzel and Jon Howell and Rob Johnson and Bryan Parno},
	title = {Storage Systems are Distributed Systems (So Verify Them That {Way!})},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {99--115},
	url = {https://www.usenix.org/conference/osdi20/presentation/hance},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {199309,
	author = {Atul Adya and Daniel Myers and Jon Howell and Jeremy Elson and Colin Meek and Vishesh Khemani and Stefan Fulger and Pan Gu and Lakshminath Bhuvanagiri and Jason Hunter and Roberto Peon and Larry Kai and Alexander Shraer and Arif Merchant and Kfir Lev-Ari},
	title = {Slicer: {Auto-Sharding} for Datacenter Applications},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)},
	year = {2016},
	isbn = {978-1-931971-33-1},
	address = {Savannah, GA},
	pages = {739--753},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/adya},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {186161,
	author = {Chris Hawblitzel and Jon Howell and Jacob R. Lorch and Arjun Narayan and Bryan Parno and Danfeng Zhang and Brian Zill},
	title = {Ironclad Apps: {End-to-End} Security via Automated {Full-System} Verification},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = { 978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {165--181},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {183943,
	author = {Jon Howell and Jeremy Elson and Bryan Parno and John R. Douceur},
	title = {Missive: Fast Application Launch From an Untrusted Buffer Cache},
	booktitle = {2014 USENIX Annual Technical Conference (USENIX ATC 14)},
	year = {2014},
	isbn = {978-1-931971-10-2},
	address = {Philadelphia, PA},
	pages = {145--156},
	url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/howell},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {180334,
	author = {Jon Howell and Bryan Parno and John R. Douceur},
	title = {Embassies: Radically Refactoring the Web},
	booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)},
	year = {2013},
	isbn = {978-1-931971-00-3},
	address = {Lombard, IL},
	pages = {529--545},
	url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/howell},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {179049,
	author = {Jon Howell and Bryan Parno and John R. Douceur},
	title = {How to Run {POSIX} Apps in a Minimal Picoprocess},
	booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)},
	year = {2013},
	isbn = {978-1-931971-01-0},
	address = {San Jose, CA},
	pages = {321--332},
	url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/howell},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {180250,
	author = {Edmund B. Nightingale and Jeremy Elson and Jinliang Fan and Owen Hofmann and Jon Howell and Yutaka Suzue},
	title = {Flat Datacenter Storage},
	booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)},
	year = {2012},
	isbn = {978-1-931971-96-6},
	address = {Hollywood, CA},
	pages = {1--15},
	url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/nightingale},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {184076,
	author = {James Mickens and Jeremy Elson and Jon Howell and Jay Lorch},
	title = {Crom: Faster Web Browsing Using Speculative Execution},
	booktitle = {7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10)},
	year = {2010},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/nsdi10-0/crom-faster-web-browsing-using-speculative-execution},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {183918,
	author = {James Mickens and Jeremy Elson and Jon Howell},
	title = {Mugshot: Deterministic Capture and Replay for {JavaScript} Applications},
	booktitle = {7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10)},
	year = {2010},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/nsdi10-0/mugshot-deterministic-capture-and-replay-javascript-applications},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {267353,
	author = {John R. Douceur and Jeremy Elson and Jon Howell and Jacob R. Lorch},
	title = {The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop},
	booktitle = {2010 USENIX Annual Technical Conference (USENIX ATC 10)},
	year = {2010},
	url = {https://www.usenix.org/conference/usenix-atc-10/utility-coprocessor-massively-parallel-computation-coffee-shop},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {267714,
	author = {Jeremy Elson and Jon Howell},
	title = {Refactoring Human Roles Solves Systems Problems},
	booktitle = {Workshop on Hot Topics in Cloud Computing (HotCloud 09)},
	year = {2009},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/hotcloud-09/refactoring-human-roles-solves-systems-problems},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {268205,
	author = {Jeremy Elson and Jon Howell},
	title = {Handling Flash Crowds from Your Garage},
	booktitle = {2008 USENIX Annual Technical Conference (USENIX ATC 08)},
	year = {2008},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/2008-usenix-annual-technical-conference/handling-flash-crowds-your-garage},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {267908,
	author = {John R. Douceur and Jeremy Elson and Jon Howell and Jacob R. Lorch},
	title = {Leveraging Legacy Code to Deploy Desktop Applications on the Web},
	booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)},
	year = {2008},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/osdi-08/leveraging-legacy-code-deploy-desktop-applications-web},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {268633,
	author = {Jon Howell and Collin Jackson},
	title = {{MashupOS}: Operating System Abstractions for Client Mashups},
	booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)},
	year = {2007},
	address = {San Diego, CA},
	url = {https://www.usenix.org/conference/hotos-xi/mashupos-operating-system-abstractions-client-mashups},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {268805,
	author = {John R. Douceur and Jon Howell},
	title = {Distributed Directory Service in the Farsite File System},
	booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)},
	year = {2006},
	address = {Seattle, WA},
	url = {https://www.usenix.org/conference/osdi-06/distributed-directory-service-farsite-file-system},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {270633,
	author = {Atul Adya and Jon Howell and Marvin Theimer and Bill Bolosky and John Douceur},
	title = {Cooperative Task Management Without Manual Stack Management},
	booktitle = {2002 USENIX Annual Technical Conference (USENIX ATC 02)},
	year = {2002},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/2002-usenix-annual-technical-conference/cooperative-task-management-without-manual-stack},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {270450,
	author = {Atul Adya and William J. Bolosky and Miguel Castro and Gerald Cermak and Ronnie Chaiken and John R. Douceur and Jon Howell and Jacob R. Lorch and Marvin Theimer and Roger P. Wattenhofer},
	title = {{FARSITE}: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/farsite-federated-available-and-reliable-storage-incompletely-trusted-environment},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {271165,
	author = {Jon Howell and David Kotz},
	title = {{End-to-End} Authorization},
	booktitle = {Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000)},
	year = {2000},
	address = {San Diego, CA },
	url = {https://www.usenix.org/conference/osdi-2000/end-end-authorization},
	publisher = {USENIX Association},
	month = oct
}
