default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDM. Frans Kaashoek
Person information
- affiliation: MIT, Cambridge, USA
- award: ACM Prize in Computing, 2010
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c140]Atalay Mert Ileri, Nickolai Zeldovich, Adam Chlipala, M. Frans Kaashoek:
Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism. CSF 2024: 96-111- [c139]Ariel Szekely
, Adam Belay, Robert Morris, M. Frans Kaashoek:
Unifying serverless and microservice workloads with SigmaOS. SOSP 2024: 385-402 - [c138]Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich:
Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. SOSP 2024: 655-672 - 2023
- [c137]Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti:
The K2 Architecture for Trustworthy Hardware Security Modules. KISV@SOSP 2023: 26-32 - [c136]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: 871-886 - [c135]Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Grove: a Separation-Logic Library for Verifying Distributed Systems. SOSP 2023: 113-129 - [c134]Lillian Tsai, Hannah Gross, Eddie Kohler, M. Frans Kaashoek, Malte Schwarzkopf:
Edna: Disguising and Revealing User Data in Web Applications. SOSP 2023: 434-450 - [i5]Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version). CoRR abs/2309.03046 (2023) - 2022
- [c133]Jonathan Behrens, Adam Belay, M. Frans Kaashoek:
Performance evolution of mitigating transient execution attacks. EuroSys 2022: 251-265 - [c132]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: 447-463 - [c131]Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying Hardware Security Modules with Information-Preserving Refinement. OSDI 2022: 503-519 - 2021
- [c130]Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich:
GoJournal: a verified, concurrent, crash-safe journaling system. OSDI 2021: 423-439 - 2020
- [j44]Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich:
Notary: A Device for Secure Transaction Approval. GetMobile Mob. Comput. Commun. 24(2): 34-38 (2020) - [j43]Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich:
Notary: A Device for Secure Transaction Approval. login Usenix Mag. 45(1) (2020) - [c129]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: 1139-1154 - [i4]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 abs/2004.13645 (2020)
2010 – 2019
- 2019
- [j42]Cody Cutler, M. Frans Kaashoek, Robert Morris:
The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language. login Usenix Mag. 44(1) (2019) - [j41]Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Morris:
Noria: A New Take on Fast Web Application Backends. login Usenix Mag. 44(1) (2019) - [c128]Alana Marzoev, Lara Timbó Araújo, Malte Schwarzkopf, Samyukta Yagati, Eddie Kohler, Robert Morris, M. Frans Kaashoek, Sam Madden:
Towards Multiverse Databases. HotOS 2019: 88-95 - [c127]Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich:
Extracting and Optimizing Formally Verified Code for Systems Programming. NFM 2019: 228-236 - [c126]Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Argosy: verifying layered storage systems with recovery refinement. PLDI 2019: 1054-1068 - [c125]Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich:
Notary: a device for secure transaction approval. SOSP 2019: 97-113 - [c124]Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying concurrent, crash-safe systems with Perennial. SOSP 2019: 243-258 - [c123]Malte Schwarzkopf, Eddie Kohler, M. Frans Kaashoek, Robert Morris:
Position: GDPR Compliance by Construction. Poly/DMAH@VLDB 2019: 39-53 - 2018
- [c122]Cody Cutler, M. Frans Kaashoek, Robert T. Morris:
The benefits and costs of writing a POSIX kernel in a high-level language. OSDI 2018: 89-105 - [c121]Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Morris:
Noria: dynamic, partially-stateful data-flow for high-performance web applications. OSDI 2018: 213-231 - [c120]Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich:
Verifying concurrent software using movers in CSPEC. OSDI 2018: 306-322 - [c119]Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich:
Proving confidentiality in a file system using DiskSec. OSDI 2018: 323-338 - [i3]Lillian Tsai, Eddie Kohler, M. Frans Kaashoek, Nickolai Zeldovich:
A Revised and Verified Proof of the Scalable Commutativity Rule. CoRR abs/1809.09550 (2018) - 2017
- [j40]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): 75-84 (2017) - [j39]Austin T. Clements, M. Frans Kaashoek, Eddie Kohler, Robert T. Morris, Nickolai Zeldovich:
The scalable commutativity rule: designing scalable software for multicore processors. Commun. ACM 60(8): 83-90 (2017) - [c118]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: 69-86 - [c117]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: 270-286 - 2016
- [j38]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
A differential approach to undefined behavior detection. Commun. ACM 59(3): 99-106 (2016) - [c116]Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich:
Using Crash Hoare Logic for Certifying the FSCQ File System. USENIX ATC 2016 - [i2]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: 893 (2016) - 2015
- [j37]Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler:
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. ACM Trans. Comput. Syst. 32(4): 10:1-10:47 (2015) - [j36]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
A Differential Approach to Undefined Behavior Detection. ACM Trans. Comput. Syst. 33(1): 1:1-1:29 (2015) - [c115]Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, Nickolai Zeldovich:
Hare: a file system for non-cache-coherent multicores. EuroSys 2015: 30:1-30:16 - [c114]Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Morris, Nickolai Zeldovich:
Amber: Decoupling User Data from Web Applications. HotOS 2015 - [c113]Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich:
Specifying Crash Safety for Storage Systems. HotOS 2015 - [c112]M. Frans Kaashoek:
Parallel computing and the OS. SOSP History Day 2015: 10:1-10:35 - [c111]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: 18-37 - 2014
- [j35]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) - [c110]Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich:
VerSum: Verifiable Computations over Large Public Logs. CCS 2014: 1304-1316 - [c109]Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Identifying Information Disclosure in Web Applications with Retroactive Auditing. OSDI 2014: 555-569 - 2013
- [j34]Stephen Tu, M. Frans Kaashoek, Samuel Madden, Nickolai Zeldovich:
Processing Analytical Queries over Encrypted Data. Proc. VLDB Endow. 6(5): 289-300 (2013) - [c108]Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Security bugs in embedded interpreters. APSys 2013: 17:1-17:7 - [c107]Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich:
RadixVM: scalable address spaces for multithreaded applications. EuroSys 2013: 211-224 - [c106]Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler:
The scalable commutativity rule: designing scalable software for multicore processors. SOSP 2013: 1-17 - [c105]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama:
Towards optimization-safe systems: analyzing the impact of undefined behavior. SOSP 2013: 260-275 - [e5]Zdenek Hanzálek, Hermann Härtig, Miguel Castro, M. Frans Kaashoek:
Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013. ACM 2013, ISBN 978-1-4503-1994-2 [contents] - 2012
- [c104]Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek:
Undefined behavior: what happened to my code? APSys 2012: 9 - [c103]Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich:
Scalable address spaces using RCU balanced trees. ASPLOS 2012: 199-210 - [c102]Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek:
Improving Integer Security for Systems with KINT. OSDI 2012: 163-177 - [c101]Zviad Metreveli, Nickolai Zeldovich, M. Frans Kaashoek:
CPHASH: a cache-partitioned hash table. PPoPP 2012: 319-320 - 2011
- [c100]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: 5 - [c99]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Retroactive auditing. APSys 2011: 9 - [c98]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: 115-128 - [c97]Jacob Strauss, Justin Mazzola Paluska, Chris Lesniewski-Laas, Bryan Ford, Robert Morris, M. Frans Kaashoek:
Eyo: Device-Transparent Personal Storage. USENIX ATC 2011 - 2010
- [j33]Jacob Strauss, Chris Lesniewski-Laas, Justin Mazzola Paluska, Bryan Ford, Robert Morris, M. Frans Kaashoek:
Device transparency: a new model for mobile storage. ACM SIGOPS Oper. Syst. Rev. 44(1): 5-9 (2010) - [c96]Chris Lesniewski-Laas, M. Frans Kaashoek:
Whanau: A Sybil-proof Distributed Hash Table. NSDI 2010: 111-126 - [c95]Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich:
An Analysis of Linux Scalability to Many Cores. OSDI 2010: 1-16 - [c94]Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Intrusion Recovery Using Selective Re-execution. OSDI 2010: 89-104
2000 – 2009
- 2009
- [c93]Jeff Arnold, M. Frans Kaashoek:
Ksplice: automatic rebootless kernel updates. EuroSys 2009: 187-198 - [c92]Silas Boyd-Wickizer, Robert Morris, M. Frans Kaashoek:
Reinventing Scheduling for Multicore Systems. HotOS 2009 - [c91]Jeremy Stribling, Yair Sovran, Irene Zhang, Xavid Pretzer, Jinyang Li, M. Frans Kaashoek, Robert Morris:
Flexible, Wide-Area Storage for Distributed Systems with WheelFS. NSDI 2009: 43-58 - [c90]Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Improving application security with data flow assertions. SOSP 2009: 291-304 - 2008
- [c89]Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler:
Xoc, an extension-oriented compiler for systems programming. ASPLOS 2008: 244-254 - [c88]M. Frans Kaashoek:
Building Distributed, Wide-Area Applications with WheelFS. GPC 2008: 2 - [c87]Emil Sit, Robert Morris, M. Frans Kaashoek:
UsenetDHT: A Low-Overhead Design for Usenet. NSDI 2008: 133-146 - [c86]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: 423-437 - [c85]Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yue-hua Dai, Yang Zhang, Zheng Zhang:
Corey: An Operating System for Many Cores. OSDI 2008: 43-57 - [c84]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: 193-208 - 2007
- [j32]Steve Vandebogart, Petros Efstathopoulos, Eddie Kohler, Maxwell N. Krohn, Cliff Frey, David Ziegler, M. Frans Kaashoek, Robert Morris, David Mazières:
Labels and event processes in the Asbestos operating system. ACM Trans. Comput. Syst. 25(4): 11 (2007) - [c83]Chris Lesniewski-Laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek:
Alpaca: extensible authorization for distributed services. CCS 2007: 432-444 - [c82]Jeremy Stribling, Emil Sit, M. Frans Kaashoek, Robert Morris:
Don't Give Up on Distributed File Systems. IPTPS 2007 - [c81]Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris:
Information flow control for standard OS abstractions. SOSP 2007: 321-334 - [c80]Maxwell N. Krohn, Eddie Kohler, M. Frans Kaashoek:
Events Can Make Sense. USENIX ATC 2007: 87-100 - [e4]Thomas C. Bressoud, M. Frans Kaashoek:
Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007. ACM 2007, ISBN 978-1-59593-591-5 [contents] - 2006
- [c79]Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris:
User-Relative Names for Globally Connected Personal Devices. IPTPS 2006 - [c78]Emil Sit, Andreas Haeberlen, Frank Dabek, Byung-Gon Chun, Hakim Weatherspoon, Robert Morris, M. Frans Kaashoek, John Kubiatowicz:
Proactive Replication for Data Durability. IPTPS 2006 - [c77]Byung-Gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, John Kubiatowicz, Robert Morris:
Efficient Replica Maintenance for Distributed Storage Systems. NSDI 2006 - [c76]Jeremy Stribling, Jinyang Li, Isaac G. Councill, M. Frans Kaashoek, Robert Morris:
OverCite: A Distributed, Cooperative CiteSeer. NSDI 2006 - [c75]Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris:
Persistent Personal Names for Globally Connected Mobile Devices. OSDI 2006: 233-248 - [c74]Jerome H. Saltzer, M. Frans Kaashoek:
A systems approach to teaching computer systems. WCAE 2006: 1 - [i1]Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris:
User-Relative Names for Globally Connected Personal Devices. CoRR abs/cs/0603076 (2006) - 2005
- [j31]Chris Lesniewski-Laas, M. Frans Kaashoek:
SSL splitting: Securely serving data from untrusted caches. Comput. Networks 48(5): 763-779 (2005) - [c73]George Danezis, Chris Lesniewski-Laas, M. Frans Kaashoek, Ross J. Anderson:
Sybil-Resistant DHT Routing. ESORICS 2005: 305-318 - [c72]Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazières, Robert Morris, Michelle Osborne, Steve Vandebogart, David Ziegler:
Make Least Privilege a Right (Not a Privilege). HotOS 2005 - [c71]Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek, Thomer M. Gil:
A performance vs. cost framework for evaluating DHT design tradeoffs under churn. INFOCOM 2005: 225-236 - [c70]Jeremy Stribling, Isaac G. Councill, Jinyang Li, M. Frans Kaashoek, David R. Karger, Robert Morris, Scott Shenker:
OverCite: A Cooperative Digital Research Library. IPTPS 2005: 69-79 - [c69]David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Rohit N. Rao:
Improving Web Availability for Clients with MONET. NSDI 2005 - [c68]Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek:
Bandwidth-efficient Management of DHT Routing Tables. NSDI 2005 - [c67]Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, M. Frans Kaashoek, Robert Morris, Sean C. Rhea:
UIA: a user information architecture for personal devices. SOSP 2005: 1-2 - [c66]Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, M. Frans Kaashoek, Robert Morris:
Labels and event processes in the Asbestos operating system. SOSP 2005: 17-30 - 2004
- [j30]Russ Cox, Frank Dabek, M. Frans Kaashoek, Jinyang Li, Robert Morris:
Practical, distributed network coordinates. Comput. Commun. Rev. 34(1): 113-118 (2004) - [c65]Jinyang Li, Jeremy Stribling, Thomer M. Gil, Robert Morris, M. Frans Kaashoek:
Comparing the Performance of Distributed Hash Tables Under Churn. IPTPS 2004: 87-99 - [c64]Frank Dabek, Jinyang Li, Emil Sit, James Robertson, M. Frans Kaashoek, Robert Morris:
Designing a DHT for Low Latency and High Throughput. NSDI 2004: 85-98 - [c63]Frank Dabek, Russ Cox, M. Frans Kaashoek, Robert Morris:
Vivaldi: a decentralized network coordinate system. SIGCOMM 2004: 15-26 - [c62]Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek:
REX: Secure, Extensible Remote Execution. USENIX ATC, General Track 2004: 199-212 - 2003
- [j29]Hari Balakrishnan, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica:
Looking up data in P2P systems. Commun. ACM 46(2): 43-48 (2003) - [j28]David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris:
Experience with an evolving overlay network testbed. Comput. Commun. Rev. 33(3): 13-19 (2003) - [j27]Ion Stoica, Robert Morris, David Liben-Nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, Hari Balakrishnan:
Chord: a scalable peer-to-peer lookup protocol for internet applications. IEEE/ACM Trans. Netw. 11(1): 17-32 (2003) - [c61]Jacob Strauss, Dina Katabi, M. Frans Kaashoek:
A measurement study of available bandwidth estimation tools. Internet Measurement Conference 2003: 39-44 - [c60]M. Frans Kaashoek, David R. Karger:
Koorde: A Simple Degree-Optimal Distributed Hash Table. IPTPS 2003: 98-107 - [c59]Jinyang Li, Boon Thau Loo, Joseph M. Hellerstein, M. Frans Kaashoek, David R. Karger, Robert Morris:
On the Feasibility of Peer-to-Peer Web Indexing and Search. IPTPS 2003: 207-215 - [c58]Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek:
Measuring the effects of internet path faults on reactive routing. SIGMETRICS 2003: 126-137 - [c57]Michael Kaminsky, George Savvides, David Mazières, M. Frans Kaashoek:
Decentralized user authentication in a global file system. SOSP 2003: 60-73 - [c56]Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek:
Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. USENIX ATC, General Track 2003: 15-28 - [c55]Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert T. Morris, David Mazières, M. Frans Kaashoek:
Multiprocessor Support for Event-Driven Programs. USENIX ATC, General Track 2003: 239-252 - [c54]Chris Lesniewski-Laas, M. Frans Kaashoek:
SSL Splitting: Securely Serving Data from Untrusted Caches. USENIX Security Symposium 2003 - [e3]M. Frans Kaashoek, Ion Stoica:
Peer-to-Peer Systems II, Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22,2003, Revised Papers. Lecture Notes in Computer Science 2735, Springer 2003, ISBN 3-540-40724-3 [contents] - 2002
- [j26]David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris:
Resilient overlay networks. Comput. Commun. Rev. 32(1): 66 (2002) - [j25]Kevin Fu, M. Frans Kaashoek, David Mazières:
Fast and secure distributed read-only file system. ACM Trans. Comput. Syst. 20(1): 1-24 (2002) - [j24]Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney:
Fast and flexible application-level networking on exokernel systems. ACM Trans. Comput. Syst. 20(1): 49-83 (2002) - [c53]Frank Dabek, Nickolai Zeldovich, M. Frans Kaashoek, David Mazières, Robert Morris:
Event-driven programming for robust software. ACM SIGOPS European Workshop 2002: 186-189 - [e2]Peter Druschel, M. Frans Kaashoek, Antony I. T. Rowstron:
Peer-to-Peer Systems, First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers. Lecture Notes in Computer Science 2429, Springer 2002, ISBN 3-540-44179-4 [contents] - 2001
- [j23]Kirk L. Johnson, John F. Carr, Mark S. Day, M. Frans Kaashoek:
The measured performance of content distribution networks. Comput. Commun. 24(2): 202-206 (2001) - [j22]Fred Douglis, M. Frans Kaashoek:
Guest Editors' Introduction: Scalable Internet Services. IEEE Internet Comput. 5(4): 36-37 (2001) - [c52]Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek:
Reconsidering Internet Mobility. HotOS 2001: 41-46 - [c51]Frank Dabek, Emma Brunskill, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica, Hari Balakrishnan:
Building peer-to-peer systems with Chord, a distributed lookup service. HotOS 2001: 81-86 - [c50]David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris:
The Case for Resilient Overlay Networks. HotOS 2001: 152-157 - [c49]Ion Stoica, Robert Morris, David R. Karger, M. Frans Kaashoek, Hari Balakrishnan:
Chord: A scalable peer-to-peer lookup service for internet applications. SIGCOMM 2001: 149-160 - [c48]David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris:
Resilient Overlay Networks. SOSP 2001: 131-145 - [c47]Frank Dabek, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica:
Wide-Area Cooperative Storage with CFS. SOSP 2001: 202-215 - 2000
- [j21]Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek:
The click modular router. ACM Trans. Comput. Syst. 18(3): 263-297 (2000) - [c46]Kevin Fu, M. Frans Kaashoek, David Mazières:
Fast and Secure Distributed Read-Only File System. OSDI 2000: 181-196 - [c45]John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, James W. O'Toole Jr.:
Overcast: Reliable Multicasting with an Overlay Network. OSDI 2000: 197-212 - [c44]Robert Morris, John Jannotti, M. Frans Kaashoek, Jinyang Li, Douglas Decouto:
CarNet: a scalable ad hoc wireless network system. ACM SIGOPS European Workshop 2000: 61-65 - [e1]Michael B. Jones, M. Frans Kaashoek:
4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000. USENIX Association 2000, ISBN 1-880446-16-2 [contents]
1990 – 1999
- 1999
- [j20]Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek:
'C and tcc: A Language and Compiler for Dynamic Code Generation. ACM Trans. Program. Lang. Syst. 21(2): 324-369 (1999) - [c43]Eddie Kohler, M. Frans Kaashoek, David R. Montgomery:
A Readable TCP in the Prolac Protocol Language. SIGCOMM 1999: 3-13 - [c42]David Mazières, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel:
Separating key management from file system security. SOSP 1999: 124-139 - [c41]Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek:
The Click modular router. SOSP 1999: 217-231 - 1998
- [j19]Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch:
Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication. J. ACM 45(1): 35-69 (1998) - [c40]David Mazières, M. Frans Kaashoek:
The Design, Implementation and Operation of an Email Pseudonym Server. CCS 1998: 27-36 - [c39]Kenneth Mackenzie, John Kubiatowicz, Matthew I. Frank, Walter Lee, Victor Lee, Anant Agarwal, M. Frans Kaashoek:
Exploiting Two-Case Delivery for Fast Protected Messaging. HPCA 1998: 231-242 - [c38]David Mazières, M. Frans Kaashoek:
Escaping the evils of centralized control with self-certifying pathnames. ACM SIGOPS European Workshop 1998: 118-125 - 1997
- [j18]Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek:
Mobile Computing with the Rover Toolkit. IEEE Trans. Computers 46(3): 337-352 (1997) - [j17]Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek:
ASHs application-specific handlers for high-performance messaging. IEEE/ACM Trans. Netw. 5(4): 460-474 (1997) - [j16]Anthony D. Joseph, M. Frans Kaashoek:
Building reliable mobile-aware applications using the Rover toolkit. Wirel. Networks 3(5): 405-419 (1997) - [c37]David Mazières, M. Frans Kaashoek:
Secure Applications Need Flexible Operating Systems. Workshop on Hot Topics in Operating Systems 1997: 56-61 - [c36]Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek:
tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. PLDI 1997: 109-121 - [c35]M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth Mackenzie:
Application Performance and Flexibility on Exokernel Systems. SOSP 1997: 52-65 - [c34]Gregory R. Ganger, M. Frans Kaashoek:
Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files. USENIX ATC 1997: 1-17 - 1996
- [c33]Robert Grimm, Wilson C. Hsieh, Wiebren de Jonge, M. Frans Kaashoek:
Atomic Recovery Units: Failure Atomicity for Logical Disks. ICDCS 1996: 26-37 - [c32]M. Frans Kaashoek, Andrew S. Tanenbaum:
An Evaluation of the Amoeba Group Communication System. ICDCS 1996: 436-448 - [c31]Anthony D. Joseph, M. Frans Kaashoek:
Building Reliable Mobile-Aware Applications Using the Rover Toolkit. MobiCom 1996: 117-129 - [c30]Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek:
C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. POPL 1996: 131-144 - [c29]Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl:
Dynamic Computation Migration in DSM Systems. SC 1996: 44 - [c28]Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek:
ASHs: Application-Specific Handlers for High-Performance Messaging. SIGCOMM 1996: 40-52 - [c27]Dawson R. Engler, M. Frans Kaashoek:
DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. SIGCOMM 1996: 53-59 - [c26]M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach:
Server operating systems. ACM SIGOPS European Workshop 1996: 141-148 - 1995
- [j15]Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.:
The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS Oper. Syst. Rev. 29(1): 78-82 (1995) - [c25]Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek:
AVM: application-level virtual memory. HotOS 1995: 72-77 - [c24]Dawson R. Engler, M. Frans Kaashoek:
Exterminate all operating system abstractions. HotOS 1995: 78-85 - [c23]Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch:
Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. ICDCS 1995: 439-449 - [c22]Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl:
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation. PPoPP 1995: 217-226 - [c21]Anthony D. Joseph, Alan F. deLespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek:
Rover: A Toolkit for Mobile Information Access. SOSP 1995: 156-171 - [c20]Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach:
CRL: High-Performance All-Software Distributed Shared Memory. SOSP 1995: 213-228 - [c19]Sanjay Ghemawat, M. Frans Kaashoek, Barbara Liskov:
Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. SOSP 1995: 235 - [c18]Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.:
Exokernel: An Operating System Architecture for Application-Level Resource Management. SOSP 1995: 251-266 - 1994
- [j14]Andrew S. Tanenbaum, Henri E. Bal, Saniya Ben Hassen, M. Frans Kaashoek:
Object-based approach to programming distributed systems. Concurr. Pract. Exp. 6(4): 235-249 (1994) - [c17]Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, P. Krishnan, Kai Li, Brian Marsh, Joshua A. Tauber:
Storage Alternatives for Mobile Computers. Mobidata 1994: 473-505 - [c16]Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, Kai Li, Brian Marsh, Joshua A. Tauber:
Storage Alternatives for Mobile Computers. OSDI 1994: 25-37 - [c15]Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.:
The Exokernel Approach to Operating System Extensibility (Panel Statement). OSDI 1994: 198 - [c14]Kavita Bala, M. Frans Kaashoek, William E. Weihl:
Software Prefetching and Caching for Translation Lookaside Buffers. OSDI 1994: 243-253 - [c13]M. Frans Kaashoek, William E. Weihl, Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson:
Optimistic Active Messages: Structuring Systems for High-Performance Communication. ACM SIGOPS European Workshop 1994: 23-28 - [c12]Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.:
The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS European Workshop 1994: 62-67 - [c11]Robert Gruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira:
Disconnected Operation in the Thor Object-Oriented Database System. WMCSA 1994: 51-56 - [c10]M. Frans Kaashoek, Thomas Pinckney, Joshua A. Tauber:
Dynamic Documents: Mobile Wireless Access to the WWW. WMCSA 1994: 179-184 - 1993
- [j13]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep:
Group communication in Amoeba and its applications. Distributed Syst. Eng. 1(1): 48- (1993) - [j12]M. Frans Kaashoek, Robbert van Renesse, Hans van Staveren, Andrew S. Tanenbaum:
FLIP: An Internetwork Protocol for Supporting Distributed Systems. ACM Trans. Comput. Syst. 11(1): 73-106 (1993) - [c9]Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl:
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty. Workshop on Workstation Operating Systems 1993: 186-190 - [c8]Andrew S. Tanenbaum, Henri E. Bal, M. Frans Kaashoek:
Programming a Distributed System Using Shared Objects. HPDC 1993: 5-12 - [c7]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep:
Using Group Communication to Implement a Fault-Tolerant Directory Service. ICDCS 1993: 130-139 - [c6]Henri E. Bal, M. Frans Kaashoek:
Object Distribution in Orca using Compile-Time and Run-Time Techniques. OOPSLA 1993: 162-177 - [c5]Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsieh:
The Logical Disk: A New Approach to Improving File Systems. SOSP 1993: 15-28 - 1992
- [j11]Andrew S. Tanenbaum, M. Frans Kaashoek, Henri E. Bal:
Parallel Programming Using Shared Objects and Broadcasting. Computer 25(8): 10-19 (1992) - [j10]Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum, Jack Jansen:
Replication techniques for speeding up parallel applications on distributed systems. Concurr. Pract. Exp. 4(5): 337-355 (1992) - [j9]M. Frans Kaashoek, Robbert van Renesse, Hans van Staveren, Andrew S. Tanenbaum:
FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract). ACM SIGOPS Oper. Syst. Rev. 26(2): 29 (1992) - [j8]M. Frans Kaashoek, Henri E. Bal, Andrew S. Tanenbaum:
A Comparison of Two Paradigms for Distributed Shared Memory. Softw. Pract. Exp. 22(11): 985-1010 (1992) - [j7]Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum:
Orca: A Language For Parallel Programming of Distributed Systems. IEEE Trans. Software Eng. 18(3): 190-205 (1992) - [c4]M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep:
An experimental comparison of remote procedure call and group communication. ACM SIGOPS European Workshop 1992 - 1991
- [j6]Andrew S. Tanenbaum, M. Frans Kaashoek, Robbert van Renesse, Henri E. Bal:
The Amoeba distributed operating system - A status report. Comput. Commun. 14(6): 324-335 (1991) - [j5]Fred Douglis, John K. Ousterhout, M. Frans Kaashoek, Andrew S. Tanenbaum:
A Comparison of Two Distributed Systems: Amoeba and Sprite. Comput. Syst. 4(4): 353-384 (1991) - [j4]M. Frans Kaashoek, Andrew S. Tanenbaum:
Fault Tolerance Using Group Communication. ACM SIGOPS Oper. Syst. Rev. 25(2): 71-74 (1991) - [c3]M. Frans Kaashoek, Andrew S. Tanenbaum:
Group communication in the Amoeba distributed operating system. ICDCS 1991: 222-230 - 1990
- [j3]Henri E. Bal, Andrew S. Tanenbaum, M. Frans Kaashoek:
Orca: a language for distributed programming. ACM SIGPLAN Notices 25(5): 17-24 (1990) - [c2]Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum:
Experience with Distributed Programming in ORCA. ICCL 1990: 79-89 - [c1]M. Frans Kaashoek, Andrew S. Tanenbaum:
Fault tolerance using group communication. ACM SIGOPS European Workshop 1990
1980 – 1989
- 1989
- [j2]M. Frans Kaashoek, Andrew S. Tanenbaum, Susan Flynn Hummel, Henri E. Bal:
An Efficient Reliable Broadcast Protocol. ACM SIGOPS Oper. Syst. Rev. 23(4): 5-19 (1989) - [j1]Andrew S. Tanenbaum, M. Frans Kaashoek, Koen Langendoen, Ceriel J. H. Jacobs:
The design of very fast portable compilers. ACM SIGPLAN Notices 24(11): 125-131 (1989)
Coauthor Index
[c139] [j44] [j43] [j42] [j41] [c128] [c125] [c123] [c121] [c114] [c97] [j33] [c95] [c92] [c91] [c87] [c85] [j32] [c83] [c82] [c81] [c79] [c78] [c77] [c76] [c75] [i1] [c72] [c71] [c70] [c68] [c67] [c66] [j30] [c65] [c64] [c63] [j29] [j28] [j27] [c59] [j26] [c53] [c51] [c50] [c49] [c48] [c47] [j21] [c44] [c41]
[c140] [c138] [c137] [c136] [c135] [i5] [c132] [c131] [c130] [j44] [j43] [c129] [c127] [c126] [c125] [c124] [c120] [c119] [i3] [j40] [j39] [c118] [c117] [j38] [c116] [i2] [j37] [j36] [c115] [c114] [c113] [c111] [j35] [c110] [c109] [j34] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c98] [c95] [c94] [c90] [c55] [c53]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
