Idit Keidar - RankMe

247 papers A* 41A 38B 27C 4Misc 7Journal 104Unranked 22

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Companion Proceedings of the 27th International Conference on Distributed Computing and Networking, ICDCN Companion 2026, Nara, Japan, January 6-9, 2026 ICDCN Companion Keiichi Yasumoto, Idit Keidar, Hirozumi Yamaguchi, Simone Silvestri, Vincent Gramoli
2026	Misc	`ed.`	Proceedings of the 27th International Conference on Distributed Computing and Networking, ICDCN 2026, Nara, Japan, January 6-9, 2026 ICDCN Keiichi Yasumoto, Idit Keidar, Hirozumi Yamaguchi, Simone Silvestri, Vincent Gramoli
2025	J	`jnl`	Grassroots Consensus. CoRR Idit Keidar, Andrew Lewis-Pye, Ehud Shapiro
2024	J	`jnl`	Expected linear round synchronization: the missing link for linear Byzantine SMR. Distributed Comput. Oded Naor, Idit Keidar
2024	J	`jnl`	KV-Tandem - a Modular Approach to Building High-Speed LSM Storage Engines. CoRR Edward Bortnikov, Michael Azran, Asa Bornstein, Shmuel Dashevsky, Dennis Huang, Omer Kepten, Michael Pan, Gali Sheffi, Moshe Twitto, Tamar Weiss Orzech, Idit Keidar, Guy Gueta, Roey Maor, Niv Dayan
2023	A	`conf`	Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. DISC Shir Cohen, Idit Keidar
2023	A	`conf`	Cordial Miners: Fast and Efficient Consensus for Every Eventuality. DISC Idit Keidar, Oded Naor, Ouri Poupko, Ehud Shapiro
2023	J	`jnl`	Intermediate Value Linearizability: A Quantitative Correctness Criterion. J. ACM Arik Rinberg, Idit Keidar
2023	B	`conf`	Nova: Safe Off-Heap Memory Allocation and Reclamation. OPODIS Ramy Fakhoury, Anastasia Braginsky, Idit Keidar, Yoav Zuriel
2023	B	`conf`	Quancurrent: A Concurrent Quantiles Sketch. SPAA Shaked Elias-Zada, Arik Rinberg, Idit Keidar
2023	J	`jnl`	Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. CoRR Shir Cohen, Idit Keidar
2022	A*	`conf`	Brief Announcement: Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. PODC Shir Cohen, Idit Keidar, Alexander Spiegelman
2022	J	`jnl`	Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality. CoRR Idit Keidar, Oded Naor, Ehud Shapiro
2022	J	`jnl`	DSON: JSON CRDT Using Delta-Mutations For Document Stores. Proc. VLDB Endow. Arik Rinberg, Tomer Solomon, Roee Shlomo, Guy Khazma, Gal Lushi, Idit Keidar, Paula Ta-Shma
2022	J	`jnl`	Fast Concurrent Data Sketches. ACM Trans. Parallel Comput. Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Lee Rhodes, Hadar Serviansky
2022	J	`jnl`	Make Every Word Count: Adaptive BA with Fewer Words. CoRR Shir Cohen, Idit Keidar, Alexander Spiegelman
2022	B	`conf`	Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. OPODIS Shir Cohen, Idit Keidar, Alexander Spiegelman
2022	A	`conf`	On Payment Channels in Asynchronous Money Transfer Systems. DISC Oded Naor, Idit Keidar
2022	J	`jnl`	On Payment Channels in Asynchronous Money Transfer Systems. CoRR Oded Naor, Idit Keidar
2022	J	`jnl`	Quancurrent: A Concurrent Quantiles Sketch. CoRR Shaked Elias-Zada, Arik Rinberg, Idit Keidar
2022	Misc	`conf`	SwiSh: Distributed Shared State Abstractions for Programmable Switches. NSDI Lior Zeno, Dan R. K. Ports, Jacob Nelson, Daehyeok Kim, Shir Landau Feibish, Idit Keidar, Arik Rinberg, Alon Rashelbach, Igor Lima de Paula, Mark Silberstein
2021	A*	`conf`	All You Need is DAG. PODC Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman
2021	J	`jnl`	All You Need is DAG. CoRR Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman
2021	A	`conf`	Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries. DISC Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2021	J	`jnl`	Byzantine Agreement with Less Communication: Recent Advances. CoRR Shir Cohen, Idit Keidar, Oded Naor
2021	J	`jnl`	Byzantine Agreement with Less Communication: Recent Advances. SIGACT News Shir Cohen, Idit Keidar, Oded Naor
2021	A	`conf`	Game of Coins. ICDCS Alexander Spiegelman, Idit Keidar, Moshe Tennenholtz
2021	A	`conf`	Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. DISC Shir Cohen, Idit Keidar
2021	J	`jnl`	Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. CoRR Shir Cohen, Idit Keidar
2021	B	`conf`	Using Nesting to Push the Limits of Transactional Data Structure Libraries. OPODIS Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2020	A*	`conf`	Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion. PODC Arik Rinberg, Idit Keidar
2020	A*	`conf`	Brief Announcement: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. PODC Shir Cohen, Idit Keidar, Alexander Spiegelman
2020	B	`conf`	Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk). OPODIS Idit Keidar
2020	J	`jnl`	Economically Viable Randomness. CoRR David Yakira, Avi Asayag, Ido Grayevsky, Idit Keidar
2020	A	`conf`	EvenDB: optimizing key-value storage for spatial locality. EuroSys Eran Gilad, Edward Bortnikov, Anastasia Braginsky, Yonatan Gottesman, Eshcar Hillel, Idit Keidar, Nurit Moscovici, Rana Shahout
2020	A	`conf`	Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. DISC Oded Naor, Idit Keidar
2020	J	`jnl`	Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. CoRR Oded Naor, Idit Keidar
2020	B	`conf`	Fast concurrent data sketches. PPoPP Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Lee Rhodes, Hadar Serviansky
2020	A	`conf`	Intermediate Value Linearizability: A Quantitative Correctness Criterion. DISC Arik Rinberg, Idit Keidar
2020	J	`jnl`	Intermediate Value Linearizability: A Quantitative Correctness Criterion. CoRR Arik Rinberg, Idit Keidar
2020	J	`jnl`	KiWi: A Key-value Map for Scalable Real-time Analytics. ACM Trans. Parallel Comput. Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy
2020	B	`conf`	Nesting and composition in transactional data structure libraries. PPoPP Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2020	A	`conf`	Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. DISC Shir Cohen, Idit Keidar, Alexander Spiegelman
2020	J	`jnl`	Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. CoRR Shir Cohen, Idit Keidar, Alexander Spiegelman
2020	B	`conf`	Oak: a scalable off-heap allocated key-value map. PPoPP Hagar Meir, Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Yonatan Gottesman, Idit Keidar, Eran Meir, Gali Sheffi, Yoav Zuriel
2020	B	`conf`	Scalable top-k retrieval with Sparta. PPoPP Gali Sheffi, Dmitry Basin, Edward Bortnikov, David Carmel, Idit Keidar
2020	J	`jnl`	Using Nesting to Push the Limits of Transactional Data Structure Libraries. CoRR Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
2019	A*	`conf`	2019 Edsger W. Dijkstra Prize in Distributed Computing. PODC Lorenzo Alvisi, Shlomi Dolev, Faith Ellen, Idit Keidar, Fabian Kuhn, Jukka Suomela
2019	J	`jnl`	Edsger W. Dijkstra Prize in Distributed Computing 2019 - Call for Nominations. Bull. EATCS Lorenzo Alvisi, Shlomi Dolev, Faith Ellen, Idit Keidar, Fabian Kuhn, Jukka Suomela
2019	B	`conf`	FairLedger: A Fair Blockchain Protocol for Financial Institutions. OPODIS Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
2019	J	`jnl`	FairLedger: A Fair Blockchain Protocol for Financial Institutions. CoRR Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
2019	A*	`conf`	Fast Concurrent Data Sketches. PODC Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Hadar Serviansky
2019	J	`jnl`	Fast Concurrent Data Sketches. CoRR Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Hadar Serviansky
2019	—	`ch.`	Introduction. Concurrency: the Works of Leslie Lamport Dahlia Malkhi, Idit Keidar
2019	B	`ed.`	Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 PPoPP Jeffrey K. Hollingsworth, Idit Keidar
2018	A*	`conf`	2018 Doctoral Dissertation Award. PODC Lorenzo Alvisi, Idit Keidar, Andréa W. Richa, Alexander A. Schwarzmann
2018	A*	`conf`	2018 Edsger W. Dijkstra Prize in Distributed Computing. PODC Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld
2018	J	`jnl`	Accordion: Better Memory Organization for LSM Key-Value Stores. Proc. VLDB Endow. Edward Bortnikov, Anastasia Braginsky, Eshcar Hillel, Idit Keidar, Gali Sheffi
2018	J	`jnl`	Game of Coins. CoRR Alexander Spiegelman, Idit Keidar, Moshe Tennenholtz
2018	A	`conf`	Integrated Bounds for Disintegrated Storage. DISC Alon Berger, Idit Keidar, Alexander Spiegelman
2018	J	`jnl`	Integrated Bounds for Disintegrated Storage. CoRR Alon Berger, Idit Keidar, Alexander Spiegelman
2018	A*	`ed.`	Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018 PODC Calvin Newport, Idit Keidar
2018	A*	`conf`	Session details: Session 1A: Persistent Memory. PODC Idit Keidar
2018	A*	`conf`	Session details: Session 2A: Approximation and Learning. PODC Idit Keidar
2018	A*	`conf`	Session details: Session 3A: Congest. PODC Idit Keidar
2018	J	`jnl`	Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics. Proc. VLDB Endow. Ohad Shacham, Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar
2017	A	`conf`	Brief Announcement: Towards Reduced Instruction Sets for Synchronization. DISC Rati Gelashvili, Idit Keidar, Alexander Spiegelman, Roger Wattenhofer
2017	J	`jnl`	Composing ordered sequential consistency. Inf. Process. Lett. Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer
2017	A	`conf`	Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution. DISC Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
2017	J	`jnl`	Fishing in the Stream: Similarity Search over Endless Data. CoRR Naama Kraus, David Carmel, Idit Keidar
2017	—	`conf`	Fishing in the stream: Similarity search over endless data. IEEE BigData Naama Kraus, David Carmel, Idit Keidar
2017	—	`conf`	Fragola: low-latency transactions in distributed data stores. SoCC Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham
2017	B	`conf`	KiWi: A Key-Value Map for Scalable Real-Time Analytics. PPoPP Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy
2017	A	`conf`	Omid, Reloaded: Scalable and Highly-Available Transaction Processing. FAST Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ivan Kelly, Matthieu Morel, Sameer Paranjpye, Francisco Perez-Sorrosal, Ohad Shacham
2017	B	`conf`	On Liveness of Dynamic Storage. SIROCCO Alexander Spiegelman, Idit Keidar
2017	J	`jnl`	Tail-Tolerant Distributed Search. CoRR Naama Kraus, David Carmel, Idit Keidar
2017	J	`jnl`	Towards Reduced Instruction Sets for Synchronization. CoRR Rati Gelashvili, Idit Keidar, Alexander Spiegelman, Roger Wattenhofer
2017	A*	`conf`	WatchIT: Who Watches Your IT Guy? SOSP Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda
2016	A*	`conf`	Brief Announcement: A Key-Value Map for Massive Real-Time Analytics. PODC Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy
2016	B	`conf`	Brief Announcement: Transactional Data Structure Libraries. SPAA Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar
2016	A*	`conf`	CSR: Core Surprise Removal in Commodity Operating Systems. ASPLOS Noam Shalev, Eran Harpaz, Hagar Porat, Idit Keidar, Yaron Weinsberg
2016	B	`conf`	Dynamic Atomic Snapshots. OPODIS Alexander Spiegelman, Idit Keidar
2016	J	`jnl`	EFS: Energy-Friendly Scheduler for memory bandwidth constrained systems. J. Parallel Distributed Comput. Tomer Y. Morad, Noam Shalev, Idit Keidar, Avinoam Kolodny, Uri C. Weiser
2016	—	`conf`	Modular Composition of Coordination Services. USENIX ATC Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer
2016	B	`conf`	NearBucket-LSH: Efficient Similarity Search in P2P Networks. SISAP Naama Kraus, David Carmel, Idit Keidar, Meni Orenbach
2016	A*	`conf`	Space Bounds for Reliable Storage: Fundamental Limits of Coding. PODC Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
2016	A*	`conf`	Transactional data structure libraries. PLDI Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar
2016	—	`conf`	WatchIT: Who Watches Your IT Guy? MIST@CCS Noam Shalev, Idit Keidar, Yosef Moatti, Yaron Weinsberg
2015	A	`conf`	A Constructive Approach for Proving Data Structures' Linearizability. DISC Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
2015	B	`conf`	Dynamic Reconfiguration: A Tutorial (Tutorial). OPODIS Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
2015	—	`ch.`	Multi-versioning in Transactional Memory. Transactional Memory Idit Keidar, Dmitri Perelman
2015	J	`jnl`	NearBucket-LSH: Efficient Similarity Search in P2P Networks. CoRR Naama Kraus, David Carmel, Idit Keidar, Meni Orenbach
2015	J	`jnl`	On Avoiding Spare Aborts in Transactional Memory. Theory Comput. Syst. Idit Keidar, Dmitri Perelman
2015	J	`jnl`	On Liveness of Dynamic Storage. CoRR Alexander Spiegelman, Idit Keidar
2015	Misc	`ed.`	Proceedings of the 8th ACM International Systems and Storage Conference, SYSTOR 2015, Haifa, Israel, May 26-28, 2015 SYSTOR Dalit Naor, Gernot Heiser, Idit Keidar
2015	A	`conf`	Scaling concurrent log-structured data stores. EuroSys Guy Golan-Gueta, Edward Bortnikov, Eshcar Hillel, Idit Keidar
2015	B	`conf`	Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote). OPODIS Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
2015	J	`jnl`	Space Bounds for Reliable Storage: Fundamental Limits of Coding. CoRR Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
2015	A	`conf`	Towards Automatic Lock Removal for Scalable Synchronization. DISC Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar
2014	J	`jnl`	Distributed Compressed Sensing for Static and Time-Varying Networks. IEEE Trans. Signal Process. Stacy Patterson, Yonina C. Eldar, Idit Keidar
2014	J	`jnl`	GPUfs: Integrating a file system with GPUs. ACM Trans. Comput. Syst. Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel
2014	J	`jnl`	LiMoSense: live monitoring in dynamic sensor networks. Distributed Comput. Ittay Eyal, Idit Keidar, Raphael Rom
2014	A	`conf`	On Correctness of Data Structures under Reads-Write Concurrency. DISC Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
2013	J	`jnl`	Distributed Compressed Sensing For Static and Time-Varying Networks. CoRR Stacy Patterson, Yonina C. Eldar, Idit Keidar
2013	—	`conf`	Distributed compressed sensing in dynamic networks. GlobalSIP Stacy Patterson, Yonina C. Eldar, Idit Keidar
2013	J	`jnl`	Distributed computing column 49: coding for distributed storage. SIGACT News Idit Keidar
2013	J	`jnl`	Distributed computing column 50: distributing trusted third parties, innovation prize, and SIROCCO review. SIGACT News Idit Keidar
2013	J	`jnl`	Distributed computing column 51: large-scale transaction replication. SIGACT News Idit Keidar
2013	Misc	`conf`	Distributed sparse signal recovery for sensor networks. ICASSP Stacy Patterson, Yonina C. Eldar, Idit Keidar
2013	A*	`conf`	GPUfs: integrating a file system with GPUs. ASPLOS Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel
2013	A	`conf`	In-Network Analytics for Ubiquitous Sensing. DISC Ittay Eyal, Idit Keidar, Stacy Patterson, Raphi Rom
2013	—	`conf`	Thinner Clouds with Preallocation. HotCloud Ittay Eyal, Flavio Junqueira, Idit Keidar
2012	J	`jnl`	Distributed Sparse Signal Recovery For Sensor Networks CoRR Stacy Patterson, Yonina C. Eldar, Idit Keidar
2012	J	`jnl`	Distributed computing column 45: what theory for transactional memory? SIGACT News Idit Keidar
2012	J	`jnl`	Distributed computing column 46: synthesizing distributed and concurrent programs. SIGACT News Idit Keidar
2012	J	`jnl`	Distributed computing column 47: distributed computability. SIGACT News Idit Keidar
2012	J	`jnl`	Distributed computing column 48: annual review 2012. SIGACT News Idit Keidar
2012	B	`conf`	SALSA: scalable and low synchronization NUMA-aware algorithm for producer-consumer pools. SPAA Elad Gidron, Idit Keidar, Dmitri Perelman, Yonathan Perez
2011	A	`conf`	CAFÉ: Scalable Task Pools with Adjustable Fairness and Contention. DISC Dmitry Basin, Rui Fan, Idit Keidar, Ofer Kiselov, Dmitri Perelman
2011	J	`jnl`	Distributed computing column 41 computing over dynamic networks. SIGACT News Idit Keidar
2011	J	`jnl`	Distributed computing column 42: game theory and fault tolerance in distributed computing. SIGACT News Idit Keidar
2011	J	`jnl`	Distributed computing column 43: using social networks to overcome Sybil attacks. SIGACT News Idit Keidar
2011	J	`jnl`	Distributed computing column 44 2011 in review. SIGACT News Idit Keidar
2011	J	`jnl`	Distributed data clustering in sensor networks. Distributed Comput. Ittay Eyal, Idit Keidar, Raphael Rom
2011	J	`jnl`	Dynamic atomic storage without consensus. J. ACM Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer
2011	—	`conf`	Dynamic computations in ever-changing networks. TADDS Idit Keidar
2011	J	`jnl`	Fail-Aware Untrusted Storage. SIAM J. Comput. Christian Cachin, Idit Keidar, Alexander Shraer
2011	C	`conf`	LiMoSense - Live Monitoring in Dynamic Sensor Networks. ALGOSENSORS Ittay Eyal, Idit Keidar, Raphael Rom
2011	A	`conf`	SMV: Selective Multi-Versioning STM. DISC Dmitri Perelman, Anton Byshevsky, Oleg Litmanovich, Idit Keidar
2011	J	`jnl`	Special issue with selected papers from DISC 2009. Distributed Comput. Idit Keidar
2011	A	`conf`	Tolerant Value Speculation in Coarse-Grain Streaming Computations. IPDPS Nathaniel Azuelos, Idit Keidar, Ayal Zaks
2010	A*	`conf`	Brief announcement: sources of instability in data center multicast. PODC Dmitry Basin, Ken Birman, Idit Keidar, Ymir Vigfusson
2010	J	`jnl`	Correctness of Gossip-Based Membership under Message Loss. SIAM J. Comput. Maxim Gurevich, Idit Keidar
2010	—	`conf`	Data-centric reconfiguration with network-attached disks. LADIS Alexander Shraer, Jean-Philippe Martin, Dahlia Malkhi, Idit Keidar
2010	J	`jnl`	Distributed Computing Column 38: Models for algorithm design in wireless networks. SIGACT News Idit Keidar
2010	J	`jnl`	Distributed Computing Column 39: Byzantine Generals: The Next Generation. SIGACT News Idit Keidar
2010	J	`jnl`	Distributed computing column 37: reconfiguring state machines ... and the history of common knowledge. SIGACT News Idit Keidar
2010	J	`jnl`	Distributed computing column 40: annual review 2010. SIGACT News Idit Keidar
2010	A*	`conf`	Distributed data classification in sensor networks. PODC Ittay Eyal, Idit Keidar, Raphael Rom
2010	A*	`conf`	On maintaining multiple versions in STM. PODC Dmitri Perelman, Rui Fan, Idit Keidar
2010	C	`conf`	Order is power: Selective Packet Interleaving for energy efficient Networks-on-Chip. VLSI-SoC Amit Berman, Ran Ginosar, Idit Keidar
2010	J	`jnl`	Reconfiguring Replicated Atomic Storage: A Tutorial. Bull. EATCS Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Philippe Martin, Alexander Shraer
2010	—	`conf`	Sources of instability in data center multicast. LADIS Dmitry Basin, Ken Birman, Idit Keidar, Ymir Vigfusson
2010	C	`conf`	Threads vs. caches: Modeling the behavior of parallel workloads. ICCD Zvika Guz, Oved Itzhak, Idit Keidar, Avinoam Kolodny, Avi Mendelson, Uri C. Weiser
2010	—	`conf`	Venus: verification for untrusted cloud storage. CCSW Alexander Shraer, Christian Cachin, Asaf Cidon, Idit Keidar, Yan Michalevsky, Dani Shaket
2009	J	`jnl`	ACM SIGACT news distributed computing column 33: teaching concurrency. SIGACT News Idit Keidar
2009	J	`jnl`	ACM SIGACT news distributed computing column 34: distributed computing in the clouds. SIGACT News Idit Keidar
2009	J	`jnl`	ACM SIGACT news distributed computing column 35: theory and practice in large distributed systems. SIGACT News Idit Keidar
2009	J	`jnl`	Brahms: Byzantine resilient random membership sampling. Comput. Networks Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer
2009	A*	`conf`	Correctness of gossip-based membership under message loss. PODC Maxim Gurevich, Idit Keidar
2009	J	`jnl`	Deleting files in the Celeste peer-to-peer storage system. J. Parallel Distributed Comput. Gal Badishi, Germano Caronni, Idit Keidar, Raphael Rom, Glenn Scott
2009	A	`ed.`	Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings DISC Idit Keidar
2009	J	`jnl`	Distributed computing column 36 distributed computing: 2009 edition. SIGACT News Idit Keidar
2009	J	`jnl`	Do not crawl in the DUST: Different URLs with similar text. ACM Trans. Web Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld
2009	A*	`conf`	Dynamic atomic storage without consensus. PODC Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer
2009	J	`jnl`	EquiCast: Scalable multicast with selfish users. Comput. Networks Idit Keidar, Roie Melamed, Ariel Orda
2009	A	`conf`	Fail-Aware Untrusted Storage. DSN Christian Cachin, Idit Keidar, Alexander Shraer
2009	J	`jnl`	Fork sequential consistency is blocking. Inf. Process. Lett. Christian Cachin, Idit Keidar, Alexander Shraer
2009	J	`jnl`	Impossibility Results and Lower Bounds for Consensus under Link Failures. SIAM J. Comput. Ulrich Schmid, Bettina Weiss, Idit Keidar
2009	C	`conf`	Low-overhead error detection for Networks-on-Chip. ICCD Amit Berman, Idit Keidar
2009	J	`jnl`	Many-Core vs. Many-Thread Machines: Stay Away From the Valley. IEEE Comput. Archit. Lett. Zvika Guz, Evgeny Bolotin, Idit Keidar, Avinoam Kolodny, Avi Mendelson, Uri C. Weiser
2009	B	`conf`	On avoiding spare aborts in transactional memory. SPAA Idit Keidar, Dmitri Perelman
2009	J	`jnl`	Reliable Distributed Storage. Computer Gregory V. Chockler, Rachid Guerraoui, Idit Keidar, Marko Vukolic
2009	A	`conf`	The 2009 Edsger W. Dijkstra Prize in Distributed Computing. DISC Lorenzo Alvisi, Rachid Guerraoui, Prasad Jayanti, Idit Keidar, Shay Kutten, Jennifer L. Welch
2009	Misc	`conf`	Transactifying Apache's cache module. SYSTOR Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar
2009	J	`jnl`	Trusting the cloud. SIGACT News Christian Cachin, Idit Keidar, Alexander Shraer
2008	J	`jnl`	A QoS WMN with mobility support. ACM SIGMOBILE Mob. Comput. Commun. Rev. Edward Bortnikov, Israel Cidon, Idit Keidar, Tal Kol, Arkady Vaisman
2008	J	`jnl`	ACM SIGACT News Distributed Computing Column 31: quantum computers meet distributed computing. SIGACT News Idit Keidar
2008	J	`jnl`	ACM SIGACT news distributed computing column 32: the year in review. SIGACT News Idit Keidar
2008	B	`conf`	An Empirical Study of Denial of Service Mitigation Techniques. SRDS Gal Badishi, Amir Herzberg, Idit Keidar, Oleg Romanov, Avital Yachin
2008	J	`jnl`	Araneola: A scalable reliable multicast system for dynamic environments. J. Parallel Distributed Comput. Roie Melamed, Idit Keidar
2008	A*	`conf`	Brahms: byzantine resilient random membership sampling. PODC Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer
2008	A*	`conf`	Dynamic service assignment in mobile networks: the magma approach. PODC Edward Bortnikov, Israel Cidon, Idit Keidar
2008	J	`jnl`	Fork Sequential Consistency is Blocking CoRR Christian Cachin, Idit Keidar, Alexander Shraer
2008	J	`jnl`	How to Choose a Timing Model. IEEE Trans. Parallel Distributed Syst. Idit Keidar, Alexander Shraer
2008	Misc	`conf`	Improving denial of service resistance using dynamic local adaptations. SAC Gal Badishi, Idit Keidar
2008	J	`jnl`	Octopus: A fault-tolerant and efficient ad-hoc routing protocol. Wirel. Networks Roie Melamed, Idit Keidar, Yoav Barel
2008	J	`jnl`	On distributed computing principles in systems research: introduction. SIGACT News Idit Keidar
2008	A*	`conf`	Principles of untrusted storage: a new look at consistency conditions. PODC Christian Cachin, Idit Keidar, Alexander Shraer
2008	B	`conf`	Utilizing shared data in chip multiprocessors with the nahalal architecture. SPAA Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser
2007	A	`conf`	Amnesic Distributed Storage. DISC Gregory V. Chockler, Rachid Guerraoui, Idit Keidar
2007	A*	`conf`	Do not crawl in the dust: different urls with similar text. WWW Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld
2007	A	`conf`	How to Choose a Timing Model? DSN Idit Keidar, Alexander Shraer
2007	J	`jnl`	Introduction. SIGACT News Idit Keidar
2007	J	`jnl`	Keeping Denial-of-Service Attackers in the Dark. IEEE Trans. Dependable Secur. Comput. Gal Badishi, Amir Herzberg, Idit Keidar
2007	J	`jnl`	Nahalal: Cache Organization for Chip Multiprocessors. IEEE Comput. Archit. Lett. Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser
2007	—	`conf`	NoC-Based FPGA: Architecture and Routing. NOCS Roman Gindin, Israel Cidon, Idit Keidar
2007	J	`jnl`	Nomadic Service Assignment. IEEE Trans. Mob. Comput. Edward Bortnikov, Israel Cidon, Idit Keidar
2007	A	`conf`	Scalable Load-Distance Balancing. DISC Edward Bortnikov, Israel Cidon, Idit Keidar
2007	A	`conf`	Scalable real-time gateway assignment in mobile mesh networks. CoNEXT Edward Bortnikov, Israel Cidon, Idit Keidar
2007	J	`jnl`	The overhead of consensus failure recovery. Distributed Comput. Partha Dutta, Rachid Guerraoui, Idit Keidar
2007	J	`jnl`	Wait-free regular storage from Byzantine components. Inf. Process. Lett. Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi
2006	J	`jnl`	An architecture for adaptive intrusion-tolerant applications. Softw. Pract. Exp. 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, Idit Keidar
2006	J	`jnl`	Byzantine disk paxos: optimal resilience with byzantine shared memory. Distributed Comput. Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi
2006	J	`jnl`	Can a one-day conference change female high school students' perception of electrical engineering? IEEE Trans. Educ. Orit Hazzan, Ayellet Tal, Idit Keidar
2006	—	`conf`	Decentralized Electronic Mail. ICDCS Workshops Sivan Bercovici, Idit Keidar, Ayellet Tal
2006	B	`conf`	Deleting Files in the Celeste Peer-to-Peer Storage System. SRDS Gal Badishi, Germano Caronni, Idit Keidar, Raphael Rom, Glenn Scott
2006	—	`conf`	Denial of Service Protection with Beaver. From Security to Dependability Gal Badishi, Idit Keidar, Amir Herzberg, Oleg Romanov, Avital Yachin
2006	A*	`conf`	Do not crawl in the DUST: different URLs with similar text. WWW Uri Schonfeld, Ziv Bar-Yossef, Idit Keidar
2006	A	`conf`	Efficient Dynamic Aggregation. DISC Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster
2006	A*	`conf`	EquiCast: scalable multicast with selfish users. PODC Idit Keidar, Roie Melamed, Ariel Orda
2006	Misc	`conf`	Evaluating unstructured peer-to-peer lookup overlays. SAC Idit Keidar, Roie Melamed
2006	J	`jnl`	Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. IEEE Trans. Dependable Secur. Comput. Gal Badishi, Idit Keidar, Amir Sasson
2006	A*	`conf`	Nomadic Service Points. INFOCOM Edward Bortnikov, Israel Cidon, Idit Keidar
2006	A*	`conf`	Timeliness, failure-detectors, and consensus performance. PODC Idit Keidar, Alexander Shraer
2006	A*	`conf`	Veracity radius: capturing the locality of distributed computations. PODC Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff
2006	J	`jnl`	Want scalable computing?: speculate! SIGACT News Idit Keidar, Assaf Schuster
2005	A	`conf`	Keeping Denial-of-Service Attackers in the Dark. DISC Gal Badishi, Amir Herzberg, Idit Keidar
2005	J	`jnl`	Keeping Denial-of-Service Attackers in the Dark. IACR Cryptol. ePrint Arch. Gal Badishi, Amir Herzberg, Idit Keidar
2005	J	`jnl`	MaGMA: mobility and group management architecture for real-time collaborative applications. Wirel. Commun. Mob. Comput. Nadav Lavi, Israel Cidon, Idit Keidar
2005	B	`conf`	Octopus: A Fault-Tolerant and Ef.cient Ad-hoc Routing Protocol. SRDS Roie Melamed, Idit Keidar, Yoav Barel
2005	—	`conf`	Topic 8 - Distributed Systems and Algorithms. Euro-Par Marc Shapiro, Idit Keidar, Felix C. Freiling, Luís E. T. Rodrigues
2004	B	`conf`	Araneola: A Scalable Reliable Multicast System for Dynamic Environments. NCA Roie Melamed, Idit Keidar
2004	A*	`conf`	Brief announcement: Trilix: a scalable unstructured lookup system for dynamic environments. PODC Idit Keidar, Roie Melamed
2004	A*	`conf`	Brief announcement: exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast. PODC Gal Badishi, Idit Keidar, Amir Sasson
2004	A*	`conf`	Byzantine disk paxos: optimal resilience with byzantine shared memory. PODC Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi
2004	A	`conf`	Caching-Enhanced Scalable Reliable Multicast. DSN Carolos Livadas, Idit Keidar
2004	A	`conf`	Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. DSN Gal Badishi, Idit Keidar, Amir Sasson
2004	—	`conf`	Supporting Groupware in Mobile Networks. MWCN Nadav Lavi, Israel Cidon, Idit Keidar
2003	J	`jnl`	A simple proof of the uniform consensus synchronous lower bound. Inf. Process. Lett. Idit Keidar, Sergio Rajsbaum
2003	—	`conf`	Challenges in Evaluating Distributed Algorithms. Future Directions in Distributed Computing Idit Keidar
2003	—	`conf`	On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. LADC Idit Keidar, Sergio Rajsbaum
2003	—	`conf`	Open Questions on Consensus Performance in Well-Behaved Runs. Future Directions in Distributed Computing Idit Keidar, Sergio Rajsbaum
2002	J	`jnl`	A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach. SIAM J. Comput. Idit Keidar, Roger Khazan
2002	J	`jnl`	An inheritance-based technique for building simulation proofs incrementally. ACM Trans. Softw. Eng. Methodol. Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
2002	A	`conf`	Early-Delivery Dynamic Atomic Broadcast. DISC Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch
2002	A*	`conf`	Evaluating the running time of a communication round over the internet. PODC Omar Bakr, Idit Keidar
2002	J	`jnl`	Moshe: A group membership service for WANs. ACM Trans. Comput. Syst. Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev
2001	—	`conf`	A Framework for Highly Available Services Based on Group Communication. ICDCS Workshops Alan D. Fekete, Idit Keidar
2001	A	`conf`	Availability Study of Dynamic Voting Algorithms. ICDCS Kyle Ingols, Idit Keidar
2001	J	`jnl`	Group communication specifications: a comprehensive study. ACM Comput. Surv. Gregory V. Chockler, Idit Keidar, Roman Vitenberg
2001	J	`jnl`	On the cost of fault-tolerant consensus when there are no faults: preliminary version. SIGACT News Idit Keidar, Sergio Rajsbaum
2000	A	`conf`	A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms. ICDCS Idit Keidar, Roger Khazan
2000	A	`conf`	A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs. ICDCS Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev
2000	A*	`conf`	An inheritance-based technique for building simulation proofs incrementally. ICSE Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
2000	—	`conf`	On Formal Modeling of Agent Computations. FAABS Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
2000	B	`conf`	Optimistic Virtual Synchrony. SRDS Jeremy B. Sussman, Idit Keidar, Keith Marzullo
2000	B	`conf`	Totally Ordered Multicast with Bounded Delays and Variable Rates. OPODIS Ziv Bar-Joseph, Idit Keidar, Tal Anker, Nancy A. Lynch
1999	A	`conf`	Fault Tolerant Video on Demand Services. ICDCS Tal Anker, Danny Dolev, Idit Keidar
1998	—	`—`	Consistency and high availability of information dissemination in Multi-Processor networks (עקביות וזמינות של הפצת מידע ברשתות רבות מעבדים.). Idit Keidar
1998	J	`jnl`	Increasing the Resilience of Distributed and Replicated Database Systems. J. Comput. Syst. Sci. Idit Keidar, Danny Dolev
1997	A*	`conf`	Dynamic Voting for Consistent Primary Components. PODC Esti Yeger Lotem, Idit Keidar, Danny Dolev
1997	A*	`conf`	Failure Detectors in Omission Failure Environments. PODC Danny Dolev, Roy Friedman, Idit Keidar, Dahlia Malkhi
1997	—	`conf`	Scalable group membership services for novel applications. Networks in Distributed Computing Tal Anker, Gregory V. Chockler, Danny Dolev, Idit Keidar
1997	—	`conf`	The Caelum Toolkit for CSCW: The Sky is the Limit. NGITS Tal Anker, Gregory V. Chockler, Danny Dolev, Idit Keidar
1996	A*	`conf`	Efficient Message Ordering in Dynamic Networks. PODC Idit Keidar, Danny Dolev
1995	A*	`conf`	Increasing the Resilience of Atomic Commit at No Additional Cost. PODS Idit Keidar, Danny Dolev