M. Frans Kaashoek

Orcid: 0000-0001-7098-586X

Affiliations:
  • MIT, Cambridge, USA


According to our database1, M. Frans Kaashoek authored at least 168 papers between 1989 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2004, "For contributions to distributed, mobile, and parallel systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism.
Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version).
CoRR, 2023

Edna: Disguising and Revealing User Data in Web Applications.
Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Grove: a Separation-Logic Library for Verifying Distributed Systems.
Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Verifying vMVCC, a high-performance transaction library using multi-version concurrency control.
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

The K2 Architecture for Trustworthy Hardware Security Modules.
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

2022
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Verifying Hardware Security Modules with Information-Preserving Refinement.
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

Performance evolution of mitigating transient execution attacks.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

2021
GoJournal: a verified, concurrent, crash-safe journaling system.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2020
Notary: A Device for Secure Transaction Approval.
login Usenix Mag., 2020

Unnatural Language Processing: Bridging the Gap Between Synthetic and Natural Language Data.
CoRR, 2020

Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019
Noria: A New Take on Fast Web Application Backends.
login Usenix Mag., 2019

The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language.
login Usenix Mag., 2019

Position: GDPR Compliance by Construction.
Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2019

Verifying concurrent, crash-safe systems with Perennial.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Argosy: verifying layered storage systems with recovery refinement.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Extracting and Optimizing Formally Verified Code for Systems Programming.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Towards Multiverse Databases.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018
A Revised and Verified Proof of the Scalable Commutativity Rule.
CoRR, 2018

Proving confidentiality in a file system using DiskSec.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Noria: dynamic, partially-stateful data-flow for high-performance web applications.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Verifying concurrent software using movers in CSPEC.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017
Certifying a file system using crash hoare logic: correctness in the presence of crashes.
Commun. ACM, 2017

Verifying a high-performance crash-safe file system using a tree specification.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Scaling a file system to many cores using an operation log.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

2016
Using Crash Hoare Logic for Certifying the FSCQ File System.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

2015
A Differential Approach to Undefined Behavior Detection.
ACM Trans. Comput. Syst., 2015

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors.
ACM Trans. Comput. Syst., 2015

Parallel computing and the OS.
Proceedings of the SOSP History Day 2015, Monterey, California, USA, October 4, 2015, 2015

Specifying Crash Safety for Storage Systems.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Amber: Decoupling User Data from Web Applications.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Hare: a file system for non-cache-coherent multicores.
Proceedings of the Tenth European Conference on Computer Systems, 2015

2014
Building Web Applications on Top of Encrypted Data Using Mylar.
login Usenix Mag., 2014

Identifying Information Disclosure in Web Applications with Retroactive Auditing.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

VerSum: Verifiable Computations over Large Public Logs.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013
Processing Analytical Queries over Encrypted Data.
Proc. VLDB Endow., 2013

Towards optimization-safe systems: analyzing the impact of undefined behavior.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

RadixVM: scalable address spaces for multithreaded applications.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Security bugs in embedded interpreters.
Proceedings of the Asia-Pacific Workshop on Systems, 2013

2012
CPHASH: a cache-partitioned hash table.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Improving Integer Security for Systems with KINT.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Scalable address spaces using RCU balanced trees.
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

Undefined behavior: what happened to my code?
Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011
Eyo: Device-Transparent Personal Storage.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Software fault isolation with API integrity and multi-principal modules.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Retroactive auditing.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

Linux kernel vulnerabilities: state-of-the-art defenses and open problems.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010
Device transparency: a new model for mobile storage.
ACM SIGOPS Oper. Syst. Rev., 2010

Intrusion Recovery Using Selective Re-execution.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

An Analysis of Linux Scalability to Many Cores.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Whanau: A Sybil-proof Distributed Hash Table.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

2009
Improving application security with data flow assertions.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Flexible, Wide-Area Storage for Distributed Systems with WheelFS.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Reinventing Scheduling for Multicore Systems.
Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

Ksplice: automatic rebootless kernel updates.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2008
R2: An Application-Level Kernel for Record and Replay.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Corey: An Operating System for Many Cores.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

UsenetDHT: A Low-Overhead Design for Usenet.
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

D3S: Debugging Deployed Distributed Systems.
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Building Distributed, Wide-Area Applications with WheelFS.
Proceedings of the Advances in Grid and Pervasive Computing, 2008

Xoc, an extension-oriented compiler for systems programming.
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007
Labels and event processes in the Asbestos operating system.
ACM Trans. Comput. Syst., 2007

Events Can Make Sense.
Proceedings of the 2007 USENIX Annual Technical Conference, 2007

Information flow control for standard OS abstractions.
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Don't Give Up on Distributed File Systems.
Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007

Alpaca: extensible authorization for distributed services.
Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007

2006
A systems approach to teaching computer systems.
Proceedings of the 2006 Workshop on Computer Architecture Education, 2006

Persistent Personal Names for Globally Connected Mobile Devices.
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

OverCite: A Distributed, Cooperative CiteSeer.
Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006

Efficient Replica Maintenance for Distributed Storage Systems.
Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006

Proactive Replication for Data Durability.
Proceedings of the 5th International workshop on Peer-To-Peer Systems, 2006

User-Relative Names for Globally Connected Personal Devices.
Proceedings of the 5th International workshop on Peer-To-Peer Systems, 2006

2005
SSL splitting: Securely serving data from untrusted caches.
Comput. Networks, 2005

Bandwidth-efficient Management of DHT Routing Tables.
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

Improving Web Availability for Clients with MONET.
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

OverCite: A Cooperative Digital Research Library.
Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

A performance vs. cost framework for evaluating DHT design tradeoffs under churn.
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005

Make Least Privilege a Right (Not a Privilege).
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

Sybil-Resistant DHT Routing.
Proceedings of the Computer Security, 2005

2004
Practical, distributed network coordinates.
Comput. Commun. Rev., 2004

REX: Secure, Extensible Remote Execution.
Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Vivaldi: a decentralized network coordinate system.
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004

Designing a DHT for Low Latency and High Throughput.
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

Comparing the Performance of Distributed Hash Tables Under Churn.
Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

2003
Chord: a scalable peer-to-peer lookup protocol for internet applications.
IEEE/ACM Trans. Netw., 2003

Experience with an evolving overlay network testbed.
Comput. Commun. Rev., 2003

Looking up data in P2P systems.
Commun. ACM, 2003

Multiprocessor Support for Event-Driven Programs.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Decentralized user authentication in a global file system.
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Measuring the effects of internet path faults on reactive routing.
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003

On the Feasibility of Peer-to-Peer Web Indexing and Search.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

Koorde: A Simple Degree-Optimal Distributed Hash Table.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

A measurement study of available bandwidth estimation tools.
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 2003

2002
Fast and flexible application-level networking on exokernel systems.
ACM Trans. Comput. Syst., 2002

Fast and secure distributed read-only file system.
ACM Trans. Comput. Syst., 2002

Resilient overlay networks.
Comput. Commun. Rev., 2002

Event-driven programming for robust software.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001
Guest Editors' Introduction: Scalable Internet Services.
IEEE Internet Comput., 2001

The measured performance of content distribution networks.
Comput. Commun., 2001

Wide-Area Cooperative Storage with CFS.
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

Chord: A scalable peer-to-peer lookup service for internet applications.
Proceedings of the ACM SIGCOMM 2001 Conference on Applications, 2001

Reconsidering Internet Mobility.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

Building peer-to-peer systems with Chord, a distributed lookup service.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

The Case for Resilient Overlay Networks.
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000
The click modular router.
ACM Trans. Comput. Syst., 2000

CarNet: a scalable ad hoc wireless network system.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

Overcast: Reliable Multicasting with an Overlay Network.
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000

1999
'C and tcc: A Language and Compiler for Dynamic Code Generation.
ACM Trans. Program. Lang. Syst., 1999

The Click modular router.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

Separating key management from file system security.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

A Readable TCP in the Prolac Protocol Language.
Proceedings of the ACM SIGCOMM 1999 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 1999

1998
Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication.
J. ACM, 1998

Escaping the evils of centralized control with self-certifying pathnames.
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998

Exploiting Two-Case Delivery for Fast Protected Messaging.
Proceedings of the Fourth International Symposium on High-Performance Computer Architecture, Las Vegas, Nevada, USA, January 31, 1998

The Design, Implementation and Operation of an Email Pseudonym Server.
Proceedings of the CCS '98, 1998

1997
Building reliable mobile-aware applications using the Rover toolkit.
Wirel. Networks, 1997

ASHs application-specific handlers for high-performance messaging.
IEEE/ACM Trans. Netw., 1997

Mobile Computing with the Rover Toolkit.
IEEE Trans. Computers, 1997

Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files.
Proceedings of the 1997 USENIX Annual Technical Conference, 1997

Application Performance and Flexibility on Exokernel Systems.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation.
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Secure Applications Need Flexible Operating Systems.
Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997

1996
Server operating systems.
Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation.
Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996

Dynamic Computation Migration in DSM Systems.
Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, 1996

C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

An Evaluation of the Amoeba Group Communication System.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Atomic Recovery Units: Failure Atomicity for Logical Disks.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995
The Operating System Kernel as a Secure Programmable Machine.
ACM SIGOPS Oper. Syst. Rev., 1995

Rover: A Toolkit for Mobile Information Access.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

CRL: High-Performance All-Software Distributed Shared Memory.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Exokernel: An Operating System Architecture for Application-Level Resource Management.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Exterminate all operating system abstractions.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

AVM: application-level virtual memory.
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995

1994
Object-based approach to programming distributed systems.
Concurr. Pract. Exp., 1994

Dynamic Documents: Mobile Wireless Access to the WWW.
Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994

Disconnected Operation in the Thor Object-Oriented Database System.
Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994

Optimistic Active Messages: Structuring Systems for High-Performance Communication.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

The Exokernel Approach to Operating System Extensibility (Panel Statement).
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Storage Alternatives for Mobile Computers.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Software Prefetching and Caching for Translation Lookaside Buffers.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Storage Alternatives for Mobile Computers.
Proceedings of the Mobile Computing [Mobidata Workshop on Mobile and Wireless Information Systems, Rutgers University, NJ, USA, October 31, 1994

1993
FLIP: An Internetwork Protocol for Supporting Distributed Systems.
ACM Trans. Comput. Syst., 1993

Group communication in Amoeba and its applications.
Distributed Syst. Eng., 1993

The Logical Disk: A New Approach to Improving File Systems.
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

Object Distribution in Orca using Compile-Time and Run-Time Techniques.
Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993

Using Group Communication to Implement a Fault-Tolerant Directory Service.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Programming a Distributed System Using Shared Objects.
Proceedings of the Second International Symposium on High Performance Distributed Computing, 1993

The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty.
Proceedings of the Proceedings Fourth Workshop on Workstation Operating Systems, 1993

1992
Orca: A Language For Parallel Programming of Distributed Systems.
IEEE Trans. Software Eng., 1992

A Comparison of Two Paradigms for Distributed Shared Memory.
Softw. Pract. Exp., 1992

FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract).
ACM SIGOPS Oper. Syst. Rev., 1992

Replication techniques for speeding up parallel applications on distributed systems.
Concurr. Pract. Exp., 1992

Parallel Programming Using Shared Objects and Broadcasting.
Computer, 1992

An experimental comparison of remote procedure call and group communication.
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

1991
Fault Tolerance Using Group Communication.
ACM SIGOPS Oper. Syst. Rev., 1991

A Comparison of Two Distributed Systems: Amoeba and Sprite.
Comput. Syst., 1991

The Amoeba distributed operating system - A status report.
Comput. Commun., 1991

Group communication in the Amoeba distributed operating system.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1990
Orca: a language for distributed programming.
ACM SIGPLAN Notices, 1990

Experience with Distributed Programming in ORCA.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989
The design of very fast portable compilers.
ACM SIGPLAN Notices, 1989

An Efficient Reliable Broadcast Protocol.
ACM SIGOPS Oper. Syst. Rev., 1989


  Loading...