Idit Keidar

Distributed Comput., March, 2024

2023

Intermediate Value Linearizability: A Quantitative Correctness Criterion.

[BibT_eX]

[DOI]

Arik Rinberg

J. ACM, April, 2023

Subquadratic Multivalued Asynchronous Byzantine Agreement WHP.

[BibT_eX]

[DOI]

CoRR, 2023

Cordial Miners: Fast and Efficient Consensus for Every Eventuality.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Distributed Computing, 2023

Quancurrent: A Concurrent Quantiles Sketch.

[BibT_eX]

[DOI]

Shaked Elias-Zada

Arik Rinberg

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

Nova: Safe Off-Heap Memory Allocation and Reclamation.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

2022

Fast Concurrent Data Sketches.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2022

DSON: JSON CRDT Using Delta-Mutations For Document Stores.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2022

Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality.

[BibT_eX]

[DOI]

Ehud Shapiro

CoRR, 2022

Make Every Word Count: Adaptive BA with Fewer Words.

[BibT_eX]

[DOI]

CoRR, 2022

On Payment Channels in Asynchronous Money Transfer Systems.

[BibT_eX]

[DOI]

Proceedings of the 36th International Symposium on Distributed Computing, 2022

Brief Announcement: Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words.

[BibT_eX]

[DOI]

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

SwiSh: Distributed Shared State Abstractions for Programmable Switches.

[BibT_eX]

[DOI]

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

Byzantine Agreement with Less Communication: Recent Advances.

[BibT_eX]

[DOI]

SIGACT News, 2021

Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer.

[BibT_eX]

[DOI]

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries.

[BibT_eX]

[DOI]

Proceedings of the 35th International Symposium on Distributed Computing, 2021

All You Need is DAG.

[BibT_eX]

[DOI]

Eleftherios Kokoris-Kogias

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021

Using Nesting to Push the Limits of Transactional Data Structure Libraries.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

Game of Coins.

[BibT_eX]

[DOI]

Moshe Tennenholtz

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

2020

KiWi: A Key-value Map for Scalable Real-time Analytics.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2020

Economically Viable Randomness.

[BibT_eX]

[DOI]

CoRR, 2020

Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP.

[BibT_eX]

[DOI]

Proceedings of the 34th International Symposium on Distributed Computing, 2020

Scalable top-k retrieval with Sparta.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Oak: a scalable off-heap allocated key-value map.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Nesting and composition in transactional data structure libraries.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion.

[BibT_eX]

[DOI]

Arik Rinberg

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Brief Announcement: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP.

[BibT_eX]

[DOI]

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

EvenDB: optimizing key-value storage for spatial locality.

[BibT_eX]

[DOI]

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Edsger W. Dijkstra Prize in Distributed Computing 2019 - Call for Nominations.

[BibT_eX]

[DOI]

Bull. EATCS, 2019

Fast Concurrent Data Sketches.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2019 Edsger W. Dijkstra Prize in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

FairLedger: A Fair Blockchain Protocol for Financial Institutions.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Principles of Distributed Systems, 2019

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Concurrency: the Works of Leslie Lamport, 2019

2018

Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2018

Accordion: Better Memory Organization for LSM Key-Value Stores.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2018

Integrated Bounds for Disintegrated Storage.

[BibT_eX]

[DOI]

Alon Berger

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Session details: Session 3A: Congest.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Session details: Session 2A: Approximation and Learning.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Session details: Session 1A: Persistent Memory.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

2018 Doctoral Dissertation Award.

[BibT_eX]

[DOI]

Lorenzo Alvisi

Andréa W. Richa

Alexander A. Schwarzmann

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

2018 Edsger W. Dijkstra Prize in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

2017

Composing ordered sequential consistency.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

Tail-Tolerant Distributed Search.

[BibT_eX]

[DOI]

Naama Kraus

David Carmel

CoRR, 2017

Towards Reduced Instruction Sets for Synchronization.

[BibT_eX]

[DOI]

CoRR, 2017

Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Brief Announcement: Towards Reduced Instruction Sets for Synchronization.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Distributed Computing, 2017

WatchIT: Who Watches Your IT Guy?

[BibT_eX]

[DOI]

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

On Liveness of Dynamic Storage.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2017

Omid, Reloaded: Scalable and Highly-Available Transaction Processing.

[BibT_eX]

[DOI]

Francisco Perez-Sorrosal

Ohad Shacham

Proceedings of the 15th USENIX Conference on File and Storage Technologies, 2017

Fragola: low-latency transactions in distributed data stores.

[BibT_eX]

[DOI]

Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, 2017

Fishing in the stream: Similarity search over endless data.

[BibT_eX]

[DOI]

Naama Kraus

David Carmel

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

EFS: Energy-Friendly Scheduler for memory bandwidth constrained systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2016

Modular Composition of Coordination Services.

[BibT_eX]

[DOI]

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Brief Announcement: Transactional Data Structure Libraries.

[BibT_eX]

[DOI]

Guy Golan-Gueta

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

NearBucket-LSH: Efficient Similarity Search in P2P Networks.

[BibT_eX]

[DOI]

Proceedings of the Similarity Search and Applications - 9th International Conference, 2016

Space Bounds for Reliable Storage: Fundamental Limits of Coding.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Brief Announcement: A Key-Value Map for Massive Real-Time Analytics.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Transactional data structure libraries.

[BibT_eX]

[DOI]

Guy Golan-Gueta

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Dynamic Atomic Snapshots.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

WatchIT: Who Watches Your IT Guy?

[BibT_eX]

[DOI]

Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats, 2016

CSR: Core Surprise Removal in Commodity Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

On Avoiding Spare Aborts in Transactional Memory.

[BibT_eX]

[DOI]

Dmitri Perelman

Theory Comput. Syst., 2015

A Constructive Approach for Proving Data Structures' Linearizability.

[BibT_eX]

[DOI]

Kfir Lev-Ari

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Towards Automatic Lock Removal for Scalable Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Dynamic Reconfiguration: A Tutorial (Tutorial).

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote).

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Scaling concurrent log-structured data stores.

[BibT_eX]

[DOI]

Proceedings of the Tenth European Conference on Computer Systems, 2015

Multi-versioning in Transactional Memory.

[BibT_eX]

[DOI]

Dmitri Perelman

Proceedings of the Transactional Memory. Foundations, Algorithms, Tools, and Applications, 2015

2014

Distributed Compressed Sensing for Static and Time-Varying Networks.

[BibT_eX]

[DOI]

Stacy Patterson

Yonina C. Eldar

IEEE Trans. Signal Process., 2014

GPUfs: Integrating a file system with GPUs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2014

LiMoSense: live monitoring in dynamic sensor networks.

[BibT_eX]

[DOI]

Raphael Rom

Distributed Comput., 2014

On Correctness of Data Structures under Reads-Write Concurrency.

[BibT_eX]

[DOI]

Kfir Lev-Ari

Proceedings of the Distributed Computing - 28th International Symposium, 2014

2013

Distributed computing column 51: large-scale transaction replication.

[BibT_eX]

[DOI]

SIGACT News, 2013

Distributed computing column 50: distributing trusted third parties, innovation prize, and SIROCCO review.

[BibT_eX]

[DOI]

SIGACT News, 2013

Distributed computing column 49: coding for distributed storage.

[BibT_eX]

[DOI]

SIGACT News, 2013

In-Network Analytics for Ubiquitous Sensing.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 27th International Symposium, 2013

Distributed sparse signal recovery for sensor networks.

[BibT_eX]

[DOI]

Stacy Patterson

Yonina C. Eldar

Proceedings of the IEEE International Conference on Acoustics, 2013

Thinner Clouds with Preallocation.

[BibT_eX]

[DOI]

Flavio Junqueira

Proceedings of the 5th USENIX Workshop on Hot Topics in Cloud Computing, 2013

Distributed compressed sensing in dynamic networks.

[BibT_eX]

[DOI]

Stacy Patterson

Yonina C. Eldar

Proceedings of the IEEE Global Conference on Signal and Information Processing, 2013

2012

Distributed computing column 48: annual review 2012.

[BibT_eX]

[DOI]

SIGACT News, 2012

Distributed computing column 47: distributed computability.

[BibT_eX]

[DOI]

SIGACT News, 2012

Distributed computing column 46: synthesizing distributed and concurrent programs.

[BibT_eX]

[DOI]

SIGACT News, 2012

Distributed computing column 45: what theory for transactional memory?

[BibT_eX]

[DOI]

SIGACT News, 2012

SALSA: scalable and low synchronization NUMA-aware algorithm for producer-consumer pools.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012

2011

Distributed computing column 44 2011 in review.

[BibT_eX]

[DOI]

SIGACT News, 2011

Distributed computing column 43: using social networks to overcome Sybil attacks.

[BibT_eX]

[DOI]

SIGACT News, 2011

Distributed computing column 42: game theory and fault tolerance in distributed computing.

[BibT_eX]

[DOI]

SIGACT News, 2011

Distributed computing column 41 computing over dynamic networks.

[BibT_eX]

[DOI]

SIGACT News, 2011

Fail-Aware Untrusted Storage.

[BibT_eX]

[DOI]

SIAM J. Comput., 2011

Dynamic atomic storage without consensus.

[BibT_eX]

[DOI]

Marcos Kawazoe Aguilera

J. ACM, 2011

Special issue with selected papers from DISC 2009.

[BibT_eX]

[DOI]

Distributed Comput., 2011

Distributed data clustering in sensor networks.

[BibT_eX]

[DOI]

Raphael Rom

Distributed Comput., 2011

SMV: Selective Multi-Versioning STM.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 25th International Symposium, 2011

CAFÉ: Scalable Task Pools with Adjustable Fairness and Contention.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Dynamic computations in ever-changing networks.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

Tolerant Value Speculation in Coarse-Grain Streaming Computations.

[BibT_eX]

[DOI]

Nathaniel Azuelos

Ayal Zaks

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

Distributed computing column 40: annual review 2010.

[BibT_eX]

[DOI]

SIGACT News, 2010

Distributed Computing Column 39: Byzantine Generals: The Next Generation.

[BibT_eX]

[DOI]

SIGACT News, 2010

Distributed Computing Column 38: Models for algorithm design in wireless networks.

[BibT_eX]

[DOI]

SIGACT News, 2010

Distributed computing column 37: reconfiguring state machines ... and the history of common knowledge.

[BibT_eX]

[DOI]

SIGACT News, 2010

Correctness of Gossip-Based Membership under Message Loss.

[BibT_eX]

[DOI]

Maxim Gurevich

SIAM J. Comput., 2010

Reconfiguring Replicated Atomic Storage: A Tutorial.

[BibT_eX]

[DOI]

Bull. EATCS, 2010

Order is power: Selective Packet Interleaving for energy efficient Networks-on-Chip.

[BibT_eX]

[DOI]

Amit Berman

Ran Ginosar

Proceedings of the 18th IEEE/IFIP VLSI-SoC 2010, 2010

On maintaining multiple versions in STM.

[BibT_eX]

[DOI]

Dmitri Perelman

Rui Fan

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Distributed data classification in sensor networks.

[BibT_eX]

[DOI]

Raphael Rom

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Brief announcement: sources of instability in data center multicast.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Data-centric reconfiguration with network-attached disks.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Sources of instability in data center multicast.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Threads vs. caches: Modeling the behavior of parallel workloads.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computer Design, 2010

Venus: verification for untrusted cloud storage.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Cloud Computing Security Workshop, 2010

2009

Do not crawl in the DUST: Different URLs with similar text.

[BibT_eX]

[DOI]

Ziv Bar-Yossef

Uri Schonfeld

ACM Trans. Web, 2009

Distributed computing column 36 distributed computing: 2009 edition.

[BibT_eX]

[DOI]

SIGACT News, 2009

ACM SIGACT news distributed computing column 35: theory and practice in large distributed systems.

[BibT_eX]

[DOI]

SIGACT News, 2009

ACM SIGACT news distributed computing column 34: distributed computing in the clouds.

[BibT_eX]

[DOI]

SIGACT News, 2009

ACM SIGACT news distributed computing column 33: teaching concurrency.

[BibT_eX]

[DOI]

SIGACT News, 2009

Trusting the cloud.

[BibT_eX]

[DOI]

SIGACT News, 2009

Impossibility Results and Lower Bounds for Consensus under Link Failures.

[BibT_eX]

[DOI]

Ulrich Schmid

Bettina Weiss

SIAM J. Comput., 2009

Deleting files in the Celeste peer-to-peer storage system.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2009

Fork sequential consistency is blocking.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2009

Reliable Distributed Storage.

[BibT_eX]

[DOI]

Computer, 2009

EquiCast: Scalable multicast with selfish users.

[BibT_eX]

[DOI]

Ariel Orda

Comput. Networks, 2009

Brahms: Byzantine resilient random membership sampling.

[BibT_eX]

[DOI]

Comput. Networks, 2009

Many-Core vs. Many-Thread Machines: Stay Away From the Valley.

[BibT_eX]

[DOI]

IEEE Comput. Archit. Lett., 2009

The 2009 Edsger W. Dijkstra Prize in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Transactifying Apache's cache module.

[BibT_eX]

[DOI]

Proceedings of of SYSTOR 2009: The Israeli Experimental Systems Conference 2009, 2009

Low-overhead error detection for Networks-on-Chip.

[BibT_eX]

[DOI]

Amit Berman

Proceedings of the 27th International Conference on Computer Design, 2009

2008

Octopus: A fault-tolerant and efficient ad-hoc routing protocol.

[BibT_eX]

[DOI]

Yoav Barel

Wirel. Networks, 2008

How to Choose a Timing Model.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2008

A QoS WMN with mobility support.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2008

ACM SIGACT news distributed computing column 32: the year in review.

[BibT_eX]

[DOI]

SIGACT News, 2008

ACM SIGACT News Distributed Computing Column 31: quantum computers meet distributed computing.

[BibT_eX]

[DOI]

SIGACT News, 2008

On distributed computing principles in systems research: introduction.

[BibT_eX]

[DOI]

SIGACT News, 2008

Araneola: A scalable reliable multicast system for dynamic environments.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2008

An Empirical Study of Denial of Service Mitigation Techniques.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

Utilizing shared data in chip multiprocessors with the nahalal architecture.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Improving denial of service resistance using dynamic local adaptations.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Principles of untrusted storage: a new look at consistency conditions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Dynamic service assignment in mobile networks: the magma approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2007

Nomadic Service Assignment.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2007

Introduction.

[BibT_eX]

[DOI]

SIGACT News, 2007

Wait-free regular storage from Byzantine components.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2007

The overhead of consensus failure recovery.

[BibT_eX]

[DOI]

Partha Dutta

Rachid Guerraoui

Distributed Comput., 2007

Nahalal: Cache Organization for Chip Multiprocessors.

[BibT_eX]

[DOI]

IEEE Comput. Archit. Lett., 2007

Amnesic Distributed Storage.

[BibT_eX]

[DOI]

Rachid Guerraoui

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Scalable Load-Distance Balancing.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 21st International Symposium, 2007

NoC-Based FPGA: Architecture and Routing.

[BibT_eX]

[DOI]

Roman Gindin

Proceedings of the First International Symposium on Networks-on-Chips, 2007

Scalable real-time gateway assignment in mobile mesh networks.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Conference on Emerging Network Experiment and Technology, 2007

2006

Can a one-day conference change female high school students' perception of electrical engineering?

[BibT_eX]

[DOI]

Orit Hazzan

Ayellet Tal

IEEE Trans. Educ., 2006

Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast.

[BibT_eX]

[DOI]

Amir Sasson

IEEE Trans. Dependable Secur. Comput., 2006

An architecture for adaptive intrusion-tolerant applications.

[BibT_eX]

[DOI]

HariGovind V. Ramasamy

Softw. Pract. Exp., 2006

Want scalable computing?: speculate!

[BibT_eX]

[DOI]

Assaf Schuster

SIGACT News, 2006

Byzantine disk paxos: optimal resilience with byzantine shared memory.

[BibT_eX]

[DOI]

Distributed Comput., 2006

Efficient Dynamic Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Evaluating unstructured peer-to-peer lookup overlays.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Timeliness, failure-detectors, and consensus performance.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Veracity radius: capturing the locality of distributed computations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Nomadic Service Points.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006

Decentralized Electronic Mail.

[BibT_eX]

[DOI]

Sivan Bercovici

Ayellet Tal

Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Denial of Service Protection with Beaver.

[BibT_eX]

[DOI]

Proceedings of the From Security to Dependability, 10.09. - 15.09.2006, 2006

2005

MaGMA: mobility and group management architecture for real-time collaborative applications.

[BibT_eX]

[DOI]

Nadav Lavi

Wirel. Commun. Mob. Comput., 2005

Keeping Denial-of-Service Attackers in the Dark.

[BibT_eX]

[DOI]

Amir Herzberg

IACR Cryptol. ePrint Arch., 2005

Octopus: A Fault-Tolerant and Ef.cient Ad-hoc Routing Protocol.

[BibT_eX]

[DOI]

Yoav Barel

Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

Topic 8 - Distributed Systems and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004

Brief announcement: Trilix: a scalable unstructured lookup system for dynamic environments.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Brief announcement: exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast.

[BibT_eX]

[DOI]

Amir Sasson

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Supporting Groupware in Mobile Networks.

[BibT_eX]

[DOI]

Nadav Lavi

Proceedings of the Mobile and Wireless Communication Networks, 2004

Caching-Enhanced Scalable Reliable Multicast.

[BibT_eX]

[DOI]

Carolos Livadas

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

A simple proof of the uniform consensus synchronous lower bound.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Open Questions on Consensus Performance in Well-Behaved Runs.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

Challenges in Evaluating Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

An inheritance-based technique for building simulation proofs incrementally.

[BibT_eX]

[DOI]

Roger Khazan

Nancy A. Lynch

Alexander A. Shvartsman

ACM Trans. Softw. Eng. Methodol., 2002

Moshe: A group membership service for WANs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2002

A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach.

[BibT_eX]

[DOI]

Roger Khazan

SIAM J. Comput., 2002

Early-Delivery Dynamic Atomic Broadcast.

[BibT_eX]

[DOI]

Ziv Bar-Joseph

Nancy A. Lynch

Proceedings of the Distributed Computing, 16th International Conference, 2002

Evaluating the running time of a communication round over the internet.

[BibT_eX]

[DOI]

Omar Bakr

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

2001

On the cost of fault-tolerant consensus when there are no faults: preliminary version.

[BibT_eX]

[DOI]

SIGACT News, 2001

Group communication specifications: a comprehensive study.

[BibT_eX]

[DOI]

Roman Vitenberg

ACM Comput. Surv., 2001

A Framework for Highly Available Services Based on Group Communication.

[BibT_eX]

[DOI]

Alan D. Fekete

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Availability Study of Dynamic Voting Algorithms.

[BibT_eX]

[DOI]

Kyle Ingols

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

Optimistic Virtual Synchrony.

[BibT_eX]

[DOI]

Jeremy B. Sussman

Keith Marzullo

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Totally Ordered Multicast with Bounded Delays and Variable Rates.

[BibT_eX]

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms.

[BibT_eX]

[DOI]

Roger Khazan

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

On Formal Modeling of Agent Computations.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Fault Tolerant Video on Demand Services.

[BibT_eX]

[DOI]

Tal Anker

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998

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

[BibT_eX]

[DOI]

PhD thesis, 1998

Increasing the Resilience of Distributed and Replicated Database Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1998

1997

Dynamic Voting for Consistent Primary Components.

[BibT_eX]

[DOI]

Esti Yeger Lotem

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Failure Detectors in Omission Failure Environments.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

The Caelum Toolkit for CSCW: The Sky is the Limit.

[BibT_eX]

Proceedings of the Next Generation Information Technologies and Systems (NGITS '97), Third International Workshop, Neve Ilan, Israel, June 30, 1997

Scalable group membership services for novel applications.

[BibT_eX]

[DOI]

Proceedings of the Networks in Distributed Computing, 1997

1996

Efficient Message Ordering in Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995

Increasing the Resilience of Atomic Commit at No Additional Cost.

[BibT_eX]

[DOI]