MIT mirror site of Idit Keidar's Publications

Papers are available in postscript (ps), gzipped postscript (ps.gz), and pdf (pdf).
Some talk slides are available in powerpoint (ppt or pps) and gzipped powerpoint (ppt.gz or pps.gz).

By year: [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994]

2009:

I. Keidar and D. Perelman: On Avoiding Spare Aborts in Transactional Memory.
To appear in the 21st ACM Symp. on Parallelism in Algorithms and Architectures (SPAA 09), Calgary, Canada, Aug 2009.
Full version: Tech. Rep. CCIT 733, Technion EE, May 2009.
M. Gurevich and I. Keidar: Correctness of Gossip-Based Membership under Message Loss.
To appear in the 28th ACM Symp. on Principles of Distributed Computing (PODC'09), Calgary, Canada, Aug 2009.
Full version: Tech. Rep. CCIT 732, Technion EE, May 2009.
M. Aguilera, I. Keidar, D. Malkhi, and A. Shraer: Dynamic Atomic Storage Without Consensus.
To appear in the 28th ACM Symp. on Principles of Distributed Computing (PODC'09), Calgary, Canada, Aug 2009.
Full version: Tech. Rep. CCIT 731, Technion EE, May 2009.
C. Cachin, I. Keidar, and A. Shraer: Fail-Aware Untrusted Storage.
To appear in the 39th IEEE/IFIP Int'l Conf. on Dependable Systems and Networks (DSN), June-July 2009.
Full version: Tech. Rep. CCIT 712, Technion EE, December 2008; last update February 2009.
I. Eyal, I. Keidar, and R. Rom: Distributed Clustering for Robust Aggregation in Large Networks.
To appear in the 5th Workshop on Hot Topics in System Dependability (HotDep'09), co-located with DSN'09, June 2009.
C. Cachin, I. Keidar, and A. Shraer: Trusting the Cloud.
ACM SIGACT News Distributed Computing Column, 40(2), pages 81-86, June 2009.
H. Eran, O. Lutzky, Z. Guz, and I. Keidar: Transactifying Apache's Cache Module.
In SYSTOR 2009 - The Israeli Experimental Systems Conference, May 2009.
Z. Guz, E. Bolotin, I. Keidar, A. Kolodny, A. Mendelson, and U. Weiser: Many-Core vs. Many-Thread Machines: Stay Away From the Valley.
In IEEE Computer Architecture Letters (CAL) vol. 8, April 2009.
G. Chockler, R. Guerraoui, I. Keidar, and M. Vukolic: Reliable Distributed Storage.
In IEEE Computer 42:4, pages 60-67, April 2009.
E. Bortnikov, M. Gurevich, I. Keidar, G. Kliot, and A. Shraer: Brahms: Byzantine Resilient Random Membership Sampling.
In Computer Networks (COMNET) Special Issue on Gossiping in Distributed Systems, published online March 2009.
(Previous version in PODC'08.)
pdf, ppt.
I. Keidar, R. Melamed, and A. Orda: EquiCast: Scalable Multicast with Selfish Users.
In Computer Networks (COMNET) Special Issue on Gossiping in Distributed Systems, published online March 2009.
(Previous version in PODC'06.)
pdf, ppt, abstract.
G. Badishi, G. Caronni, I. Keidar, R. Rom, and G. Scott: Deleting Files in the Celeste Peer-to-Peer Storage System.
In Journal of Parallel and Distributed Computing (JPDC), published online March 2009.
(Previous version in SRDS'06.)
C. Cachin, I. Keidar, and A. Shraer: Fork Sequential Consistency is Blocking.
In Information Processing Letters (IPL) 109:7, pages 360-364, March 2009.
(Tech. Rep. CCIT 697, Technion EE, May 2008; CoRR abs/0805.2068.)
A. Friedman and I. Keidar: Discouraging Selfishness in Lossy Peer-to-Peer Networks.
Tech. Rep. CCIT 715, Technion EE, January 2009.
Z. Bar-Yossef, I. Keidar, and U. Schonfeld: Do not Crawl in the DUST: Different URLs with Similar Text.
In ACM Transactions on the Web (TWEB) 3:1, article 3, January 2009.
(Previous version in WWW'07.)
U. Schmid, B. Weiss, and I. Keidar: Impossibility Results and Lower Bounds for Consensus Under Link Failures.
In SIAM Journal on Computing (SICOMP) 38:5, pages 1912-1951, published online January 2009.

2008:

R. Melamed and I. Keidar: Araneola: A Scalable Reliable Multicast System for Dynamic Environments.
In Journal of Parallel and Distributed Computing (JPDC) 68:12, pages 1539-1560, December 2008.
I. Keidar and A. Shraer: How to Choose a Timing Model?
In IEEE Transactions on Parallel and Distributed Systems (TPDS) 19:10, pages 1367-1380, October 2008.
(Previous version in DSN 2007.)
pdf, pdf.gz, abstract.
G. Badishi, A. Herzberg, I. Keidar, O. Romanov, and A. Yachin: An Empirical Study of Denial of Service Mitigation Techniques.
In the 27th IEEE Int'l Symp. on Reliable Distributed Systems (SRDS'08), Naples, Italy, pages 115-124, October 2008.
E. Bortnikov, M. Gurevich, I. Keidar, G. Kliot, and A. Shraer: Brahms: Byzantine Resilient Random Membership Sampling.
In the 27th ACM Symp. on Principles of Distributed Computing (PODC'08), pages 145-154, July 2008.
Full version to appear in COMNET.
pdf (PODC paper), pdf (long version), ppt.
Z. Guz, I. Keidar, A. Kolodny, and U. Weiser: Utilizing Shared Data in Chip Multiprocessors with the Nahalal Architecture.
In the 20th ACM Symp. on Parallelism in Algorithms and Architectures (SPAA'08), special track on Hardware and Software Techniques to Improve the Programmability of Multicore Machines, pages 1-10, June 2008.
SPAA Best Paper Award.
pdf, ppt.
G. Badishi and I. Keidar: Improving Denial of Service Resistance using Dynamic Local Adaptations.
In the 23rd Annual ACM Symp. on Applied Computing (SAC), Dependable and Adaptive Distributed Systems (DADS) track, pages 2212-2218, Fortaleza, Ceara, Brazil, March 2008.
C. Cachin, I. Keidar, and A. Shraer: Improving Efficiency and Enhancing Concurrency of Untrusted Storage.
In the 6th USENIX Conf. on File and Storage Technologies (FAST '08), work-in-progress (WiP) and poster session, San Jose, CA, February 2008.
E. Bortnikov, I. Cidon, I. Keidar, T. Kol, and A. Vaisman: A QoS WMN with Mobility Support.
In ACM SIGMOBILE Mobile Computing and Communications Review (MC2R) 12:1, Special Issue with MobiCom 2007 poster abstracts, pages 46-48, January 2008.
R. Melamed, I. Keidar, and Y. Barel: Octopus: A Fault-Tolerant and Efficient Ad-hoc Routing Protocol.
In Wireless Networks (WINET) 14:6, pages 731-743, December 2008.
pdf, pdf.gz.

2007:

E. Bortnikov, I. Cidon, and I. Keidar: Scalable Real-time Gateway Assignment in Mobile Mesh Networks.
In ACM CoNEXT '2007, New York, December 2007.
G. Chockler, R. Guerraoui, and I. Keidar: Amnesic Distributed Storage.
In the 21st Int'l Symp. on Distributed Computing (DISC'07), Lecture Notes in Computer Science Volume 4731, pages 139-151, September 2007.
E. Bortnikov, I. Cidon, and I. Keidar: Scalable Load-Distance Balancing.
In the 21st Int'l Symp. on Distributed Computing (DISC'07), Lecture Notes in Computer Science Volume 4731, pages 77-91, September 2007.

Presented at the 2nd W'shop on Locality Preserving Distributed Computing Methods (LOCALITY '07), co-located with PODC'07, August 2007.
(Full version: Tech. Rep. CCIT 587, Technion EE , May 2006.)
A. Shraer, S. Bercovici, G. Chockler, I. Keidar, R. Melamed, Y. Tock, and R. Vitenberg: Local Building Blocks for a Scalable Pub/Sub Infrastructure.
Presented at the 2nd W'shop on Locality Preserving Distributed Computing Methods (LOCALITY '07), co-located with PODC'07, August 2007.
G. Badishi, A. Herzberg, and I. Keidar: Keeping Denial-of-Service Attackers in the Dark.
In IEEE Transactions on Dependable and Secure Computing (TDSC) 4:3, pages 191-204, July-September 2007.
(Previous version in DISC 2005.)
E. Bortnikov, I. Cidon, and I. Keidar: Nomadic Service Assignment.
IEEE Transactions on Mobile Computing (TMC) 6:8, pages 915-928, August 2007.
(Previous version, entitled Nomadic Service Points, in IEEE INFOCOM 2006.)
IEEE TMC paper: pdf, pdf.gz. Infocom paper: ps, ps.gz, pdf, pdf.gz, abstract.
I. Keidar and A. Shraer: How to Choose a Timing Model?
In the 37th IEEE/IFIP Int'l Conf. on Dependable Systems and Networks (DSN), pages 389-398, June 2007.
Full version in IEEE Transactions on Parallel and Distributed Systems (TPDS).
DSN paper: ps, ps.gz, pdf, pdf.gz, abstract. Full version (TPDS) (pdf).
A. Shraer, G. Chockler, I. Keidar, R. Melamed, Y. Tock, and R. Vitenberg: Local On-Line Maintenance of Scalable Pub/Sub Infrastructure.
In the 37th IEEE/IFIP Int'l Conf. on Dependable Systems and Networks (DSN '07) Fast Abstracts Supplement, pages 408-409, June 2007.
Z. Guz, I. Keidar, A. Kolodny, and U. Weiser: Nahalal: Cache Organization for Chip Multiprocessors.
In IEEE Computer Architecture Letters (CAL) 6:1, pages 21-24, May 2007.
(Longer version: Tech. Rep. CCIT 600, Technion EE , September 2006.)
Z. Bar-Yossef, I. Keidar, and U. Schonfeld: Do not Crawl in the DUST: Different URLs with Similar Text.
In the 16th Int'l World Wide Web Conf. (WWW'07), pages 111-120, May 2007.
Full version (to appear in TWEB) (pdf), WWW'07 paper (pdf).
R. Gindin, I. Cidon, and I. Keidar: NoC-Based FPGA: Architecture and Routing.
In the 1st ACM/IEEE Int'l Symp. on Networks-on-Chips (NOCS), pages 253-262, May 2007.
P. Dutta, R. Guerraoui, and I. Keidar: The Overhead of Consensus Failure Recovery.
In Distributed Computing 19:5-6, pages 373-386, April 2007, Springer.
I. Abraham, G. Chockler, I. Keidar, and D. Malkhi: Wait-Free Regular Storage from Byzantine Components.
In Information Processing Letters (IPL) 101:2, pages 60-65, January 2007.
ps, ps.gz, pdf, pdf.gz.

2006:

E. Bortnikov, I. Cidon, and I. Keidar: Nomadic Service Points.
In IEEE INFOCOM 2006, April 2006.
Full version: IEEE Transactions on Mobile Computing (TMC) 6:8, pages 915-928, August 2007.
IEEE TMC paper: pdf, pdf.gz. Infocom paper: ps, ps.gz, pdf, pdf.gz, abstract.
P. Pal, P. Rubel, M. Atighetchi, F. Webber, W. Sanders, M. Seri, H. Ramasamy, J. Lyons, T. Courtney, A. Agbaria, M. Cukier, J. Gossett, and I. Keidar: An Architecture for Adaptive Intrusion-Tolerant Applications.
Software: Practice and Experience (SP&E) 36:12, Special Issue on Experiences with Auto-adaptive and Reconfigurable Systems, pages 1331-1354, October 2006, Wiley.
G. Badishi, G. Caronni, I. Keidar, R. Rom, and G. Scott: Deleting Files in the Celeste Peer-to-Peer Storage System.
In the 25th IEEE Symp. on Reliable Distributed Systems (SRDS'06), pages 29-38, October 2006.
Full version to appear in Journal of Parallel and Distributed Computing (JPDC).
I. Keidar and A. Schuster: Want Scalable Computing? Speculate!
In ACM SIGACT News 37(3), Distributed Computing Column 23, pages 59-66, September 2006.
ps, ps.gz, pdf, pdf.gz.
Y. Birk, I. Keidar, L. Liss, and A. Schuster: Efficient Dynamic Aggregation.
In the 20th Int'l Symp. on Distributed Computing (DISC'06), Lecture Notes in Computer Science Volume 4167, pages 90-104, September 2006.
paper (pdf), talk slides (ppt).
I. Keidar and A. Shraer: Timeliness, Failure Detectors, and Consensus Performance.
In the 25th ACM Symp. on Principles of Distributed Computing (PODC'06), pages 169-178, July 2006.
ps, ps.gz, pdf, pdf.gz, ppt, abstract.
Y. Birk, I. Keidar, L. Liss, A. Schuster, and R. Wolff: Veracity Radius - Capturing the Locality of Distributed Computations.
In the 25th ACM Symp. on Principles of Distributed Computing (PODC'06), pages 102-111, July 2006.
pdf, pdf.gz, abstract.
I. Keidar, R. Melamed, and A. Orda: EquiCast: Scalable Multicast with Selfish Users.
In the 25th ACM Symp. on Principles of Distributed Computing (PODC'06), pages 63-71, July 2006.
Full version to appear in COMNET.
ps, ps.gz, pdf, pdf.gz, ppt, abstract.
S. Bercovici, Y. Frishman, I. Keidar, and A. Tal: Decentralized Electronic Mail.
In proceedings Int'l W'shop on Dynamic Distributed Systems (IWDDS) in conjunction with the 26th Int'l Conf. on Distributed Computing Systems (ICDCS'06), July 2006.
U. Schonfeld, Z. BarYossef, and I. Keidar: Do not Crawl in the DUST: Different URLs with Similar Text.
Poster in 15th Int'l World Wide Web Conf. (WWW'06), May 2006.
(Full version: Tech. Rep. CCIT 601, Technion EE , October 2006.)
Poster (pdf), short WWW paper (pdf), full version (pdf).
I. Keidar and R. Melamed: Evaluating Unstructured Peer-to-Peer Lookup Overlays.
In ACM Symp. on Applied Computing (SAC'06), Dependable and Adaptive Distributed Systems (DADS) Track, pages 675-679, April 2006.
ps, ps.gz, pdf, pdf.gz.
I. Abraham, G. Chockler, I. Keidar, and D. Malkhi: Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory.
In Distributed Computing 18:5, pages 387-408, April 2006, Springer.
ps, ps.gz, pdf, pdf.gz, abstract.
G. Badishi, I. Keidar, and A. Sasson: Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast.
In IEEE Transactions on Dependable and Secure Computing (TDSC) 3:1, pages 45-61, March 2006.
ps, ps.gz, pdf, pdf.gz, ppt, abstract.

2005:

I. Cidon and I. Keidar: Zooming in on Network-on-Chip Architectures.
Tech. Rep. CCIT 565, Technion EE , December 2005.
R. Melamed, I. Keidar, and Y. Barel: Octopus: A Fault-Tolerant and Efficient Ad-hoc Routing Protocol.
In the 24th IEEE Symp. on Reliable Distributed Systems (SRDS'05), pages 39-49, October 2005.
ps, ps.gz, pdf, pdf.gz, abstract.
G. Badishi, A. Herzberg, and I. Keidar: Keeping Denial-of-Service Attackers in the Dark.
In the 19th Int'l Symp. on Distributed Computing (DISC'05), Lecture Notes in Computer Science Volume 3724, pages 18-32, September 2005.
Full version in IEEE Transactions on Dependable and Secure Computing (TDSC) 4:3, pages 191-204, July 2007.
DISC version: ps, ps.gz, pdf, pdf.gz, abstract.
G. Badishi, A. Herzberg, and I. Keidar: How to Build a Dam: Fighting Application-Level DoS Attacks.
In the Int'l Conf. on Dependable Systems and Networks (DSN'05), Fast Abstracts Supplement, June--July, 2005.
ps, ps.gz, pdf, pdf.gz.
N. Lavi, I. Cidon, and I. Keidar: MaGMA: Mobility and Group Management Architecture for Real-Time Collaborative Applications.
In Wiley Journal of Wireless Communications and Mobile Computing (WCMC) 5(7), Special Issue on Mobility, Paging, and Quality of Service Management for Future Wireless Networks, pages 749-772, November 2005.
ps, ps.gz, pdf, pdf.gz, ppt, abstract.

2004:

N. Lavi, I. Cidon, and I. Keidar: Supporting Groupware in Mobile Networks.
In the 6th IFIP IEEE Int'l Conf. on Mobile and Wireless Communication Networks (MWCN'04), October 2004.
ps, ps.gz, pdf, pdf.gz, ppt, abstract.
R. Melamed and I. Keidar: Araneola: A Scalable Reliable Multicast System for Dynamic Environments.
In the 3rd IEEE Int'l Symp. on Network Computing and Applications (IEEE NCA'04), pages 5-14, August-September 2004.
Full version accepted for publication in Journal of Parallel and Distributed Computing (JPDC).
Full paper (JPDC): pdf; NCA paper: ps, pdf, abstract.
I. Abraham, G. Chockler, I. Keidar, and D. Malkhi: Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory.
In the 23rd ACM Symp. on Principles of Distributed Computing (PODC'04), July 2004.
ps, ps.gz, pdf, pdf.gz, abstract.
G. Badishi, I. Keidar, and A. Sasson: Exposing and Eliminating Vulnerabilities to Denial of Service Attacks in Secure Gossip-Based Multicast.
In the Int'l Conf. on Dependable Systems and Networks (DSN'04), June-July 2004.
ps, ps.gz, pdf, pdf.gz, ppt, abstract.
C. Livadas and I. Keidar: Caching-Enhanced Scalable Reliable Multicast.
In the Int'l Conf. on Dependable Systems and Networks (DSN'04), June-July 2004.
ps, ps.gz, pdf, pdf.gz, abstract.
G. Badishi, I. Keidar, and R. Melamed: Towards Survivability of Application-Level Multicast .
In the 2nd Bertinoro W'shop on Future Directions in Distributed Computing (FuDiCo II), June 2004.
ps, ps.gz, pdf.
G. Chockler, I. Keidar, and D. Malkhi: Optimal Resilience Wait-Free Storage from Byzantine Components: Inherent Costs and Solutions.
In the 2nd Bertinoro W'shop on Future Directions in Distributed Computing (FuDiCo II), June 2004.
ps, ps.gz, pdf.

2003:

I. Keidar: Challenges in Evaluating Distributed Algorithms.
In Future Directions in Distributed Computing, Lecture Notes in Computer Science Volume 2584, pages 40-44.
ps, ps.gz, pdf,
I. Keidar and S. Rajsbaum: Open Questions on Consensus Performance in Well-Behaved Runs.
In Future Directions in Distributed Computing, Lecture Notes in Computer Science Volume 2584, pages 35-39.
ps, ps.gz, pdf,
I. Keidar and S. Rajsbaum: A Simple Proof of the Uniform Consensus Synchronous Lower Bound.
In Information Processing Letters (IPL) 85(1), pages 47-52, January 2003.
ps, ps.gz, pdf. pps, pps.gz, abstract.

2002:

I. Keidar and R. Khazan: A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach.
In SIAM Journal on Computing (SICOMP) 32(1), pages 78-130, November 2002.
ps, ps.gz, pdf, abstract.
Z. Bar-Joseph, I. Keidar, and N. Lynch: Early-Delivery Dynamic Atomic Broadcast.
Extended abstract in the 16th Int'l Symp. on DIStributed Computing (DISC'02), Toulouse, France, October 2002.
ps, ps.gz, pdf, abstract.
Full version: MIT Tech. Rep. MIT-LCS-TR-840, April 2002.
ps, ps.gz, pdf.
I. Keidar, J. Sussman, K. Marzullo, and D. Dolev: Moshe: A Group Membership Service for WANs.
In ACM Transactions on Computer Systems (TOCS) 20(3), pages 1-48, August 2002.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
O. Bakr and I. Keidar: Evaluating the Running Time of a Communication Round over the Internet.
In the 21st ACM Symp. on Principles of Distributed Computing (PODC'02), Monterey, CA, USA, pages 243-252, July 2002.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
I. Keidar: Challenges in Evaluating Distributed Algorithms.
In the Int'l W'shop on Future Directions in Distributed Computing (FuDiCo), pages 22-25, Bertinoro, Italy, June 2002.
ps, ps.gz, pdf, pps, pps.gz.
I. Keidar and K. Marzullo: The Need for Realistic Failure Models in Protocol Design.
Position paper in the 4th Information Survivability W'shop (ISW) 2001/2002, Vancouver, Canada, March 2002.
ps, ps.gz, pdf.
I. Keidar, R. Khazan, N. Lynch, and A. Shvartsman: An Inheritance-Based Technique for Building Simulation Proofs Incrementally.
In ACM Transactions on Software Engineering and Methodology (TOSEM) 11(1), pages 1-29, January 2002.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.

2001:

I. Keidar and S. Rajsbaum: On the Cost of Fault-Tolerant Consensus When There Are No Faults - A Tutorial.
MIT Tech. Rep. MIT-LCS-TR-821, May 24, 2001.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
Preliminary version in ACM SIGACT News 32(2), Distributed Computing column, pages 45-63, June 2001 (published May 15th, 2001).
G. Chockler, I. Keidar, and R. Vitenberg: Group Communication Specifications: A Comprehensive Study.
In ACM Computing Surveys 33(4), pages 1-43, December 2001.
ps, ps.gz, pdf, abstract.
C. Livadas, I. Keidar, and N. Lynch: Designing a Caching-Based Reliable Multicast Protocol.
In the Int'l Conf. on Dependable Systems and Networks (DSN'01), Fast Abstracts Supplement, pages B44-B45, July 2001.
ps, ps.gz, pdf, abstract.
K. Ingols and I. Keidar: Availability Study of Dynamic Voting Algorithms.
In the 21st IEEE Int'l Conf. on Distributed Computing Systems (ICDCS'01), pages 247-254, April 2001.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
(Previous version: MIT Technical Memorandum MIT-LCS-TM-611, November 2000.)
ps, ps.gz, pdf.
A. Fekete and I. Keidar: A Framework for Highly Available Services Based on Group Communication.
In the IEEE Int'l W'shop on Applied Reliable Group Communication (WARGC), held in conjunction with ICDCS'01, pages 57-62, April 2001.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
(Previous version: MIT Technical Memorandum MIT-LCS-TM-610, November 2000.)
ps, ps.gz, pdf.
I. Keidar: Group Communication.
Chapter in the Encyclopedia of Distributed Computing, Joseph Urban and Partha Dasgupta, editors, Kluwer Academic Publishers. To be published.
ps, ps.gz, pdf

2000:

I. Keidar, J. Sussman, K. Marzullo, and D. Dolev: Moshe: A Group Membership Service for WANs.
MIT Technical Memorandum MIT-LCS-TM-593a, revised September 2000.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
(Previous version:
A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs.)
In the 20th Int'l Conf. on Distributed Computing Systems (ICDCS'00), pages 356-365, April 2000.
ps, ps.gz, pdf, abstract.
Z. Bar-Joseph, I. Keidar, T. Anker, and N. Lynch: QoS Preserving Totally Ordered Multicast.
In the 5th Int'l Conf. On Principles Of DIstributed Systems (OPODIS'00), pages 143-162, Paris, France, December, 2000.
ps, ps.gz, pdf, abstract
(Previous version: MIT Tech. Rep. MIT-LCS-TR-796, January 2000.)
ps, ps.gz, pdf.
J. Sussman, I. Keidar, and K. Marzullo: Optimistic Virtual Synchrony.
In the 19th IEEE Symp. on Reliable Distributed Systems (SRDS'00), pages 42-51, Nurnberg, Germany, October 2000.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
I. Keidar, R. Khazan, N. Lynch, and A. Shvartsman: An Inheritance-Based Technique for Building Simulation Proofs Incrementally.
In the 22nd Int'l Conf. on Software Engineering (ICSE'00), pages 478-487, Limerick, Ireland, June 2000.
ps, ps.gz, pdf, ppt, ppt.gz, abstract.
I. Keidar and R. Khazan: A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications and Algorithms.
In the 20th Int'l Conf. on Distributed Computing Systems (ICDCS'00), pages 344-355, April 2000.
ps, ps.gz, pdf, ppt, abstract.
I. Keidar and D. Dolev: Totally Ordered Broadcast in the Face of Network Partitions.
Exploiting Group Communication for Replication in Partitionable Networks.
Chapter 3 of Dependable Network Computing, pages 51-75, D. Avresky Editor, Kluwer Academic Publications. January, 2000.
ps, ps.gz, pdf, abstract.
T. Araragi, P. Attie, I. Keidar, K. Kogure, V. Luchangco, N. Lynch, and K. Mano: On Formal Modeling of Agent Computations.
In the 1st NASA W'shop on Formal Approaches to Agent-Based System (FAABS), pages 48-62, April, 2000. Springer Verlag Lecture Notes in Artificial Intelligence 1871.
ps, ps.gz, pdf, abstract.

1999:

I. Keidar and R. Khazan: A Client-Server Approach to Virtually Synchronous Group Multicast: Specifications, Algorithms, and Proofs.
MIT Tech. Rep. MIT-LCS-TR-794, November 1999.
ps, ps.gz, pdf, abstract.
J. Sussman, I. Keidar, and K. Marzullo: Optimistic Virtual Synchrony.
MIT Tech. Rep. MIT-LCS-TR-792, November 1999.
ps, ps.gz, pdf, abstract.
R. Vitenberg, I. Keidar, G. Chockler, and D. Dolev: Group Communication Specifications: A Comprehensive Study.
MIT Tech. Rep. MIT-LCS-TR-790, September 1999.
ps, ps.gz, pdf, abstract.
T. Anker, D. Dolev, and I. Keidar: Fault Tolerant Video-on-Demand Services.
In the 19th Int'l Conf. on Distributed Computing Systems (ICDCS'99), pages 244-252. June 1999.
ps, ps.gz, pdf, ppt, abstract.

1998:

I. Keidar's Ph.D. Dissertation: Consistency and High Availability of Information Dissemination in Multi-Processor Networks.
Institute of Computer Science, The Hebrew University of Jerusalem, Jerusalem, Israel, October, 1998.
ps, ps.gz, pdf, abstract.
T. Anker, G. Chockler, D. Dolev, and I. Keidar: Scalable Group Membership Services for Novel Applications.
In Networks in Distributed Computing (DIMACS workshop). Edited by: Marios Mavronicolas, Michael Merritt, and Nir Shavit. DIMACS 45, pages 23-42. American Mathematical Society, 1998.
ps, ps.gz, pdf, abstract.
I. Keidar and D. Dolev: Increasing the Resilience of Distributed and Replicated Database Systems.
In the Journal of Computer and System Sciences (JCSS) special issue with selected papers from PODS 1995, 57(3) pages 309-324. December 1998.
ps, ps.gz, pdf, abstract.

1997:

E. Yeger Lotem, I. Keidar, and D. Dolev: Dynamic Voting for Consistent Primary Components.
In the Sixteenth ACM Symp. on Principles of Distributed Computing (PODC '97), pages 63-71, August 1997.
ps, ps.gz, pdf, ppt, abstract.
D. Dolev, R. Friedman, I. Keidar, and D. Malkhi: Failure Detectors in Omission Failure Environments.
Brief Announcement in the Sixteenth ACM Symp. on Principles of Distributed Computing (PODC '97), August 1997.
ps, ps.gz. pdf, Full TR version (previous version).
T. Anker, G. Chockler, D. Dolev, and I. Keidar: The Caelum Toolkit for CSCW: The Sky is the Limit.
In the Third Int'l W'shop on Next Generation Information Technologies and Systems (NGITS 97), pages 69-76, June 1997.
ps, ps.gz, pdf, abstract.
T. Anker, G. Chockler, I. Keidar, M. Rozman, and J. Wexler: Exploiting Group Communication for Highly Available Video-On-Demand Services.
In proceedings of the 13th Int'l Conf. on Advanced Science and Technology (ICAST97) and the 2nd Int'l Conf. on Multimedia Information Systems (ICMIS 97), pages 265-270, April 1997.
ps, ps.gz, pdf, abstract.

1996:

D. Dolev, R. Friedman, I. Keidar, and D. Malkhi: Failure Detectors in Omission Failure Environments.
Tech. Rep. 96-1608, of Computer Science, Cornell University. September, 1996.
Also: Tech. Rep. CS96-13, Institute of Computer Science, The Hebrew University of Jerusalem.
ps, ps.gz, pdf, abstract.
D. Dolev, I. Keidar, and E. Yeger Lotem: Dynamic Voting for Consistent Primary Components.
Tech. Rep. CS96-7, Institute of Computer Science, The Hebrew University of Jerusalem, Jerusalem, Israel, June 1996.
ps, ps.gz, pdf, abstract.
I. Keidar, and D. Dolev: Efficient Message Ordering in Dynamic Networks.
In the fifteenth ACM Symp. on Principles of Distributed Computing (PODC), May 1996, pages 68-76.
ps, ps.gz, pdf, ppt, abstract.
(Previous version: Tech. Rep. CS95-5, Institute of Computer Science, The Hebrew University of Jerusalem.)
G. Chockler, N. Huleihel, I. Keidar, and D. Dolev: Multimedia Multicast Transport Service for Groupware.
In the TINA Conf. on the Convergence of Telecommunications and Distributed Computing Technologies, September 1996, pages 43-54.
ps, ps.gz, pdf, abstract.
Full version:
Supporting Multiple Quality of Service Options with High Performance Groupware.
Tech. Rep. CS96-3, Institute of Computer Science, The Hebrew University of Jerusalem, March 1996.
ps, ps.gz pdf,

1995:

I. Keidar and D. Dolev: Increasing the Resilience of Atomic Commit, at No Additional Cost.
In the 1995 ACM SIGACT-SIGMOD Symp. on Principles of Database Systems (PODS), May 1995, pages 245-254.
ps, ps.gz, pdf, abstract.
Full version in JCSS, see above.
(Previous version: Tech. Rep. CS94-18, Institute of Computer Science, The Hebrew University of Jerusalem, October 1994.)

1994:

I. Keidar's Masters Thesis: A Highly Available Paradigm for Consistent Object Replication.
Also Tech. Rep. CS95-5, Institute of Computer Science, The Hebrew University of Jerusalem.
ps, ps.gz, pdf, abstract.
Lab Project: Xlans - A Graphical Display for Communication Protocols.
ps, ps.gz, pdf.

[2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994]

Last modified: Thu Jun 19 14:24:21 IDT 2008

Idit Keidar's home page