Dahlia Malkhi, Ph.D.
Principal researcher and founding member of
I am an applied and foundational researcher, since the early nineties, in broad aspects of reliability and security in distributed systems.
In 2014, after the closing of the Microsoft Research Silicon Valley lab, I co-founded VMware Research and became a Principal Researcher at VMware. From 2004-2014, I was a principal researcher at Microsoft Research, Silicon Valley. From 1999-2007, I was a tenured associate professor at the Hebrew University of Jerusalem. In 2004 I actually left for a brief sabbatical at Microsoft Research, but was bitten by the Silicon Valley bug and stayed there. I hold a PhD, an M.Sc. and a B.Sc. in computer science from the Hebrew University of Jerusalem.
- Presently, I am passionate about the Corfu project I co-founded, a database-less database. [Corfu github repo]
- Research at VMware! Special Topics. SIGOPS OSR (September 2017)
- Introducing VMware Research (VRG)! [blogpost]
- I was psyched when Lamport won the 2013 Turing award, and humbled to have been invited to author the ACM award tribute page. [tribute]
- Some recent recorded talks:
Selected publications (see also full publications page):
- The Blockchain Consensus Layer and BFT.
Ittai Abraham, Dahlia Malkhi.
A tutorial, BEATCS , fall 2017. [pdf]
- Flexible Paxos: Quorum Intersection Revisited.
Heidi Howard, Dahlia Malkhi, Sasha Spiegelman.
OPODIS 2016. [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]
- Brief Announcement: Vertical Paxos and Primary-Backup Replication.
Leslie Lamport, Dahlia Malkhi, Lidong Zhou.
PODC 2009. [pdf]
- Dynamic Atomic Storage without consensus.
Marcos Aguilera, Idit Keidar, Dahlia Malkhi, Alex Shraer.
PODC 2009 (conference version). [pdf]
JACM 2011 (journal version). [pdf]
- Fairplay: A Secure Two-Party Computation System.
Dahlia Malkhi, Noam Nisan, Benny Pinkas, Yaron Sella. [pdf]
Usenix Security (best student paper award), 2004.
- Byzantine Quorum Systems.
Dahlia Malkhi, Mike Reiter.
STOC 1997 (conference version). [pdf]
Distributed Computing 1998 (journal version). [pdf]
- Probabilistic Quorum Systems.
Dahlia Malkhi, Mike Reiter, Rebecca Wright.
PODC 1997 (conference version). [pdf]
Information and Computation 2001 (journal version). [pdf]
- ACM fellow, 2011.
- IBM Faculty award recipient, 2003 and 2004.
- German-Israeli Foundation (G.I.F.) Young Scientist career award, 2002.
- Associate editor of IEEE Transactions on Dependable and Secure Computing (TDSC) 2014-2016.
- Associate editor of the Distributed Computing Journal since 2002.
- Program chair for LADIS 2012 , Locality 2007, PODC 2006, Locality 2005 and DISC 2002.
- [talk video] “Randomized Gossip Methods: From Grapevine to SWIM” PWL Conference 2016
”Foundations of Reliable Distributed Systems in Practice” Women in Theory 2016
“CorfuDB: Transactional Data Services over a Shared Log” Princeton, fall 2014
“What happens when distributed systems go elastic?” SSS ’12
“CORFU: Going Beyond Paxos” DISC 2011
“CORFU: Transactional Storage at the Speed of Flash” LADIS ‘2011
“Backend Consistency for Large-Scale Live Services” IPTPS ’10
“Dynamic Reconfiguratoin in Distributed Systems” TADDS 2010
“Virtually Synchronous Paxos” A 30-Year Perspective on Replication
“FairPlay – A Secure Two-Party Computation System” SMP 2004
“Locality Aware network Solutions” WDAS 2004
- “From Byzantine Agreement to Practical Survivability” RCDS 2002