Nickolai Zeldovich

122 papers A* 52A 11B 1Misc 4Journal 29Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection. OSDI Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
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
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	A*	`conf`	Private Web Search with Tiptoe. SOSP Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich
2023	J	`jnl`	Private Web Search with Tiptoe. IACR Cryptol. ePrint Arch. Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, 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`	Aardvark: An Asynchronous Authenticated Dictionary with Applications to Account-based Cryptocurrencies. USENIX Security Symposium Derek Leung, Yossi Gilad, Sergey Gorbunov, Leonid Reyzin, Nickolai Zeldovich
2022	A*	`conf`	Groove: Flexible Metadata-Private Messaging. OSDI Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich
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`	Compact Certificates of Collective Knowledge. SP Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, 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
2021	A*	`ed.`	SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021 SOSP Robbert van Renesse, Nickolai Zeldovich
2020	J	`jnl`	Aardvark: A Concurrent Authenticated Dictionary with Short Proofs. IACR Cryptol. ePrint Arch. Derek Leung, Yossi Gilad, Sergey Gorbunov, Leonid Reyzin, Nickolai Zeldovich
2020	J	`jnl`	Compact Certificates of Collective Knowledge. IACR Cryptol. ePrint Arch. Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, 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
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	A*	`conf`	Notary: a device for secure transaction approval. SOSP Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich
2019	A*	`conf`	Vault: Fast Bootstrapping for the Algorand Cryptocurrency. NDSS Derek Leung, Adam Suhl, Yossi Gilad, Nickolai Zeldovich
2019	A*	`conf`	Verifying concurrent, crash-safe systems with Perennial. SOSP Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich
2019	A*	`conf`	Yodel: strong metadata security for voice calls. SOSP David Lazar, Yossi Gilad, 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`	Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis. OSDI David Lazar, Yossi Gilad, Nickolai Zeldovich
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	J	`jnl`	Vault: Fast Bootstrapping for Cryptocurrencies. IACR Cryptol. ePrint Arch. Derek Leung, Adam Suhl, Yossi Gilad, Nickolai Zeldovich
2018	A*	`conf`	Veil: Private Browsing Semantics Without Browser-side Assistance. NDSS Frank Wang, James Mickens, Nickolai Zeldovich
2018	A*	`conf`	Verifying concurrent software using movers in CSPEC. OSDI Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich
2017	A*	`conf`	Algorand: Scaling Byzantine Agreements for Cryptocurrencies. SOSP Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich
2017	J	`jnl`	Algorand: Scaling Byzantine Agreements for Cryptocurrencies. IACR Cryptol. ePrint Arch. Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, 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	A*	`conf`	Stadium: A Distributed Metadata-Private Messaging System. SOSP Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, 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	A*	`conf`	Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata. OSDI David Lazar, Nickolai Zeldovich
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	J	`jnl`	Report on the NSF Workshop on Formal Methods for Security. CoRR Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich
2016	Misc	`conf`	Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds. NSDI Frank Wang, James Mickens, Nickolai Zeldovich, Vinod Vaikuntanathan
2016	J	`jnl`	Stadium: A Distributed Metadata-Private Messaging System. IACR Cryptol. ePrint Arch. Nirvan Tyagi, Yossi Gilad, Matei Zaharia, Nickolai Zeldovich
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	J	`jnl`	Guidelines for Using the CryptDB System Securely. IACR Cryptol. ePrint Arch. Raluca Ada Popa, Nickolai Zeldovich, Hari Balakrishnan
2015	A	`conf`	Hare: a file system for non-cache-coherent multicores. EuroSys Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, Nickolai Zeldovich
2015	J	`jnl`	Nail: A Practical Tool for Parsing and Generating Data Formats. login Usenix Mag. Julian Bangert, Nickolai Zeldovich
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
2015	A*	`conf`	Vuvuzela: scalable private messaging resistant to traffic analysis. SOSP Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich
2014	Misc	`conf`	Building Web Applications on Top of Encrypted Data Using Mylar. NSDI Raluca Ada Popa, Emily Stark, Steven Valdez, Jonas Helfer, Nickolai Zeldovich, Hari Balakrishnan
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`	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. OSDI Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
2014	—	`conf`	Nail: A Practical Interface Generator for Data Formats. IEEE Symposium on Security and Privacy Workshops Julian Bangert, Nickolai Zeldovich
2014	A*	`conf`	Nail: A Practical Tool for Parsing and Generating Data Formats. OSDI Julian Bangert, Nickolai Zeldovich
2014	—	`ed.`	Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014, Philadelphia, PA, USA, June 19-20, 2014. USENIX ATC Garth Gibson, Nickolai Zeldovich
2014	A*	`conf`	VerSum: Verifiable Computations over Large Public Logs. CCS Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich
2014	—	`conf`	Why does cryptographic software fail?: a case study and open problems. APSys David Lazar, Haogang Chen, Xi Wang, Nickolai Zeldovich
2013	A*	`conf`	An Ideal-Security Protocol for Order-Preserving Encoding. IEEE Symposium on Security and Privacy Raluca A. Popa, Frank H. Li, Nickolai Zeldovich
2013	J	`jnl`	An Ideal-Security Protocol for Order-Preserving Encoding. IACR Cryptol. ePrint Arch. Raluca A. Popa, Frank H. Li, Nickolai Zeldovich
2013	A*	`conf`	Asynchronous intrusion recovery for interconnected web services. SOSP Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich
2013	—	`conf`	Authenticated storage using small trusted hardware. CCSW Hsin-Jung Yang, Victor Costan, Nickolai Zeldovich, Srinivas Devadas
2013	—	`conf`	How to Run Turing Machines on Encrypted Data. CRYPTO (2) Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2013	J	`jnl`	Multi-Key Searchable Encryption. IACR Cryptol. ePrint Arch. Raluca A. Popa, Nickolai Zeldovich
2013	—	`conf`	Optimizing unit test execution in large software programs using dependency analysis. APSys Taesoo Kim, Ramesh Chandra, Nickolai Zeldovich
2013	J	`jnl`	Overcoming the Worst-Case Curse for Cryptographic Constructions. IACR Cryptol. ePrint Arch. Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich
2013	—	`conf`	Practical and Effective Sandboxing for Non-root Users. USENIX ATC Taesoo Kim, Nickolai Zeldovich
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	A*	`conf`	Reusable garbled circuits and succinct functional encryption. STOC Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, 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`	Systematic Analysis of Defenses against Return-Oriented Programming. RAID Richard Skowyra, Kelly Casteel, Hamed Okhravi, Nickolai Zeldovich, William W. Streilein
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	J	`jnl`	CryptDB: processing queries on an encrypted database. Commun. ACM Raluca A. Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan
2012	A*	`conf`	Efficient Patch-based Auditing for Web Application Vulnerabilities. OSDI Taesoo Kim, Ramesh Chandra, Nickolai Zeldovich
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`	Improving network connection locality on multicore systems. EuroSys Aleksey Pesterev, Jacob Strauss, Nickolai Zeldovich, Robert T. Morris
2012	—	`conf`	Recovering from intrusions in distributed systems with DARE. APSys Taesoo Kim, Ramesh Chandra, Nickolai Zeldovich
2012	A*	`conf`	Scalable address spaces using RCU balanced trees. ASPLOS Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich
2012	J	`jnl`	Succinct Functional Encryption and Applications: Reusable Garbled Circuits and Beyond. IACR Cryptol. ePrint Arch. Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, 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	A	`conf`	A Trigger-Based Middleware Cache for ORMs. Middleware Priya Gupta, Nickolai Zeldovich, Samuel Madden
2011	A*	`conf`	CryptDB: protecting confidentiality with encrypted query processing. SOSP Raluca A. Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan
2011	A	`conf`	Energy management in mobile devices with the cinder operating system. EuroSys Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazières, Nickolai Zeldovich
2011	—	`conf`	Experiences in Cyber Security Education: The MIT Lincoln Laboratory Capture-the-Flag Exercise. CSET Joseph Werther, Michael Zhivich, Tim Leek, Nickolai Zeldovich
2011	A*	`conf`	Intrusion recovery for database-backed web applications. SOSP Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich
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	J	`jnl`	Making information flow explicit in HiStar. Commun. ACM Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, David Mazières
2011	A	`conf`	Relational Cloud: a Database Service for the cloud. CIDR Carlo Curino, Evan P. C. Jones, Raluca A. Popa, Nirmesh Malviya, Eugene Wu, Samuel Madden, Hari Balakrishnan, Nickolai Zeldovich
2011	—	`conf`	Retroactive auditing. APSys Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2011	A*	`conf`	Secure In-Band Wireless Pairing. USENIX Security Symposium Shyamnath Gollakota, Nabeel Ahmed, Nickolai Zeldovich, Dina Katabi
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`	Apprehending joule thieves with cinder. Comput. Commun. Rev. Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazières, Nickolai Zeldovich
2010	A*	`conf`	Intrusion Recovery Using Selective Re-execution. OSDI Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2010	A	`conf`	Locating cache performance bottlenecks using data profiling. EuroSys Aleksey Pesterev, Nickolai Zeldovich, Robert T. Morris
2010	A*	`conf`	Making Linux Protection Mechanisms Egalitarian with UserFS. USENIX Security Symposium Taesoo Kim, Nickolai Zeldovich
2010	—	`conf`	Separating Web Applications from User Data Storage with BSTORE. WebApps Ramesh Chandra, Priya Gupta, Nickolai Zeldovich
2010	—	`conf`	Tolerating Malicious Device Drivers in Linux. USENIX ATC Silas Boyd-Wickizer, Nickolai Zeldovich
2009	—	`conf`	Apprehending joule thieves with cinder. MobiHeld Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazières, Nickolai Zeldovich
2009	—	`conf`	Delegating network security with more information. WREN Jad Naous, Ryan Stutsman, David Mazières, Nick McKeown, Nickolai Zeldovich
2009	A*	`conf`	Improving application security with data flow assertions. SOSP Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek
2009	A*	`conf`	Nemesis: Preventing Authentication & Access Control Vulnerabilities in Web Applications. USENIX Security Symposium Michael Dalton, Christos Kozyrakis, Nickolai Zeldovich
2008	A*	`conf`	Hardware Enforcement of Application Security Policies Using Tagged Memory. OSDI Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis
2008	Misc	`conf`	Securing Distributed Systems with Information Flow Control. NSDI Nickolai Zeldovich, Silas Boyd-Wickizer, David Mazières
2008	—	`—`	Securing untrustworthy software using information flow control. Nickolai Zeldovich
2006	A*	`conf`	Making Information Flow Explicit in HiStar. OSDI Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, David Mazières
2005	—	`conf`	Interactive Performance Measurement with VNCPlay. USENIX ATC, FREENIX Track Nickolai Zeldovich, Ramesh Chandra
2005	Misc	`conf`	The Collective: A Cache-Based System Management Architecture. NSDI Ramesh Chandra, Nickolai Zeldovich, Constantine P. Sapuntzakis, Monica S. Lam
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`	Virtual Appliances for Deploying and Maintaining Software. LISA Constantine P. Sapuntzakis, David Brumley, Ramesh Chandra, Nickolai Zeldovich, Jim Chow, Monica S. Lam, Mendel Rosenblum
2002	—	`conf`	Event-driven programming for robust software. ACM SIGOPS European Workshop Frank Dabek, Nickolai Zeldovich, M. Frans Kaashoek, David Mazières, Robert Morris