An Efficient Reliable Broadcast Protocol. - M. Frans Kaashoek; Andrew S. Tanenbaum; Susan Flynn Hummel; Henri E. Bal (ACM SIGOPS Oper. Syst. Rev., 1989)

The design of very fast portable compilers. - Andrew S. Tanenbaum; M. Frans Kaashoek; Koen Langendoen; Ceriel J. H. Jacobs (ACM SIGPLAN Notices, 1989)

Experience with Distributed Programming in ORCA. - Henri E. Bal; M. Frans Kaashoek; Andrew S. Tanenbaum (ICCL, 1990)

Orca: a language for distributed programming. - Henri E. Bal; Andrew S. Tanenbaum; M. Frans Kaashoek (ACM SIGPLAN Notices, 1990)

Group communication in the Amoeba distributed operating system. - M. Frans Kaashoek; Andrew S. Tanenbaum (ICDCS, 1991)

The Amoeba distributed operating system - A status report. - Andrew S. Tanenbaum; M. Frans Kaashoek; Robbert van Renesse; Henri E. Bal (Comput. Commun., 1991)

A Comparison of Two Distributed Systems: Amoeba and Sprite. - Fred Douglis; John K. Ousterhout; M. Frans Kaashoek; Andrew S. Tanenbaum (Comput. Syst., 1991)

Fault Tolerance Using Group Communication. - M. Frans Kaashoek; Andrew S. Tanenbaum (ACM SIGOPS Oper. Syst. Rev., 1991)

An experimental comparison of remote procedure call and group communication. - M. Frans Kaashoek; Andrew S. Tanenbaum; Kees Verstoep (ACM SIGOPS European Workshop, 1992)

Parallel Programming Using Shared Objects and Broadcasting. - Andrew S. Tanenbaum; M. Frans Kaashoek; Henri E. Bal (Computer, 1992)

Replication techniques for speeding up parallel applications on distributed systems. - Henri E. Bal; M. Frans Kaashoek; Andrew S. Tanenbaum; Jack Jansen 001 (Concurr. Pract. Exp., 1992)

FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract). - M. Frans Kaashoek; Robbert van Renesse; Hans van Staveren; Andrew S. Tanenbaum (ACM SIGOPS Oper. Syst. Rev., 1992)

A Comparison of Two Paradigms for Distributed Shared Memory. - M. Frans Kaashoek; Henri E. Bal; Andrew S. Tanenbaum (Softw. Pract. Exp., 1992)

Orca: A Language For Parallel Programming of Distributed Systems. - Henri E. Bal; M. Frans Kaashoek; Andrew S. Tanenbaum (IEEE Trans. Software Eng., 1992)

The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty. - Wilson C. Hsieh; M. Frans Kaashoek; William E. Weihl (Workshop on Workstation Operating Systems, 1993)

Programming a Distributed System Using Shared Objects. - Andrew S. Tanenbaum; Henri E. Bal; M. Frans Kaashoek (HPDC, 1993)

Using Group Communication to Implement a Fault-Tolerant Directory Service. - M. Frans Kaashoek; Andrew S. Tanenbaum; Kees Verstoep (ICDCS, 1993)

Object Distribution in Orca using Compile-Time and Run-Time Techniques. - Henri E. Bal; M. Frans Kaashoek (OOPSLA, 1993)

The Logical Disk: A New Approach to Improving File Systems. - Wiebren de Jonge; M. Frans Kaashoek; Wilson C. Hsieh (SOSP, 1993)

Group communication in Amoeba and its applications. - M. Frans Kaashoek; Andrew S. Tanenbaum; Kees Verstoep (Distributed Syst. Eng., 1993)

FLIP: An Internetwork Protocol for Supporting Distributed Systems. - M. Frans Kaashoek; Robbert van Renesse; Hans van Staveren; Andrew S. Tanenbaum (ACM Trans. Comput. Syst., 1993)

Storage Alternatives for Mobile Computers. - Fred Douglis; Ramón Cáceres; M. Frans Kaashoek; P. Krishnan; Kai Li 001; Brian Marsh; Joshua A. Tauber (Mobidata, 1994)

Software Prefetching and Caching for Translation Lookaside Buffers. - Kavita Bala; M. Frans Kaashoek; William E. Weihl (OSDI, 1994)

Storage Alternatives for Mobile Computers. - Fred Douglis; Ramón Cáceres; M. Frans Kaashoek; Kai Li 001; Brian Marsh; Joshua A. Tauber (OSDI, 1994)

The Exokernel Approach to Operating System Extensibility (Panel Statement). - Dawson R. Engler; M. Frans Kaashoek; James W. O'Toole Jr. (OSDI, 1994)

Optimistic Active Messages: Structuring Systems for High-Performance Communication. - M. Frans Kaashoek; William E. Weihl; Deborah A. Wallach; Wilson C. Hsieh; Kirk L. Johnson (ACM SIGOPS European Workshop, 1994)

Disconnected Operation in the Thor Object-Oriented Database System. - Robert Gruber; M. Frans Kaashoek; Barbara Liskov; Liuba Shrira (WMCSA, 1994)

Dynamic Documents: Mobile Wireless Access to the WWW. - M. Frans Kaashoek; Thomas Pinckney; Joshua A. Tauber (WMCSA, 1994)

Object-based approach to programming distributed systems. - Andrew S. Tanenbaum; Henri E. Bal; Saniya Ben Hassen; M. Frans Kaashoek (Concurr. Pract. Exp., 1994)

AVM: application-level virtual memory. - Dawson R. Engler; Sandeep K. Gupta 002; M. Frans Kaashoek (HotOS, 1995)

Exterminate all operating system abstractions. - Dawson R. Engler; M. Frans Kaashoek (HotOS, 1995)

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 (PPoPP, 1995)

Exokernel: An Operating System Architecture for Application-Level Resource Management. - Dawson R. Engler; M. Frans Kaashoek; James W. O'Toole Jr. (SOSP, 1995)

Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. - Sanjay Ghemawat; M. Frans Kaashoek; Barbara Liskov (SOSP, 1995)

CRL: High-Performance All-Software Distributed Shared Memory. - Kirk L. Johnson; M. Frans Kaashoek; Deborah A. Wallach (SOSP, 1995)

Rover: A Toolkit for Mobile Information Access. - Anthony D. Joseph; Alan F. deLespinasse; Joshua A. Tauber; David K. Gifford; M. Frans Kaashoek (SOSP, 1995)

The Operating System Kernel as a Secure Programmable Machine. - Dawson R. Engler; M. Frans Kaashoek; James W. O'Toole Jr. (ACM SIGOPS Oper. Syst. Rev., 1995)

Atomic Recovery Units: Failure Atomicity for Logical Disks. - Robert Grimm 001; Wilson C. Hsieh; Wiebren de Jonge; M. Frans Kaashoek (ICDCS, 1996)

An Evaluation of the Amoeba Group Communication System. - M. Frans Kaashoek; Andrew S. Tanenbaum (ICDCS, 1996)

C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. - Dawson R. Engler; Wilson C. Hsieh; M. Frans Kaashoek (POPL, 1996)

Dynamic Computation Migration in DSM Systems. - Wilson C. Hsieh; M. Frans Kaashoek; William E. Weihl (SC, 1996)

DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. - Dawson R. Engler; M. Frans Kaashoek (SIGCOMM, 1996)

Server operating systems. - M. Frans Kaashoek; Dawson R. Engler; Gregory R. Ganger; Deborah A. Wallach (ACM SIGOPS European Workshop, 1996)

Secure Applications Need Flexible Operating Systems. - David Mazières; M. Frans Kaashoek (Workshop on Hot Topics in Operating Systems, 1997)

tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. - Massimiliano Poletto; Dawson R. Engler; M. Frans Kaashoek (PLDI, 1997)

Application Performance and Flexibility on Exokernel Systems. - M. Frans Kaashoek; Dawson R. Engler; Gregory R. Ganger; Héctor M. Briceño; Russell Hunt; David Mazières; Thomas Pinckney; Robert Grimm 001; John Jannotti; Kenneth Mackenzie (SOSP, 1997)

Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files. - Gregory R. Ganger; M. Frans Kaashoek (USENIX ATC, 1997)

Mobile Computing with the Rover Toolkit. - Anthony D. Joseph; Joshua A. Tauber; M. Frans Kaashoek (IEEE Trans. Computers, 1997)

ASHs application-specific handlers for high-performance messaging. - Deborah A. Wallach; Dawson R. Engler; M. Frans Kaashoek (IEEE/ACM Trans. Netw., 1997)

Building reliable mobile-aware applications using the Rover toolkit. - Anthony D. Joseph; M. Frans Kaashoek (Wirel. Networks, 1997)

The Design, Implementation and Operation of an Email Pseudonym Server. - David Mazières; M. Frans Kaashoek (CCS, 1998)

Exploiting Two-Case Delivery for Fast Protected Messaging. - Kenneth Mackenzie; John Kubiatowicz; Matthew I. Frank; Walter Lee; Victor Lee; Anant Agarwal; M. Frans Kaashoek (HPCA, 1998)

Escaping the evils of centralized control with self-certifying pathnames. - David Mazières; M. Frans Kaashoek (ACM SIGOPS European Workshop, 1998)

Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication. - Alan D. Fekete; M. Frans Kaashoek; Nancy A. Lynch (J. ACM, 1998)

A Readable TCP in the Prolac Protocol Language. - Eddie Kohler; M. Frans Kaashoek; David R. Montgomery (SIGCOMM, 1999)

Separating key management from file system security. - David Mazières; Michael Kaminsky; M. Frans Kaashoek; Emmett Witchel (SOSP, 1999)

The Click modular router. - Robert Morris 005; Eddie Kohler; John Jannotti; M. Frans Kaashoek (SOSP, 1999)

'C and tcc: A Language and Compiler for Dynamic Code Generation. - Massimiliano Poletto; Wilson C. Hsieh; Dawson R. Engler; M. Frans Kaashoek (ACM Trans. Program. Lang. Syst., 1999)

Overcast: Reliable Multicasting with an Overlay Network. - John Jannotti; David K. Gifford; Kirk L. Johnson; M. Frans Kaashoek; James W. O'Toole Jr. (OSDI, 2000)

CarNet: a scalable ad hoc wireless network system. - Robert Morris 005; John Jannotti; M. Frans Kaashoek; Jinyang Li 001; Douglas Decouto (ACM SIGOPS European Workshop, 2000)

The click modular router. - Eddie Kohler; Robert Morris 005; Benjie Chen; John Jannotti; M. Frans Kaashoek (ACM Trans. Comput. Syst., 2000)

The Case for Resilient Overlay Networks. - David G. Andersen; Hari Balakrishnan; M. Frans Kaashoek; Robert Morris 005 (HotOS, 2001)

Building peer-to-peer systems with Chord, a distributed lookup service. - Frank Dabek; Emma Brunskill; M. Frans Kaashoek; David R. Karger; Robert Morris 005; Ion Stoica; Hari Balakrishnan (HotOS, 2001)

Reconsidering Internet Mobility. - Alex C. Snoeren; Hari Balakrishnan; M. Frans Kaashoek (HotOS, 2001)

Chord: A scalable peer-to-peer lookup service for internet applications. - Ion Stoica; Robert Morris 005; David R. Karger; M. Frans Kaashoek; Hari Balakrishnan (SIGCOMM, 2001)

Wide-Area Cooperative Storage with CFS. - Frank Dabek; M. Frans Kaashoek; David R. Karger; Robert Morris 005; Ion Stoica (SOSP, 2001)

The measured performance of content distribution networks. - Kirk L. Johnson; John F. Carr; Mark S. Day; M. Frans Kaashoek (Comput. Commun., 2001)

Guest Editors' Introduction: Scalable Internet Services. - Fred Douglis; M. Frans Kaashoek (IEEE Internet Comput., 2001)

Event-driven programming for robust software. - Frank Dabek; Nickolai Zeldovich; M. Frans Kaashoek; David Mazières; Robert Morris 005 (ACM SIGOPS European Workshop, 2002)

Resilient overlay networks. - David G. Andersen; Hari Balakrishnan; M. Frans Kaashoek; Robert Morris 005 (Comput. Commun. Rev., 2002)

Fast and secure distributed read-only file system. - Kevin Fu; M. Frans Kaashoek; David Mazières (ACM Trans. Comput. Syst., 2002)

Fast and flexible application-level networking on exokernel systems. - Gregory R. Ganger; Dawson R. Engler; M. Frans Kaashoek; Héctor M. Briceño; Russell Hunt; Thomas Pinckney (ACM Trans. Comput. Syst., 2002)

A measurement study of available bandwidth estimation tools. - Jacob Strauss; Dina Katabi; M. Frans Kaashoek (Internet Measurement Conference, 2003)

Koorde: A Simple Degree-Optimal Distributed Hash Table. - M. Frans Kaashoek; David R. Karger (IPTPS, 2003)

On the Feasibility of Peer-to-Peer Web Indexing and Search. - Jinyang Li 001; Boon Thau Loo; Joseph M. Hellerstein; M. Frans Kaashoek; David R. Karger; Robert Morris 005 (IPTPS, 2003)

Measuring the effects of internet path faults on reactive routing. - Nick Feamster; David G. Andersen; Hari Balakrishnan; M. Frans Kaashoek (SIGMETRICS, 2003)

Decentralized user authentication in a global file system. - Michael Kaminsky; George Savvides; David Mazières; M. Frans Kaashoek (SOSP, 2003)

Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. - Godfrey Tan; Massimiliano Poletto; John V. Guttag; M. Frans Kaashoek (USENIX ATC, General Track, 2003)

Multiprocessor Support for Event-Driven Programs. - Nickolai Zeldovich; Alexander Yip; Frank Dabek; Robert T. Morris; David Mazières; M. Frans Kaashoek (USENIX ATC, General Track, 2003)

Looking up data in P2P systems. - Hari Balakrishnan; M. Frans Kaashoek; David R. Karger; Robert Morris 005; Ion Stoica (Commun. ACM, 2003)

Experience with an evolving overlay network testbed. - David G. Andersen; Hari Balakrishnan; M. Frans Kaashoek; Robert Morris 005 (Comput. Commun. Rev., 2003)

Chord: a scalable peer-to-peer lookup protocol for internet applications. - Ion Stoica; Robert Morris 005; David Liben-Nowell; David R. Karger; M. Frans Kaashoek; Frank Dabek; Hari Balakrishnan (IEEE/ACM Trans. Netw., 2003)

Comparing the Performance of Distributed Hash Tables Under Churn. - Jinyang Li 001; Jeremy Stribling; Thomer M. Gil; Robert Morris 005; M. Frans Kaashoek (IPTPS, 2004)

Designing a DHT for Low Latency and High Throughput. - Frank Dabek; Jinyang Li 001; Emil Sit; James Robertson; M. Frans Kaashoek; Robert Morris 005 (NSDI, 2004)

Vivaldi: a decentralized network coordinate system. - Frank Dabek; Russ Cox; M. Frans Kaashoek; Robert Morris 005 (SIGCOMM, 2004)

REX: Secure, Extensible Remote Execution. - Michael Kaminsky; Eric Peterson; Daniel B. Giffin; Kevin Fu; David Mazières; M. Frans Kaashoek (USENIX ATC, General Track, 2004)

Practical, distributed network coordinates. - Russ Cox; Frank Dabek; M. Frans Kaashoek; Jinyang Li 001; Robert Morris 005 (Comput. Commun. Rev., 2004)

Sybil-Resistant DHT Routing. - George Danezis; Chris Lesniewski-Laas; M. Frans Kaashoek; Ross J. Anderson (ESORICS, 2005)

Make Least Privilege a Right (Not a Privilege). - Maxwell N. Krohn; Petros Efstathopoulos; Cliff Frey; M. Frans Kaashoek; Eddie Kohler; David Mazières; Robert Morris 005; Michelle Osborne; Steve Vandebogart; David Ziegler (HotOS, 2005)

A performance vs. cost framework for evaluating DHT design tradeoffs under churn. - Jinyang Li 001; Jeremy Stribling; Robert Morris 005; M. Frans Kaashoek; Thomer M. Gil (INFOCOM, 2005)

OverCite: A Cooperative Digital Research Library. - Jeremy Stribling; Isaac G. Councill; Jinyang Li 001; M. Frans Kaashoek; David R. Karger; Robert Morris 005; Scott Shenker (IPTPS, 2005)

Improving Web Availability for Clients with MONET. - David G. Andersen; Hari Balakrishnan; M. Frans Kaashoek; Rohit N. Rao (NSDI, 2005)

Bandwidth-efficient Management of DHT Routing Tables. - Jinyang Li 001; Jeremy Stribling; Robert Morris 005; M. Frans Kaashoek (NSDI, 2005)

UIA: a user information architecture for personal devices. - Bryan Ford; Jacob Strauss; Chris Lesniewski-Laas; M. Frans Kaashoek; Robert Morris 005; Sean C. Rhea (SOSP, 2005)

SSL splitting: Securely serving data from untrusted caches. - Chris Lesniewski-Laas; M. Frans Kaashoek (Comput. Networks, 2005)

User-Relative Names for Globally Connected Personal Devices. - Bryan Ford; Jacob Strauss; Chris Lesniewski-Laas; Sean C. Rhea; M. Frans Kaashoek; Robert Morris 005 (IPTPS, 2006)

Proactive Replication for Data Durability. - Emil Sit; Andreas Haeberlen; Frank Dabek; Byung-Gon Chun; Hakim Weatherspoon; Robert Morris 005; M. Frans Kaashoek; John Kubiatowicz (IPTPS, 2006)

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 005 (NSDI, 2006)

OverCite: A Distributed, Cooperative CiteSeer. - Jeremy Stribling; Jinyang Li 001; Isaac G. Councill; M. Frans Kaashoek; Robert Morris 005 (NSDI, 2006)

Persistent Personal Names for Globally Connected Mobile Devices. - Bryan Ford; Jacob Strauss; Chris Lesniewski-Laas; Sean C. Rhea; M. Frans Kaashoek; Robert Morris 005 (OSDI, 2006)

A systems approach to teaching computer systems. - Jerome H. Saltzer; M. Frans Kaashoek (WCAE, 2006)

Alpaca: extensible authorization for distributed services. - Chris Lesniewski-Laas; Bryan Ford; Jacob Strauss; Robert Morris 005; M. Frans Kaashoek (CCS, 2007)

Don't Give Up on Distributed File Systems. - Jeremy Stribling; Emil Sit; M. Frans Kaashoek; Robert Morris 005 (IPTPS, 2007)

Information flow control for standard OS abstractions. - Maxwell N. Krohn; Alexander Yip; Micah Z. Brodsky; Natan Cliffer; M. Frans Kaashoek; Eddie Kohler; Robert Morris 005 (SOSP, 2007)

Events Can Make Sense. - Maxwell N. Krohn; Eddie Kohler; M. Frans Kaashoek (USENIX ATC, 2007)

Labels and event processes in the Asbestos operating system. - Steve Vandebogart; Petros Efstathopoulos; Eddie Kohler; Maxwell N. Krohn; Cliff Frey; David Ziegler; M. Frans Kaashoek; Robert Morris 005; David Mazières (ACM Trans. Comput. Syst., 2007)

Xoc, an extension-oriented compiler for systems programming. - Russ Cox; Tom Bergan; Austin T. Clements; M. Frans Kaashoek; Eddie Kohler (ASPLOS, 2008)

Building Distributed, Wide-Area Applications with WheelFS. - M. Frans Kaashoek (GPC, 2008)

D3S: Debugging Deployed Distributed Systems. - Xuezheng Liu; Zhenyu Guo; Xi Wang 005; Feibo Chen; Xiaochen Lian; Jian Tang; Ming Wu 007; M. Frans Kaashoek; Zheng Zhang 001 (NSDI, 2008)

UsenetDHT: A Low-Overhead Design for Usenet. - Emil Sit; Robert Morris 005; M. Frans Kaashoek (NSDI, 2008)

Corey: An Operating System for Many Cores. - Silas Boyd-Wickizer; Haibo Chen 001; Rong Chen 001; Yandong Mao; M. Frans Kaashoek; Robert Morris 005; Aleksey Pesterev; Lex Stein; Ming Wu 007; Yue-hua Dai; Yang Zhang; Zheng Zhang 001 (OSDI, 2008)

R2: An Application-Level Kernel for Record and Replay. - Zhenyu Guo; Xi Wang 005; Jian Tang; Xuezheng Liu; Zhilei Xu; Ming Wu 007; M. Frans Kaashoek; Zheng Zhang 001 (OSDI, 2008)

Ksplice: automatic rebootless kernel updates. - Jeff Arnold; M. Frans Kaashoek (EuroSys, 2009)

Reinventing Scheduling for Multicore Systems. - Silas Boyd-Wickizer; Robert Morris 005; M. Frans Kaashoek (HotOS, 2009)

Flexible, Wide-Area Storage for Distributed Systems with WheelFS. - Jeremy Stribling; Yair Sovran; Irene Zhang; Xavid Pretzer; Jinyang Li 001; M. Frans Kaashoek; Robert Morris 005 (NSDI, 2009)

Improving application security with data flow assertions. - Alexander Yip; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (SOSP, 2009)

Whanau: A Sybil-proof Distributed Hash Table. - Chris Lesniewski-Laas; M. Frans Kaashoek (NSDI, 2010)

An Analysis of Linux Scalability to Many Cores. - Silas Boyd-Wickizer; Austin T. Clements; Yandong Mao; Aleksey Pesterev; M. Frans Kaashoek; Robert Morris 005; Nickolai Zeldovich (OSDI, 2010)

Intrusion Recovery Using Selective Re-execution. - Taesoo Kim; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (OSDI, 2010)

Device transparency: a new model for mobile storage. - Jacob Strauss; Chris Lesniewski-Laas; Justin Mazzola Paluska; Bryan Ford; Robert Morris 005; M. Frans Kaashoek (ACM SIGOPS Oper. Syst. Rev., 2010)

Linux kernel vulnerabilities: state-of-the-art defenses and open problems. - Haogang Chen 001; Yandong Mao; Xi Wang 005; Dong Zhou 006; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2011)

Retroactive auditing. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2011)

Software fault isolation with API integrity and multi-principal modules. - Yandong Mao; Haogang Chen 001; Dong Zhou 006; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (SOSP, 2011)

Eyo: Device-Transparent Personal Storage. - Jacob Strauss; Justin Mazzola Paluska; Chris Lesniewski-Laas; Bryan Ford; Robert Morris 005; M. Frans Kaashoek (USENIX ATC, 2011)

Undefined behavior: what happened to my code? - Xi Wang 005; Haogang Chen 001; Alvin Cheung; Zhihao Jia; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2012)

Scalable address spaces using RCU balanced trees. - Austin T. Clements; M. Frans Kaashoek; Nickolai Zeldovich (ASPLOS, 2012)

Improving Integer Security for Systems with KINT. - Xi Wang 005; Haogang Chen 001; Zhihao Jia; Nickolai Zeldovich; M. Frans Kaashoek (OSDI, 2012)

CPHASH: a cache-partitioned hash table. - Zviad Metreveli; Nickolai Zeldovich; M. Frans Kaashoek (PPoPP, 2012)

Security bugs in embedded interpreters. - Haogang Chen 001; Cody Cutler; Taesoo Kim; Yandong Mao; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (APSys, 2013)

RadixVM: scalable address spaces for multithreaded applications. - Austin T. Clements; M. Frans Kaashoek; Nickolai Zeldovich (EuroSys, 2013)

Towards optimization-safe systems: analyzing the impact of undefined behavior. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek; Armando Solar-Lezama (SOSP, 2013)

Processing Analytical Queries over Encrypted Data. - Stephen Tu; M. Frans Kaashoek; Samuel Madden 001; Nickolai Zeldovich (Proc. VLDB Endow., 2013)

VerSum: Verifiable Computations over Large Public Logs. - Jelle van den Hooff; M. Frans Kaashoek; Nickolai Zeldovich (CCS, 2014)

Identifying Information Disclosure in Web Applications with Retroactive Auditing. - Haogang Chen 001; Taesoo Kim; Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek (OSDI, 2014)

Building Web Applications on Top of Encrypted Data Using Mylar. - Raluca Ada Popa; Emily Stark 001; Jonas Helfer; Steven Valdez; Nickolai Zeldovich; M. Frans Kaashoek; Hari Balakrishnan (login Usenix Mag., 2014)

Hare: a file system for non-cache-coherent multicores. - Charles Gruenwald III; Filippo Sironi; M. Frans Kaashoek; Nickolai Zeldovich (EuroSys, 2015)

Amber: Decoupling User Data from Web Applications. - Tej Chajed; Jon Gjengset; Jelle van den Hooff; M. Frans Kaashoek; James Mickens; Robert Morris 005; Nickolai Zeldovich (HotOS, 2015)

Specifying Crash Safety for Storage Systems. - Haogang Chen 001; Daniel Ziegler 002; Adam Chlipala; M. Frans Kaashoek; Eddie Kohler; Nickolai Zeldovich (HotOS, 2015)

Parallel computing and the OS. - M. Frans Kaashoek (SOSP History Day, 2015)

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. - Austin T. Clements; M. Frans Kaashoek; Nickolai Zeldovich; Robert T. Morris; Eddie Kohler (ACM Trans. Comput. Syst., 2015)

A Differential Approach to Undefined Behavior Detection. - Xi Wang 005; Nickolai Zeldovich; M. Frans Kaashoek; Armando Solar-Lezama (ACM Trans. Comput. Syst., 2015)

Using Crash Hoare Logic for Certifying the FSCQ File System. - Haogang Chen 001; Daniel Ziegler 002; Tej Chajed; Adam Chlipala; M. Frans Kaashoek; Nickolai Zeldovich (USENIX ATC, 2016)

Scaling a file system to many cores using an operation log. - Srivatsa S. Bhat; Rasha Eqbal; Austin T. Clements; M. Frans Kaashoek; Nickolai Zeldovich (SOSP, 2017)

Verifying a high-performance crash-safe file system using a tree specification. - Haogang Chen 001; Tej Chajed; Alex Konradi; Stephanie Wang; Atalay Mert Ileri; Adam Chlipala; M. Frans Kaashoek; Nickolai Zeldovich (SOSP, 2017)

Certifying a file system using crash hoare logic: correctness in the presence of crashes. - Tej Chajed; Haogang Chen 001; Adam Chlipala; M. Frans Kaashoek; Nickolai Zeldovich; Daniel Ziegler 002 (Commun. ACM, 2017)

Verifying concurrent software using movers in CSPEC. - Tej Chajed; M. Frans Kaashoek; Butler W. Lampson; Nickolai Zeldovich (OSDI, 2018)

The benefits and costs of writing a POSIX kernel in a high-level language. - Cody Cutler; M. Frans Kaashoek; Robert T. Morris (OSDI, 2018)

Noria: dynamic, partially-stateful data-flow for high-performance web applications. - Jon Gjengset; Malte Schwarzkopf; Jonathan Behrens; Lara Timbó Araújo; Martin Ek; Eddie Kohler; M. Frans Kaashoek; Robert Morris 005 (OSDI, 2018)

Proving confidentiality in a file system using DiskSec. - Atalay Mert Ileri; Tej Chajed; Adam Chlipala; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2018)

A Revised and Verified Proof of the Scalable Commutativity Rule. - Lillian Tsai; Eddie Kohler; M. Frans Kaashoek; Nickolai Zeldovich (CoRR, 2018)

Towards Multiverse Databases. - Alana Marzoev; Lara Timbó Araújo; Malte Schwarzkopf; Samyukta Yagati; Eddie Kohler; Robert Morris 005; M. Frans Kaashoek; Sam Madden 001 (HotOS, 2019)

Extracting and Optimizing Formally Verified Code for Systems Programming. - Eleftherios Ioannidis; M. Frans Kaashoek; Nickolai Zeldovich (NFM, 2019)

Argosy: verifying layered storage systems with recovery refinement. - Tej Chajed; Joseph Tassarotti; M. Frans Kaashoek; Nickolai Zeldovich (PLDI, 2019)

Verifying concurrent, crash-safe systems with Perennial. - Tej Chajed; Joseph Tassarotti; M. Frans Kaashoek; Nickolai Zeldovich (SOSP, 2019)

Position: GDPR Compliance by Construction. - Malte Schwarzkopf; Eddie Kohler; M. Frans Kaashoek; Robert Morris 005 (Poly/DMAH@VLDB, 2019)

The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language. - Cody Cutler; M. Frans Kaashoek; Robert Morris 005 (login Usenix Mag., 2019)

Noria: A New Take on Fast Web Application Backends. - Jon Gjengset; Malte Schwarzkopf; Jonathan Behrens; Lara Timbó Araújo; Martin Ek; Eddie Kohler; M. Frans Kaashoek; Robert Morris 005 (login Usenix Mag., 2019)

Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. - Jonathan Behrens; Anton Cao; Cel Skeggs; Adam Belay; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2020)

Unnatural Language Processing: Bridging the Gap Between Synthetic and Natural Language Data. - Alana Marzoev; Samuel Madden 001; M. Frans Kaashoek; Michael J. Cafarella; Jacob Andreas (CoRR, 2020)

Notary: A Device for Secure Transaction Approval. - Anish Athalye; Adam Belay; M. Frans Kaashoek; Robert Morris 005; Nickolai Zeldovich (login Usenix Mag., 2020)

GoJournal: a verified, concurrent, crash-safe journaling system. - Tej Chajed; Joseph Tassarotti; Mark Theng; Ralf Jung 002; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2021)

Performance evolution of mitigating transient execution attacks. - Jonathan Behrens; Adam Belay; M. Frans Kaashoek (EuroSys, 2022)

Verifying Hardware Security Modules with Information-Preserving Refinement. - Anish Athalye; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2022)

Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. - Tej Chajed; Joseph Tassarotti; Mark Theng; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2022)

The K2 Architecture for Trustworthy Hardware Security Modules. - Anish Athalye; M. Frans Kaashoek; Nickolai Zeldovich; Joseph Tassarotti (KISV@SOSP, 2023)

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. - Yun-Sheng Chang; Ralf Jung 002; Upamanyu Sharma; Joseph Tassarotti; M. Frans Kaashoek; Nickolai Zeldovich (OSDI, 2023)

Grove: a Separation-Logic Library for Verifying Distributed Systems. - Upamanyu Sharma; Ralf Jung 002; Joseph Tassarotti; M. Frans Kaashoek; Nickolai Zeldovich (SOSP, 2023)

Edna: Disguising and Revealing User Data in Web Applications. - Lillian Tsai; Hannah Gross; Eddie Kohler; M. Frans Kaashoek; Malte Schwarzkopf (SOSP, 2023)

Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version). - Upamanyu Sharma; Ralf Jung 002; Joseph Tassarotti; M. Frans Kaashoek; Nickolai Zeldovich (CoRR, 2023)

Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism. - Atalay Mert Ileri; Nickolai Zeldovich; Adam Chlipala; M. Frans Kaashoek (CSF, 2024)

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 (SOSP, 2024)

Unifying serverless and microservice workloads with SigmaOS. - Ariel Szekely; Adam Belay; Robert Morris 005; M. Frans Kaashoek (SOSP, 2024)

Shipwright: Proving liveness of distributed systems with Byzantine participants. - Derek Leung; Nickolai Zeldovich; M. Frans Kaashoek (CoRR, 2025)