@inproceedings {288544,
	author = {Yun-Sheng Chang and Ralf Jung and Upamanyu Sharma and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich},
	title = {Verifying {vMVCC}, a high-performance transaction library using multi-version concurrency control},
	booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)},
	year = {2023},
	isbn = {978-1-939133-34-2},
	address = {Boston, MA},
	pages = {871--886},
	url = {https://www.usenix.org/conference/osdi23/presentation/chang},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {280912,
	author = {Anish Athalye and M. Frans Kaashoek and Nickolai Zeldovich},
	title = {Verifying Hardware Security Modules with {Information-Preserving} Refinement},
	booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
	year = {2022},
	isbn = {978-1-939133-28-1},
	address = {Carlsbad, CA},
	pages = {503--519},
	url = {https://www.usenix.org/conference/osdi22/presentation/athalye},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {280854,
	author = {Tej Chajed and Joseph Tassarotti and Mark Theng and M. Frans Kaashoek and Nickolai Zeldovich},
	title = {Verifying the {DaisyNFS} concurrent and crash-safe file system with sequential reasoning},
	booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)},
	year = {2022},
	isbn = {978-1-939133-28-1},
	address = {Carlsbad, CA},
	pages = {447--463},
	url = {https://www.usenix.org/conference/osdi22/presentation/chajed},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {273703,
	author = {Tej Chajed and Joseph Tassarotti and Mark Theng and Ralf Jung and M. Frans Kaashoek and Nickolai Zeldovich},
	title = {GoJournal: a verified, concurrent, crash-safe journaling system},
	booktitle = {15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21)},
	year = {2021},
	isbn = {978-1-939133-22-9},
	pages = {423--439},
	url = {https://www.usenix.org/conference/osdi21/presentation/chajed},
	publisher = {{USENIX} Association},
	month = jul
}
@inproceedings {258977,
	author = {Jonathan Behrens and Anton Cao and Cel Skeggs and Adam Belay and M. Frans Kaashoek and Nickolai Zeldovich},
	title = {Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract},
	booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)},
	year = {2020},
	isbn = {978-1-939133-19-9},
	pages = {1139--1154},
	url = {https://www.usenix.org/conference/osdi20/presentation/behrens},
	publisher = {USENIX Association},
	month = nov
}
@inproceedings {222627,
	author = {Cody Cutler and M. Frans Kaashoek and Robert T. Morris},
	title = {The benefits and costs of writing a {POSIX} kernel in a high-level language},
	booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)},
	year = {2018},
	isbn = {978-1-939133-08-3},
	address = {Carlsbad, CA},
	pages = {89--105},
	url = {https://www.usenix.org/conference/osdi18/presentation/cutler},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {222635,
	author = {Jon Gjengset and Malte Schwarzkopf and Jonathan Behrens and Lara Timb{\'o} Ara{\'u}jo and Martin Ek and Eddie Kohler and M. Frans Kaashoek and Robert Morris},
	title = {Noria: dynamic, partially-stateful data-flow for high-performance web applications},
	booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)},
	year = {2018},
	isbn = {978-1-939133-08-3},
	address = {Carlsbad, CA},
	pages = {213--231},
	url = {https://www.usenix.org/conference/osdi18/presentation/gjengset},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {196219,
	author = {Haogang Chen and Daniel Ziegler and Tej Chajed and Adam Chlipala and M. Frans Kaashoek and Nickolai Zeldovich},
	title = {Using Crash Hoare Logic for Certifying the {FSCQ} File System},
	booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)},
	year = {2016},
	address = {Denver, CO},
	url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/chen_haogang},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {189918,
	author = {Tej Chajed and Jon Gjengset and Jelle van den Hooff and M. Frans Kaashoek and James Mickens and Robert Morris and Nickolai Zeldovich},
	title = {Amber: Decoupling User Data from Web Applications},
	booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)},
	year = {2015},
	address = {Kartause Ittingen, Switzerland},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/chajed},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {189922,
	author = {Haogang Chen and Daniel Ziegler and Adam Chlipala and M. Frans Kaashoek and Eddie Kohler and Nickolai Zeldovich},
	title = {Specifying Crash Safety for Storage Systems},
	booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)},
	year = {2015},
	address = {Kartause Ittingen, Switzerland},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/chen_haogang},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {186210,
	author = {Haogang Chen and Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Identifying Information Disclosure in Web Applications with Retroactive Auditing},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
	year = {2014},
	isbn = { 978-1-931971-16-4},
	address = {Broomfield, CO},
	pages = {555--569},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/chen_haogang},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {180262,
	author = {Xi Wang and Haogang Chen and Zhihao Jia and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Improving Integer Security for Systems with {KINT}},
	booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)},
	year = {2012},
	isbn = {978-1-931971-96-6},
	address = {Hollywood, CA},
	pages = {163--177},
	url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/wang},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {267148,
	author = {Silas Boyd-Wickizer and Austin T. Clements and Yandong Mao and Aleksey Pesterev and M. Frans Kaashoek and Robert Morris and Nickolai Zeldovich},
	title = {An Analysis of Linux Scalability to Many Cores},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/analysis-linux-scalability-many-cores},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {249095,
	author = {Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek},
	title = {Intrusion Recovery Using Selective Re-execution},
	booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)},
	year = {2010},
	address = {Vancouver, BC},
	url = {https://www.usenix.org/conference/osdi10/intrusion-recovery-using-selective-re-execution},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {259364,
	author = {Chris Lesniewski-Laas and M. Frans Kaashoek},
	title = {{Wh{\={a}}nau}: A Sybil-proof Distributed Hash Table},
	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/wh{\={a}}nau-sybil-proof-distributed-hash-table},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {267799,
	author = {Jeremy Stribling and Yair Sovran and Irene Zhang and Xavid Pretzer and M. Frans Kaashoek and Robert Morris},
	title = {Flexible, {Wide-Area} Storage for Distributed Systems with {WheelFS}},
	booktitle = {6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09)},
	year = {2009},
	address = {Boston, MA },
	url = {https://www.usenix.org/conference/nsdi-09/flexible-wide-area-storage-distributed-systems-wheelfs},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {267718,
	author = {Silas Boyd-Wickizer and Robert Morris and M. Frans Kaashoek},
	title = {Reinventing Scheduling for Multicore Systems},
	booktitle = {12th Workshop on Hot Topics in Operating Systems (HotOS XII)},
	year = {2009},
	address = {Monte Verit{\`a}, Switzerland},
	url = {https://www.usenix.org/conference/hotos-xii/reinventing-scheduling-multicore-systems},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {267931,
	author = {Zhenyu Guo and Xi Wang and Jian Tang and Xuezheng Liu and Zhilei Xu and M. Frans Kaashoek},
	title = {R2: An {Application-Level} Kernel for Record and Replay},
	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/r2-application-level-kernel-record-and-replay},
	publisher = {USENIX Association},
	month = dec
}
@inproceedings {268286,
	author = {Emil Sit and Robert Morris and M. Frans Kaashoek},
	title = {{UsenetDHT}: A {Low-Overhead} Design for Usenet},
	booktitle = {5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 08)},
	year = {2008},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-08/usenetdht-low-overhead-design-usenet},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {268606,
	author = {Maxwell Krohn and Eddie Kohler and M. Frans Kaashoek},
	title = {Events Can Make Sense},
	booktitle = {2007 USENIX Annual Technical Conference (USENIX ATC 07)},
	year = {2007},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/2007-usenix-annual-technical-conference/events-can-make-sense},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {269029,
	author = {Byung-Gon Chun and Frank Dabek and Andreas Haeberlen and Emil Sit and Hakim Weatherspoon and M. Frans Kaashoek and John Kubiatowicz and Robert Morris},
	title = { Efficient Replica Maintenance for Distributed Storage Systems },
	booktitle = {3rd Symposium on Networked Systems Design \& Implementation (NSDI 06)},
	year = {2006},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/nsdi-06/efficient-replica-maintenance-distributed-storage-systems},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {269367,
	author = {Jinyang Li and Jeremy Stribling and Robert Morris and M. Frans Kaashoek},
	title = {Bandwidth-efficient Management of {DHT} Routing Tables },
	booktitle = {2nd Symposium on Networked Systems Design \& Implementation (NSDI 05)},
	year = {2005},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/nsdi-05/bandwidth-efficient-management-dht-routing-tables},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {270036,
	author = {Frank Dabek and Jinyang Li and Emil Sit and James Robertson and M. Frans Kaashoek and Robert Morris},
	title = {Designing a {DHT} for Low Latency and High Throughput},
	booktitle = {First Symposium on Networked Systems Design and Implementation (NSDI 04)},
	year = {2004},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/nsdi-04/designing-dht-low-latency-and-high-throughput},
	publisher = {USENIX Association},
	month = mar
}
@inproceedings {269877,
	author = {Michael Kaminsky and Eric Peterson and Daniel B. Giffin and Kevin Fu and David Mazi{\`e}res and M. Frans Kaashoek},
	title = {{REX}: Secure, Extensible Remote Execution},
	booktitle = {2004 USENIX Annual Technical Conference (USENIX ATC 04)},
	year = {2004},
	address = {Boston, MA},
	url = {https://www.usenix.org/conference/2004-usenix-annual-technical-conference/rex-secure-extensible-remote-execution},
	publisher = {USENIX Association},
	month = jun
}
@inproceedings {270153,
	author = {Chris Lesniewski-Laas and M. Frans Kaashoek},
	title = {{SSL} Splitting: Securely Serving Data from Untrusted Caches},
	booktitle = {12th USENIX Security Symposium (USENIX Security 03)},
	year = {2003},
	address = {Washington, D.C.},
	url = {https://www.usenix.org/conference/12th-usenix-security-symposium/ssl-splitting-securely-serving-data-untrusted-caches},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {271167,
	author = {Kevin Fu and M. Frans Kaashoek and David Mazi{\`e}res},
	title = {Fast and Secure Distributed {Read-Only} File System},
	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/fast-and-secure-distributed-read-only-file-system},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {271162,
	author = {John Jannotti and David K. Gifford and Kirk L. Johnson and M. Frans Kaashoek and James W. O{\textquoteright}Toole, Jr.},
	title = {Overcast: Reliable Multicasting with an Overlay Network},
	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/overcast-reliable-multicasting-overlay-network},
	publisher = {USENIX Association},
	month = oct
}
@inproceedings {261003,
	author = {Gregory R. Ganger and M. Frans Kaashoek},
	title = {Embedded Inodes and Explicit Grouping: Exploiting Bandwidth for Small Files},
	booktitle = {USENIX 1997 Annual Technical Conference (USENIX ATC 97)},
	year = {1997},
	address = {Anaheim, CA},
	url = {https://www.usenix.org/conference/usenix-1997-annual-technical-conference/embedded-inodes-and-explicit-grouping-exploiting},
	publisher = {USENIX Association},
	month = jan
}
@inproceedings {260151,
	author = {Kavita Bala and M. Frans Kaashoek and William E. Weihl},
	title = {Software Prefetching and Caching for Translation Lookaside Buffers},
	booktitle = {First Symposium on Operating Systems Design and Implementation (OSDI 94)},
	year = {1994},
	address = {Monterey, CA},
	url = {https://www.usenix.org/conference/osdi-94/software-prefetching-and-caching-translation-lookaside-buffers},
	publisher = {USENIX Association},
	month = nov
}
