@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 {203642,
	author = {Barry Bond and Chris Hawblitzel and Manos Kapritsos and K. Rustan M. Leino and Jacob R. Lorch and Bryan Parno and Ashay Rane and Srinath Setty and Laure Thompson},
	title = {Vale: Verifying {High-Performance} Cryptographic Assembly Code},
	booktitle = {26th USENIX Security Symposium (USENIX Security 17)},
	year = {2017},
	isbn = {978-1-931971-40-9},
	address = {Vancouver, BC},
	pages = {917--934},
	url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {187020,
	author = {Andrew Baumann and Chris Hawblitzel and Kornilios Kourtis and Tim Harris and Timothy Roscoe},
	title = {Cosh: Clear {OS} Data Sharing In An Incoherent World},
	booktitle = {2014 Conference on Timely Results in Operating Systems (TRIOS 14)},
	year = {2014},
	address = {Broomfield, CO},
	url = {https://www.usenix.org/conference/trios14/technical-sessions/presentation/baumann},
	publisher = {USENIX Association},
	month = oct
}
@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 {270408,
	author = {Chris Hawblitzel and Thorsten von Eicken},
	title = {Luna: A Flexible Java Protection System},
	booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)},
	year = {2002},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/osdi-02/luna-flexible-java-protection-system},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {261354,
	author = {Chris Hawblitzel and Chi-Chao Chang and Grzegorz Czajkowski and Deyu Hu and Thorsten von Eicken},
	title = {Implementing Multiple Protection Domains in Java},
	booktitle = {1998 USENIX Annual Technical Conference (USENIX ATC 98)},
	year = {1998},
	address = {New Orleans, LA},
	url = {https://www.usenix.org/conference/1998-usenix-annual-technical-conference/implementing-multiple-protection-domains-java},
	publisher = {USENIX Association},
	month = jun
}
