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 ).
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 :
Last modified: Thu Jun 19 14:24:21 IDT 2008