M. Frans Kaashoek

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 40

Top Venues

OSDI

SOSP

CoRR

Publications

Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. OSDI (2023)
Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Grove: a Separation-Logic Library for Verifying Distributed Systems. SOSP (2023)
Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti
The K2 Architecture for Trustworthy Hardware Security Modules. KISV@SOSP (2023)
Lillian Tsai, Hannah Gross, Eddie Kohler, M. Frans Kaashoek, Malte Schwarzkopf
Edna: Disguising and Revealing User Data in Web Applications. SOSP (2023)
Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version). CoRR (2023)
Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. OSDI (2022)
Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich
Verifying Hardware Security Modules with Information-Preserving Refinement. OSDI (2022)
Jonathan Behrens, Adam Belay, M. Frans Kaashoek
Performance evolution of mitigating transient execution attacks. EuroSys (2022)
Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich
GoJournal: a verified, concurrent, crash-safe journaling system. OSDI (2021)
Alana Marzoev, Samuel Madden, M. Frans Kaashoek, Michael J. Cafarella, Jacob Andreas
Unnatural Language Processing: Bridging the Gap Between Synthetic and Natural Language Data. CoRR (2020)
Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich
Notary: A Device for Secure Transaction Approval. GetMobile Mob. Comput. Commun. 24 (2) (2020)
Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich
Notary: A Device for Secure Transaction Approval. login Usenix Mag. 45 (1) (2020)
Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, Nickolai Zeldovich
Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. OSDI (2020)
Alana Marzoev, Lara Timbó Araújo, Malte Schwarzkopf, Samyukta Yagati, Eddie Kohler, Robert Tappan Morris, M. Frans Kaashoek, Sam Madden
Towards Multiverse Databases. HotOS (2019)
Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich
Notary: a device for secure transaction approval. SOSP (2019)
Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris
The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language. login Usenix Mag. 44 (1) (2019)
Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Verifying concurrent, crash-safe systems with Perennial. SOSP (2019)
Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
Argosy: verifying layered storage systems with recovery refinement. PLDI (2019)
Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich
Extracting and Optimizing Formally Verified Code for Systems Programming. NFM (2019)
Malte Schwarzkopf, Eddie Kohler, M. Frans Kaashoek, Robert Tappan Morris
Position: GDPR Compliance by Construction. Poly/DMAH@VLDB (2019)
Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Tappan Morris
Noria: A New Take on Fast Web Application Backends. login Usenix Mag. 44 (1) (2019)
Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Proving confidentiality in a file system using DiskSec. OSDI (2018)
Lillian Tsai, Eddie Kohler, M. Frans Kaashoek, Nickolai Zeldovich
A Revised and Verified Proof of the Scalable Commutativity Rule. CoRR (2018)
Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich
Verifying concurrent software using movers in CSPEC. OSDI (2018)
Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris
The benefits and costs of writing a POSIX kernel in a high-level language. OSDI (2018)
Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Tappan Morris
Noria: dynamic, partially-stateful data-flow for high-performance web applications. OSDI (2018)
Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler
Certifying a file system using crash hoare logic: correctness in the presence of crashes. Commun. ACM 60 (4) (2017)
Austin T. Clements, M. Frans Kaashoek, Eddie Kohler, Robert Tappan Morris, Nickolai Zeldovich
The scalable commutativity rule: designing scalable software for multicore processors. Commun. ACM 60 (8) (2017)
Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Verifying a high-performance crash-safe file system using a tree specification. SOSP (2017)
Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich
Scaling a file system to many cores using an operation log. SOSP (2017)
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
A differential approach to undefined behavior detection. Commun. ACM 59 (3) (2016)
Raluca Ada Popa, Emily Stark, Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, Hari Balakrishnan
Building web applications on top of encrypted data using Mylar. IACR Cryptol. ePrint Arch. 2016 (2016)
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Using Crash Hoare Logic for Certifying the FSCQ File System. USENIX Annual Technical Conference (2016)
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. ACM Trans. Comput. Syst. 32 (4) (2015)
Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, Nickolai Zeldovich
Hare: a file system for non-cache-coherent multicores. EuroSys (2015)
Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Tappan Morris, Nickolai Zeldovich
Amber: Decoupling User Data from Web Applications. HotOS (2015)
M. Frans Kaashoek
Parallel computing and the OS. SOSP History Day (2015)
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Using Crash Hoare logic for certifying the FSCQ file system. SOSP (2015)
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
A Differential Approach to Undefined Behavior Detection. ACM Trans. Comput. Syst. 33 (1) (2015)
Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich
Specifying Crash Safety for Storage Systems. HotOS (2015)
Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich
VerSum: Verifiable Computations over Large Public Logs. CCS (2014)
Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
Identifying Information Disclosure in Web Applications with Retroactive Auditing. OSDI (2014)
Raluca Ada Popa, Emily Stark, Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, Hari Balakrishnan
Building Web Applications on Top of Encrypted Data Using Mylar. login Usenix Mag. 39 (4) (2014)
Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
Security bugs in embedded interpreters. APSys (2013)
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich
RadixVM: scalable address spaces for multithreaded applications. EuroSys (2013)
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert Tappan Morris, Eddie Kohler
The scalable commutativity rule: designing scalable software for multicore processors. SOSP (2013)
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
Towards optimization-safe systems: analyzing the impact of undefined behavior. SOSP (2013)
Stephen Tu, M. Frans Kaashoek, Samuel Madden, Nickolai Zeldovich
Processing Analytical Queries over Encrypted Data. Proc. VLDB Endow. 6 (5) (2013)
Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
Improving Integer Security for Systems with KINT. OSDI (2012)
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich
Scalable address spaces using RCU balanced trees. ASPLOS (2012)
Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
Undefined behavior: what happened to my code? APSys (2012)
Zviad Metreveli, Nickolai Zeldovich, M. Frans Kaashoek
CPHASH: a cache-partitioned hash table. PPOPP (2012)
Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
Software fault isolation with API integrity and multi-principal modules. SOSP (2011)
Jacob Strauss, Justin Mazzola Paluska, Chris Lesniewski-Laas, Bryan Ford, Robert Tappan Morris, M. Frans Kaashoek
Eyo: Device-Transparent Personal Storage. USENIX Annual Technical Conference (2011)
Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek
Linux kernel vulnerabilities: state-of-the-art defenses and open problems. APSys (2011)
Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
Retroactive auditing. APSys (2011)
Chris Lesniewski-Laas, M. Frans Kaashoek
Whanau: A Sybil-proof Distributed Hash Table. NSDI (2010)
Jacob Strauss, Chris Lesniewski-Laas, Justin Mazzola Paluska, Bryan Ford, Robert Tappan Morris, M. Frans Kaashoek
Device transparency: a new model for mobile storage. ACM SIGOPS Oper. Syst. Rev. 44 (1) (2010)
Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich
An Analysis of Linux Scalability to Many Cores. OSDI (2010)
Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
Intrusion Recovery Using Selective Re-execution. OSDI (2010)
Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
Improving application security with data flow assertions. SOSP (2009)
Jeremy Stribling, Yair Sovran, Irene Zhang, Xavid Pretzer, Jinyang Li, M. Frans Kaashoek, Robert Tappan Morris
Flexible, Wide-Area Storage for Distributed Systems with WheelFS. NSDI (2009)
Jeff Arnold, M. Frans Kaashoek
Ksplice: automatic rebootless kernel updates. EuroSys (2009)
Silas Boyd-Wickizer, Robert Tappan Morris, M. Frans Kaashoek
Reinventing Scheduling for Multicore Systems. HotOS (2009)
Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang
D3S: Debugging Deployed Distributed Systems. NSDI (2008)
Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Tappan Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yue-hua Dai, Yang Zhang, Zheng Zhang
Corey: An Operating System for Many Cores. OSDI (2008)
M. Frans Kaashoek
Building Distributed, Wide-Area Applications with WheelFS. GPC (2008)
Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang
R2: An Application-Level Kernel for Record and Replay. OSDI (2008)
Emil Sit, Robert Tappan Morris, M. Frans Kaashoek
UsenetDHT: A Low-Overhead Design for Usenet. NSDI (2008)
Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler
Xoc, an extension-oriented compiler for systems programming. ASPLOS (2008)
Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Tappan Morris
Information flow control for standard OS abstractions. SOSP (2007)
Maxwell N. Krohn, Eddie Kohler, M. Frans Kaashoek
Events Can Make Sense. USENIX Annual Technical Conference (2007)
Chris Lesniewski-Laas, Bryan Ford, Jacob Strauss, Robert Tappan Morris, M. Frans Kaashoek
Alpaca: extensible authorization for distributed services. CCS (2007)
Jeremy Stribling, Emil Sit, M. Frans Kaashoek, Robert Tappan Morris
Don't Give Up on Distributed File Systems. IPTPS (2007)
Steve Vandebogart, Petros Efstathopoulos, Eddie Kohler, Maxwell N. Krohn, Cliff Frey, David Ziegler, M. Frans Kaashoek, Robert Tappan Morris, David Mazières
Labels and event processes in the Asbestos operating system. ACM Trans. Comput. Syst. 25 (4) (2007)
Byung-Gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, John Kubiatowicz, Robert Tappan Morris
Efficient Replica Maintenance for Distributed Storage Systems. NSDI (2006)
Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Tappan Morris
User-Relative Names for Globally Connected Personal Devices. IPTPS (2006)
Jerome H. Saltzer, M. Frans Kaashoek
A systems approach to teaching computer systems. WCAE (2006)
Jeremy Stribling, Jinyang Li, Isaac G. Councill, M. Frans Kaashoek, Robert Tappan Morris
OverCite: A Distributed, Cooperative CiteSeer. NSDI (2006)
Emil Sit, Andreas Haeberlen, Frank Dabek, Byung-Gon Chun, Hakim Weatherspoon, Robert Tappan Morris, M. Frans Kaashoek, John Kubiatowicz
Proactive Replication for Data Durability. IPTPS (2006)
Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Tappan Morris
Persistent Personal Names for Globally Connected Mobile Devices. OSDI (2006)
Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Tappan Morris
User-Relative Names for Globally Connected Personal Devices CoRR (2006)
George Danezis, Chris Lesniewski-Laas, M. Frans Kaashoek, Ross J. Anderson
Sybil-Resistant DHT Routing. ESORICS (2005)
Chris Lesniewski-Laas, M. Frans Kaashoek
SSL splitting: Securely serving data from untrusted caches. Comput. Networks 48 (5) (2005)
Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, M. Frans Kaashoek, Robert Tappan Morris
Labels and event processes in the Asbestos operating system. SOSP (2005)
Jeremy Stribling, Isaac G. Councill, Jinyang Li, M. Frans Kaashoek, David R. Karger, Robert Tappan Morris, Scott Shenker
OverCite: A Cooperative Digital Research Library. IPTPS (2005)
Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazières, Robert Tappan Morris, Michelle Osborne, Steve Vandebogart, David Ziegler
Make Least Privilege a Right (Not a Privilege). HotOS (2005)
Jinyang Li, Jeremy Stribling, Robert Tappan Morris, M. Frans Kaashoek
Bandwidth-efficient Management of DHT Routing Tables. NSDI (2005)
Jinyang Li, Jeremy Stribling, Robert Tappan Morris, M. Frans Kaashoek, Thomer M. Gil
A performance vs. cost framework for evaluating DHT design tradeoffs under churn. INFOCOM (2005)
David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Rohit N. Rao
Improving Web Availability for Clients with MONET. NSDI (2005)
Frank Dabek, Jinyang Li, Emil Sit, James Robertson, M. Frans Kaashoek, Robert Tappan Morris
Designing a DHT for Low Latency and High Throughput. NSDI (2004)
Jinyang Li, Jeremy Stribling, Thomer M. Gil, Robert Tappan Morris, M. Frans Kaashoek
Comparing the Performance of Distributed Hash Tables Under Churn. IPTPS (2004)
Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek
REX: Secure, Extensible Remote Execution. USENIX Annual Technical Conference, General Track (2004)
Russ Cox, Frank Dabek, M. Frans Kaashoek, Jinyang Li, Robert Tappan Morris
Practical, distributed network coordinates. Comput. Commun. Rev. 34 (1) (2004)
Frank Dabek, Russ Cox, M. Frans Kaashoek, Robert Tappan Morris
Vivaldi: a decentralized network coordinate system. SIGCOMM (2004)
Jacob Strauss, Dina Katabi, M. Frans Kaashoek
A measurement study of available bandwidth estimation tools. Internet Measurement Conference (2003)
Hari Balakrishnan, M. Frans Kaashoek, David R. Karger, Robert Tappan Morris, Ion Stoica
Looking up data in P2P systems. Commun. ACM 46 (2) (2003)
Michael Kaminsky, George Savvides, David Mazières, M. Frans Kaashoek
Decentralized user authentication in a global file system. SOSP (2003)
Jinyang Li, Boon Thau Loo, Joseph M. Hellerstein, M. Frans Kaashoek, David R. Karger, Robert Tappan Morris
On the Feasibility of Peer-to-Peer Web Indexing and Search. IPTPS (2003)
Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek
Measuring the effects of internet path faults on reactive routing. SIGMETRICS (2003)

M. Frans Kaashoek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

M. Frans Kaashoek