Selected Publications by Gregory Chockler

1. Constructing Scalable Overlays for Pub/Sub with Many Topics. Problems, Algorithms, and Evaluation. Gregory Chockler, Roie Melamed, Yoav Tock, and Roman Vitenberg. PODC'07.
   PDF, PPT

2. SpiderCast: A Scalable Interest-Aware Overlay for Topic-Based Pub/Sub Communication. Gregory Chockler, Roie Melamed, Yoav Tock, and Roman Vitenberg. DEBS'07.
   PDF

3. Proving Atomicity: An Assertional Approach, Gregory Chockler, Nancy Lynch, Sayan Mitra, and Joshua Tauber. In Proceedings of the 19th International Symposium on DIStributed Computing (DISC'2005), September 26-28, 2005, Krakow, Poland.
   Published by Springer-Verlag GmbH in Lecture Notes in Computer Science, Volume 3724, Oct 2005, Pages 152 - 168
   PDF

4. Consensus and Collision Detectors in Wireless Ad Hoc Networks, Gregory Chockler, Murat Demirbas, Seth Gilbert, Calvin Newport, and Tina Nolte. In Proceedings of the 24rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2005) July 17-20, 2005, Las Vegas, NV, USA. To appear.
   PDF

5. Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory, Ittai Abraham, Gregory Chockler, Idit Keidar and Dahlia Malkhi. In Proceedings of the 23rd Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2004) July 25-28, 2004, St. John's, Newfoundland, Canada.
   Postscript PDF
   Full version has been accepted for publication in the Distributed Computing journal. PDF

6. Active Disk Paxos with infinitely many processes, Gregory Chockler, Dahlia Malkhi. Distributed Computing 18(1): 73-84 (2005)
   PDF

7. Light-Weight Leases for Storage-Centric Coordination. Gregory Chockler and Dahlia Malkhi. International Journal of Parallel Programming (IJPP) 34(2): 143-170 (2006)
   Postscript PDF

8. Group Communication Specifications: A Comprehensive Study, Gregory Chockler, Idit Keidar, Roman Vitenberg. ACM Computing Surveys 33(4), pages 1-43, December 2001
   PDF

9. On the Composability of Consistency Conditions. Roy Friedman, Roman Vitenberg, Gregory Chockler. In Information Processing Letters, 86(4), pages: 169-176, 2003.
   PDF

10. Backoff Protocols for Distributed Mutual Exclusion and Ordering, Gregory Chockler, Dahlia Malkhi and Michael K. Reiter, In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21), April 16-19, 2001, Phoenix, Arizona, USA.
    PDF

11. Consistency Conditions for a CORBA Caching Service, Gregory Chockler, Roman Vitenberg and Roy Friedman, In Proceedings of the 14th International Symposium on DIStributed Computing (DISC'2000), Oct 4-6, 2000, Toledo, Spain.
    PDF

12. Implementing Caching Service for Distributed CORBA Objects, Gregory Chockler, Danny Dolve, Roy Friedman, Roman Vitenberg. In Proceedings of IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware'2000), 3rd - 7th April 2000, IBM Palisades Executive Conference Center, Hudson River Valley, NY, USA. Best Paper Award.
    PDF

13. An Adaptive Totally Ordered Multicast Protocol that Tolerates Partitions, Gregory Chockler, Nabil Huleihel and Danny Dolev, In Proceedings of the Seventeenth ACM Symposium on Principles of Distributed Computing (PODC'98), June 28 - July 2 1998, Puerto Vallarta, Mexico.
    PDF