default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIdit Keidar
Person information
- affiliation: Technion - Israel Institute of Technology, Haifa, Israel
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j75]Oded Naor
, Idit Keidar:
Expected linear round synchronization: the missing link for linear Byzantine SMR. Distributed Comput. 37(1): 19-33 (2024)- 2023
- [j74]Arik Rinberg, Idit Keidar:
Intermediate Value Linearizability: A Quantitative Correctness Criterion. J. ACM 70(2): 17:1-17:21 (2023) - [c133]Ramy Fakhoury, Anastasia Braginsky, Idit Keidar, Yoav Zuriel:
Nova: Safe Off-Heap Memory Allocation and Reclamation. OPODIS 2023: 15:1-15:20 - [c132]Shaked Elias-Zada, Arik Rinberg, Idit Keidar:
Quancurrent: A Concurrent Quantiles Sketch. SPAA 2023: 15-25 - [c131]Idit Keidar, Oded Naor, Ouri Poupko, Ehud Shapiro:
Cordial Miners: Fast and Efficient Consensus for Every Eventuality. DISC 2023: 26:1-26:22 - [c130]Shir Cohen, Idit Keidar:
Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. DISC 2023: 39:1-39:6 - [i28]Shir Cohen, Idit Keidar:
Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. CoRR abs/2308.02927 (2023) - 2022
- [j73]Arik Rinberg, Tomer Solomon, Roee Shlomo, Guy Khazma, Gal Lushi, Idit Keidar, Paula Ta-Shma:
DSON: JSON CRDT Using Delta-Mutations For Document Stores. Proc. VLDB Endow. 15(5): 1053-1065 (2022) - [j72]Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Lee Rhodes, Hadar Serviansky:
Fast Concurrent Data Sketches. ACM Trans. Parallel Comput. 9(2): 6:1-6:35 (2022) - [c129]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:
SwiSh: Distributed Shared State Abstractions for Programmable Switches. NSDI 2022: 171-191 - [c128]Shir Cohen, Idit Keidar, Alexander Spiegelman:
Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. OPODIS 2022: 18:1-18:21 - [c127]Shir Cohen, Idit Keidar, Alexander Spiegelman:
Brief Announcement: Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. PODC 2022: 421-423 - [c126]Oded Naor, Idit Keidar:
On Payment Channels in Asynchronous Money Transfer Systems. DISC 2022: 29:1-29:20 - [i27]Oded Naor, Idit Keidar:
On Payment Channels in Asynchronous Money Transfer Systems. CoRR abs/2202.06693 (2022) - [i26]Shir Cohen, Idit Keidar, Alexander Spiegelman:
Make Every Word Count: Adaptive BA with Fewer Words. CoRR abs/2202.09123 (2022) - [i25]Idit Keidar, Oded Naor, Ehud Shapiro:
Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality. CoRR abs/2205.09174 (2022) - [i24]Shaked Elias-Zada, Arik Rinberg, Idit Keidar:
Quancurrent: A Concurrent Quantiles Sketch. CoRR abs/2208.09265 (2022) - 2021
- [j71]Shir Cohen, Idit Keidar, Oded Naor:
Byzantine Agreement with Less Communication: Recent Advances. SIGACT News 52(1): 71-80 (2021) - [c125]Alexander Spiegelman, Idit Keidar, Moshe Tennenholtz:
Game of Coins. ICDCS 2021: 954-964 - [c124]Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Using Nesting to Push the Limits of Transactional Data Structure Libraries. OPODIS 2021: 30:1-30:17 - [c123]Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman:
All You Need is DAG. PODC 2021: 165-175 - [c122]Shir Cohen, Idit Keidar:
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. DISC 2021: 18:1-18:18 - [c121]Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Brief Announcement: Using Nesting to Push the Limits of Transactional Data Structure Libraries. DISC 2021: 45:1-45:4 - [i23]Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman:
All You Need is DAG. CoRR abs/2102.08325 (2021) - [i22]Shir Cohen, Idit Keidar:
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. CoRR abs/2102.10597 (2021) - [i21]Shir Cohen, Idit Keidar, Oded Naor:
Byzantine Agreement with Less Communication: Recent Advances. CoRR abs/2111.02162 (2021) - 2020
- [j70]Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy:
KiWi: A Key-value Map for Scalable Real-time Analytics. ACM Trans. Parallel Comput. 7(3): 16:1-16:28 (2020) - [c120]Eran Gilad, Edward Bortnikov, Anastasia Braginsky, Yonatan Gottesman, Eshcar Hillel, Idit Keidar, Nurit Moscovici, Rana Shahout:
EvenDB: optimizing key-value storage for spatial locality. EuroSys 2020: 27:1-27:16 - [c119]Idit Keidar:
Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk). OPODIS 2020: 2:1-2:1 - [c118]Shir Cohen, Idit Keidar, Alexander Spiegelman:
Brief Announcement: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. PODC 2020: 175-177 - [c117]Arik Rinberg, Idit Keidar:
Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion. PODC 2020: 221-223 - [c116]Hagar Meir, Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Yonatan Gottesman, Idit Keidar, Eran Meir, Gali Sheffi, Yoav Zuriel:
Oak: a scalable off-heap allocated key-value map. PPoPP 2020: 17-31 - [c115]Gali Sheffi, Dmitry Basin, Edward Bortnikov, David Carmel, Idit Keidar:
Scalable top-k retrieval with Sparta. PPoPP 2020: 62-73 - [c114]Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Lee Rhodes, Hadar Serviansky:
Fast concurrent data sketches. PPoPP 2020: 117-129 - [c113]Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Nesting and composition in transactional data structure libraries. PPoPP 2020: 405-406 - [c112]Arik Rinberg, Idit Keidar:
Intermediate Value Linearizability: A Quantitative Correctness Criterion. DISC 2020: 2:1-2:17 - [c111]Shir Cohen, Idit Keidar, Alexander Spiegelman:
Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. DISC 2020: 25:1-25:17 - [c110]Oded Naor, Idit Keidar:
Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. DISC 2020: 26:1-26:17 - [i20]Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman:
Using Nesting to Push the Limits of Transactional Data Structure Libraries. CoRR abs/2001.00363 (2020) - [i19]Shir Cohen, Idit Keidar, Alexander Spiegelman:
Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. CoRR abs/2002.06545 (2020) - [i18]Oded Naor, Idit Keidar:
Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. CoRR abs/2002.07539 (2020) - [i17]Arik Rinberg, Idit Keidar:
Intermediate Value Linearizability: A Quantitative Correctness Criterion. CoRR abs/2006.12889 (2020) - [i16]David Yakira, Avi Asayag, Ido Grayevsky, Idit Keidar:
Economically Viable Randomness. CoRR abs/2007.03531 (2020)
2010 – 2019
- 2019
- [j69]Lorenzo Alvisi, Shlomi Dolev, Faith Ellen, Idit Keidar, Fabian Kuhn, Jukka Suomela:
Edsger W. Dijkstra Prize in Distributed Computing 2019 - Call for Nominations. Bull. EATCS 127 (2019) - [c109]Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi:
FairLedger: A Fair Blockchain Protocol for Financial Institutions. OPODIS 2019: 4:1-4:17 - [c108]Lorenzo Alvisi, Shlomi Dolev, Faith Ellen, Idit Keidar, Fabian Kuhn, Jukka Suomela:
2019 Edsger W. Dijkstra Prize in Distributed Computing. PODC 2019: 1 - [c107]Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Hadar Serviansky:
Fast Concurrent Data Sketches. PODC 2019: 207-208 - [p2]Dahlia Malkhi, Idit Keidar:
Introduction. Concurrency: the Works of Leslie Lamport 2019: 1-12 - [e4]Jeffrey K. Hollingsworth, Idit Keidar:
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. ACM 2019, ISBN 978-1-4503-6225-2 [contents] - [i15]Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Hadar Serviansky:
Fast Concurrent Data Sketches. CoRR abs/1902.10995 (2019) - [i14]Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi:
FairLedger: A Fair Blockchain Protocol for Financial Institutions. CoRR abs/1906.03819 (2019) - 2018
- [j68]Ohad Shacham, Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar:
Taking Omid to the Clouds: Fast, Scalable Transactions for Real-Time Cloud Analytics. Proc. VLDB Endow. 11(12): 1795-1808 (2018) - [j67]Edward Bortnikov, Anastasia Braginsky, Eshcar Hillel, Idit Keidar, Gali Sheffi:
Accordion: Better Memory Organization for LSM Key-Value Stores. Proc. VLDB Endow. 11(12): 1863-1875 (2018) - [c106]Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld:
2018 Edsger W. Dijkstra Prize in Distributed Computing. PODC 2018: 1 - [c105]Lorenzo Alvisi, Idit Keidar, Andréa W. Richa, Alexander A. Schwarzmann:
2018 Doctoral Dissertation Award. PODC 2018: 3 - [c104]Idit Keidar:
Session details: Session 1A: Persistent Memory. PODC 2018 - [c103]Idit Keidar:
Session details: Session 2A: Approximation and Learning. PODC 2018 - [c102]Idit Keidar:
Session details: Session 3A: Congest. PODC 2018 - [c101]Alon Berger, Idit Keidar, Alexander Spiegelman:
Integrated Bounds for Disintegrated Storage. DISC 2018: 11:1-11:18 - [e3]Calvin Newport, Idit Keidar:
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018. ACM 2018 [contents] - [i13]Alon Berger, Idit Keidar, Alexander Spiegelman:
Integrated Bounds for Disintegrated Storage. CoRR abs/1805.06265 (2018) - [i12]Alexander Spiegelman, Idit Keidar, Moshe Tennenholtz:
Game of Coins. CoRR abs/1805.08979 (2018) - 2017
- [j66]Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer:
Composing ordered sequential consistency. Inf. Process. Lett. 123: 47-50 (2017) - [c100]Naama Kraus, David Carmel, Idit Keidar:
Fishing in the stream: Similarity search over endless data. IEEE BigData 2017: 964-969 - [c99]Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham:
Fragola: low-latency transactions in distributed data stores. SoCC 2017: 642 - [c98]Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ivan Kelly, Matthieu Morel, Sameer Paranjpye, Francisco Perez-Sorrosal, Ohad Shacham:
Omid, Reloaded: Scalable and Highly-Available Transaction Processing. FAST 2017: 167-180 - [c97]Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy:
KiWi: A Key-Value Map for Scalable Real-Time Analytics. PPoPP 2017: 357-369 - [c96]Alexander Spiegelman, Idit Keidar:
On Liveness of Dynamic Storage. SIROCCO 2017: 356-376 - [c95]Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda:
WatchIT: Who Watches Your IT Guy? SOSP 2017: 515-530 - [c94]Alexander Spiegelman, Idit Keidar, Dahlia Malkhi:
Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution. DISC 2017: 40:1-40:15 - [c93]Rati Gelashvili, Idit Keidar, Alexander Spiegelman, Roger Wattenhofer:
Brief Announcement: Towards Reduced Instruction Sets for Synchronization. DISC 2017: 53:1-53:4 - [i11]Rati Gelashvili, Idit Keidar, Alexander Spiegelman, Roger Wattenhofer:
Towards Reduced Instruction Sets for Synchronization. CoRR abs/1705.02808 (2017) - [i10]Naama Kraus, David Carmel, Idit Keidar:
Tail-Tolerant Distributed Search. CoRR abs/1707.07426 (2017) - [i9]Naama Kraus, David Carmel, Idit Keidar:
Fishing in the Stream: Similarity Search over Endless Data. CoRR abs/1708.02062 (2017) - 2016
- [j65]Tomer Y. Morad, Noam Shalev, Idit Keidar, Avinoam Kolodny, Uri C. Weiser:
EFS: Energy-Friendly Scheduler for memory bandwidth constrained systems. J. Parallel Distributed Comput. 95: 3-14 (2016) - [c92]Noam Shalev, Eran Harpaz, Hagar Porat, Idit Keidar, Yaron Weinsberg:
CSR: Core Surprise Removal in Commodity Operating Systems. ASPLOS 2016: 773-787 - [c91]Noam Shalev, Idit Keidar, Yosef Moatti, Yaron Weinsberg:
WatchIT: Who Watches Your IT Guy? MIST@CCS 2016: 93-96 - [c90]Alexander Spiegelman, Idit Keidar:
Dynamic Atomic Snapshots. OPODIS 2016: 33:1-33:16 - [c89]Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar:
Transactional data structure libraries. PLDI 2016: 682-696 - [c88]Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar:
Space Bounds for Reliable Storage: Fundamental Limits of Coding. PODC 2016: 249-258 - [c87]Dmitry Basin, Edward Bortnikov, Anastasia Braginsky, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar, Moshe Sulamy:
Brief Announcement: A Key-Value Map for Massive Real-Time Analytics. PODC 2016: 487-489 - [c86]Naama Kraus, David Carmel, Idit Keidar, Meni Orenbach:
NearBucket-LSH: Efficient Similarity Search in P2P Networks. SISAP 2016: 236-249 - [c85]Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar:
Brief Announcement: Transactional Data Structure Libraries. SPAA 2016: 133-134 - [c84]Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer:
Modular Composition of Coordination Services. USENIX ATC 2016: 251-264 - 2015
- [j64]Idit Keidar, Dmitri Perelman:
On Avoiding Spare Aborts in Transactional Memory. Theory Comput. Syst. 57(1): 261-285 (2015) - [c83]Guy Golan-Gueta, Edward Bortnikov, Eshcar Hillel, Idit Keidar:
Scaling concurrent log-structured data stores. EuroSys 2015: 32:1-32:14 - [c82]Alexander Spiegelman, Idit Keidar, Dahlia Malkhi:
Dynamic Reconfiguration: A Tutorial (Tutorial). OPODIS 2015: 2:1-2:14 - [c81]Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar:
Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote). OPODIS 2015: 4:1-4:3 - [c80]Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar:
Towards Automatic Lock Removal for Scalable Synchronization. DISC 2015: 170-184 - [c79]Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar:
A Constructive Approach for Proving Data Structures' Linearizability. DISC 2015: 356-370 - [p1]Idit Keidar, Dmitri Perelman:
Multi-versioning in Transactional Memory. Transactional Memory 2015: 150-165 - [e2]Dalit Naor, Gernot Heiser, Idit Keidar:
Proceedings of the 8th ACM International Systems and Storage Conference, SYSTOR 2015, Haifa, Israel, May 26-28, 2015. ACM 2015, ISBN 978-1-4503-3607-9 [contents] - [i8]Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar:
Space Bounds for Reliable Storage: Fundamental Limits of Coding. CoRR abs/1507.05169 (2015) - [i7]Alexander Spiegelman, Idit Keidar:
On Liveness of Dynamic Storage. CoRR abs/1507.07086 (2015) - [i6]Naama Kraus, David Carmel, Idit Keidar, Meni Orenbach:
NearBucket-LSH: Efficient Similarity Search in P2P Networks. CoRR abs/1511.07148 (2015) - 2014
- [j63]Ittay Eyal, Idit Keidar, Raphael Rom:
LiMoSense: live monitoring in dynamic sensor networks. Distributed Comput. 27(5): 313-328 (2014) - [j62]Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel:
GPUfs: Integrating a file system with GPUs. ACM Trans. Comput. Syst. 32(1): 1:1-1:31 (2014) - [j61]Stacy Patterson, Yonina C. Eldar, Idit Keidar:
Distributed Compressed Sensing for Static and Time-Varying Networks. IEEE Trans. Signal Process. 62(19): 4931-4946 (2014) - [c78]Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar:
On Correctness of Data Structures under Reads-Write Concurrency. DISC 2014: 273-287 - 2013
- [j60]Idit Keidar:
Distributed computing column 49: coding for distributed storage. SIGACT News 44(1): 79 (2013) - [j59]Idit Keidar:
Distributed computing column 50: distributing trusted third parties, innovation prize, and SIROCCO review. SIGACT News 44(2): 88 (2013) - [j58]Idit Keidar:
Distributed computing column 51: large-scale transaction replication. SIGACT News 44(3): 72 (2013) - [c77]Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel:
GPUfs: integrating a file system with GPUs. ASPLOS 2013: 485-498 - [c76]Stacy Patterson, Yonina C. Eldar, Idit Keidar:
Distributed compressed sensing in dynamic networks. GlobalSIP 2013: 903-906 - [c75]Ittay Eyal, Flavio Junqueira, Idit Keidar:
Thinner Clouds with Preallocation. HotCloud 2013 - [c74]Stacy Patterson, Yonina C. Eldar, Idit Keidar:
Distributed sparse signal recovery for sensor networks. ICASSP 2013: 4494-4498 - [c73]Ittay Eyal, Idit Keidar, Stacy Patterson, Raphi Rom:
In-Network Analytics for Ubiquitous Sensing. DISC 2013: 507-521 - [i5]Stacy Patterson, Yonina C. Eldar, Idit Keidar:
Distributed Compressed Sensing For Static and Time-Varying Networks. CoRR abs/1308.6086 (2013) - 2012
- [j57]Idit Keidar:
Distributed computing column 45: what theory for transactional memory? SIGACT News 43(1): 86 (2012) - [j56]Idit Keidar:
Distributed computing column 46: synthesizing distributed and concurrent programs. SIGACT News 43(2): 84 (2012) - [j55]Idit Keidar:
Distributed computing column 47: distributed computability. SIGACT News 43(3): 87 (2012) - [j54]Idit Keidar:
Distributed computing column 48: annual review 2012. SIGACT News 43(4): 98-100 (2012) - [c72]Elad Gidron, Idit Keidar, Dmitri Perelman, Yonathan Perez:
SALSA: scalable and low synchronization NUMA-aware algorithm for producer-consumer pools. SPAA 2012: 151-160 - [i4]Stacy Patterson, Yonina C. Eldar, Idit Keidar:
Distributed Sparse Signal Recovery For Sensor Networks. CoRR abs/1212.6009 (2012) - 2011
- [j53]Idit Keidar:
Special issue with selected papers from DISC 2009. Distributed Comput. 24(3-4): 135-136 (2011) - [j52]Ittay Eyal, Idit Keidar, Raphael Rom:
Distributed data clustering in sensor networks. Distributed Comput. 24(5): 207-222 (2011) - [j51]Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer:
Dynamic atomic storage without consensus. J. ACM 58(2): 7:1-7:32 (2011) - [j50]Christian Cachin, Idit Keidar, Alexander Shraer:
Fail-Aware Untrusted Storage. SIAM J. Comput. 40(2): 493-533 (2011) - [j49]Idit Keidar:
Distributed computing column 41 computing over dynamic networks. SIGACT News 42(1): 81 (2011) - [j48]Idit Keidar:
Distributed computing column 42: game theory and fault tolerance in distributed computing. SIGACT News 42(2): 68 (2011) - [j47]Idit Keidar:
Distributed computing column 43: using social networks to overcome Sybil attacks. SIGACT News 42(3): 79 (2011) - [j46]Idit Keidar:
Distributed computing column 44 2011 in review. SIGACT News 42(4): 76-78 (2011) - [c71]Ittay Eyal, Idit Keidar, Raphael Rom:
LiMoSense - Live Monitoring in Dynamic Sensor Networks. ALGOSENSORS 2011: 72-85 - [c70]Nathaniel Azuelos, Idit Keidar, Ayal Zaks:
Tolerant Value Speculation in Coarse-Grain Streaming Computations. IPDPS 2011: 490-501 - [c69]Idit Keidar:
Dynamic computations in ever-changing networks. TADDS 2011: 1-2 - [c68]Dmitri Perelman, Anton Byshevsky, Oleg Litmanovich, Idit Keidar:
SMV: Selective Multi-Versioning STM. DISC 2011: 125-140 - [c67]Dmitry Basin, Rui Fan, Idit Keidar, Ofer Kiselov, Dmitri Perelman:
CAFÉ: Scalable Task Pools with Adjustable Fairness and Contention. DISC 2011: 475-488 - 2010
- [j45]Marcos K. Aguilera, Idit Keidar, Dahlia Malkhi, Jean-Philippe Martin, Alexander Shraer:
Reconfiguring Replicated Atomic Storage: A Tutorial. Bull. EATCS 102: 84-108 (2010) - [j44]Maxim Gurevich, Idit Keidar:
Correctness of Gossip-Based Membership under Message Loss. SIAM J. Comput. 39(8): 3830-3859 (2010) - [j43]Idit Keidar:
Distributed computing column 37: reconfiguring state machines ... and the history of common knowledge. SIGACT News 41(1): 57 (2010) - [j42]Idit Keidar:
Distributed Computing Column 38: Models for algorithm design in wireless networks. SIGACT News 41(2): 73 (2010) - [j41]Idit Keidar:
Distributed Computing Column 39: Byzantine Generals: The Next Generation. SIGACT News 41(3): 88 (2010) - [j40]Idit Keidar:
Distributed computing column 40: annual review 2010. SIGACT News 41(4): 95-99 (2010) - [c66]Alexander Shraer, Christian Cachin, Asaf Cidon, Idit Keidar, Yan Michalevsky, Dani Shaket:
Venus: verification for untrusted cloud storage. CCSW 2010: 19-30 - [c65]Zvika Guz, Oved Itzhak, Idit Keidar, Avinoam Kolodny, Avi Mendelson, Uri C. Weiser:
Threads vs. caches: Modeling the behavior of parallel workloads. ICCD 2010: 274-281 - [c64]Alexander Shraer, Jean-Philippe Martin, Dahlia Malkhi, Idit Keidar:
Data-centric reconfiguration with network-attached disks. LADIS 2010: 22-26 - [c63]Dmitry Basin, Ken Birman, Idit Keidar, Ymir Vigfusson:
Sources of instability in data center multicast. LADIS 2010: 32-37 - [c62]Dmitri Perelman, Rui Fan, Idit Keidar:
On maintaining multiple versions in STM. PODC 2010: 16-25 - [c61]Dmitry Basin, Ken Birman, Idit Keidar, Ymir Vigfusson:
Brief announcement: sources of instability in data center multicast. PODC 2010: 126 - [c60]Ittay Eyal, Idit Keidar, Raphael Rom:
Distributed data classification in sensor networks. PODC 2010: 151-160 - [c59]Amit Berman, Ran Ginosar, Idit Keidar:
Order is power: Selective Packet Interleaving for energy efficient Networks-on-Chip. VLSI-SoC 2010: 37-42
2000 – 2009
- 2009
- [j39]Zvika Guz, Evgeny Bolotin, Idit Keidar, Avinoam Kolodny, Avi Mendelson, Uri C. Weiser:
Many-Core vs. Many-Thread Machines: Stay Away From the Valley. IEEE Comput. Archit. Lett. 8(1): 25-28 (2009) - [j38]Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer:
Brahms: Byzantine resilient random membership sampling. Comput. Networks 53(13): 2340-2359 (2009) - [j37]Idit Keidar, Roie Melamed, Ariel Orda:
EquiCast: Scalable multicast with selfish users. Comput. Networks 53(13): 2373-2386 (2009) - [j36]Gregory V. Chockler, Rachid Guerraoui, Idit Keidar, Marko Vukolic:
Reliable Distributed Storage. Computer 42(4): 60-67 (2009) - [j35]Christian Cachin, Idit Keidar, Alexander Shraer:
Fork sequential consistency is blocking. Inf. Process. Lett. 109(7): 360-364 (2009) - [j34]Gal Badishi, Germano Caronni, Idit Keidar, Raphael Rom, Glenn Scott:
Deleting files in the Celeste peer-to-peer storage system. J. Parallel Distributed Comput. 69(7): 613-622 (2009) - [j33]Ulrich Schmid, Bettina Weiss, Idit Keidar:
Impossibility Results and Lower Bounds for Consensus under Link Failures. SIAM J. Comput. 38(5): 1912-1951 (2009) - [j32]Idit Keidar:
ACM SIGACT news distributed computing column 33: teaching concurrency. SIGACT News 40(1): 45-46 (2009) - [j31]Idit Keidar:
ACM SIGACT news distributed computing column 34: distributed computing in the clouds. SIGACT News 40(2): 67 (2009) - [j30]Christian Cachin, Idit Keidar, Alexander Shraer:
Trusting the cloud. SIGACT News 40(2): 81-86 (2009) - [j29]Idit Keidar:
ACM SIGACT news distributed computing column 35: theory and practice in large distributed systems. SIGACT News 40(3): 77 (2009) - [j28]Idit Keidar:
Distributed computing column 36 distributed computing: 2009 edition. SIGACT News 40(4): 64-67 (2009) - [j27]Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld:
Do not crawl in the DUST: Different URLs with similar text. ACM Trans. Web 3(1): 3:1-3:31 (2009) - [c58]Christian Cachin, Idit Keidar, Alexander Shraer:
Fail-Aware Untrusted Storage. DSN 2009: 494-503 - [c57]Amit Berman, Idit Keidar:
Low-overhead error detection for Networks-on-Chip. ICCD 2009: 219-224 - [c56]Marcos Kawazoe Aguilera, Idit Keidar, Dahlia Malkhi, Alexander Shraer:
Dynamic atomic storage without consensus. PODC 2009: 17-25 - [c55]Maxim Gurevich, Idit Keidar:
Correctness of gossip-based membership under message loss. PODC 2009: 151-160 - [c54]Idit Keidar, Dmitri Perelman:
On avoiding spare aborts in transactional memory. SPAA 2009: 59-68 - [c53]Haggai Eran, Ohad Lutzky, Zvika Guz, Idit Keidar:
Transactifying Apache's cache module. SYSTOR 2009: 2 - [c52]Lorenzo Alvisi, Rachid Guerraoui, Prasad Jayanti, Idit Keidar, Shay Kutten, Jennifer L. Welch:
The 2009 Edsger W. Dijkstra Prize in Distributed Computing. DISC 2009: 1-2 - [e1]Idit Keidar:
Distributed Computing, 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Lecture Notes in Computer Science 5805, Springer 2009, ISBN 978-3-642-04354-3 [contents] - 2008
- [j26]Roie Melamed, Idit Keidar:
Araneola: A scalable reliable multicast system for dynamic environments. J. Parallel Distributed Comput. 68(12): 1539-1560 (2008) - [j25]Idit Keidar:
On distributed computing principles in systems research: introduction. SIGACT News 39(2): 82-83 (2008) - [j24]Idit Keidar:
ACM SIGACT News Distributed Computing Column 31: quantum computers meet distributed computing. SIGACT News 39(3): 66 (2008) - [j23]Idit Keidar:
ACM SIGACT news distributed computing column 32: the year in review. SIGACT News 39(4): 53-54 (2008) - [j22]Edward Bortnikov, Israel Cidon, Idit Keidar, Tal Kol, Arkady Vaisman:
A QoS WMN with mobility support. ACM SIGMOBILE Mob. Comput. Commun. Rev. 12(1): 46-48 (2008) - [j21]Idit Keidar, Alexander Shraer:
How to Choose a Timing Model. IEEE Trans. Parallel Distributed Syst. 19(10): 1367-1380 (2008) - [j20]Roie Melamed, Idit Keidar, Yoav Barel:
Octopus: A fault-tolerant and efficient ad-hoc routing protocol. Wirel. Networks 14(6): 777-793 (2008) - [c51]Edward Bortnikov, Maxim Gurevich, Idit Keidar, Gabriel Kliot, Alexander Shraer:
Brahms: byzantine resilient random membership sampling. PODC 2008: 145-154 - [c50]Christian Cachin, Idit Keidar, Alexander Shraer:
Principles of untrusted storage: a new look at consistency conditions. PODC 2008: 426 - [c49]Edward Bortnikov, Israel Cidon, Idit Keidar:
Dynamic service assignment in mobile networks: the magma approach. PODC 2008: 444 - [c48]Gal Badishi, Idit Keidar:
Improving denial of service resistance using dynamic local adaptations. SAC 2008: 2212-2218 - [c47]Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser:
Utilizing shared data in chip multiprocessors with the nahalal architecture. SPAA 2008: 1-10 - [c46]Gal Badishi, Amir Herzberg, Idit Keidar, Oleg Romanov, Avital Yachin:
An Empirical Study of Denial of Service Mitigation Techniques. SRDS 2008: 115-124 - [i3]Christian Cachin, Idit Keidar, Alexander Shraer:
Fork Sequential Consistency is Blocking. CoRR abs/0805.2068 (2008) - 2007
- [j19]Zvika Guz, Idit Keidar, Avinoam Kolodny, Uri C. Weiser:
Nahalal: Cache Organization for Chip Multiprocessors. IEEE Comput. Archit. Lett. 6(1): 21-24 (2007) - [j18]Partha Dutta, Rachid Guerraoui, Idit Keidar:
The overhead of consensus failure recovery. Distributed Comput. 19(5-6): 373-386 (2007) - [j17]Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi:
Wait-free regular storage from Byzantine components. Inf. Process. Lett. 101(2): 60-65 (2007) - [j16]Idit Keidar:
Introduction. SIGACT News 38(4): 46-53 (2007) - [j15]Gal Badishi, Amir Herzberg, Idit Keidar:
Keeping Denial-of-Service Attackers in the Dark. IEEE Trans. Dependable Secur. Comput. 4(3): 191-204 (2007) - [j14]Edward Bortnikov, Israel Cidon, Idit Keidar:
Nomadic Service Assignment. IEEE Trans. Mob. Comput. 6(8): 915-928 (2007) - [c45]Edward Bortnikov, Israel Cidon, Idit Keidar:
Scalable real-time gateway assignment in mobile mesh networks. CoNEXT 2007: 20 - [c44]Idit Keidar, Alexander Shraer:
How to Choose a Timing Model? DSN 2007: 389-398 - [c43]Roman Gindin, Israel Cidon, Idit Keidar:
NoC-Based FPGA: Architecture and Routing. NOCS 2007: 253-264 - [c42]Edward Bortnikov, Israel Cidon, Idit Keidar:
Scalable Load-Distance Balancing. DISC 2007: 77-91 - [c41]Gregory V. Chockler, Rachid Guerraoui, Idit Keidar:
Amnesic Distributed Storage. DISC 2007: 139-151 - [c40]Ziv Bar-Yossef, Idit Keidar, Uri Schonfeld:
Do not crawl in the dust: different urls with similar text. WWW 2007: 111-120 - 2006
- [j13]Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi:
Byzantine disk paxos: optimal resilience with byzantine shared memory. Distributed Comput. 18(5): 387-408 (2006) - [j12]Idit Keidar, Assaf Schuster:
Want scalable computing?: speculate! SIGACT News 37(3): 59-66 (2006) - [j11]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:
An architecture for adaptive intrusion-tolerant applications. Softw. Pract. Exp. 36(11-12): 1331-1354 (2006) - [j10]Gal Badishi, Idit Keidar, Amir Sasson:
Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. IEEE Trans. Dependable Secur. Comput. 3(1): 45-61 (2006) - [j9]Orit Hazzan, Ayellet Tal, Idit Keidar:
Can a one-day conference change female high school students' perception of electrical engineering? IEEE Trans. Educ. 49(3): 415-416 (2006) - [c39]Sivan Bercovici, Idit Keidar, Ayellet Tal:
Decentralized Electronic Mail. ICDCS Workshops 2006: 14 - [c38]Edward Bortnikov, Israel Cidon, Idit Keidar:
Nomadic Service Points. INFOCOM 2006 - [c37]Idit Keidar, Roie Melamed, Ariel Orda:
EquiCast: scalable multicast with selfish users. PODC 2006: 63-71 - [c36]Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster, Ran Wolff:
Veracity radius: capturing the locality of distributed computations. PODC 2006: 102-111 - [c35]Idit Keidar, Alexander Shraer:
Timeliness, failure-detectors, and consensus performance. PODC 2006: 169-178 - [c34]Idit Keidar, Roie Melamed:
Evaluating unstructured peer-to-peer lookup overlays. SAC 2006: 675-679 - [c33]Gal Badishi, Germano Caronni, Idit Keidar, Raphael Rom, Glenn Scott:
Deleting Files in the Celeste Peer-to-Peer Storage System. SRDS 2006: 29-38 - [c32]Yitzhak Birk, Idit Keidar, Liran Liss, Assaf Schuster:
Efficient Dynamic Aggregation. DISC 2006: 90-104 - [c31]Uri Schonfeld, Ziv Bar-Yossef, Idit Keidar:
Do not crawl in the DUST: different URLs with similar text. WWW 2006: 1015-1016 - [i2]Gal Badishi, Idit Keidar, Amir Herzberg, Oleg Romanov, Avital Yachin:
Denial of Service Protection with Beaver. From Security to Dependability 2006 - 2005
- [j8]Nadav Lavi, Israel Cidon, Idit Keidar:
MaGMA: mobility and group management architecture for real-time collaborative applications. Wirel. Commun. Mob. Comput. 5: 749-772 (2005) - [c30]Marc Shapiro, Idit Keidar, Felix C. Freiling, Luís E. T. Rodrigues:
Topic 8 - Distributed Systems and Algorithms. Euro-Par 2005: 593 - [c29]Roie Melamed, Idit Keidar, Yoav Barel:
Octopus: A Fault-Tolerant and Ef.cient Ad-hoc Routing Protocol. SRDS 2005: 39-49 - [c28]Gal Badishi, Amir Herzberg, Idit Keidar:
Keeping Denial-of-Service Attackers in the Dark. DISC 2005: 18-32 - [i1]Gal Badishi, Amir Herzberg, Idit Keidar:
Keeping Denial-of-Service Attackers in the Dark. IACR Cryptol. ePrint Arch. 2005: 298 (2005) - 2004
- [c27]Gal Badishi, Idit Keidar, Amir Sasson:
Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast. DSN 2004: 223-232 - [c26]Carolos Livadas, Idit Keidar:
Caching-Enhanced Scalable Reliable Multicast. DSN 2004: 253- - [c25]Nadav Lavi, Israel Cidon, Idit Keidar:
Supporting Groupware in Mobile Networks. MWCN 2004: 95-106 - [c24]Roie Melamed, Idit Keidar:
Araneola: A Scalable Reliable Multicast System for Dynamic Environments. NCA 2004: 5-14 - [c23]Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi:
Byzantine disk paxos: optimal resilience with byzantine shared memory. PODC 2004: 226-235 - [c22]Gal Badishi, Idit Keidar, Amir Sasson:
Brief announcement: exposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicast. PODC 2004: 374 - [c21]Idit Keidar, Roie Melamed:
Brief announcement: Trilix: a scalable unstructured lookup system for dynamic environments. PODC 2004: 384 - 2003
- [j7]Idit Keidar, Sergio Rajsbaum:
A simple proof of the uniform consensus synchronous lower bound. Inf. Process. Lett. 85(1): 47-52 (2003) - [c20]Idit Keidar, Sergio Rajsbaum:
Open Questions on Consensus Performance in Well-Behaved Runs. Future Directions in Distributed Computing 2003: 35-39 - [c19]Idit Keidar:
Challenges in Evaluating Distributed Algorithms. Future Directions in Distributed Computing 2003: 40-44 - [c18]Idit Keidar, Sergio Rajsbaum:
On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial. LADC 2003: 366-368 - 2002
- [j6]Idit Keidar, Roger Khazan:
A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach. SIAM J. Comput. 32(1): 78-130 (2002) - [j5]Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev:
Moshe: A group membership service for WANs. ACM Trans. Comput. Syst. 20(3): 191-238 (2002) - [j4]Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman:
An inheritance-based technique for building simulation proofs incrementally. ACM Trans. Softw. Eng. Methodol. 11(1): 63-91 (2002) - [c17]Omar Bakr, Idit Keidar:
Evaluating the running time of a communication round over the internet. PODC 2002: 243-252 - [c16]Ziv Bar-Joseph, Idit Keidar, Nancy A. Lynch:
Early-Delivery Dynamic Atomic Broadcast. DISC 2002: 1-16 - 2001
- [j3]Gregory V. Chockler, Idit Keidar, Roman Vitenberg:
Group communication specifications: a comprehensive study. ACM Comput. Surv. 33(4): 427-469 (2001) - [j2]Idit Keidar, Sergio Rajsbaum:
On the cost of fault-tolerant consensus when there are no faults: preliminary version. SIGACT News 32(2): 45-63 (2001) - [c15]Kyle Ingols, Idit Keidar:
Availability Study of Dynamic Voting Algorithms. ICDCS 2001: 247-254 - [c14]Alan D. Fekete, Idit Keidar:
A Framework for Highly Available Services Based on Group Communication. ICDCS Workshops 2001: 57-62 - 2000
- [c13]Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano:
On Formal Modeling of Agent Computations. FAABS 2000: 48-62 - [c12]Idit Keidar, Roger Khazan:
A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms. ICDCS 2000: 344-355 - [c11]Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev:
A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs. ICDCS 2000: 356-365 - [c10]Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman:
An inheritance-based technique for building simulation proofs incrementally. ICSE 2000: 478-487 - [c9]Ziv Bar-Joseph, Idit Keidar, Tal Anker, Nancy A. Lynch:
Totally Ordered Multicast with Bounded Delays and Variable Rates. OPODIS 2000: 143-162 - [c8]Jeremy B. Sussman, Idit Keidar, Keith Marzullo:
Optimistic Virtual Synchrony. SRDS 2000: 42-51
1990 – 1999
- 1999
- [c7]Tal Anker, Danny Dolev, Idit Keidar:
Fault Tolerant Video on Demand Services. ICDCS 1999: 244-252 - 1998
- [b1]Idit Keidar:
Consistency and high availability of information dissemination in Multi-Processor networks (עקביות וזמינות של הפצת מידע ברשתות רבות מעבדים.). Hebrew University of Jerusalem, Israel, 1998 - [j1]Idit Keidar, Danny Dolev:
Increasing the Resilience of Distributed and Replicated Database Systems. J. Comput. Syst. Sci. 57(3): 309-324 (1998) - 1997
- [c6]Tal Anker, Gregory V. Chockler, Danny Dolev, Idit Keidar:
Scalable group membership services for novel applications. Networks in Distributed Computing 1997: 23-42 - [c5]Tal Anker, Gregory V. Chockler, Danny Dolev, Idit Keidar:
The Caelum Toolkit for CSCW: The Sky is the Limit. NGITS 1997 - [c4]Esti Yeger Lotem, Idit Keidar, Danny Dolev:
Dynamic Voting for Consistent Primary Components. PODC 1997: 63-71 - [c3]Danny Dolev, Roy Friedman, Idit Keidar, Dahlia Malkhi:
Failure Detectors in Omission Failure Environments. PODC 1997: 286 - 1996
- [c2]Idit Keidar, Danny Dolev:
Efficient Message Ordering in Dynamic Networks. PODC 1996: 68-76 - 1995
- [c1]Idit Keidar, Danny Dolev:
Increasing the Resilience of Atomic Commit at No Additional Cost. PODS 1995: 245-254
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
