Publications

Selected Conference Proceedings

  • The Space Hierarchy of Fault-Tolerant Register Emulations, Gregory Chockler and Alexander Spiegelman. PODC’17;  Proceedings of the 2017 ACM Symposium on Principles of Distributed Computing, 2017
  • Scalable Communication Middleware for Permissioned Distributed Ledgers (poster), Artem Barger, Vita Bortnkikov, Gregory Chockler, Gennady Laventman, Yakov Manevich, Benjamin Mandler, SYSTOR 2017.
  • Space Bounds for Reliable Storage: Fundamental Limits of Coding
    Alexander Spiegelman, Yuval Cassuto, Gregory Chockler, Idit Keidar
    PODC ’16 Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
  • Space Bounds for Reliable Storage: Fundamental Limits of Coding, Alex Spiegelman, Yuval Cassuto, Gregory Chockler, and Idit Keidar. In Proceedings of International Conference on Principles of Distributed Computing (OPODIS), Rennes, France, December 2015. [pdf] [slides]
  • A Constructive Approach for Proving Data Structures Linearizability, Kfir Lev-Ari, Gregory Chockler and Idit Keidar. In Proceedings of Distributed Computing – 29th International Symposium, DISC 2015, LNCS 9363, pages 356–370, Tokyo, Japan, October 5–9, 2015. [pdf]
  • Space Bounds for Reliable Multi-Writer Data Store: Brief Announcement, Gregory Chockler, Dan Dobre, Alexander Shraer, and Alexander Spiegelman. In Proceedings of Distributed Computing – 29th International Symposium, DISC 2015, LNCS 9363, pages 673–674, Tokyo, Japan, October 5–9, 2015. [pdf]
  • Dynamic Performance Profiling of Cloud Caches, Trausti Saemundsson, Hjortur Bjornsson, Gregory Chockler, and Ymir Vigfusson. In Proceedings of the ACM Symposium on Cloud Computing (SOCC ’14). ACM, New York, NY, USA, Article 28, 14 pages. [pdf]
  • On Correctness of Data Structures under Reads-Write Concurrency, Kfir Lev-Ari, Gregory Chockler, and Idit Keidar. In Proceedings of Distributed Computing – 28th International Symposium, DISC 2014, pages 273–287, Austin, TX, USA, October 12-15, 2014. [pdf]
  • Reconfigurable State Machine Replication from Non-Reconfigurable Building Blocks, Vita Bortnikov, Gregory Chockler, Dmitri Perelman, Alexey Roytman, Shlomit Shachor, Ilya Shnayderman. In Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2012), Madeira, Portugal, July 16–18, 2012. [pdf]
  • Magnet: Practical Subscription Clustering for Internet-Scale Publish/Subscribe, In Proc. of the 4th ACM International Conference on Distributed Event-Based Systems (DEBS’10), Cambridge, United Kingdom, July 12-15, 2010. [pdf]
  • Dr. Multicast: Rx for Data Center Communication Scalability, Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Robert Burgess, Gregory Chockler, Haoyuan Li, Yoav Tock. In Proc. of the ACM SIGOPS 5th European conference on Computer systems (EuroSys’10): 349–362, Paris, France, April 13–16, 2010. [pdf]
  • Virtual infrastructure for collision-prone wireless networks, Gregory Chockler, Seth Gilbert, and Nancy Lynch. In Proc. ACM SIGACT/SIGOPS Annual Symposium on Principles of Distributed Computing (PODC’08)), pages 233–242, August 18–21, Toronto, Canada. [pdf]
  • Constructing Scalable Overlays for Pub/Sub with Many Topics: Problems, Algorithms, and Evaluation, Gregory Chockler, Roie Melamed, Yoav Tock, and Roman Vitenberg. In Proceedings of the 26th ACM Symposium on Principles of Distributed Computing (PODC’07), August 12-15, 2007, Portland, Oregon, USA. [pdf]
  • SpiderCast: A Scalable Interest-Aware Overlay for Topic-Based Pub/Sub Communication, Gregory Chockler, Roie Melamed, Yoav Tock, and Roman Vitenberg. In Proceedings of the Inaugural International Conference on Distributed Event-Based Systems (DEBS’07), June 20-22, 2007, Toronto, Canada. [pdf]
  • Amnesic Distributed Storage, Gregory Chockler, Rachid Guerraoui, Idit Keidar. In Proceedings of the 21st International Symposium on DIStributed Computing (DISC’07), September 24-26, 2007, Lemesos, Cyprus. Published by Springer-Verlag GmbH in Lecture Notes in Computer Science, Volume 4731, 2007, Pages 139 – 151. [pdf]
  • Reconfigurable Distributed Storage for Dynamic Networks, Gregory Chockler, Seth Gilbert, Vincent Gramoli, Peter Musial, and Alexander Shvartsman. In Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS’05), December 12-14, 2005, Pisa, Italy. [pdf]
  • 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’05), 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]
  • Consensus and Collision Detectors in Wireless Ad Hoc Networks, Gregory Chockler, Murat Demirbas, Seth Gilbert, Calvin Newport and Tina Nolte. In Proceedings of the 24th ACM Symposium on Principles of Dis- tributed Computing (PODC’05), July 17-20, 2005, Las Vegas, Nevada, USA. [pdf]
  • Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory, Ittai Abraham, Gregory Chockler, Idit Keidar and Dahlia Malkhi. In Proceedings of the 23rd ACM Symposium on Principles of Distributed Computing (PODC’04), July 25-28, 2004, St. John’s, Newfoundland, Canada. [pdf]
  • Active Disk Paxos with infinitely many processes, Gregory Chockler and Dahlia Malkhi. In Proceedings of the 21st ACM Symposium on Principles of Distributed Computing (PODC’02), July 20-24, 2002, Monterey, California, USA. [pdf]
  • Backoff Protocols for Distributed Mutual Exclusion and Ordering, Gregory Chockler,Dahlia Malkhi and Michael Reiter. In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS’01), Apr 16-19, 2001, Phoenix, Arizona, USA. [pdf]
  • Implementing Caching Service for Distributed CORBA Objects, Gregory Chockler, Roman Vitenberg, Roy Friedman, Danny Dolev. 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]
  • An Adaptive Totally Ordered Multicast Protocol that Tolerates Partitions, Gregory Chockler, Nabil Huleihel, 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]

Selected Journals

  • Design and implementation of caching services in the cloud, Gregory Chockler, Guy Laden, and Ymir Vigfusson, IBM Journal of Research and Development, Special Issue on Cloud Computing, 55(6): 1–11, December 2011. [pdf]
  • Reliable Distributed Storage, Gregory Chockler, Rachid Guerraoui, Idit Keidar, Marco Vukolic. IEEE Computer 42(4): 60–67, April 2009. [pdf]
  • Reconfigurable Distributed Storage for Dynamic Networks, Gregory Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman. Journal of Parallel and Distributed Computing, 69(1):100–116, July 2009. [pdf]
  • Consensus and Collision Detectors in Radio Networks, Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy Lynch, Calvin Newport, Tina Nolte. Distributed Computing, 21(1):55–84, June 2008. [pdf]
  • Byzantine Disk Paxos: Optimal Resilience with Byzantine Shared Memory, Ittai Abraham, Gregory Chockler, Idit Keidar and Dahlia Malkhi. Distributed Computing 18(5), pages 387-408, April 2006, Springer. [pdf]
  • Wait-Free Regular Storage from Byzantine Components, Ittai Abraham, Gregory Chockler, Idit Keidar, and Dahlia Malkhi. Information Processing Letters 101(2): 60-65, 2007. [pdf]
  • Light-Weight Leases for Storage-Centric Coordination, Gregory Chockler and Dahlia Malkhi. International Journal of Parallel Programming (IJPP), 34(2): 143-170 (2006).
  • Active Disk Paxos with infinitely many processes, Gregory Chockler and Dahlia Malkhi. Distributed Computing, 18(1): 73-84 (2005), Springer. [pdf]
  • On the Composability of Consistency Conditions, Gregory Chockler, Roy Friedman, and Roman Vitenberg.
    Information Processing Letters, 86(4): 169-176 (2003). [pdf]
  • Group Communication Specification: A Comprehensive Study, Gregory Chockler, Idit Keidar and Roman Vitenberg. ACM Computing Surveys, 33(4), pages 1-43, December 2001. [pdf]

Pre-prints/In Submission

  • Space Bounds for Reliable Storage: Fundamental Limits of Coding, Alexander Spiegelman, Yuval Cassuto, Gregory Chockler, Idit Keidar. In submission. Latest pre-print: arXiv:1507.05169, 2016. [pdf] [slides]
  • Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives, Gregory Chockler, Dan Dobre, Alexander Shraer, Alexander Spiegelman. In submission. Latest pre-print: arXiv:1508.03762, 2015. [pdf] [slides]
  • Reconfigurable State Machine Replication from Non-Reconfigurable Building Blocks, Vita Bortnikov, Gregory Chockler, Dmitri Perelman, Alexey Roytman, Shlomit Shachor, Ilya Shnayderman.  arXiv:1512.08943, 2015. [pdf] [slides]

Position Papers

  • Verifying cloud services: present and future, Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, and Alexander Shraer. 2013. ACM SIGOPS Oper. Syst. Rev. 47, 2 (July 2013), 6-19.
    Press coverage: Forbes, ZDNet, StorageMojo, CloudTech, InKings.  [pdf]
  • Clouds at the Crossroads: Research Perspectives, Ymir Vigfusson, and Gregory Chockler, ACM Crossroads, 16(3): 10–13, March 2010.  [pdf]
  • Toward a Cloud Computing Research Agenda, Ken Birman, Gregory Chockler, and Robbert van Renesse, ACM SIGACT News, 40(2): 68–80, June 2009.  [pdf]