M. Frans Kaashoek
Orcid: 0000-0001-7098-586XAffiliations:
- MIT, Cambridge, USA
According to our database1,
M. Frans Kaashoek
authored at least 170 papers
between 1989 and 2024.
Collaborative distances:
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 OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation.
Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 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
Proceedings of the 29th Symposium on Operating Systems Principles, 2023
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
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
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022
2021
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021
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
login Usenix Mag., 2019
Proceedings of the Heterogeneous Data Management, Polystores, and Analytics for Healthcare, 2019
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019
2018
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018
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
Proceedings of the 26th Symposium on Operating Systems Principles, 2017
Proceedings of the 26th Symposium on Operating Systems Principles, 2017
2016
Proceedings of the 2016 USENIX Annual Technical Conference, 2016
2015
ACM Trans. Comput. Syst., 2015
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors.
ACM Trans. Comput. Syst., 2015
Proceedings of the SOSP History Day 2015, Monterey, California, USA, October 4, 2015, 2015
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015
Proceedings of the Tenth European Conference on Computer Systems, 2015
2014
login Usenix Mag., 2014
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014
2013
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
Proceedings of the Eighth Eurosys Conference 2013, 2013
Proceedings of the Asia-Pacific Workshop on Systems, 2013
2012
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012
Proceedings of the Asia-Pacific Workshop on Systems, 2012
2011
Proceedings of the 2011 USENIX Annual Technical Conference, 2011
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011
2010
ACM SIGOPS Oper. Syst. Rev., 2010
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010
2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009
Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009
2008
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008
Proceedings of the Advances in Grid and Pervasive Computing, 2008
Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008
2007
ACM Trans. Comput. Syst., 2007
Proceedings of the 2007 USENIX Annual Technical Conference, 2007
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007
Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007
Proceedings of the 2007 ACM Conference on Computer and Communications Security, 2007
2006
Proceedings of the 2006 Workshop on Computer Architecture Education, 2006
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006
Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006
Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI 2006), 2006
Proceedings of the 5th International workshop on Peer-To-Peer Systems, 2006
Proceedings of the 5th International workshop on Peer-To-Peer Systems, 2006
2005
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005
Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005
Proceedings of the INFOCOM 2005. 24th Annual Joint Conference of the IEEE Computer and Communications Societies, 2005
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005
2004
Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004
Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004
2003
IEEE/ACM Trans. Netw., 2003
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
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 2003
2002
ACM Trans. Comput. Syst., 2002
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
2001
Proceedings of the 18th ACM Symposium on Operating System Principles, 2001
Proceedings of the ACM SIGCOMM 2001 Conference on Applications, 2001
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001
Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001
2000
Proceedings of the 9th ACM SIGOPS European Workshop, 2000
Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000
1999
ACM Trans. Program. Lang. Syst., 1999
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999
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
Proceedings of the 8th ACM SIGOPS European Workshop: Support for Composing Distributed Applications, 1998
Proceedings of the Fourth International Symposium on High-Performance Computer Architecture, Las Vegas, Nevada, USA, January 31, 1998
Proceedings of the CCS '98, 1998
1997
Wirel. Networks, 1997
IEEE/ACM Trans. Netw., 1997
Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files.
Proceedings of the 1997 USENIX Annual Technical Conference, 1997
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997
Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997
Proceedings of The Sixth Workshop on Hot Topics in Operating Systems, 1997
1996
Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996
Proceedings of the ACM SIGCOMM 1996 Conference on Applications, 1996
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
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996
1995
ACM SIGOPS Oper. Syst. Rev., 1995
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995
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
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995
Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995
1994
Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994
Proceedings of the First Workshop on Mobile Computing Systems and Applications, 1994
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
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994
Proceedings of the Mobile Computing [Mobidata Workshop on Mobile and Wireless Information Systems, Rutgers University, NJ, USA, October 31, 1994
1993
ACM Trans. Comput. Syst., 1993
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993
Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, 1993
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993
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
IEEE Trans. Software Eng., 1992
Softw. Pract. Exp., 1992
ACM SIGOPS Oper. Syst. Rev., 1992
Concurr. Pract. Exp., 1992
Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992
1991
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991
1990
Proceedings of the 1990 Internation Conference on Computer Languages, 1990
1989