M. Frans Kaashoek

196 papers A* 68A 26B 2C 1Misc 10Journal 51Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Role Classification of Hosts within Enterprise Networks Based on Connection Patterns. CoRR Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek
2025	J	`jnl`	Shipwright: Proving liveness of distributed systems with Byzantine participants. CoRR Derek Leung, Nickolai Zeldovich, M. Frans Kaashoek
2024	A*	`conf`	Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. SOSP Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich
2024	A	`conf`	Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism. CSF Atalay Mert Ileri, Nickolai Zeldovich, Adam Chlipala, M. Frans Kaashoek
2024	A*	`conf`	Unifying serverless and microservice workloads with SigmaOS. SOSP Ariel Szekely, Adam Belay, Robert Morris, M. Frans Kaashoek
2023	A*	`conf`	Edna: Disguising and Revealing User Data in Web Applications. SOSP Lillian Tsai, Hannah Gross, Eddie Kohler, M. Frans Kaashoek, Malte Schwarzkopf
2023	J	`jnl`	Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version). CoRR Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2023	A*	`conf`	Grove: a Separation-Logic Library for Verifying Distributed Systems. SOSP Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2023	—	`conf`	The K2 Architecture for Trustworthy Hardware Security Modules. KISV@SOSP Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich, Joseph Tassarotti
2023	A*	`conf`	Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. OSDI Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2022	A	`conf`	Performance evolution of mitigating transient execution attacks. EuroSys Jonathan Behrens, Adam Belay, M. Frans Kaashoek
2022	A*	`conf`	Verifying Hardware Security Modules with Information-Preserving Refinement. OSDI Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich
2022	A*	`conf`	Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. OSDI Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich
2021	A*	`conf`	GoJournal: a verified, concurrent, crash-safe journaling system. OSDI Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich
2020	A*	`conf`	Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. OSDI Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, Nickolai Zeldovich
2020	J	`jnl`	Notary: A Device for Secure Transaction Approval. GetMobile Mob. Comput. Commun. Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich
2020	J	`jnl`	Notary: A Device for Secure Transaction Approval. login Usenix Mag. Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich
2020	J	`jnl`	Unnatural Language Processing: Bridging the Gap Between Synthetic and Natural Language Data. CoRR Alana Marzoev, Samuel Madden, M. Frans Kaashoek, Michael J. Cafarella, Jacob Andreas
2019	A*	`conf`	Argosy: verifying layered storage systems with recovery refinement. PLDI Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2019	—	`conf`	Extracting and Optimizing Formally Verified Code for Systems Programming. NFM Eleftherios Ioannidis, M. Frans Kaashoek, Nickolai Zeldovich
2019	J	`jnl`	Noria: A New Take on Fast Web Application Backends. login Usenix Mag. Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Morris
2019	A*	`conf`	Notary: a device for secure transaction approval. SOSP Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich
2019	—	`conf`	Position: GDPR Compliance by Construction. Poly/DMAH@VLDB Malte Schwarzkopf, Eddie Kohler, M. Frans Kaashoek, Robert Morris
2019	J	`jnl`	The Benefits and Costs of Writing a POSIX Kernel in a High-Level Language. login Usenix Mag. Cody Cutler, M. Frans Kaashoek, Robert Morris
2019	A	`conf`	Towards Multiverse Databases. HotOS Alana Marzoev, Lara Timbó Araújo, Malte Schwarzkopf, Samyukta Yagati, Eddie Kohler, Robert Morris, M. Frans Kaashoek, Sam Madden
2019	A*	`conf`	Verifying concurrent, crash-safe systems with Perennial. SOSP Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2018	J	`jnl`	A Revised and Verified Proof of the Scalable Commutativity Rule. CoRR Lillian Tsai, Eddie Kohler, M. Frans Kaashoek, Nickolai Zeldovich
2018	A*	`conf`	Noria: dynamic, partially-stateful data-flow for high-performance web applications. OSDI Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Morris
2018	A*	`conf`	Proving confidentiality in a file system using DiskSec. OSDI Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2018	A*	`conf`	The benefits and costs of writing a POSIX kernel in a high-level language. OSDI Cody Cutler, M. Frans Kaashoek, Robert T. Morris
2018	A*	`conf`	Verifying concurrent software using movers in CSPEC. OSDI Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich
2017	J	`jnl`	Certifying a file system using crash hoare logic: correctness in the presence of crashes. Commun. ACM Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler
2017	A*	`conf`	Scaling a file system to many cores using an operation log. SOSP Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich
2017	J	`jnl`	The scalable commutativity rule: designing scalable software for multicore processors. Commun. ACM Austin T. Clements, M. Frans Kaashoek, Eddie Kohler, Robert T. Morris, Nickolai Zeldovich
2017	A*	`conf`	Verifying a high-performance crash-safe file system using a tree specification. SOSP Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2016	J	`jnl`	A differential approach to undefined behavior detection. Commun. ACM Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2016	J	`jnl`	Building web applications on top of encrypted data using Mylar. IACR Cryptol. ePrint Arch. Raluca Ada Popa, Emily Stark, Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, Hari Balakrishnan
2016	—	`conf`	Using Crash Hoare Logic for Certifying the FSCQ File System. USENIX ATC Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2015	J	`jnl`	A Differential Approach to Undefined Behavior Detection. ACM Trans. Comput. Syst. Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2015	A	`conf`	Amber: Decoupling User Data from Web Applications. HotOS Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Morris, Nickolai Zeldovich
2015	A	`conf`	Hare: a file system for non-cache-coherent multicores. EuroSys Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, Nickolai Zeldovich
2015	—	`conf`	Parallel computing and the OS. SOSP History Day M. Frans Kaashoek
2015	A	`conf`	Specifying Crash Safety for Storage Systems. HotOS Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich
2015	J	`jnl`	The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. ACM Trans. Comput. Syst. Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler
2015	A*	`conf`	Using Crash Hoare logic for certifying the FSCQ file system. SOSP Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
2014	J	`jnl`	Building Web Applications on Top of Encrypted Data Using Mylar. login Usenix Mag. Raluca Ada Popa, Emily Stark, Jonas Helfer, Steven Valdez, Nickolai Zeldovich, M. Frans Kaashoek, Hari Balakrishnan
2014	A*	`conf`	Identifying Information Disclosure in Web Applications with Retroactive Auditing. OSDI Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2014	A*	`conf`	VerSum: Verifiable Computations over Large Public Logs. CCS Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich
2013	A	`ed.`	Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic, April 14-17, 2013 EuroSys Zdenek Hanzálek, Hermann Härtig, Miguel Castro, M. Frans Kaashoek
2013	J	`jnl`	Processing Analytical Queries over Encrypted Data. Proc. VLDB Endow. Stephen Tu, M. Frans Kaashoek, Samuel Madden, Nickolai Zeldovich
2013	A	`conf`	RadixVM: scalable address spaces for multithreaded applications. EuroSys Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich
2013	—	`conf`	Security bugs in embedded interpreters. APSys Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2013	A*	`conf`	The scalable commutativity rule: designing scalable software for multicore processors. SOSP Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler
2013	A*	`conf`	Towards optimization-safe systems: analyzing the impact of undefined behavior. SOSP Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama
2012	B	`conf`	CPHASH: a cache-partitioned hash table. PPoPP Zviad Metreveli, Nickolai Zeldovich, M. Frans Kaashoek
2012	A*	`conf`	Improving Integer Security for Systems with KINT. OSDI Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
2012	A*	`conf`	Scalable address spaces using RCU balanced trees. ASPLOS Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich
2012	—	`conf`	Undefined behavior: what happened to my code? APSys Xi Wang, Haogang Chen, Alvin Cheung, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek
2011	—	`conf`	Eyo: Device-Transparent Personal Storage. USENIX ATC Jacob Strauss, Justin Mazzola Paluska, Chris Lesniewski-Laas, Bryan Ford, Robert Morris, M. Frans Kaashoek
2011	—	`conf`	Linux kernel vulnerabilities: state-of-the-art defenses and open problems. APSys Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek
2011	—	`conf`	Retroactive auditing. APSys Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2011	A*	`conf`	Software fault isolation with API integrity and multi-principal modules. SOSP Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2010	A*	`conf`	An Analysis of Linux Scalability to Many Cores. OSDI Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich
2010	J	`jnl`	Device transparency: a new model for mobile storage. ACM SIGOPS Oper. Syst. Rev. Jacob Strauss, Chris Lesniewski-Laas, Justin Mazzola Paluska, Bryan Ford, Robert Morris, M. Frans Kaashoek
2010	A*	`conf`	Intrusion Recovery Using Selective Re-execution. OSDI Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2010	Misc	`conf`	Whanau: A Sybil-proof Distributed Hash Table. NSDI Chris Lesniewski-Laas, M. Frans Kaashoek
2009	Misc	`conf`	Flexible, Wide-Area Storage for Distributed Systems with WheelFS. NSDI Jeremy Stribling, Yair Sovran, Irene Zhang, Xavid Pretzer, Jinyang Li, M. Frans Kaashoek, Robert Morris
2009	A*	`conf`	Improving application security with data flow assertions. SOSP Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2009	A	`conf`	Ksplice: automatic rebootless kernel updates. EuroSys Jeff Arnold, M. Frans Kaashoek
2009	A	`conf`	Reinventing Scheduling for Multicore Systems. HotOS Silas Boyd-Wickizer, Robert Morris, M. Frans Kaashoek
2008	C	`conf`	Building Distributed, Wide-Area Applications with WheelFS. GPC M. Frans Kaashoek
2008	A*	`conf`	Corey: An Operating System for Many Cores. OSDI 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
2008	Misc	`conf`	D3S: Debugging Deployed Distributed Systems. NSDI Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, Zheng Zhang
2008	A*	`conf`	R2: An Application-Level Kernel for Record and Replay. OSDI Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang
2008	Misc	`conf`	UsenetDHT: A Low-Overhead Design for Usenet. NSDI Emil Sit, Robert Morris, M. Frans Kaashoek
2008	A*	`conf`	Xoc, an extension-oriented compiler for systems programming. ASPLOS Russ Cox, Tom Bergan, Austin T. Clements, M. Frans Kaashoek, Eddie Kohler
2007	A*	`conf`	Alpaca: extensible authorization for distributed services. CCS Chris Lesniewski-Laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek
2007	—	`conf`	Don't Give Up on Distributed File Systems. IPTPS Jeremy Stribling, Emil Sit, M. Frans Kaashoek, Robert Morris
2007	—	`conf`	Events Can Make Sense. USENIX ATC Maxwell N. Krohn, Eddie Kohler, M. Frans Kaashoek
2007	A*	`conf`	Information flow control for standard OS abstractions. SOSP Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris
2007	J	`jnl`	Labels and event processes in the Asbestos operating system. ACM Trans. Comput. Syst. Steve Vandebogart, Petros Efstathopoulos, Eddie Kohler, Maxwell N. Krohn, Cliff Frey, David Ziegler, M. Frans Kaashoek, Robert Morris, David Mazières
2007	A*	`ed.`	Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, SOSP 2007, Stevenson, Washington, USA, October 14-17, 2007 SOSP Thomas C. Bressoud, M. Frans Kaashoek
2006	Misc	`conf`	A systems approach to teaching computer systems. WCAE Jerome H. Saltzer, M. Frans Kaashoek
2006	Misc	`conf`	Efficient Replica Maintenance for Distributed Storage Systems. NSDI Byung-Gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, John Kubiatowicz, Robert Morris
2006	Misc	`conf`	OverCite: A Distributed, Cooperative CiteSeer. NSDI Jeremy Stribling, Jinyang Li, Isaac G. Councill, M. Frans Kaashoek, Robert Morris
2006	A*	`conf`	Persistent Personal Names for Globally Connected Mobile Devices. OSDI Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris
2006	—	`conf`	Proactive Replication for Data Durability. IPTPS Emil Sit, Andreas Haeberlen, Frank Dabek, Byung-Gon Chun, Hakim Weatherspoon, Robert Morris, M. Frans Kaashoek, John Kubiatowicz
2006	J	`jnl`	User-Relative Names for Globally Connected Personal Devices CoRR Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris
2006	—	`conf`	User-Relative Names for Globally Connected Personal Devices. IPTPS Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean C. Rhea, M. Frans Kaashoek, Robert Morris
2005	A*	`conf`	A performance vs. cost framework for evaluating DHT design tradeoffs under churn. INFOCOM Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek, Thomer M. Gil
2005	Misc	`conf`	Bandwidth-efficient Management of DHT Routing Tables. NSDI Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek
2005	Misc	`conf`	Improving Web Availability for Clients with MONET. NSDI David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Rohit N. Rao
2005	A*	`conf`	Labels and event processes in the Asbestos operating system. SOSP Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, M. Frans Kaashoek, Robert Morris
2005	A	`conf`	Make Least Privilege a Right (Not a Privilege). HotOS Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazières, Robert Morris, Michelle Osborne, Steve Vandebogart, David Ziegler
2005	—	`conf`	OverCite: A Cooperative Digital Research Library. IPTPS Jeremy Stribling, Isaac G. Councill, Jinyang Li, M. Frans Kaashoek, David R. Karger, Robert Morris, Scott Shenker
2005	J	`jnl`	SSL splitting: Securely serving data from untrusted caches. Comput. Networks Chris Lesniewski-Laas, M. Frans Kaashoek
2005	A	`conf`	Sybil-Resistant DHT Routing. ESORICS George Danezis, Chris Lesniewski-Laas, M. Frans Kaashoek, Ross J. Anderson
2005	A*	`conf`	UIA: a user information architecture for personal devices. SOSP Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, M. Frans Kaashoek, Robert Morris, Sean C. Rhea
2004	—	`conf`	Comparing the Performance of Distributed Hash Tables Under Churn. IPTPS Jinyang Li, Jeremy Stribling, Thomer M. Gil, Robert Morris, M. Frans Kaashoek
2004	Misc	`conf`	Designing a DHT for Low Latency and High Throughput. NSDI Frank Dabek, Jinyang Li, Emil Sit, James Robertson, M. Frans Kaashoek, Robert Morris
2004	J	`jnl`	Practical, distributed network coordinates. Comput. Commun. Rev. Russ Cox, Frank Dabek, M. Frans Kaashoek, Jinyang Li, Robert Morris
2004	—	`conf`	REX: Secure, Extensible Remote Execution. USENIX ATC, General Track Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek
2004	A*	`conf`	Vivaldi: a decentralized network coordinate system. SIGCOMM Frank Dabek, Russ Cox, M. Frans Kaashoek, Robert Morris
2003	A	`conf`	A measurement study of available bandwidth estimation tools. Internet Measurement Conference Jacob Strauss, Dina Katabi, M. Frans Kaashoek
2003	J	`jnl`	Chord: a scalable peer-to-peer lookup protocol for internet applications. IEEE/ACM Trans. Netw. Ion Stoica, Robert Morris, David Liben-Nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, Hari Balakrishnan
2003	A*	`conf`	Decentralized user authentication in a global file system. SOSP Michael Kaminsky, George Savvides, David Mazières, M. Frans Kaashoek
2003	J	`jnl`	Experience with an evolving overlay network testbed. Comput. Commun. Rev. David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
2003	—	`conf`	Koorde: A Simple Degree-Optimal Distributed Hash Table. IPTPS M. Frans Kaashoek, David R. Karger
2003	J	`jnl`	Looking up data in P2P systems. Commun. ACM Hari Balakrishnan, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica
2003	A*	`conf`	Measuring the effects of internet path faults on reactive routing. SIGMETRICS Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek
2003	—	`conf`	Multiprocessor Support for Event-Driven Programs. USENIX ATC, General Track Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert T. Morris, David Mazières, M. Frans Kaashoek
2003	—	`conf`	On the Feasibility of Peer-to-Peer Web Indexing and Search. IPTPS Jinyang Li, Boon Thau Loo, Joseph M. Hellerstein, M. Frans Kaashoek, David R. Karger, Robert Morris
2003	—	`ed.`	Peer-to-Peer Systems II, Second International Workshop, IPTPS 2003, Berkeley, CA, USA, February 21-22,2003, Revised Papers IPTPS M. Frans Kaashoek, Ion Stoica
2003	—	`conf`	Role Classification of Hosts Within Enterprise Networks Based on Connection Patterns. USENIX ATC, General Track Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek
2003	A*	`conf`	SSL Splitting: Securely Serving Data from Untrusted Caches. USENIX Security Symposium Chris Lesniewski-Laas, M. Frans Kaashoek
2002	—	`conf`	Event-driven programming for robust software. ACM SIGOPS European Workshop Frank Dabek, Nickolai Zeldovich, M. Frans Kaashoek, David Mazières, Robert Morris
2002	J	`jnl`	Fast and flexible application-level networking on exokernel systems. ACM Trans. Comput. Syst. Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney
2002	J	`jnl`	Fast and secure distributed read-only file system. ACM Trans. Comput. Syst. Kevin Fu, M. Frans Kaashoek, David Mazières
2002	—	`ed.`	Peer-to-Peer Systems, First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers IPTPS Peter Druschel, M. Frans Kaashoek, Antony I. T. Rowstron
2002	J	`jnl`	Resilient overlay networks. Comput. Commun. Rev. David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
2001	A	`conf`	Building peer-to-peer systems with Chord, a distributed lookup service. HotOS Frank Dabek, Emma Brunskill, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica, Hari Balakrishnan
2001	A*	`conf`	Chord: A scalable peer-to-peer lookup service for internet applications. SIGCOMM Ion Stoica, Robert Morris, David R. Karger, M. Frans Kaashoek, Hari Balakrishnan
2001	J	`jnl`	Guest Editors' Introduction: Scalable Internet Services. IEEE Internet Comput. Fred Douglis, M. Frans Kaashoek
2001	A	`conf`	Reconsidering Internet Mobility. HotOS Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
2001	A*	`conf`	Resilient Overlay Networks. SOSP David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
2001	A	`conf`	The Case for Resilient Overlay Networks. HotOS David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
2001	J	`jnl`	The measured performance of content distribution networks. Comput. Commun. Kirk L. Johnson, John F. Carr, Mark S. Day, M. Frans Kaashoek
2001	A*	`conf`	Wide-Area Cooperative Storage with CFS. SOSP Frank Dabek, M. Frans Kaashoek, David R. Karger, Robert Morris, Ion Stoica
2000	A*	`ed.`	4th Symposium on Operating System Design and Implementation (OSDI 2000), San Diego, California, USA, October 23-25, 2000 OSDI Michael B. Jones, M. Frans Kaashoek
2000	—	`conf`	CarNet: a scalable ad hoc wireless network system. ACM SIGOPS European Workshop Robert Morris, John Jannotti, M. Frans Kaashoek, Jinyang Li, Douglas Decouto
2000	A*	`conf`	Fast and Secure Distributed Read-Only File System. OSDI Kevin Fu, M. Frans Kaashoek, David Mazières
2000	A*	`conf`	Overcast: Reliable Multicasting with an Overlay Network. OSDI John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, James W. O'Toole Jr.
2000	J	`jnl`	The click modular router. ACM Trans. Comput. Syst. Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek
1999	J	`jnl`	'C and tcc: A Language and Compiler for Dynamic Code Generation. ACM Trans. Program. Lang. Syst. Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek
1999	A*	`conf`	A Readable TCP in the Prolac Protocol Language. SIGCOMM Eddie Kohler, M. Frans Kaashoek, David R. Montgomery
1999	A*	`conf`	Separating key management from file system security. SOSP David Mazières, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel
1999	A*	`conf`	The Click modular router. SOSP Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
1998	—	`conf`	Escaping the evils of centralized control with self-certifying pathnames. ACM SIGOPS European Workshop David Mazières, M. Frans Kaashoek
1998	A*	`conf`	Exploiting Two-Case Delivery for Fast Protected Messaging. HPCA Kenneth MacKenzie, John Kubiatowicz, Matthew I. Frank, Walter Lee, Victor Lee, Anant Agarwal, M. Frans Kaashoek
1998	J	`jnl`	Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication. J. ACM Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch
1998	A*	`conf`	The Design, Implementation and Operation of an Email Pseudonym Server. CCS David Mazières, M. Frans Kaashoek
1997	J	`jnl`	ASHs application-specific handlers for high-performance messaging. IEEE/ACM Trans. Netw. Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek
1997	A*	`conf`	Application Performance and Flexibility on Exokernel Systems. SOSP 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
1997	J	`jnl`	Building reliable mobile-aware applications using the Rover toolkit. Wirel. Networks Anthony D. Joseph, M. Frans Kaashoek
1997	—	`conf`	Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files. USENIX ATC Gregory R. Ganger, M. Frans Kaashoek
1997	J	`jnl`	Mobile Computing with the Rover Toolkit. IEEE Trans. Computers Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek
1997	—	`conf`	Secure Applications Need Flexible Operating Systems. Workshop on Hot Topics in Operating Systems David Mazières, M. Frans Kaashoek
1997	A*	`conf`	tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation. PLDI Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek
1996	A*	`conf`	ASHs: Application-Specific Handlers for High-Performance Messaging. SIGCOMM Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek
1996	A	`conf`	An Evaluation of the Amoeba Group Communication System. ICDCS M. Frans Kaashoek, Andrew S. Tanenbaum
1996	A	`conf`	Atomic Recovery Units: Failure Atomicity for Logical Disks. ICDCS Robert Grimm, Wilson C. Hsieh, Wiebren de Jonge, M. Frans Kaashoek
1996	A*	`conf`	Building Reliable Mobile-Aware Applications Using the Rover Toolkit. MobiCom Anthony D. Joseph, M. Frans Kaashoek
1996	A*	`conf`	C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation. POPL Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
1996	A*	`conf`	DPF: Fast, Flexible Message Demultiplexing Using Dynamic Code Generation. SIGCOMM Dawson R. Engler, M. Frans Kaashoek
1996	A	`conf`	Dynamic Computation Migration in DSM Systems. SC Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
1996	—	`conf`	Server operating systems. ACM SIGOPS European Workshop M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach
1995	A	`conf`	AVM: application-level virtual memory. HotOS Dawson R. Engler, Sandeep K. Gupta, M. Frans Kaashoek
1995	A*	`conf`	CRL: High-Performance All-Software Distributed Shared Memory. SOSP Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach
1995	A*	`conf`	Exokernel: An Operating System Architecture for Application-Level Resource Management. SOSP Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
1995	A	`conf`	Exterminate all operating system abstractions. HotOS Dawson R. Engler, M. Frans Kaashoek
1995	A	`conf`	Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. ICDCS Alan D. Fekete, M. Frans Kaashoek, Nancy A. Lynch
1995	B	`conf`	Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation. PPoPP Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl
1995	A*	`conf`	Rover: A Toolkit for Mobile Information Access. SOSP Anthony D. Joseph, Alan F. deLespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek
1995	J	`jnl`	The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS Oper. Syst. Rev. Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
1995	A*	`conf`	Using a Modified Object Buffer to Improve the Write Performance of an Object-Oriented Database. SOSP Sanjay Ghemawat, M. Frans Kaashoek, Barbara Liskov
1994	—	`conf`	Disconnected Operation in the Thor Object-Oriented Database System. WMCSA Robert Gruber, M. Frans Kaashoek, Barbara Liskov, Liuba Shrira
1994	—	`conf`	Dynamic Documents: Mobile Wireless Access to the WWW. WMCSA M. Frans Kaashoek, Thomas Pinckney, Joshua A. Tauber
1994	J	`jnl`	Object-based approach to programming distributed systems. Concurr. Pract. Exp. Andrew S. Tanenbaum, Henri E. Bal, Saniya Ben Hassen, M. Frans Kaashoek
1994	—	`conf`	Optimistic Active Messages: Structuring Systems for High-Performance Communication. ACM SIGOPS European Workshop M. Frans Kaashoek, William E. Weihl, Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johnson
1994	A*	`conf`	Software Prefetching and Caching for Translation Lookaside Buffers. OSDI Kavita Bala, M. Frans Kaashoek, William E. Weihl
1994	—	`conf`	Storage Alternatives for Mobile Computers. Mobidata Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, P. Krishnan, Kai Li, Brian Marsh, Joshua A. Tauber
1994	A*	`conf`	Storage Alternatives for Mobile Computers. OSDI Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, Kai Li, Brian Marsh, Joshua A. Tauber
1994	A*	`conf`	The Exokernel Approach to Operating System Extensibility (Panel Statement). OSDI Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
1994	—	`conf`	The Operating System Kernel as a Secure Programmable Machine. ACM SIGOPS European Workshop Dawson R. Engler, M. Frans Kaashoek, James W. O'Toole Jr.
1993	J	`jnl`	FLIP: An Internetwork Protocol for Supporting Distributed Systems. ACM Trans. Comput. Syst. M. Frans Kaashoek, Robbert van Renesse, Hans van Staveren, Andrew S. Tanenbaum
1993	J	`jnl`	Group communication in Amoeba and its applications. Distributed Syst. Eng. M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
1993	A	`conf`	Object Distribution in Orca using Compile-Time and Run-Time Techniques. OOPSLA Henri E. Bal, M. Frans Kaashoek
1993	A	`conf`	Programming a Distributed System Using Shared Objects. HPDC Andrew S. Tanenbaum, Henri E. Bal, M. Frans Kaashoek
1993	A*	`conf`	The Logical Disk: A New Approach to Improving File Systems. SOSP Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsieh
1993	—	`conf`	The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty. Workshop on Workstation Operating Systems Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
1993	A	`conf`	Using Group Communication to Implement a Fault-Tolerant Directory Service. ICDCS M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
1992	J	`jnl`	A Comparison of Two Paradigms for Distributed Shared Memory. Softw. Pract. Exp. M. Frans Kaashoek, Henri E. Bal, Andrew S. Tanenbaum
1992	—	`conf`	An experimental comparison of remote procedure call and group communication. ACM SIGOPS European Workshop M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
1992	J	`jnl`	FLIP; an Internetwork Protocol for Supporting Distributed Systems (Abstract). ACM SIGOPS Oper. Syst. Rev. M. Frans Kaashoek, Robbert van Renesse, Hans van Staveren, Andrew S. Tanenbaum
1992	J	`jnl`	Orca: A Language For Parallel Programming of Distributed Systems. IEEE Trans. Software Eng. Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
1992	J	`jnl`	Parallel Programming Using Shared Objects and Broadcasting. Computer Andrew S. Tanenbaum, M. Frans Kaashoek, Henri E. Bal
1992	J	`jnl`	Replication techniques for speeding up parallel applications on distributed systems. Concurr. Pract. Exp. Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum, Jack Jansen
1991	J	`jnl`	A Comparison of Two Distributed Systems: Amoeba and Sprite. Comput. Syst. Fred Douglis, John K. Ousterhout, M. Frans Kaashoek, Andrew S. Tanenbaum
1991	J	`jnl`	Fault Tolerance Using Group Communication. ACM SIGOPS Oper. Syst. Rev. M. Frans Kaashoek, Andrew S. Tanenbaum
1991	A	`conf`	Group communication in the Amoeba distributed operating system. ICDCS M. Frans Kaashoek, Andrew S. Tanenbaum
1991	J	`jnl`	The Amoeba distributed operating system - A status report. Comput. Commun. Andrew S. Tanenbaum, M. Frans Kaashoek, Robbert van Renesse, Henri E. Bal
1990	—	`conf`	Experience with Distributed Programming in ORCA. ICCL Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
1990	—	`conf`	Fault tolerance using group communication. ACM SIGOPS European Workshop M. Frans Kaashoek, Andrew S. Tanenbaum
1990	J	`jnl`	Orca: a language for distributed programming. ACM SIGPLAN Notices Henri E. Bal, Andrew S. Tanenbaum, M. Frans Kaashoek
1989	J	`jnl`	An Efficient Reliable Broadcast Protocol. ACM SIGOPS Oper. Syst. Rev. M. Frans Kaashoek, Andrew S. Tanenbaum, Susan Flynn Hummel, Henri E. Bal
1989	J	`jnl`	The design of very fast portable compilers. ACM SIGPLAN Notices Andrew S. Tanenbaum, M. Frans Kaashoek, Koen Langendoen, Ceriel J. H. Jacobs