default search action
M. 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
- [c137]Atalay Mert Ileri, Nickolai Zeldovich, Adam Chlipala, M. Frans Kaashoek:
Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism. CSF 2024: 96-111 - 2023
- [c136]Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti:
The K2 Architecture for Trustworthy Hardware Security Modules. KISV@SOSP 2023: 26-32 - [c135]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 - [c134]Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Grove: a Separation-Logic Library for Verifying Distributed Systems. SOSP 2023: 113-129 - [c133]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
- [c132]Jonathan Behrens, Adam Belay, M. Frans Kaashoek:
Performance evolution of mitigating transient execution attacks. EuroSys 2022: 251-265 - [c131]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 - [c130]Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying Hardware Security Modules with Information-Preserving Refinement. OSDI 2022: 503-519 - 2021
- [c129]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 Tappan 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 Tappan Morris, Nickolai Zeldovich:
Notary: A Device for Secure Transaction Approval. login Usenix Mag. 45(1) (2020) - [c128]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 Tappan 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 Tappan Morris:
Noria: A New Take on Fast Web Application Backends. login Usenix Mag. 44(1) (2019) - [c127]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: 88-95 - [c126]Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich:
Extracting and Optimizing Formally Verified Code for Systems Programming. NFM 2019: 228-236 - [c125]Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Argosy: verifying layered storage systems with recovery refinement. PLDI 2019: 1054-1068 - [c124]Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Tappan Morris, Nickolai Zeldovich:
Notary: a device for secure transaction approval. SOSP 2019: 97-113 - [c123]Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich:
Verifying concurrent, crash-safe systems with Perennial. SOSP 2019: 243-258 - [c122]Malte Schwarzkopf, Eddie Kohler, M. Frans Kaashoek, Robert Tappan Morris:
Position: GDPR Compliance by Construction. Poly/DMAH@VLDB 2019: 39-53 - 2018
- [c121]Cody Cutler, M. Frans Kaashoek, Robert Tappan Morris:
The benefits and costs of writing a POSIX kernel in a high-level language. OSDI 2018: 89-105 - [c120]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: 213-231 - [c119]Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich:
Verifying concurrent software using movers in CSPEC. OSDI 2018: 306-322 - [c118]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 Tappan Morris, Nickolai Zeldovich:
The scalable commutativity rule: designing scalable software for multicore processors. Commun. ACM 60(8): 83-90 (2017) - [c117]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 - [c116]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) - [c115]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 Tappan 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) - [c114]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 - [c113]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 - [c112]Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich:
Specifying Crash Safety for Storage Systems. HotOS 2015 - [c111]M. Frans Kaashoek:
Parallel computing and the OS. SOSP History Day 2015: 10:1-10:35 - [c110]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) - [c109]Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich:
VerSum: Verifiable Computations over Large Public Logs. CCS 2014: 1304-1316 - [c108]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) - [c107]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 - [c106]Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich:
RadixVM: scalable address spaces for multithreaded applications. EuroSys 2013: 211-224 - [c105]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: 1-17 - [c104]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
- [c103]Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek:
Undefined behavior: what happened to my code? APSys 2012: 9 - [c102]Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich:
Scalable address spaces using RCU balanced trees. ASPLOS 2012: 199-210 - [c101]Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek:
Improving Integer Security for Systems with KINT. OSDI 2012: 163-177 - [c100]Zviad Metreveli, Nickolai Zeldovich, M. Frans Kaashoek:
CPHASH: a cache-partitioned hash table. PPoPP 2012: 319-320 - 2011
- [c99]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 - [c98]Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Retroactive auditing. APSys 2011: 9 - [c97]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 - [c96]Jacob Strauss, Justin Mazzola Paluska, Chris Lesniewski-Laas, Bryan Ford, Robert Tappan 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 Tappan Morris, M. Frans Kaashoek:
Device transparency: a new model for mobile storage. ACM SIGOPS Oper. Syst. Rev. 44(1): 5-9 (2010) - [c95]Chris Lesniewski-Laas, M. Frans Kaashoek:
Whanau: A Sybil-proof Distributed Hash Table. NSDI 2010: 111-126 - [c94]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: 1-16 - [c93]Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Intrusion Recovery Using Selective Re-execution. OSDI 2010: 89-104
2000 – 2009
- 2009
- [c92]Jeff Arnold, M. Frans Kaashoek:
Ksplice: automatic rebootless kernel updates. EuroSys 2009: 187-198 - [c91]Silas Boyd-Wickizer, Robert Tappan Morris, M. Frans Kaashoek:
Reinventing Scheduling for Multicore Systems. HotOS 2009 - [c90]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: 43-58 - [c89]Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
Improving application security with data flow assertions. SOSP 2009: 291-304 - 2008
- [c88]Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler:
Xoc, an extension-oriented compiler for systems programming. ASPLOS 2008: 244-254 - [c87]M. Frans Kaashoek:
Building Distributed, Wide-Area Applications with WheelFS. GPC 2008: 2 - [c86]Emil Sit, Robert Tappan Morris, M. Frans Kaashoek:
UsenetDHT: A Low-Overhead Design for Usenet. NSDI 2008: 133-146 - [c85]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 - [c84]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: 43-57 - [c83]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 Tappan Morris, David Mazières:
Labels and event processes in the Asbestos operating system. ACM Trans. Comput. Syst. 25(4): 11 (2007) - [c82]Chris Lesniewski-Laas, Bryan Ford, Jacob Strauss, Robert Tappan Morris, M. Frans Kaashoek:
Alpaca: extensible authorization for distributed services. CCS 2007: 432-444 - [c81]Jeremy Stribling, Emil Sit, M. Frans Kaashoek, Robert Tappan Morris:
Don't Give Up on Distributed File Systems. IPTPS 2007 - [c80]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: 321-334 - [c79]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
- [c78]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 - [c77]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 - [c76]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 - [c75]Jeremy Stribling, Jinyang Li, Isaac G. Councill, M. Frans Kaashoek, Robert Tappan Morris:
OverCite: A Distributed, Cooperative CiteSeer. NSDI 2006 - [c74]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: 233-248 - [c73]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 Tappan 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) - [c72]George Danezis, Chris Lesniewski-Laas, M. Frans Kaashoek, Ross J. Anderson:
Sybil-Resistant DHT Routing. ESORICS 2005: 305-318 - [c71]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 - [c70]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: 225-236 - [c69]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: 69-79 - [c68]David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Rohit N. Rao:
Improving Web Availability for Clients with MONET. NSDI 2005 - [c67]Jinyang Li, Jeremy Stribling, Robert Tappan Morris, M. Frans Kaashoek:
Bandwidth-efficient Management of DHT Routing Tables. NSDI 2005 - [c66]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: 17-30 - 2004
- [j30]Russ Cox, Frank Dabek, M. Frans Kaashoek, Jinyang Li, Robert Tappan Morris:
Practical, distributed network coordinates. Comput. Commun. Rev. 34(1): 113-118 (2004) - [c65]Jinyang Li, Jeremy Stribling, Thomer M. Gil, Robert Tappan 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 Tappan Morris:
Designing a DHT for Low Latency and High Throughput. NSDI 2004: 85-98 - [c63]Frank Dabek, Russ Cox, M. Frans Kaashoek, Robert Tappan 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 Tappan 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 Tappan Morris:
Experience with an evolving overlay network testbed. Comput. Commun. Rev. 33(3): 13-19 (2003) - [j27]Ion Stoica, Robert Tappan 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 Tappan 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 Tappan 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 Tappan 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 Tappan 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]