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

Home

Publications

Research

Teaching

Tutorials and Surveys

Group / Students

SIGACT News

Idit Keidar עדית קידר

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

Publications
CV

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

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
- 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)
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)
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:

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.