Research

I'm interested in fault-tolerant distributed and concurrent algorithms and systems, theory and practice.

Scalable Byzantine fault tolerance

• Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP (DISC'20), video
  
• Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR (DISC'20), video
  
• All You Need is DAG
  
• Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
  
• Byzantine Agreement with Less Communication: Recent Advances (SIGACT News)
  

Security

• WatchIT: Who Watches Your IT Guy? (SOSP'17)
  

Distributed storage

Theory

• Space Bounds: Integrated Bounds for Disintegrated Storage (DISC'18)
• Space Bounds for Reliable Storage: Fundamental Limits of Coding (PODC'16)
• Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution (DISC'17)

Systems

• Transactions over HBase: Omid, Reloaded: Scalable and Highly-Available Transaction Processing (FAST'17) Apache Phoenix Omid
  
  Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics (PVLDB'18)
• HBase memory store improvement: Accordion: Better Memory Organization for LSM Key-Value Stores (PVLDB'18)
• cLSM: Improving concurrency in KV stores (LevelDB, RocksDB): Scaling Concurrent Log-Structured Data Stores (EuroSys'15); cLSM implementation in RocksDB
• ZooKeeper in multiple data centers: Modular Composition of Coordination Services (Usenix ATC'16); ZooNet code

Concurrent data structures and transactions

• KiWi: A Key-Value Map for Scalable Real-Time Analytics (PPoPP'17). KiWi code
• Transactional Data Structure Libraries (Distinguished Paper in PLDI'16); Java transactional libraries code
• CSR: Core Surprise Removal in Commodity Operating Systems; uses HTM (ASPLOS'16)
• Multi-versioning in Transactional Memory (Chapter in Transactional Memory)

Some other facts and links

My Ph.D. advisor was Danny Dolev, and according to the Mathematics Genealogy Project, my academic lineage includes Copernicus, Leibniz, Jacob Bernoulli, Euler, Lagrange, Laplace, and Poisson.

Professional activities that have kept me busy lately:

• The Rothschild Scholars Program, Technion Program for Excellence (Head)
• LADIS 2021 (PC Co-Chair)
• PPoPP 2019 (PC Chair)
• PODC 2018 (PC Chair)
• SYSTOR 2015 (PC Co-Chair)
• DISC 2013 in Jerusalem (Organizing Committee Chair)
• SIGACT News Distributed Computing Column (Editor)
• The Networked Software Systems Laboratory at the Technion

Finally, here are links to my full publications list (sorted by year), a short bio, and my full CV.

Home

Publications

Research

Tutorials and Surveys

Group / Students

Contact

SIGACT News