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]