The scalable commutativity rule: designing scalable software for multicore processors

by Clements, Austin T., Kaashoek, M. Frans, Zeldovich, Nickolai, Morris, Robert Tappan, Kohler, Edward W.
Published 2014

Undefined behavior: what happened to my code?

by Wang, Xi, Chen, Haogang, Cheung, Alvin K., Jia, Zhihao, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2014

Certifying a file system using crash hoare logic

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

Specifying crash safety for storage systems

by Chen, Haogang, Ziegler, Daniel (Daniel M.), Chlipala, Adam, Kaashoek, M. Frans, Kohler, Eddie, Zeldovich, Nickolai
Published 2021

Security bugs in embedded interpreters

by Chen, Haogang, Cutler, Cody, Kim, Taesoo, Mao, Yandong, Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans
Published 2014

Flexible, Wide-Area Storage for Distributed Systems with WheelFS

by Stribling, Jeremy, Sovran, Yair, Zhang, Irene, Pretzer, Xavid F., Li, Jinyang, Kaashoek, M. Frans, Morris, Robert Tappan
Published 2011

An Analysis of Linux Scalability to Many Cores

by Boyd-Wickizer, Silas, Clements, Austin T., Mao, Yandong, Pesterev, Aleksey, Kaashoek, M. Frans, Morris, Robert Tappan, Zeldovich, Nickolai
Published 2011

Verifying a high-performance crash-safe file system using a tree specification

by Chen, Haogang, Chajed, Tej, Konradi, Alex, Wang, Stephanie, İleri, Atalay, Chlipala, Adam, Kaashoek, M. Frans, Zeldovich, Nickolai
Published 2021

Device Transparency: a New Model for Mobile Storage

by Strauss, Jacob A., Lesniewski-Laas, Christopher Tur, Paluska, Justin Mazzola, Ford, Bryan, Morris, Robert Tappan, Kaashoek, M. Frans
Published 2011