Idit Keidar (a.k.a idish) עדית קידר

Home

Publications

Research

Teaching

Tutorials and Surveys

Group / Students

SIGACT News

Idit Keidar

Idit Keidar עדית קידר

Professor
Dept. of Electrical Engineering, Technion
Haifa, 32000, Israel.
Office: Meyer 902
Phone: +972-4-8294649
idish AT ee DOT technion.ac.il

Publications
CV

Idit Keidar

My research is broadly in fault-tolerant distributed and concurrent algorithms and systems, theory and practice. Most recently, I'm interested in: dynamic (reconfigurable) distributed storage, cloud storage, local computing and dynamic networks, multi-cores (CMP), transactional memory and concurrent data structures, and replication and coordination. Here are some selected recent results on these topics:

Dynamic (reconfigurable) distributed storage systems
- Reconfiguring Replicated Atomic Storage: A Tutorial (BEATCS'10)
- Dynamic Atomic Storage Without Consensus (PODC'09; JACM 2011)
- Data-Centric Reconfiguration with Network-Attached Disks (LADIS'10)
Untrusted cloud storage (with IBM Zurich)
- FAUST: Fail-Aware Untrusted Storage (DSN'09; SICOMP 2011)
- Venus: Verification for Untrusted Cloud Storage (CCSW'10)
- Trusting the Cloud (position paper) (SIGACT News 2009)
Local computing, dynamic networks, and gossip in large-scale systems
- Dynamic Computations in Ever-Changing Networks (Invited Talk Abstract) (slides) (TADDS'11)
- Tutorial on local computations in large scale dynamic networks (2007)
- Brahms: Byzantine Resilient Random Membership Sampling (PODC'08; COMENT 2009)
- Distributed Data Classification in Sensor Networks (HotDep'09; PODC'10; Distributed Computing 2011)
- LiMoSense - Live Monitoring in Dynamic Sensor Networks (ALGOSENSORS'11)
- Correctness of Gossip-Based Membership under Message Loss (PODC'09; SICOMP 2010)
- Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast (DSN'04; TDSC 2006)
Chip-Multiprocessors (CMPs) - caches, memories, parallel workloads
- Nahalal CMP memory architecture (SPAA'08)
- Threads vs. Caches: Modeling the Behavior of Parallel Workloads (CAL 2009; ICCD'10)
Software transactional memory and concurrent data structures
- SALSA: Scalable and Low Synchronization NUMA-aware Algorithm for Producer-Consumer Pools (SPAA'12)
- SMV: Selective Multi-Versioning STM (TRANSACT'10, DISC'11)
- CAFE: Scalable Task Pools with Adjustable Fairness and Contention (DISC'11)
- On Maintaining Multiple Versions in STM (PODC'10)
- On Avoiding Spare Aborts in Transactional Memory (SPAA'09)
Foundations of replication, agreement, and their performance in asynchronous systems
- Reliable Distributed Storage Survey (IEEE Computer 2009); SYSTOR'10 Keynote
- Dynamic Atomic Storage Without Consensus (PODC'09)
- How to choose a timing model? (DSN'07; TPDS 2008)
- GIRAF, a framework for evaluating the performance of distributed algorithms (PODC'06)
- Byzantine Disk Paxos (PODC'04; DC 2006)
My Ph.D. advisor was Danny Dolev, and according to the Mathematics Genealogy Project, my academic lineage includes Jacob Bernoulli, Euler, Lagrange, Laplace, and Poisson.
Other than research, teaching , and my graduate students , there are some other professional activities that keep me busy these days:
- DISC 2013 in Jerusalem
- SIGACT News Distributed Computing Column
- The Networked Software Systems Laboratory at the Technion.
Finally, here are links to my full publications list (sorted by year) and CV.

Idit Keidar

Idit Keidar

Idit Keidar

Tutorials and Surveys

Group / Students

website statistics