Ksplice: Automatic Rebootless Kernel Updates

by Kaashoek, M. Frans, Arnold, Jeffrey B.
Published 2010

RadixVM: Scalable address spaces for multithreaded applications

by Clements, Austin T., Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2014

Whanau: A Sybil-Proof Distributed Hash Table

by Kaashoek, M. Frans, Lesniewski-Laas, Christopher Tur
Published 2011

Retroactive auditing

by Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2012

Scalable Address Spaces Using Rcu Balanced Trees

by Clements, Austin T., Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2012

CPHASH: A cache-partitioned hash table

by Metreveli, Zviad, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2012

Hare: a file system for non-cache-coherent multicores

by Gruenwald, Charles, Sironi, Filippo, Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2016

VerSum: Verifiable Computations over Large Public Logs

by van den Hooff, Jelle, Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2015

Verifying concurrent, crash-safe systems with Perennial

by Chajed, Tej, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2021

Argosy: verifying layered storage systems with recovery refinement

by Chajed, Tej, Tassarotti, Joseph, Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2021

Reinventing Scheduling for Multicore Systems

by Boyd-Wickizer, Silas, Morris, Robert Tappan, Kaashoek, M. Frans
Published 2011

Improving application security with data flow assertions

by Yip, Alexander, Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2011

Intrusion Recovery Using Selective Re-execution

by Kim, Taesoo, Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2011

Towards optimization-safe systems: analyzing the impact of undefined behavior

by Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans, Solar-Lezama, Armando
Published 2014

Scaling a file system to many cores using an operation log

by Bhat, Srivatsa S., Eqbal, Rasha, Clements, Austin T., Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2021

Processing Analytical Queries over Encrypted Data

by Tu, Stephen Lyle, Kaashoek, M. Frans, Madden, Samuel R., Zeldovich, Nickolai
Published 2014

Notary: a device for secure transaction approval

by Athalye, Anish, Belay, Adam M, Kaashoek, M. Frans, Morris, Robert, Zeldovich, Nickolai
Published 2020

Software Fault Isolation with Api Integrity and Multi-Principal Modules

by Mao, Yandong, Chen, Haogang, Zhou, Dong, Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2012

Using Crash Hoare logic for certifying the FSCQ file system

by Chen, Haogang, Ziegler, Daniel, Chajed, Tej, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2021

Linux Kernel Vulnerabilities: State-of-the-Art Defenses and Open Problems

by Chen, Haogang, Mao, Yandong, Wang, Xi, Zhou, Dong, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2012