Idit Keidar

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 89

Top Venues

Publications

Oded Naor, Idit Keidar
Expected linear round synchronization: the missing link for linear Byzantine SMR. Distributed Comput. 37 (1) (2024)
Ramy Fakhoury, Anastasia Braginsky, Idit Keidar, Yoav Zuriel
Nova: Safe Off-Heap Memory Allocation and Reclamation. OPODIS (2023)
Idit Keidar, Oded Naor, Ouri Poupko, Ehud Shapiro
Cordial Miners: Fast and Efficient Consensus for Every Eventuality. DISC (2023)
Arik Rinberg, Idit Keidar
Intermediate Value Linearizability: A Quantitative Correctness Criterion. J. ACM 70 (2) (2023)
Shir Cohen, Idit Keidar
Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. DISC (2023)
Shaked Elias-Zada, Arik Rinberg, Idit Keidar
Quancurrent: A Concurrent Quantiles Sketch. SPAA (2023)
Shir Cohen, Idit Keidar
Subquadratic Multivalued Asynchronous Byzantine Agreement WHP. CoRR (2023)
Shir Cohen, Idit Keidar, Alexander Spiegelman
Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. OPODIS (2022)
Idit Keidar, Oded Naor, Ehud Shapiro
Cordial Miners: A Family of Simple, Efficient and Self-Contained Consensus Protocols for Every Eventuality. CoRR (2022)
Shir Cohen, Idit Keidar, Alexander Spiegelman
Make Every Word Count: Adaptive BA with Fewer Words. CoRR (2022)
Shaked Elias-Zada, Arik Rinberg, Idit Keidar
Quancurrent: A Concurrent Quantiles Sketch. CoRR (2022)
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)
Oded Naor, Idit Keidar
On Payment Channels in Asynchronous Money Transfer Systems. DISC (2022)
Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Lee Rhodes, Hadar Serviansky
Fast Concurrent Data Sketches. ACM Trans. Parallel Comput. 9 (2) (2022)
Shir Cohen, Idit Keidar, Alexander Spiegelman
Brief Announcement: Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words. PODC (2022)
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) (2022)
Oded Naor, Idit Keidar
On Payment Channels in Asynchronous Money Transfer Systems. CoRR (2022)
Shir Cohen, Idit Keidar
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. DISC (2021)
Shir Cohen, Idit Keidar, Oded Naor
Byzantine Agreement with Less Communication: Recent Advances. SIGACT News 52 (1) (2021)
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
Using Nesting to Push the Limits of Transactional Data Structure Libraries. OPODIS (2021)
Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman
All You Need is DAG. PODC (2021)
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)
Shir Cohen, Idit Keidar, Oded Naor
Byzantine Agreement with Less Communication: Recent Advances. CoRR (2021)
Shir Cohen, Idit Keidar
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer. CoRR (2021)
Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman
All You Need is DAG. CoRR (2021)
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)
Arik Rinberg, Idit Keidar
Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion. PODC (2020)
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) (2020)
Arik Rinberg, Idit Keidar
Intermediate Value Linearizability: A Quantitative Correctness Criterion. DISC (2020)
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)
Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Lee Rhodes, Hadar Serviansky
Fast concurrent data sketches. PPoPP (2020)
Shir Cohen, Idit Keidar, Alexander Spiegelman
Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. CoRR (2020)
Shir Cohen, Idit Keidar, Alexander Spiegelman
Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. DISC (2020)
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
Nesting and composition in transactional data structure libraries. PPoPP (2020)
Oded Naor, Idit Keidar
Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. CoRR (2020)
Shir Cohen, Idit Keidar, Alexander Spiegelman
Brief Announcement: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP. PODC (2020)
Idit Keidar
Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk). OPODIS (2020)
David Yakira, Avi Asayag, Ido Grayevsky, Idit Keidar
Economically Viable Randomness. CoRR (2020)
Arik Rinberg, Idit Keidar
Intermediate Value Linearizability: A Quantitative Correctness Criterion. CoRR (2020)
Gal Assa, Hagar Meir, Guy Golan-Gueta, Idit Keidar, Alexander Spiegelman
Using Nesting to Push the Limits of Transactional Data Structure Libraries. CoRR (2020)
Oded Naor, Idit Keidar
Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR. DISC (2020)
Gali Sheffi, Dmitry Basin, Edward Bortnikov, David Carmel, Idit Keidar
Scalable top-k retrieval with Sparta. PPoPP (2020)
Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
FairLedger: A Fair Blockchain Protocol for Financial Institutions. CoRR (2019)
Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Hadar Serviansky
Fast Concurrent Data Sketches. PODC (2019)
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)
Kfir Lev-Ari, Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
FairLedger: A Fair Blockchain Protocol for Financial Institutions. OPODIS (2019)
Lorenzo Alvisi, Shlomi Dolev, Faith Ellen, Idit Keidar, Fabian Kuhn, Jukka Suomela
2019 Edsger W. Dijkstra Prize in Distributed Computing. PODC (2019)
Arik Rinberg, Alexander Spiegelman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Hadar Serviansky
Fast Concurrent Data Sketches. CoRR (2019)
Lorenzo Alvisi, Idit Keidar, Andréa W. Richa, Alexander A. Schwarzmann
2018 Doctoral Dissertation Award. PODC (2018)
Idit Keidar
Session details: Session 3A: Congest. PODC (2018)
Idit Keidar
Session details: Session 1A: Persistent Memory. PODC (2018)
Yehuda Afek, Idit Keidar, Boaz Patt-Shamir, Sergio Rajsbaum, Ulrich Schmid, Gadi Taubenfeld
2018 Edsger W. Dijkstra Prize in Distributed Computing. PODC (2018)
Alexander Spiegelman, Idit Keidar, Moshe Tennenholtz
Game of Coins. CoRR (2018)
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) (2018)
Edward Bortnikov, Anastasia Braginsky, Eshcar Hillel, Idit Keidar, Gali Sheffi
Accordion: Better Memory Organization for LSM Key-Value Stores. Proc. VLDB Endow. 11 (12) (2018)
Alon Berger, Idit Keidar, Alexander Spiegelman
Integrated Bounds for Disintegrated Storage. DISC (2018)
Idit Keidar
Session details: Session 2A: Approximation and Learning. PODC (2018)
Alon Berger, Idit Keidar, Alexander Spiegelman
Integrated Bounds for Disintegrated Storage. CoRR (2018)
Naama Kraus, David Carmel, Idit Keidar
Fishing in the stream: Similarity search over endless data. IEEE BigData (2017)
Rati Gelashvili, Idit Keidar, Alexander Spiegelman, Roger Wattenhofer
Brief Announcement: Towards Reduced Instruction Sets for Synchronization. DISC (2017)
Rati Gelashvili, Idit Keidar, Alexander Spiegelman, Roger Wattenhofer
Towards Reduced Instruction Sets for Synchronization. CoRR (2017)
Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
Dynamic Reconfiguration: Abstraction and Optimal Asynchronous Solution. DISC (2017)
Naama Kraus, David Carmel, Idit Keidar
Fishing in the Stream: Similarity Search over Endless Data. CoRR (2017)
Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer
Composing ordered sequential consistency. Inf. Process. Lett. 123 (2017)
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)
Noam Shalev, Idit Keidar, Yaron Weinsberg, Yosef Moatti, Elad Ben-Yehuda
WatchIT: Who Watches Your IT Guy? SOSP (2017)
Naama Kraus, David Carmel, Idit Keidar
Tail-Tolerant Distributed Search. CoRR (2017)
Alexander Spiegelman, Idit Keidar
On Liveness of Dynamic Storage. SIROCCO (2017)
Yonatan Gottesman, Aran Bergman, Edward Bortnikov, Eshcar Hillel, Idit Keidar, Ohad Shacham
Fragola: low-latency transactions in distributed data stores. SoCC (2017)
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)
Noam Shalev, Idit Keidar, Yosef Moatti, Yaron Weinsberg
WatchIT: Who Watches Your IT Guy? MIST@CCS (2016)
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 (2016)
Alexander Spiegelman, Idit Keidar
Dynamic Atomic Snapshots. OPODIS (2016)
Noam Shalev, Eran Harpaz, Hagar Porat, Idit Keidar, Yaron Weinsberg
CSR: Core Surprise Removal in Commodity Operating Systems. ASPLOS (2016)
Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
Space Bounds for Reliable Storage: Fundamental Limits of Coding. PODC (2016)
Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar
Transactional data structure libraries. PLDI (2016)
Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar
Brief Announcement: Transactional Data Structure Libraries. SPAA (2016)
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)
Kfir Lev-Ari, Edward Bortnikov, Idit Keidar, Alexander Shraer
Modular Composition of Coordination Services. USENIX Annual Technical Conference (2016)
Naama Kraus, David Carmel, Idit Keidar, Meni Orenbach
NearBucket-LSH: Efficient Similarity Search in P2P Networks. SISAP (2016)
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
A Constructive Approach for Proving Data Structures' Linearizability. DISC (2015)
Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar
Towards Automatic Lock Removal for Scalable Synchronization. DISC (2015)
Alexander Spiegelman, Idit Keidar, Dahlia Malkhi
Dynamic Reconfiguration: A Tutorial (Tutorial). OPODIS (2015)
Idit Keidar, Dmitri Perelman
On Avoiding Spare Aborts in Transactional Memory. Theory Comput. Syst. 57 (1) (2015)
Naama Kraus, David Carmel, Idit Keidar, Meni Orenbach
NearBucket-LSH: Efficient Similarity Search in P2P Networks. CoRR (2015)
Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
Space Bounds for Reliable Storage: Fundamental Limits of Coding. CoRR (2015)
Guy Golan-Gueta, Edward Bortnikov, Eshcar Hillel, Idit Keidar
Scaling concurrent log-structured data stores. EuroSys (2015)
Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote). OPODIS (2015)
Alexander Spiegelman, Idit Keidar
On Liveness of Dynamic Storage. CoRR (2015)
Ittay Eyal, Idit Keidar, Raphael Rom
LiMoSense: live monitoring in dynamic sensor networks. Distributed Comput. 27 (5) (2014)
Stacy Patterson, Yonina C. Eldar, Idit Keidar
Distributed Compressed Sensing for Static and Time-Varying Networks. IEEE Trans. Signal Process. 62 (19) (2014)
Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel
GPUfs: Integrating a file system with GPUs. ACM Trans. Comput. Syst. 32 (1) (2014)
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
On Correctness of Data Structures under Reads-Write Concurrency. DISC (2014)
Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel
GPUfs: integrating a file system with GPUs. ASPLOS (2013)
Idit Keidar
Distributed computing column 49: coding for distributed storage. SIGACT News 44 (1) (2013)
Ittay Eyal, Flavio Junqueira, Idit Keidar
Thinner Clouds with Preallocation. HotCloud (2013)
Idit Keidar
Distributed computing column 50: distributing trusted third parties, innovation prize, and SIROCCO review. SIGACT News 44 (2) (2013)
Idit Keidar
Distributed computing column 51: large-scale transaction replication. SIGACT News 44 (3) (2013)
Stacy Patterson, Yonina C. Eldar, Idit Keidar
Distributed Compressed Sensing For Static and Time-Varying Networks. CoRR (2013)
Stacy Patterson, Yonina C. Eldar, Idit Keidar
Distributed sparse signal recovery for sensor networks. ICASSP (2013)

Idit Keidar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Idit Keidar