Biblio

Export 28 results:
Filters: Author is M. Frans Kaashoek  [Clear All Filters]
2022
Athalye A, M. Kaashoek F, Zeldovich N.  2022.  Verifying Hardware Security Modules with Information-Preserving Refinement. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :503--519.
Chajed T, Tassarotti J, Theng M, M. Kaashoek F, Zeldovich N.  2022.  Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :447--463.
2021
Chajed T, Tassarotti J, Theng M, Jung R, M. Kaashoek F, Zeldovich N.  2021.  GoJournal: a verified, concurrent, crash-safe journaling system. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :423--439.
2020
Behrens J, Cao A, Skeggs C, Belay A, M. Kaashoek F, Zeldovich N.  2020.  Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1139--1154.
2018
Cutler C, M. Kaashoek F, Morris RT.  2018.  The benefits and costs of writing a POSIX kernel in a high-level language. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :89--105.
Gjengset J, Schwarzkopf M, Behrens J, Araújo LTimbó, Ek M, Kohler E, M. Kaashoek F, Morris R.  2018.  Noria: dynamic, partially-stateful data-flow for high-performance web applications. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :213--231.
2015
Chajed T, Gjengset J, van den Hooff J, M. Kaashoek F, Mickens J, Morris R, Zeldovich N.  2015.  Amber: Decoupling User Data from Web Applications. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
Chen H, Ziegler D, Chlipala A, M. Kaashoek F, Kohler E, Zeldovich N.  2015.  Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
2014
Chen H, Kim T, Wang X, Zeldovich N, M. Kaashoek F.  2014.  Identifying Information Disclosure in Web Applications with Retroactive Auditing. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :555--569.
2012
Wang X, Chen H, Jia Z, Zeldovich N, M. Kaashoek F.  2012.  Improving Integer Security for Systems with KINT. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :163--177.
2010
Boyd-Wickizer S, Clements AT, Mao Y, Pesterev A, M. Kaashoek F, Morris R, Zeldovich N.  2010.  An Analysis of Linux Scalability to Many Cores. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Kim T, Wang X, Zeldovich N, M. Kaashoek F.  2010.  Intrusion Recovery Using Selective Re-execution. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
Lesniewski-Laas C, M. Kaashoek F.  2010.  Whānau: A Sybil-proof Distributed Hash Table. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 10).
2009
Stribling J, Sovran Y, Zhang I, Pretzer X, M. Kaashoek F, Morris R.  2009.  Flexible, Wide-Area Storage for Distributed Systems with WheelFS. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).
Boyd-Wickizer S, Morris R, M. Kaashoek F.  2009.  Reinventing Scheduling for Multicore Systems. 12th Workshop on Hot Topics in Operating Systems (HotOS XII).
2008
Guo Z, Wang X, Tang J, Liu X, Xu Z, M. Kaashoek F.  2008.  R2: An Application-Level Kernel for Record and Replay. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
Sit E, Morris R, M. Kaashoek F.  2008.  UsenetDHT: A Low-Overhead Design for Usenet. 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 08).
2007
Krohn M, Kohler E, M. Kaashoek F.  2007.  Events Can Make Sense. 2007 USENIX Annual Technical Conference (USENIX ATC 07).
2005
Li J, Stribling J, Morris R, M. Kaashoek F.  2005.  Bandwidth-efficient Management of DHT Routing Tables . 2nd Symposium on Networked Systems Design & Implementation (NSDI 05).
2004
Dabek F, Li J, Sit E, Robertson J, M. Kaashoek F, Morris R.  2004.  Designing a DHT for Low Latency and High Throughput. First Symposium on Networked Systems Design and Implementation (NSDI 04).
Kaminsky M, Peterson E, Giffin DB, Fu K, Mazières D, M. Kaashoek F.  2004.  REX: Secure, Extensible Remote Execution. 2004 USENIX Annual Technical Conference (USENIX ATC 04).
2003
Lesniewski-Laas C, M. Kaashoek F.  2003.  SSL Splitting: Securely Serving Data from Untrusted Caches. 12th USENIX Security Symposium (USENIX Security 03).
2000
Fu K, M. Kaashoek F, Mazières D.  2000.  Fast and Secure Distributed Read-Only File System. Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000).

Pages