Increasing the Resilience of Atomic Commit at No Additional Cost. - Idit Keidar; Danny Dolev (PODS, 1995)

Efficient Message Ordering in Dynamic Networks. - Idit Keidar; Danny Dolev (PODC, 1996)

Scalable group membership services for novel applications. - Tal Anker; Gregory V. Chockler; Danny Dolev; Idit Keidar (Networks in Distributed Computing, 1997)

The Caelum Toolkit for CSCW: The Sky is the Limit. - Tal Anker; Gregory V. Chockler; Danny Dolev; Idit Keidar (NGITS, 1997)

Failure Detectors in Omission Failure Environments. - Danny Dolev; Roy Friedman; Idit Keidar; Dahlia Malkhi (PODC, 1997)

Dynamic Voting for Consistent Primary Components. - Esti Yeger Lotem; Idit Keidar; Danny Dolev (PODC, 1997)

Increasing the Resilience of Distributed and Replicated Database Systems. - Idit Keidar; Danny Dolev (J. Comput. Syst. Sci., 1998)

Consistency and high availability of information dissemination in Multi-Processor networks (עקביות וזמינות של הפצת מידע ברשתות רבות מעבדים.). - Idit Keidar (1998)

Fault Tolerant Video on Demand Services. - Tal Anker; Danny Dolev; Idit Keidar (ICDCS, 1999)

On Formal Modeling of Agent Computations. - Tadashi Araragi; Paul C. Attie; Idit Keidar; Kiyoshi Kogure; Victor Luchangco; Nancy A. Lynch; Ken Mano (FAABS, 2000)

A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms. - Idit Keidar; Roger Khazan (ICDCS, 2000)

A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs. - Idit Keidar; Jeremy B. Sussman; Keith Marzullo; Danny Dolev (ICDCS, 2000)

Totally Ordered Multicast with Bounded Delays and Variable Rates. - Ziv Bar-Joseph; Idit Keidar; Tal Anker; Nancy A. Lynch (OPODIS, 2000)

Optimistic Virtual Synchrony. - Jeremy B. Sussman; Idit Keidar; Keith Marzullo (SRDS, 2000)

Availability Study of Dynamic Voting Algorithms. - Kyle Ingols; Idit Keidar (ICDCS, 2001)

A Framework for Highly Available Services Based on Group Communication. - Alan D. Fekete; Idit Keidar (ICDCS Workshops, 2001)

Group communication specifications: a comprehensive study. - Gregory V. Chockler; Idit Keidar; Roman Vitenberg (ACM Comput. Surv., 2001)

On the cost of fault-tolerant consensus when there are no faults: preliminary version. - Idit Keidar; Sergio Rajsbaum (SIGACT News, 2001)

Evaluating the running time of a communication round over the internet. - Omar Bakr; Idit Keidar (PODC, 2002)

Early-Delivery Dynamic Atomic Broadcast. - Ziv Bar-Joseph; Idit Keidar; Nancy A. Lynch (DISC, 2002)

A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach. - Idit Keidar; Roger Khazan (SIAM J. Comput., 2002)

Moshe: A group membership service for WANs. - Idit Keidar; Jeremy B. Sussman; Keith Marzullo; Danny Dolev (ACM Trans. Comput. Syst., 2002)

An inheritance-based technique for building simulation proofs incrementally. - Idit Keidar; Roger Khazan; Nancy A. Lynch; Alexander A. Shvartsman (ACM Trans. Softw. Eng. Methodol., 2002)

Challenges in Evaluating Distributed Algorithms. - Idit Keidar (Future Directions in Distributed Computing, 2003)

Open Questions on Consensus Performance in Well-Behaved Runs. - Idit Keidar; Sergio Rajsbaum (Future Directions in Distributed Computing, 2003)

On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. - Idit Keidar; Sergio Rajsbaum (LADC, 2003)

A simple proof of the uniform consensus synchronous lower bound. - Idit Keidar; Sergio Rajsbaum (Inf. Process. Lett., 2003)

Caching-Enhanced Scalable Reliable Multicast. - Carolos Livadas; Idit Keidar (DSN, 2004)

Supporting Groupware in Mobile Networks. - Nadav Lavi; Israel Cidon; Idit Keidar (MWCN, 2004)

Brief announcement: exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast. - Gal Badishi; Idit Keidar; Amir Sasson (PODC, 2004)

Brief announcement: Trilix: a scalable unstructured lookup system for dynamic environments. - Idit Keidar; Roie Melamed (PODC, 2004)

Topic 8 - Distributed Systems and Algorithms. - Marc Shapiro 001; Idit Keidar; Felix C. Freiling; Luís E. T. Rodrigues (Euro-Par, 2005)

Octopus: A Fault-Tolerant and Ef.cient Ad-hoc Routing Protocol. - Roie Melamed; Idit Keidar; Yoav Barel (SRDS, 2005)

Keeping Denial-of-Service Attackers in the Dark. - Gal Badishi; Amir Herzberg; Idit Keidar (IACR Cryptol. ePrint Arch., 2005)

MaGMA: mobility and group management architecture for real-time collaborative applications. - Nadav Lavi; Israel Cidon; Idit Keidar (Wirel. Commun. Mob. Comput., 2005)

Denial of Service Protection with Beaver. - Gal Badishi; Idit Keidar; Amir Herzberg; Oleg Romanov; Avital Yachin (From Security to Dependability, 2006)

Decentralized Electronic Mail. - Sivan Bercovici; Idit Keidar; Ayellet Tal (ICDCS Workshops, 2006)

Nomadic Service Points. - Edward Bortnikov; Israel Cidon; Idit Keidar (INFOCOM, 2006)

Veracity radius: capturing the locality of distributed computations. - Yitzhak Birk; Idit Keidar; Liran Liss; Assaf Schuster; Ran Wolff 001 (PODC, 2006)

Timeliness, failure-detectors, and consensus performance. - Idit Keidar; Alexander Shraer (PODC, 2006)

Evaluating unstructured peer-to-peer lookup overlays. - Idit Keidar; Roie Melamed (SAC, 2006)

Efficient Dynamic Aggregation. - Yitzhak Birk; Idit Keidar; Liran Liss; Assaf Schuster (DISC, 2006)

Byzantine disk paxos: optimal resilience with byzantine shared memory. - Ittai Abraham; Gregory V. Chockler; Idit Keidar; Dahlia Malkhi (Distributed Comput., 2006)

Want scalable computing?: speculate! - Idit Keidar; Assaf Schuster (SIGACT News, 2006)

An architecture for adaptive intrusion-tolerant applications. - Partha P. Pal; Paul Rubel; Michael Atighetchi; Franklin Webber; William H. Sanders; Mouna Seri; HariGovind V. Ramasamy; James Lyons; Tod Courtney; Adnan Agbaria; Michel Cukier; Jeanna M. Gossett; et al. (Softw. Pract. Exp., 2006)

Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. - Gal Badishi; Idit Keidar; Amir Sasson (IEEE Trans. Dependable Secur. Comput., 2006)

Can a one-day conference change female high school students' perception of electrical engineering? - Orit Hazzan; Ayellet Tal; Idit Keidar (IEEE Trans. Educ., 2006)

Scalable real-time gateway assignment in mobile mesh networks. - Edward Bortnikov; Israel Cidon; Idit Keidar (CoNEXT, 2007)

NoC-Based FPGA: Architecture and Routing. - Roman Gindin; Israel Cidon; Idit Keidar (NOCS, 2007)

Scalable Load-Distance Balancing. - Edward Bortnikov; Israel Cidon; Idit Keidar (DISC, 2007)

Amnesic Distributed Storage. - Gregory V. Chockler; Rachid Guerraoui; Idit Keidar (DISC, 2007)

Nahalal: Cache Organization for Chip Multiprocessors. - Zvika Guz; Idit Keidar; Avinoam Kolodny; Uri C. Weiser (IEEE Comput. Archit. Lett., 2007)

The overhead of consensus failure recovery. - Partha Dutta; Rachid Guerraoui; Idit Keidar (Distributed Comput., 2007)

Wait-free regular storage from Byzantine components. - Ittai Abraham; Gregory V. Chockler; Idit Keidar; Dahlia Malkhi (Inf. Process. Lett., 2007)

Introduction. - Idit Keidar (SIGACT News, 2007)

Nomadic Service Assignment. - Edward Bortnikov; Israel Cidon; Idit Keidar (IEEE Trans. Mob. Comput., 2007)

Dynamic service assignment in mobile networks: the magma approach. - Edward Bortnikov; Israel Cidon; Idit Keidar (PODC, 2008)

Principles of untrusted storage: a new look at consistency conditions. - Christian Cachin; Idit Keidar; Alexander Shraer (PODC, 2008)

Improving denial of service resistance using dynamic local adaptations. - Gal Badishi; Idit Keidar (SAC, 2008)

Utilizing shared data in chip multiprocessors with the nahalal architecture. - Zvika Guz; Idit Keidar; Avinoam Kolodny; Uri C. Weiser (SPAA, 2008)

An Empirical Study of Denial of Service Mitigation Techniques. - Gal Badishi; Amir Herzberg; Idit Keidar; Oleg Romanov; Avital Yachin (SRDS, 2008)

Araneola: A scalable reliable multicast system for dynamic environments. - Roie Melamed; Idit Keidar (J. Parallel Distributed Comput., 2008)

On distributed computing principles in systems research: introduction. - Idit Keidar (SIGACT News, 2008)

ACM SIGACT News Distributed Computing Column 31: quantum computers meet distributed computing. - Idit Keidar (SIGACT News, 2008)

ACM SIGACT news distributed computing column 32: the year in review. - Idit Keidar (SIGACT News, 2008)

A QoS WMN with mobility support. - Edward Bortnikov; Israel Cidon; Idit Keidar; Tal Kol; Arkady Vaisman (ACM SIGMOBILE Mob. Comput. Commun. Rev., 2008)

How to Choose a Timing Model. - Idit Keidar; Alexander Shraer (IEEE Trans. Parallel Distributed Syst., 2008)

Octopus: A fault-tolerant and efficient ad-hoc routing protocol. - Roie Melamed; Idit Keidar; Yoav Barel (Wirel. Networks, 2008)

Low-overhead error detection for Networks-on-Chip. - Amit Berman; Idit Keidar (ICCD, 2009)

Transactifying Apache's cache module. - Haggai Eran; Ohad Lutzky; Zvika Guz; Idit Keidar (SYSTOR, 2009)

The 2009 Edsger W. Dijkstra Prize in Distributed Computing. - Lorenzo Alvisi; Rachid Guerraoui; Prasad Jayanti; Idit Keidar; Shay Kutten; Jennifer L. Welch (DISC, 2009)

Many-Core vs. Many-Thread Machines: Stay Away From the Valley. - Zvika Guz; Evgeny Bolotin; Idit Keidar; Avinoam Kolodny; Avi Mendelson; Uri C. Weiser (IEEE Comput. Archit. Lett., 2009)

Brahms: Byzantine resilient random membership sampling. - Edward Bortnikov; Maxim Gurevich; Idit Keidar; Gabriel Kliot; Alexander Shraer (Comput. Networks, 2009)

EquiCast: Scalable multicast with selfish users. - Idit Keidar; Roie Melamed; Ariel Orda (Comput. Networks, 2009)

Reliable Distributed Storage. - Gregory V. Chockler; Rachid Guerraoui; Idit Keidar; Marko Vukolic (Computer, 2009)

Fork sequential consistency is blocking. - Christian Cachin; Idit Keidar; Alexander Shraer (Inf. Process. Lett., 2009)

Deleting files in the Celeste peer-to-peer storage system. - Gal Badishi; Germano Caronni; Idit Keidar; Raphael Rom; Glenn Scott (J. Parallel Distributed Comput., 2009)

Impossibility Results and Lower Bounds for Consensus under Link Failures. - Ulrich Schmid 001; Bettina Weiss; Idit Keidar (SIAM J. Comput., 2009)

Trusting the cloud. - Christian Cachin; Idit Keidar; Alexander Shraer (SIGACT News, 2009)

ACM SIGACT news distributed computing column 33: teaching concurrency. - Idit Keidar (SIGACT News, 2009)

ACM SIGACT news distributed computing column 34: distributed computing in the clouds. - Idit Keidar (SIGACT News, 2009)

ACM SIGACT news distributed computing column 35: theory and practice in large distributed systems. - Idit Keidar (SIGACT News, 2009)

Distributed computing column 36 distributed computing: 2009 edition. - Idit Keidar (SIGACT News, 2009)

Do not crawl in the DUST: Different URLs with similar text. - Ziv Bar-Yossef; Idit Keidar; Uri Schonfeld (ACM Trans. Web, 2009)

Venus: verification for untrusted cloud storage. - Alexander Shraer; Christian Cachin; Asaf Cidon; Idit Keidar; Yan Michalevsky; Dani Shaket (CCSW, 2010)

Threads vs. caches: Modeling the behavior of parallel workloads. - Zvika Guz; Oved Itzhak; Idit Keidar; Avinoam Kolodny; Avi Mendelson; Uri C. Weiser (ICCD, 2010)

Sources of instability in data center multicast. - Dmitry Basin; Ken Birman; Idit Keidar; Ymir Vigfusson (LADIS, 2010)

Data-centric reconfiguration with network-attached disks. - Alexander Shraer; Jean-Philippe Martin; Dahlia Malkhi; Idit Keidar (LADIS, 2010)

Brief announcement: sources of instability in data center multicast. - Dmitry Basin; Ken Birman; Idit Keidar; Ymir Vigfusson (PODC, 2010)

Distributed data classification in sensor networks. - Ittay Eyal; Idit Keidar; Raphael Rom (PODC, 2010)

On maintaining multiple versions in STM. - Dmitri Perelman; Rui Fan 004; Idit Keidar (PODC, 2010)

Order is power: Selective Packet Interleaving for energy efficient Networks-on-Chip. - Amit Berman; Ran Ginosar; Idit Keidar (VLSI-SoC, 2010)

Reconfiguring Replicated Atomic Storage: A Tutorial. - Marcos K. Aguilera; Idit Keidar; Dahlia Malkhi; Jean-Philippe Martin; Alexander Shraer (Bull. EATCS, 2010)

Correctness of Gossip-Based Membership under Message Loss. - Maxim Gurevich; Idit Keidar (SIAM J. Comput., 2010)

Distributed computing column 37: reconfiguring state machines ... and the history of common knowledge. - Idit Keidar (SIGACT News, 2010)

Distributed Computing Column 38: Models for algorithm design in wireless networks. - Idit Keidar (SIGACT News, 2010)

Distributed Computing Column 39: Byzantine Generals: The Next Generation. - Idit Keidar (SIGACT News, 2010)

Distributed computing column 40: annual review 2010. - Idit Keidar (SIGACT News, 2010)

Tolerant Value Speculation in Coarse-Grain Streaming Computations. - Nathaniel Azuelos; Idit Keidar; Ayal Zaks (IPDPS, 2011)

Dynamic computations in ever-changing networks. - Idit Keidar (TADDS, 2011)

CAFÉ: Scalable Task Pools with Adjustable Fairness and Contention. - Dmitry Basin; Rui Fan 004; Idit Keidar; Ofer Kiselov; Dmitri Perelman (DISC, 2011)

SMV: Selective Multi-Versioning STM. - Dmitri Perelman; Anton Byshevsky; Oleg Litmanovich; Idit Keidar (DISC, 2011)

Distributed data clustering in sensor networks. - Ittay Eyal; Idit Keidar; Raphael Rom (Distributed Comput., 2011)

Special issue with selected papers from DISC 2009. - Idit Keidar (Distributed Comput., 2011)

Dynamic atomic storage without consensus. - Marcos Kawazoe Aguilera; Idit Keidar; Dahlia Malkhi; Alexander Shraer (J. ACM, 2011)

Fail-Aware Untrusted Storage. - Christian Cachin; Idit Keidar; Alexander Shraer (SIAM J. Comput., 2011)

Distributed computing column 41 computing over dynamic networks. - Idit Keidar (SIGACT News, 2011)

Distributed computing column 42: game theory and fault tolerance in distributed computing. - Idit Keidar (SIGACT News, 2011)

Distributed computing column 43: using social networks to overcome Sybil attacks. - Idit Keidar (SIGACT News, 2011)

Distributed computing column 44 2011 in review. - Idit Keidar (SIGACT News, 2011)

SALSA: scalable and low synchronization NUMA-aware algorithm for producer-consumer pools. - Elad Gidron; Idit Keidar; Dmitri Perelman; Yonathan Perez (SPAA, 2012)

Distributed computing column 45: what theory for transactional memory? - Idit Keidar (SIGACT News, 2012)

Distributed computing column 46: synthesizing distributed and concurrent programs. - Idit Keidar (SIGACT News, 2012)

Distributed computing column 47: distributed computability. - Idit Keidar (SIGACT News, 2012)

Distributed computing column 48: annual review 2012. - Idit Keidar (SIGACT News, 2012)

Distributed compressed sensing in dynamic networks. - Stacy Patterson; Yonina C. Eldar; Idit Keidar (GlobalSIP, 2013)

Thinner Clouds with Preallocation. - Ittay Eyal; Flavio Junqueira; Idit Keidar (HotCloud, 2013)

Distributed sparse signal recovery for sensor networks. - Stacy Patterson; Yonina C. Eldar; Idit Keidar (ICASSP, 2013)

In-Network Analytics for Ubiquitous Sensing. - Ittay Eyal; Idit Keidar; Stacy Patterson; Raphi Rom (DISC, 2013)

Distributed computing column 49: coding for distributed storage. - Idit Keidar (SIGACT News, 2013)

Distributed computing column 50: distributing trusted third parties, innovation prize, and SIROCCO review. - Idit Keidar (SIGACT News, 2013)

Distributed computing column 51: large-scale transaction replication. - Idit Keidar (SIGACT News, 2013)

On Correctness of Data Structures under Reads-Write Concurrency. - Kfir Lev-Ari; Gregory V. Chockler; Idit Keidar (DISC, 2014)

LiMoSense: live monitoring in dynamic sensor networks. - Ittay Eyal; Idit Keidar; Raphael Rom (Distributed Comput., 2014)

GPUfs: Integrating a file system with GPUs. - Mark Silberstein; Bryan Ford; Idit Keidar; Emmett Witchel (ACM Trans. Comput. Syst., 2014)

Distributed Compressed Sensing for Static and Time-Varying Networks. - Stacy Patterson; Yonina C. Eldar; Idit Keidar (IEEE Trans. Signal Process., 2014)

Multi-versioning in Transactional Memory. - Idit Keidar; Dmitri Perelman (Transactional Memory, 2015)

Scaling concurrent log-structured data stores. - Guy Golan-Gueta; Edward Bortnikov; Eshcar Hillel; Idit Keidar (EuroSys, 2015)

Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote). - Alexander Spiegelman; Yuval Cassuto; Gregory V. Chockler; Idit Keidar (OPODIS, 2015)

Dynamic Reconfiguration: A Tutorial (Tutorial). - Alexander Spiegelman; Idit Keidar; Dahlia Malkhi (OPODIS, 2015)

Towards Automatic Lock Removal for Scalable Synchronization. - Maya Arbel; Guy Golan-Gueta; Eshcar Hillel; Idit Keidar (DISC, 2015)

A Constructive Approach for Proving Data Structures' Linearizability. - Kfir Lev-Ari; Gregory V. Chockler; Idit Keidar (DISC, 2015)

On Avoiding Spare Aborts in Transactional Memory. - Idit Keidar; Dmitri Perelman (Theory Comput. Syst., 2015)

CSR: Core Surprise Removal in Commodity Operating Systems. - Noam Shalev; Eran Harpaz; Hagar Porat; Idit Keidar; Yaron Weinsberg (ASPLOS, 2016)

WatchIT: Who Watches Your IT Guy? - Noam Shalev; Idit Keidar; Yosef Moatti; Yaron Weinsberg (MIST@CCS, 2016)

Dynamic Atomic Snapshots. - Alexander Spiegelman; Idit Keidar (OPODIS, 2016)

Transactional data structure libraries. - Alexander Spiegelman; Guy Golan-Gueta; Idit Keidar (PLDI, 2016)

Brief Announcement: A Key-Value Map for Massive Real-Time Analytics. - Dmitry Basin; Edward Bortnikov; Anastasia Braginsky; Guy Golan-Gueta; Eshcar Hillel; Idit Keidar; Moshe Sulamy (PODC, 2016)

Space Bounds for Reliable Storage: Fundamental Limits of Coding. - Alexander Spiegelman; Yuval Cassuto; Gregory V. Chockler; Idit Keidar (PODC, 2016)

NearBucket-LSH: Efficient Similarity Search in P2P Networks. - Naama Kraus; David Carmel; Idit Keidar; Meni Orenbach (SISAP, 2016)

Brief Announcement: Transactional Data Structure Libraries. - Alexander Spiegelman; Guy Golan-Gueta; Idit Keidar (SPAA, 2016)

Modular Composition of Coordination Services. - Kfir Lev-Ari; Edward Bortnikov; Idit Keidar; Alexander Shraer (USENIX Annual Technical Conference, 2016)

EFS: Energy-Friendly Scheduler for memory bandwidth constrained systems. - Tomer Y. Morad; Noam Shalev; Idit Keidar; Avinoam Kolodny; Uri C. Weiser (J. Parallel Distributed Comput., 2016)

Fishing in the stream: Similarity search over endless data. - Naama Kraus; David Carmel; Idit Keidar (IEEE BigData, 2017)

Fragola: low-latency transactions in distributed data stores. - Yonatan Gottesman; Aran Bergman; Edward Bortnikov; Eshcar Hillel; Idit Keidar; Ohad Shacham (SoCC, 2017)

Omid, Reloaded: Scalable and Highly-Available Transaction Processing. - Edward Bortnikov; Eshcar Hillel; Idit Keidar; Ivan Kelly; Matthieu Morel; Sameer Paranjpye; Francisco Perez-Sorrosal; Ohad Shacham (FAST, 2017)

On Liveness of Dynamic Storage. - Alexander Spiegelman; Idit Keidar (SIROCCO, 2017)

WatchIT: Who Watches Your IT Guy? - Noam Shalev; Idit Keidar; Yaron Weinsberg; Yosef Moatti; Elad Ben-Yehuda (SOSP, 2017)

Brief Announcement: Towards Reduced Instruction Sets for Synchronization. - Rati Gelashvili; Idit Keidar; Alexander Spiegelman; Roger Wattenhofer (DISC, 2017)

Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution. - Alexander Spiegelman; Idit Keidar; Dahlia Malkhi (DISC, 2017)

Towards Reduced Instruction Sets for Synchronization. - Rati Gelashvili; Idit Keidar; Alexander Spiegelman; Roger Wattenhofer (CoRR, 2017)

Tail-Tolerant Distributed Search. - Naama Kraus; David Carmel; Idit Keidar (CoRR, 2017)

Composing ordered sequential consistency. - Kfir Lev-Ari; Edward Bortnikov; Idit Keidar; Alexander Shraer (Inf. Process. Lett., 2017)

2018 Edsger W. Dijkstra Prize in Distributed Computing. - Yehuda Afek; Idit Keidar; Boaz Patt-Shamir; Sergio Rajsbaum; Ulrich Schmid 001; Gadi Taubenfeld (PODC, 2018)

2018 Doctoral Dissertation Award. - Lorenzo Alvisi; Idit Keidar; Andréa W. Richa; Alexander A. Schwarzmann (PODC, 2018)

Session details: Session 1A: Persistent Memory. - Idit Keidar (PODC, 2018)

Session details: Session 2A: Approximation and Learning. - Idit Keidar (PODC, 2018)

Session details: Session 3A: Congest. - Idit Keidar (PODC, 2018)

Integrated Bounds for Disintegrated Storage. - Alon Berger; Idit Keidar; Alexander Spiegelman (DISC, 2018)

Accordion: Better Memory Organization for LSM Key-Value Stores. - Edward Bortnikov; Anastasia Braginsky; Eshcar Hillel; Idit Keidar; Gali Sheffi (Proc. VLDB Endow., 2018)

Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics. - Ohad Shacham; Yonatan Gottesman; Aran Bergman; Edward Bortnikov; Eshcar Hillel; Idit Keidar (Proc. VLDB Endow., 2018)

Introduction. - Dahlia Malkhi; Idit Keidar (Concurrency: the Works of Leslie Lamport, 2019)

FairLedger: A Fair Blockchain Protocol for Financial Institutions. - Kfir Lev-Ari; Alexander Spiegelman; Idit Keidar; Dahlia Malkhi (OPODIS, 2019)

2019 Edsger W. Dijkstra Prize in Distributed Computing. - Lorenzo Alvisi; Shlomi Dolev; Faith Ellen; Idit Keidar; Fabian Kuhn; Jukka Suomela (PODC, 2019)

Fast Concurrent Data Sketches. - Arik Rinberg; Alexander Spiegelman; Edward Bortnikov; Eshcar Hillel; Idit Keidar; Hadar Serviansky (PODC, 2019)

Edsger W. Dijkstra Prize in Distributed Computing 2019 - Call for Nominations. - Lorenzo Alvisi; Shlomi Dolev; Faith Ellen; Idit Keidar; Fabian Kuhn; Jukka Suomela (Bull. EATCS, 2019)

EvenDB: optimizing key-value storage for spatial locality. - Eran Gilad; Edward Bortnikov; Anastasia Braginsky; Yonatan Gottesman; Eshcar Hillel; Idit Keidar; Nurit Moscovici; Rana Shahout (EuroSys, 2020)

Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk). - Idit Keidar (OPODIS, 2020)

Brief Announcement: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. - Shir Cohen; Idit Keidar; Alexander Spiegelman (PODC, 2020)

Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion. - Arik Rinberg; Idit Keidar (PODC, 2020)

Nesting and composition in transactional data structure libraries. - Gal Assa; Hagar Meir; Guy Golan-Gueta; Idit Keidar; Alexander Spiegelman (PPoPP, 2020)

Oak: a scalable off-heap allocated key-value map. - Hagar Meir; Dmitry Basin; Edward Bortnikov; Anastasia Braginsky; Yonatan Gottesman; Idit Keidar; Eran Meir; Gali Sheffi; Yoav Zuriel (PPoPP, 2020)

Scalable top-k retrieval with Sparta. - Gali Sheffi; Dmitry Basin; Edward Bortnikov; David Carmel; Idit Keidar (PPoPP, 2020)

Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. - Shir Cohen; Idit Keidar; Alexander Spiegelman (DISC, 2020)

Economically Viable Randomness. - David Yakira; Avi Asayag; Ido Grayevsky; Idit Keidar (CoRR, 2020)

KiWi: A Key-value Map for Scalable Real-time Analytics. - Dmitry Basin; Edward Bortnikov; Anastasia Braginsky; Guy Golan-Gueta; Eshcar Hillel; Idit Keidar; Moshe Sulamy (ACM Trans. Parallel Comput., 2020)

Game of Coins. - Alexander Spiegelman; Idit Keidar; Moshe Tennenholtz (ICDCS, 2021)

Using Nesting to Push the Limits of Transactional Data Structure Libraries. - Gal Assa; Hagar Meir; Guy Golan-Gueta; Idit Keidar; Alexander Spiegelman (OPODIS, 2021)

All You Need is DAG. - Idit Keidar; Eleftherios Kokoris-Kogias; Oded Naor; Alexander Spiegelman (PODC, 2021)

Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries. - Gal Assa; Hagar Meir; Guy Golan-Gueta; Idit Keidar; Alexander Spiegelman (DISC, 2021)

Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. - Shir Cohen; Idit Keidar (DISC, 2021)

Byzantine Agreement with Less Communication: Recent Advances. - Shir Cohen; Idit Keidar; Oded Naor (SIGACT News, 2021)

SwiSh: Distributed Shared State Abstractions for Programmable Switches. - Lior Zeno; Dan R. K. Ports; Jacob Nelson 001; Daehyeok Kim; Shir Landau Feibish; Idit Keidar; Arik Rinberg; Alon Rashelbach; Igor Lima de Paula; Mark Silberstein (NSDI, 2022)

Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. - Shir Cohen; Idit Keidar; Alexander Spiegelman (OPODIS, 2022)

Brief Announcement: Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. - Shir Cohen; Idit Keidar; Alexander Spiegelman (PODC, 2022)

On Payment Channels in Asynchronous Money Transfer Systems. - Oded Naor; Idit Keidar (DISC, 2022)

Make Every Word Count: Adaptive BA with Fewer Words. - Shir Cohen; Idit Keidar; Alexander Spiegelman (CoRR, 2022)

Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality. - Idit Keidar; Oded Naor; Ehud Shapiro (CoRR, 2022)

DSON: JSON CRDT Using Delta-Mutations For Document Stores. - Arik Rinberg; Tomer Solomon; Roee Shlomo; Guy Khazma; Gal Lushi; Idit Keidar; Paula Ta-Shma (Proc. VLDB Endow., 2022)

Fast Concurrent Data Sketches. - Arik Rinberg; Alexander Spiegelman; Edward Bortnikov; Eshcar Hillel; Idit Keidar; Lee Rhodes; Hadar Serviansky (ACM Trans. Parallel Comput., 2022)

Nova: Safe Off-Heap Memory Allocation and Reclamation. - Ramy Fakhoury; Anastasia Braginsky; Idit Keidar; Yoav Zuriel (OPODIS, 2023)

Quancurrent: A Concurrent Quantiles Sketch. - Shaked Elias-Zada; Arik Rinberg; Idit Keidar (SPAA, 2023)

Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. - Shir Cohen; Idit Keidar (DISC, 2023)

Cordial Miners: Fast and Efficient Consensus for Every Eventuality. - Idit Keidar; Oded Naor; Ouri Poupko; Ehud Shapiro (DISC, 2023)

Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. - Shir Cohen; Idit Keidar (CoRR, 2023)

Intermediate Value Linearizability: A Quantitative Correctness Criterion. - Arik Rinberg; Idit Keidar (J. ACM, 2023)

Expected linear round synchronization: the missing link for linear Byzantine SMR. - Oded Naor; Idit Keidar (Distributed Comput., 2024)