Publications

2017

  • Apache REEF: Retainable Evaluator Execution Framework.
    Byung-Gon Chun, Tyson Condie, Yingda Chen, Brian Cho, Andrew Chung, Carlo
    Curino, Chris Douglas, Matteo Interlandi, Beomyeol Jeon, Joo Seong Jeong,
    Gye-Won Lee, Yunseong Lee, Tony Majestro, Dahlia Malkhi, Sergiy Matusevych,
    Brandon Myers, Mariia Mykhailova, Shravan Narayanamurthy, Joseph Noor, Raghu
    Ramakrishnan, Sriram Rao, Russell Sears, Beysim Sezgin, Tae-Geon Um, Julia
    Wang, Markus Weimer, Youngseok Yan.
    ACM TOCS 2017. [pdf]
  • Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution.
    Alexander Spiegelman, Idit Keidar, Dahlia Malkhi.
    DISC 2017. to appear.
  • vCorfu: A Cloud-Scale Object Store on a Shared Log.
    Michael Wei, Amy Tai, Christopher J. Rossbach, Ittai Abraham, Maithem Munshed, Medhavi Dhawan, Jim Stabile, Udi Wieder, Scott Fritchie, Steven Swanson, Michael J. Freedman , Dahlia Malkhi.
    NSDI 2017. [pdf]

2016

  • Flexible Paxos: Quorum Intersection Revisited.
    Heidi Howard, Dahlia Malkhi, Sasha Spiegelman.
    OPODIS 2016. [pdf]
    ArXiv manuscript, August 2016. [pdf]
  • BVP: Byzantine Vertical Paxos.
    Ittai Abraham, Dahlia Malkhi.
    Distributed Cryptocurrencies and Consensus Ledgers (DCCL) 2016. [pdf]
  • Replex: A Scalable, Highly Available Multi-Index Store.
    Amy Tai, Michael Wei, Michael Freedman, Ittai Abraham, Dahlia Malkhi.
    Usenix ATC 2016 (best paper award). [pdf]
  • Silver: A scalable, distributed, multi-versioning, Always growing (Ag) File System.
    Michael Wei, Amy Tai, Chris Rossbach, Ittai Abraham, Udi Wieder, Steven Swanson, Dahlia Malkhi.
    HotStorage ‘2016. [pdf]
  • Dynamic Reconfiguration: A Tutorial.
    Sasha Spiegelman, Idit Keidar, Dahlia Malkhi.
    OPODIS 2016. [pdf]

2015

  • Elastic Configuration Maintenance via a Parsimonious Speculating Snapshot Solution.
    Eli Gafni, Dahlia Malkhi.
    DISC 2015 [pdf]
  • Distributed Resource Discovery in Sub-Logarithmic Time.
    Bernhard Haeupler, Dahlia Malkhi.
    PODC 2015. [pdf]
  • REEF: Retainable Evaluator Execution Framework.
    Markus Weimer, Yingda Chen, Byung-Gon Chun, Tyson Condie, Carlo Curino, Chris Douglas, Yunseong Lee, Tony Majestro, Dahlia Malkhi, Sergiy Matusevych, Brandon Myers, Shravan Narayanamurthy, Raghu Ramakrishnan, Sriram Rao, Russel Sears, Beysim Sezgin, Julia Wang.
    SIGMOD 2015. [pdf]

2014

  • Optimal Gossip with Direct Addressing.
    Bernhard Haeupler, Dahlia Malkhi.
    PODC 2014. [pdf]
  • REEFU: A Logging Service for Cluster Applications.
    Dahlia Malkhi and Marcus Weimer.
    Invited position paper, the 8th Workshop on Large-Scale Distributed Systems and Middleware (LADIS), 2014.

2013

  • Beyond Block I/O: Implementing a Distributed Shared Log in Hardware.
    Michael Wei, John Davis, Ted Wobber, Mahesh Balakrishnan, Dahlia Malkhi.
    SYSTOR 2013. [pdf]
  • CORFU: A Distributed Shared Log.
    Mahesh Balakrishnan, Dahlia Malkhi, John Davis, Vijay Prabhakaran, Michael Wei, Teb Wobber.
    ACM Transactions on Computer Systems 2013. [pdf]
  • Tango: Distributed Data Structures over a Shared Log.
    Mahesh Balakrishnan, Dahlia Malkhi, Teb Wobber, Ming Wu, Vijay Prabhakaran,
    Michael Wei, John Davis, Sriram Rao, Tao Zou, Aviad Zuck.
    SOSP 2013. [pdf]
  • Spanner’s Concurrency Control.
    Dahlia Malkhi and Jean-Phillipe Martin.
    ACM SIGACT News, Distributed Coomputing Column, 2013. [pdf]

2012

  • CORFU: A Shared Log Design for Flash Clusters.
    Mahesh Balakrishnan, Dahlia Malkhi, Vijay Prabhakaran, Teb Wobber, Michael Wei, John Davis.
    NSDI 2012. [pdf]
  • From Paxos to CORFU: A Flash-Speed Shared Log.
    Dahlia Malkhi, Mahesh Balakrishnan, Vijay Prabhakaran, Teb Wobber, John Davis.
    ACM SIGOPS 2012. [pdf]
  • Dynamic Reconfiguration of Primary/Backup Clusters.
    Alex Shraer, Ben Reed, Dahlia Malkhi, Falviu Junqueira.
    USENIX ATC 2012. [pdf]

2011

  • Dynamic Atomic Storage Without Consensus.
    Marcos Aguilera, Idit Keidar, Dahlia Malkhi, Alex Shraer.
    PODC 2009 [pdf] ;  JACM 2011 [pdf]

2010

  • Reconfiguring Replicated Atomic Storage: A Tutorial.
    Marcos Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Phillipe Martin, Alex Shraer.
    Bulletin of the EATCS 2010. [pdf]
  • Virtually Synchronous Methodology for Dynamic Service Replication.
    Ken Birman, Dahlia Malkhi, Robbert Van Renesse.
    MSR Tech Report, 2010. [pdf]
  • Reconfiguring a State Machine
    Leslie Lamport, Dahlia Malkhi, Lidong Zhou.
    AIGACT News 2010. [pdf]
  • Fast Asynchronous Consensus with Optimal Resilience.
    Ittai Abraham, Marcos Aguilera, Dahlia Malkhi.
    DISC 2010. [pdf]
  • Data-Centric Reconfiguration with Network-Attached Disks
    Alex Shraer, Jean-Phillpe Martin, Dahlia Malkhi, Idit Keidar.
    LADIS 2010. [pdf]

2009

  • Brief Announcement: Vertical Paxos and Primary-Backup Replication.
    Leslie Lamport, Dahlia Malkhi, Lidong Zhou.
    PODC 2009 [pdf] ; MSR Tech Report 2009 (full version) [pdf]
  • Virtual Ring Routing Trends.
    Dahlia Malkhi, Siddhartha Sen, Kunal Talwar, Renato Werneck, Udi Wieder.
    DISC 2009. [pdf]
  • Compact Multicast Routing.
    Ittai Abraham, Dahlia Malkhi, David Ratajczak.
    DISC 2009. [pdf]
  • On the Treeness of Internet Latency and Bandwidth.
    Venu Ramasubramanian, Dahlia Malkhi, Fabian Kuhn, Mahesh Balakrishnan, Archite Gupta, Aditya Akella.
    SIGMETRICS 2009. [pdf]
  • RPC Chains: Efficient Client-Server Communication in Geodistributed Systems.
    Yee Jiun Song, Marcos Aguilera, Rama Kotla, Dahlia Malkhi.
    NSDI 2009. [pdf]
  • Chasing the Weakest System Model for Implementing Ω and Consensus.
    Martin Hutle, Dahlia Malkhi, Ulrich Schmid, Lidong Zhou.
    IEEE TDSC 2009 [pdf] ; SSS 2006 (brief announcement). [pdf]
  • Differential RAID: Rethinking RAID for SSD Reliability.
    Mahesh Balakrishnan, Asim Kadav, Vijayan Prabhakaran, Dahlia Malkhi.
    Eurosys 2010 [pdf] ; ACM TOS ; HotStorage 2009 (position paper). [pdf]

2008

  • On spreading recommendations via social gossip.
    SPAA 2008. [pdf]
  • Stoppable Paxos.
    Leslie Lamport, Dahlia Malkhi, Lidong Zhou.
    MSR Tech Report 2008. [pdf]
  • Compact Name-Independent Routing with Minimum Stretch.
    Ittai Abraham, Cyril Gavoille, Dahlia Malkhi, Noam Nisan, Mikkel Thorup.
    SPAA 2004 [pdf] ; ACM Transactions on Algorithms, 4(3) 2008 [pdf]
  • Efficient distributed approximation algorithms via probabilistic tree embeddings.
    Maleq Khan, Fabian Kuhn, Dahlia Malkhi, Gopal Pandurangan, Kunal Talwar.
    PODC 2008. [pdf]

2007

  • Concise Version Vectors in WinFS.
    Dahlia Malkhi, Doug Terry.
    Distributed Computing Journal 2007 [pdf]; DISC 2005 [pdf]
  • P2P Replica Synchronization with Vector Sets.
    Dahlia Malkhi, Lev Novik, Chris Purcell.
    ACM SIGOPS Operating Systems Review – Systems work at Microsoft Research, 41(2), 2007. [pdf]
  • Reconstructing approximate tree metrics.
    Ittai Abraham, Mahesh Balakrishnan, Fabian Kuhn, Dahlia Malkhi, Venugopalan Ramasubramanian, Kunal Talwar.
    PODC 2007. [pdf]
  • Wait-Free Regular Storage from Byzantine Components.
    Information Processsing Letters 2007 [pdf]
  • On Collaborative Content Distribution Using Multi-Message Gossip.
    Coby Fernandess and Dahlia Malkhi.
    IEEE JPDC 2007 [pdf]; IPDPS 2006 (Best Paper Award) [pdf]

2006

  • Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory.
    Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi.
    PODC 2004 [pdf] ; Distributed Computing 2006 [pdf]
  • Light-Weight Leases for Storage-Centric Coordination.
    Gregory Chockler, Dahlia Malkhi.
    International Journal of Parallel Programming 2006 [pdf]
  • On Space-Stretch Trade-Offs: Upper bounds.
    Ittai Abraham, Cyril Gavoille, Dahlia Malkhi.
    ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2006. [pdf]
  • On Space-Stretch Trade-Offs: Lower bounds.
    Ittai Abraham, Cyril Gavoille, Dahlia Malkhi.
    ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2006. [pdf]

2005

  • Active Disk Paxos with Infinitely Many Processes.
    Gregory Chockler, Dahlia Malkhi.
    PODC 2002 [pdf] ; Distributed Computing 2005 [pdf]
  • Probabilistic quorums for dynamic systems.
    DISC 2003 [pdf]; Distributed Computing 2005 [pdf]
  • Name Independent Routing for Growth Bounded Networks.
    Ittai Abraham, Dahlia Malkhi.
    SPAA 2005 [pdf]
  • The Julia Content Distribution Network.
    Danny Bickson, Dahlia Malkhi.
    The 2nd Usenix Workshop on Real Large Distributed Systems (WORLDS) 2005. [pdf]
  • Ω Meets Paxos: Leader Election and Stability without Eventual Timely Links.
    Dahlia Malkhi, Florin Oprea, Lidong Zhou.
    DISC 2005 [pdf]
  • Practical Locality-Awareness for Large Scale Information Sharing.
    Ittai Abraham, Ankur Badola, Danny Bickson, Dahlia Malkhi, Sahrad Maloo, Saar Ron.
    International Workshop on Peer-To-Peer Systems (IPTPS) 2005 [pdf]

2004

  • LLS : a Locality Aware Location Service for Mobile Ad Hoc Networks.
    Ittai Abraham, Danny Dolev, Dahlia Malkhi.
    DIAL M-POMC 2004.
  • Routing with Improved Communication-Space Trade-Off.
    Ittai Abraham, Cyril Gavoille, Dahlia Malkhi.
    Eighteenth International Symposium on Distributed Computing (DISC), 2004.
  • Compact Routing on Euclidian Metrics.
    Ittai Abraham, Dahlia Malkhi.
    Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2004.
  • Efficient Large Scale Content Distribution.
    Danny Bickson, Dahlia Malkhi, David Rabinowitz.
    The 6th Workshop on Distributed Data and Structures (WDAS), 2004. [pdf]
  • Fairplay: A Secure Two-Party Computation System.
    Dahlia Malkhi, Noam Nisan, Benny Pinkas, Yaron Sella. [pdf]
    Usenix Security (best student paper award), 2004.
  • Limiting Duplicate Identities in Distributed Systems (A position paper).
    Elliot Jaffe, Dahlia Malkhi, Elan Pavlov.
    2nd Bertinoro Workshop on Future Directions in Distributed Computing, FuDiCo II: S.O.S. Survivability: Obstacles and Solutions, 2004.
  • Optimal Resilience Wait-Free Storage from Byzantine Components: Inherent Costs and Solutions
    Gregory Chockler, Idit Keidar, Dahlia Malkhi.
    2nd Bertinoro Workshop on Future Directions in Distributed Computing, FuDiCo II: S.O.S. Survivability: Obstacles and Solutions, 2004. [pdf]
  • Principles of Locality-Aware Networks for Locating Nearest Copies of Data.
    Ittai Abraham, Dahlia Malkhi.
    International Workshop on Self-* Properties in Complex Information Systems, Bertinoro, 2004.
  • LAND: Locality Aware Networks for Distributed Hash Tables.
    Ittai Abraham, Dahlia Malkhi , Oren Dobzinski.
    The ACM-SIAM Symposium on Discrete Algorithms (SODA), 2004.

2003

  • A Generic Scheme for Building Overlay Networks in Adversarial Scenarios.
    Ittai Abraham, Baruch Awerbuch, Yossi Azar, Yair Bartal, Dahlia Malkhi, Elan Pavlov.
    Proceedings of the 17th International Symposium on Parallel and Distributed Processing (IPDPS), 2003. [pdf]
  • Diffusion without False Rumours: On Propagating Updates in a Byzantine Environment.
    Dahlia Malkhi, Yishay Mansour, Mike Reiter.
    TCS 2003 [pdf]; SRDS 1999 [pdf]
  • Objects Shared by Byzantine Processes.
    Dahlia Malkhi, Michael Merrit, Mike Reiter, Gadi Taubenfeld.
    Distributed Computing 2003 [pdf] ; DISC 2000 [pdf]
  • Aquarius: A Data-Centric approach to CORBA Fault-Tolerance.
    Gregory Chockler, Dahlia Malkhi, Barak Merimovich, David Rabinowitz.
    Proceedings of the 2003 International Conference on Distributed Objects and Applications (DOA), 2003 [PDF]

2002

  • Viceroy: A Scalable and Dynamic Emulation of the Butterfly.
    Dahlia Malkhi, Moni Naor, David Ratajczak.
    ACM Symposium on Principles of Distributed Computing (PODC), 2002. [pdf]
  • From Byzantine Agreement to Practical Survivability.
    keynote at RCDS 2002. [pdf]
  • Dynamic Lookup Networks: A position paper.
    Dahlia Malkhi.
    FUDICO 2002. [pdf]
  • A Data-Centric Approach for Scalable State Machine Replication.
    Gregory Chockler, Dahlia Malkhi, Danny Dolev.
    The International Workshop on Future Directions in Distributed Computing (FuDiCo), LNCS Volume 2584, 2002. [pdf]
  • Scalable Secure Storage when Half the System is Faulty.
    Noga Alon, Haim Kaplan, Michael Krivelevich, Dahlia Malkhi, Julien Stern.
    ICALP 2000 [pdf] ; Information and Computation 2002 [pdf]; addendum, 2003 [pdf]

2001

  • Replication by Diffusion in Large Networks.
    Dahlia Malkhi, Yaron Sella.
    Ersads 2001 [pdf]
  • A Quorum Based Approach to CORBA Fault-Tolerance.
    Gregory Chockler, Danny Dolev, Dahlia Malkhi.
    European Research Seminar on Advances in Distributed Systems (Ersads 2001),
    2001 [pdf]
  • Efficient Update Diffusion in Byzantine Environments.
    Dahlia Malkhi, Mike Reiter, Ohad Rodeh, Yaron Sella.
    SRDS 2001 [pdf]
  • Optimal Unconditional Information Diffusion.
    Dahlia Malkhi, Elan Pavlov, Yaron Sella.
    DISC 2001 [pdf]
  • Probabilistic Quorum Systems.
    Dahlia Malkhi, Mike Reiter, Avishai Wool, Rebecca Wright.
    PODC 1997 [pdf] ; Information and Computation 2001 [pdf]
  • Persistent Objects Fleet System.
    Dahlia Malkhi, Mike Reiter, Daniela Tulone, Elisha Ziskind.
    DARPA DISCEX II 2001 [pdf]
  • On k-set consensus problems in asynchronous systems.
    R. De Prisco, D. Malkhi and M. K. Reiter .
    PODC 1999 [pdf] ; IEEE TOPDS  2001 [pdf]

2000

  • The Load and Availability of Byzantine Quorum Systems.
    Dahlia Malkhi, Mike Reiter, Avishai Wool.
    Siam Journal of Computing 2000 [pdf] ; PODC 1997 [pdf]
  • Dynamic Byzantine Quorum Systems.
    Lorenzo Alvisi, Dahlia Malkhi, Evelyn Pierce, Mike Reiter, Rebecca Wright.
    ICDSN 2000 [pdf]
  • An Architecture for Survivable Coordination.
    Dahlia Malkhi, Mike Reiter.
    IEEE Transactions on Knowledge and Data Engineering (TKDE) 2000 [pdf]
  • Secure Reliable Multicast Protocols in a WAN. 
    D. Malkhi, M. Merritt and O. Rodeh.
    Distributed Computing 13:19–28, 2000 ; ICDCS 1997 [pdf].

1999

  • Quorum Systems.
    Dahlia Malkhi.
    A tutorial, 1999 [pdf]
  • Fault Detection for Byzantine Quorum Systems.
    Lorenzo Alvisi, Dahlia Malkhi, Evelyn Pierce, Mike Reiter.
    DCCA 1999 [pdf]

1998

  • Probabilistic Byzantine Quorum Systems.
    Dahlia Malkhi, Mike Reiter, Avishai Wool, Rebecca Wright.
    Brief announcement at PODC 98 [pdf]
  • Byzantine Quorum Systems.
    Dahlia Malkhi, Mike Reiter.
    Distributed Computing 1998 [pdf]; STOC 1997 [pdf]
  • Survivable Consensus Objects.
    Dahlia Malkhi, Mike Reiter.
    SRDS 1998 [pdf]
  • Secure and Scalable Replication in Phalanx.
    Dahlia Malkhi, Mike Reiter.
    SRDS 1998 [pdf]
  • Auditable Metering with Lightweight Security.
    Matthew Franklin, Dahlia Malkhi.
    The Journal of Computer Security, 6(4), 1998 [pdf] ; Financial Cryptography (FC) 1997

1986-1997

  • A High-Throughput Secure Reliable Multicast Protocol.
    Dahlia Malkhi and Mike Reiter.
    The Journal of Computer Security, 5:113, 1997. [pdf]
  • Warm Backup using Snooping.
    Danny Dolev, Dalia Malkhi, Yuval Yarom.
    First International Workshop on Services in Distributed and Networked Environments (SDNE), Prague, Czech Republic, June 1994, pp. 60-65. [pdf]