M. Frans Kaashoek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
113
Venues
25
Active years
1991–2024
Best venue rank
A*
Where they publish
- A*SOSP28 papers
- A*OSDI21 papers
- AHotOS12 papers
- NationalNSDI9 papers
- AUSENIX7 papers
- A*SIGCOMM5 papers
- AICDCS5 papers
- AEuroSys4 papers
- A*CCS3 papers
- A*PLDI2 papers
- A*ASPLOS2 papers
- BPPoPP2 papers
- A*VLDB1 paper
- CGPC1 paper
- NationalWCAE1 paper
- AESORICS1 paper
- A*INFOCOM1 paper
- AIMC1 paper
- A*SIGMETRICS1 paper
- A*HPCA1 paper
- A*MOBICOM1 paper
- A*POPL1 paper
- ASC1 paper
- AHPDC1 paper
- AOOPSLA1 paper
Papers
113 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SOSP | Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. | Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich |
| 2024 | SOSP | Unifying serverless and microservice workloads with SigmaOS. | Ariel Szekely, Adam Belay, Robert Morris, M. Frans Kaashoek |
| 2023 | OSDI | Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. | Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2023 | SOSP | Grove: a Separation-Logic Library for Verifying Distributed Systems. | Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2023 | SOSP | Edna: Disguising and Revealing User Data in Web Applications. | Lillian Tsai, Hannah Gross, Eddie Kohler, M. Frans Kaashoek, Malte Schwarzkopf |
| 2022 | EuroSys | Performance evolution of mitigating transient execution attacks. | Jonathan Behrens, Adam Belay, M. Frans Kaashoek |
| 2022 | OSDI | Verifying Hardware Security Modules with Information-Preserving Refinement. | Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich |
| 2022 | OSDI | Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. | Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich |
| 2021 | OSDI | GoJournal: a verified, concurrent, crash-safe journaling system. | Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich |
| 2020 | OSDI | Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. | Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | HotOS | Towards Multiverse Databases. | Alana Marzoev, Lara Timb Arajo, Malte Schwarzkopf, Samyukta Yagati, Eddie Kohler, Robert Morris, M. Frans Kaashoek, Sam Madden |
| 2019 | PLDI | Argosy: verifying layered storage systems with recovery refinement. | Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | VLDB | Position: GDPR Compliance by Construction. | Malte Schwarzkopf, Eddie Kohler, M. Frans Kaashoek, Robert Morris |
| 2019 | SOSP | Notary: a device for secure transaction approval. | Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich |
| 2019 | SOSP | Verifying concurrent, crash-safe systems with Perennial. | Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2018 | OSDI | Verifying concurrent software using movers in CSPEC. | Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich |
| 2018 | OSDI | The benefits and costs of writing a POSIX kernel in a high-level language. | Cody Cutler, M. Frans Kaashoek, Robert T. Morris |
| 2018 | OSDI | Noria: dynamic, partially-stateful data-flow for high-performance web applications. | Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timb Arajo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Morris |
| 2018 | OSDI | Proving confidentiality in a file system using DiskSec. | Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2017 | SOSP | Scaling a file system to many cores using an operation log. | Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2017 | SOSP | Verifying a high-performance crash-safe file system using a tree specification. | Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2016 | USENIX | Using Crash Hoare Logic for Certifying the FSCQ File System. | Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2015 | EuroSys | Hare: a file system for non-cache-coherent multicores. | Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, Nickolai Zeldovich |
| 2015 | HotOS | Amber: Decoupling User Data from Web Applications. | Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Morris, Nickolai Zeldovich |
| 2015 | HotOS | Specifying Crash Safety for Storage Systems. | Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich |
| 2015 | SOSP | Using Crash Hoare logic for certifying the FSCQ file system. | Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2015 | SOSP | Parallel computing and the OS. | M. Frans Kaashoek |
| 2014 | CCS | VerSum: Verifiable Computations over Large Public Logs. | Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich |
| 2014 | OSDI | Identifying Information Disclosure in Web Applications with Retroactive Auditing. | Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2013 | EuroSys | RadixVM: scalable address spaces for multithreaded applications. | Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2013 | SOSP | The scalable commutativity rule: designing scalable software for multicore processors. | Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler |
| 2013 | SOSP | Towards optimization-safe systems: analyzing the impact of undefined behavior. | Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama |
| 2012 | ASPLOS | Scalable address spaces using RCU balanced trees. | Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2012 | OSDI | Improving Integer Security for Systems with KINT. | Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek |
| 2012 | PPoPP | CPHASH: a cache-partitioned hash table. | Zviad Metreveli, Nickolai Zeldovich, M. Frans Kaashoek |
| 2011 | USENIX | Eyo: Device-Transparent Personal Storage. | Jacob Strauss, Justin Mazzola Paluska, Chris Lesniewski-Laas, Bryan Ford, Robert Morris, M. Frans Kaashoek |
| 2011 | SOSP | Software fault isolation with API integrity and multi-principal modules. | Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2010 | NSDI | Whanau: A Sybil-proof Distributed Hash Table. | Chris Lesniewski-Laas, M. Frans Kaashoek |
| 2010 | OSDI | An Analysis of Linux Scalability to Many Cores. | Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich |
| 2010 | OSDI | Intrusion Recovery Using Selective Re-execution. | Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2009 | EuroSys | Ksplice: automatic rebootless kernel updates. | Jeff Arnold, M. Frans Kaashoek |
| 2009 | HotOS | Reinventing Scheduling for Multicore Systems. | Silas Boyd-Wickizer, Robert Morris, M. Frans Kaashoek |
| 2009 | NSDI | Flexible, Wide-Area Storage for Distributed Systems with WheelFS. | Jeremy Stribling, Yair Sovran, Irene Zhang, Xavid Pretzer, Jinyang Li, M. Frans Kaashoek, Robert Morris |
| 2009 | SOSP | Improving application security with data flow assertions. | Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2008 | ASPLOS | Xoc, an extension-oriented compiler for systems programming. | Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler |
| 2008 | GPC | Building Distributed, Wide-Area Applications with WheelFS. | M. Frans Kaashoek |
| 2008 | NSDI | D3S: Debugging Deployed Distributed Systems. | Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang |
| 2008 | NSDI | UsenetDHT: A Low-Overhead Design for Usenet. | Emil Sit, Robert Morris, M. Frans Kaashoek |
| 2008 | OSDI | Corey: An Operating System for Many Cores. | Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yue-hua Dai, Yang Zhang, Zheng Zhang |
| 2008 | OSDI | R2: An Application-Level Kernel for Record and Replay. | Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang |
| 2007 | CCS | Alpaca: extensible authorization for distributed services. | Chris Lesniewski-Laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek |
| 2007 | USENIX | Events Can Make Sense. | Maxwell N. Krohn, Eddie Kohler, M. Frans Kaashoek |
| 2007 | SOSP | Information flow control for standard OS abstractions. | Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris |
| 2006 | NSDI | Efficient Replica Maintenance for Distributed Storage Systems. | Byung-Gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, John Kubiatowicz, Robert Morris |
| 2006 | NSDI | OverCite: A Distributed, Cooperative CiteSeer. | Jeremy Stribling, Jinyang Li, Isaac G. Councill, M. Frans Kaashoek, Robert Morris |
| 2006 | OSDI | Persistent Personal Names for Globally Connected Mobile Devices. | Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris |
| 2006 | WCAE | A systems approach to teaching computer systems. | Jerome H. Saltzer, M. Frans Kaashoek |
| 2005 | ESORICS | Sybil-Resistant DHT Routing. | George Danezis, Chris Lesniewski-Laas, M. Frans Kaashoek, Ross J. Anderson |
| 2005 | HotOS | Make Least Privilege a Right (Not a Privilege). | Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazires, Robert Morris, Michelle Osborne, Steve Vandebogart, David Ziegler |
| 2005 | INFOCOM | A performance vs. cost framework for evaluating DHT design tradeoffs under churn. | Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek, Thomer M. Gil |
| 2005 | NSDI | Improving Web Availability for Clients with MONET. | David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Rohit N. Rao |
| 2005 | NSDI | Bandwidth-efficient Management of DHT Routing Tables. | Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek |
| 2005 | SOSP | Labels and event processes in the Asbestos operating system. | Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazires, M. Frans Kaashoek, Robert Morris |
| 2005 | SOSP | UIA: a user information architecture for personal devices. | Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, M. Frans Kaashoek, Robert Morris, Sean C. Rhea |
| 2004 | NSDI | Designing a DHT for Low Latency and High Throughput. | Frank Dabek, Jinyang Li, Emil Sit, James Robertson, M. Frans Kaashoek, Robert Morris |
| 2004 | SIGCOMM | Vivaldi: a decentralized network coordinate system. | Frank Dabek, Russ Cox, M. Frans Kaashoek, Robert Morris |
| 2004 | USENIX | REX: Secure, Extensible Remote Execution. | Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazires, M. Frans Kaashoek |
| 2003 | IMC | A measurement study of available bandwidth estimation tools. | Jacob Strauss, Dina Katabi, M. Frans Kaashoek |
| 2003 | SIGMETRICS | Measuring the effects of internet path faults on reactive routing. | Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek |
| 2003 | USENIX | Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. | Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek |
| 2003 | USENIX | Multiprocessor Support for Event-Driven Programs. | Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert T. Morris, David Mazires, M. Frans Kaashoek |
| 2003 | SOSP | Decentralized user authentication in a global file system. | Michael Kaminsky, George Savvides, David Mazires, M. Frans Kaashoek |
| 2001 | HotOS | The Case for Resilient Overlay Networks. | David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris |
| 2001 | HotOS | Building peer-to-peer systems with Chord, a distributed lookup service. | Frank Dabek, Emma Brunskill, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica, Hari Balakrishnan |
| 2001 | HotOS | Reconsidering Internet Mobility. | Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek |
| 2001 | SIGCOMM | Chord: A scalable peer-to-peer lookup service for internet applications. | Ion Stoica, Robert Morris, David R. Karger, M. Frans Kaashoek, Hari Balakrishnan |
| 2001 | SOSP | Resilient Overlay Networks. | David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris |
| 2001 | SOSP | Wide-Area Cooperative Storage with CFS. | Frank Dabek, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica |
| 2000 | OSDI | Fast and Secure Distributed Read-Only File System. | Kevin Fu, M. Frans Kaashoek, David Mazires |
| 2000 | OSDI | Overcast: Reliable Multicasting with an Overlay Network. | John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, James W. O'Toole Jr. |
| 1999 | SIGCOMM | A Readable TCP in the Prolac Protocol Language. | Eddie Kohler, M. Frans Kaashoek, David R. Montgomery |
| 1999 | SOSP | Separating key management from file system security. | David Mazires, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel |
| 1999 | SOSP | The Click modular router. | Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek |
| 1998 | CCS | The Design, Implementation and Operation of an Email Pseudonym Server. | David Mazires, M. Frans Kaashoek |
| 1998 | HPCA | Exploiting Two-Case Delivery for Fast Protected Messaging. | Kenneth Mackenzie, John Kubiatowicz, Matthew I. Frank, Walter Lee, Victor Lee, Anant Agarwal, M. Frans Kaashoek |
| 1997 | HotOS | Secure Applications Need Flexible Operating Systems. | David Mazires, M. Frans Kaashoek |
| 1997 | PLDI | tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. | Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek |
| 1997 | USENIX | Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files. | Gregory R. Ganger, M. Frans Kaashoek |
| 1997 | SOSP | Application Performance and Flexibility on Exokernel Systems. | M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hctor M. Briceo, Russell Hunt, David Mazires, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth Mackenzie |
| 1996 | ICDCS | Atomic Recovery Units: Failure Atomicity for Logical Disks. | Robert Grimm, Wilson C. Hsieh, Wiebren de Jonge, M. Frans Kaashoek |
| 1996 | ICDCS | An Evaluation of the Amoeba Group Communication System. | M. Frans Kaashoek, Andrew S. Tanenbaum |
| 1996 | MOBICOM | Building Reliable Mobile-Aware Applications Using the Rover Toolkit. | Anthony D. Joseph, M. Frans Kaashoek |
| 1996 | POPL | C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. | Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek |
| 1996 | SC | Dynamic Computation Migration in DSM Systems. | Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl |
| 1996 | SIGCOMM | DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. | Dawson R. Engler, M. Frans Kaashoek |
| 1996 | SIGCOMM | ASHs: Application-Specific Handlers for High-Performance Messaging. | Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek |
| 1995 | HotOS | AVM: application-level virtual memory. | Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek |
| 1995 | HotOS | Exterminate all operating system abstractions. | Dawson R. Engler, M. Frans Kaashoek |
| 1995 | ICDCS | Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. | Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch |
| 1995 | PPoPP | Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation. | Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl |
| 1995 | SOSP | Exokernel: An Operating System Architecture for Application-Level Resource Management. | Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr. |
| 1995 | SOSP | Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. | Sanjay Ghemawat, M. Frans Kaashoek, Barbara Liskov |
| 1995 | SOSP | CRL: High-Performance All-Software Distributed Shared Memory. | Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach |
| 1995 | SOSP | Rover: A Toolkit for Mobile Information Access. | Anthony D. Joseph, Alan F. deLespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek |
| 1994 | OSDI | Software Prefetching and Caching for Translation Lookaside Buffers. | Kavita Bala, M. Frans Kaashoek, William E. Weihl |
| 1994 | OSDI | Storage Alternatives for Mobile Computers. | Fred Douglis, Ramn Cceres, M. Frans Kaashoek, Kai Li, Brian Marsh, Joshua A. Tauber |
| 1994 | OSDI | The Exokernel Approach to Operating System Extensibility (Panel Statement). | Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr. |
| 1993 | HotOS | The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty. | Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl |
| 1993 | HPDC | Programming a Distributed System Using Shared Objects. | Andrew S. Tanenbaum, Henri E. Bal, M. Frans Kaashoek |
| 1993 | ICDCS | Using Group Communication to Implement a Fault-Tolerant Directory Service. | M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep |
| 1993 | OOPSLA | Object Distribution in Orca using Compile-Time and Run-Time Techniques. | Henri E. Bal, M. Frans Kaashoek |
| 1993 | SOSP | The Logical Disk: A New Approach to Improving File Systems. | Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsieh |
| 1991 | ICDCS | Group communication in the Amoeba distributed operating system. | M. Frans Kaashoek, Andrew S. Tanenbaum |