Biblio

Export 26 results:
Filters: Author is M. Frans Kaashoek  [Clear All Filters]
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.
2016
Chen H, Ziegler D, Chajed T, Chlipala A, M. Kaashoek F, Zeldovich N.  2016.  Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 {USENIX} Annual Technical Conference ({USENIX} {ATC} 16).
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).
Jannotti J, Gifford DK, Johnson KL, M. Kaashoek F, O'Toole, Jr. JW.  2000.  Overcast: Reliable Multicasting with an Overlay Network. Fourth Symposium on Operating Systems Design and Implementation ({OSDI} 2000).
1997
Ganger GR, M. Kaashoek F.  1997.  Embedded Inodes and Explicit Grouping: Exploiting Bandwidth for Small Files. {USENIX} 1997 Annual Technical Conference ({USENIX} {ATC} 97).

Pages