Journals

Journals

  • Multi-shot distributed transaction commit, Chockler, G., Gotsman, A., Distributed Computing (2021).
  • Verifying cloud services: present and future, Sara Bouchenak, Gregory Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, and Alexander Shraer. 2013. SIGOPS Oper. Syst. Rev. 47, 2 (July 2013), 6-19.
  • 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]

In Archive