Professor Gregory Chockler

  1. 2017
  2. Published

    Space Complexity of Fault-Tolerant Register Emulations

    Chockler, G. & Spiegelman, A. 25 Jul 2017 The 36th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2017)). ACM, p. 83-92 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Scalable communication middleware for permissioned distributed ledgers

    Chockler, G., Bortnikov, V., Barger, A., Manevich, Y., Laventman, G. & Mandler, B. 22 May 2017 SYSTOR '17: Proceedings of the 10th ACM International Systems and Storage Conference. New York: ACM, p. 1 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. 2016
  5. Published

    Space Bounds for Reliable Storage: Fundamental Limits of Coding

    Chockler, G., Spiegelman, A., Cassuto, Y. & Keidar, I. 25 Jul 2016 Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. ACM, p. 249-258 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. 2015
  7. Published

    A Constructive Approach for Proving Data Structures’ Linearizability

    Chockler, G., Lev-Ari, K. & Keidar, I. Oct 2015 Distributed Computing 29th International Symposium, DISC 2015 Tokyo, Japan, October 7–9, 2015 Proceedings. Moses, Y. (ed.). Springer-Verlag, Vol. 9363, p. 356–370 15 p. 97. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Brief Announcement: Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A. 2015 Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Moses, Y. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 9363, p. 673-674 2 p. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. In preparation

    Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives

    Chockler, G., Dobre, D., Shraer, A. & Spiegelman, A. 2015

    Research output: Working paper

  10. 2014
  11. Published

    Propagating changes in topic subscription status of processes in an overlay network

    Chockler, G., Bortnikov, V., Roytman, A. & Spreitzer, M. 25 Feb 2014 US 8661080 B2

    Research output: Patent

  12. Published

    Dynamic Performance Profiling of Cloud Caches

    Chockler, G., Vigfusson, Y., Saemundsson, T. & Bjornsson, H. 2014

    Research output: Contribution to conferencePaper

  13. Published

    On Correctness of Data Structures under Reads-Write Concurrency

    Chockler, G., Keidar, I. & Lev-Ari, K. 2014

    Research output: Contribution to conferencePaper

  14. Published

    On Correctness of Data Structures under Reads-Write Concurrency

    Lev-Ari, K., Chockler, G. & Keidar, I. 2014 Distributed Computing: 28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings. Kuhn, F. (ed.). 1 ed. Springer-Verlag Berlin Heidelberg, Vol. 8784, p. 273-287 15 p. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Published

    Towards Self-Healing SDN

    Chockler, G. & Trehan, A. 2014

    Research output: Contribution to conferenceOther

  16. 2013
  17. Published

    Brief Announcement: Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store

    Chockler, G., Shraer, A. & Dobre, D. 2013

    Research output: Contribution to conferencePaper

  18. Unpublished

    Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store

    Chockler, G., Dobre, D. & Shraer, A. 2013

    Research output: Working paper

  19. Published

    Dynamic Performance Profiling of Cloud Caches

    Chockler, G., Vigfusson, Y., Saemundsson, T. & Bjornsson, H. 2013

    Research output: Contribution to conferencePoster

  20. 2012
  21. Published

    Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware

    Baldoni, R. & Chockler, G. 10 Jan 2012 Springer-Verlag. 224 p.

    Research output: Book/ReportBook

  22. Published

    CoMiFin Architecture and Semantic Rooms: Collaborative Financial Infrastructure Protection

    Baldoni, R., Bortnikov, V., Chockler, G., Dekel, E., Laventman, G., Lodi, G. & Montanari, L. 2012 Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 85-98 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Published

    Distributed Attack Detection Using Agilis: Collaborative Financial Infrastructure Protection

    Aniello, L., Baldoni, R., Chockler, G., Laventman, G., Lodi, G. & Vigfusson, Y. 2012 Collaborative Financial Infrastructure Protection. Baldoni, R. & Chockler, G. (eds.). Springer Berlin / Heidelberg, p. 157-174 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Published

    Reconfigurable state machine replication from non-reconfigurable building blocks

    Bortnikov, V., Chockler, G., Roytman, A., Shachor, S., Shnayderman, I. & Perelman, D. 2012 Proceedings of the 31st Annual ACM Symposium on Principles of Distributed Computing. ACM, p. 93-94 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. 2011
  26. Published

    Design and implementation of caching services in the cloud

    Chockler, G., Laden, G. & Vigfusson, Y. Nov 2011 In : IBM Journal of Research and Development. 55, 6, p. 9:1-9:11 11 p., 9

    Research output: Contribution to journalArticle

  27. Published

    Special issue on cloud computing

    Chockler, G., Dekel, E., Jaja, J. & Lin, J. 1 Jun 2011 In : Journal of Parallel and Distributed Computing. 71, 6, p. 731 1 p.

    Research output: Contribution to journalSpecial issue

  28. Published

    Design and implementation of caching services in the cloud

    Chockler, G., Laden, G. & Vigfusson, Y. 2011 In : IBM Journal of Research and Development. 55, 6, 11 p., 9

    Research output: Contribution to journalArticle

  29. 2010
  30. Published

    Magnet: Practical Subscription Clustering for Internet-Scale Publish/Subscribe

    Girdzijauskas, S., Chockler, G., Vigfusson, Y., Melamed, R. & Tock, Y. Jul 2010 Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS '10). Cambridge, UK: ACM, p. 172-183 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Published

    Bulletin Board: A scalable and robust eventually consistent shared memory over a peer-to-peer overlay

    Bortnikov, V., Chockler, G., Roytman, A. & Spreitzer, M. 14 Apr 2010 In : Operating Systems Review. 44, 2, p. 64-70 7 p.

    Research output: Contribution to journalArticle

  32. Published

    Dr. Multicast: Rx for Data Center Communication Scalability

    Vigfusson, Y., Abu-Libdeh, H., Balakrishnan, M., Birman, K., Burgess, R., Chockler, G., Li, H. & Tock, Y. Apr 2010 EuroSys '10 Proceedings of the 5th European conference on Computer systems. Paris, France: ACM, p. 349-362 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Published

    Clouds at the crossroads: research perspectives

    Vigfusson, Y. & Chockler, G. Mar 2010 In : Crossroads. 16, 3, p. 10-13 4 p.

    Research output: Contribution to journalArticle

  34. Published

    A contract-based event driven model for collaborative security in financial information systems

    Baldoni, R., Lodi, G., Chockler, G., Dekel, E., Mulcahy, B. P. & Martufi, G. 2010 ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems. p. 147-153 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Published

    Data caching as a cloud service

    Chockler, G., Laden, G. & Vigfusson, Y. 2010 Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS '10). ACM, p. 18-21 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Published

    Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2010: Foreword

    Aguilera, M. K., Shapiro, M., Vigfusson, Y. & Chockler, G. 2010 Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2010.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  37. 2009
  38. Published

    Toward a cloud computing research agenda

    Birman, K., Chockler, G. & van Renesse, R. 1 Jun 2009 In : SIGACT News. 40, 2, p. 68-80 13 p.

    Research output: Contribution to journalArticle

  39. Published

    Reliable distributed storage

    Chockler, G., Guerraoui, R., Keidar, I. & Vukolić, M. 1 Jan 2009 In : IEEE Computer. 42, 4, p. 60-67 8 p.

    Research output: Contribution to journalArticle

  40. Published

    Reconfigurable distributed storage for dynamic networks

    Chockler, G., Gilbert, S., Gramoli, V., Musial, P. M. & Shvartsman, A. A. Jan 2009 In : Journal of Parallel and Distributed Computing. 69, 1, p. 100-116 17 p.

    Research output: Contribution to journalArticle

  41. Published

    ACM International Conference Proceeding Series: Foreword

    Allalouf, M., Ben-Yehuda, M., Factor, M., Feitelson, D. & Chockler, G. 2009 Proceedings of SYSTOR '09: ACM International Conference Proceeding Series.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  42. Published

    Defending financial infrastructures through early warning systems: The intelligent cloud approach

    Lodi, G., Querzoni, L., Baldoni, R., Marchetti, M., Colajanni, M., Bortnikov, V., Chockler, G., Dekel, E., Laventman, G. & Roytman, A. 2009 Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies (CSIIRW '09).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. 2008
  44. Published

    Virtual infrastructure for collision-prone wireless networks

    Chockler, G., Gilbert, S. & Lynch, N. Aug 2008 Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing. Toronto, ON, Canada: ACM, p. 233-242 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Published

    Consensus and collision detectors in radio networks

    Chockler, G., Demirbas, M., Gilbert, S., Lynch, N., Newport, C. & Nolte, T. Jun 2008 In : Distributed Computing. 21, 1, p. 55-84 30 p.

    Research output: Contribution to journalArticle

  46. 2007
  47. Published

    Wait-free regular storage from Byzantine components

    Abraham, I., Chockler, G., Keidar, I. & Malkhi, D. 31 Jan 2007 In : Information Processing Letters. 101, 2, p. 60-65 6 p.

    Research output: Contribution to journalArticle

  48. Published

    Amnesic distributed storage

    Chockler, G., Guerraoui, R. & Keidar, I. 1 Jan 2007 Proceedings of the 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Vol. 4731 LNCS, p. 139-151 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Published

    Constructing scalable overlays for pub-sub with many topics

    Chockler, G., Melamed, R., Tock, Y. & Vitenberg, R. 1 Jan 2007 Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing: PODC 2007. p. 109-118 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Published

    SpiderCast: A scalable interest-aware overlay for topic-based pub/sub communication

    Chockler, G., Melamed, R., Tock, Y. & Vitenberg, R. 2007 Proceedings of the Inaugural International Conference on Distributed Event-Based Systems (DEBS’07). ACM, p. 14-25 12 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  51. 2006
  52. Published

    Byzantine disk paxos: Optimal resilience with byzantine shared memory

    Abraham, I., Chockler, G., Keidar, I. & Malkhi, D. 1 Apr 2006 In : Distributed Computing. 18, 5, p. 387-408 22 p.

    Research output: Contribution to journalArticle

  53. Published

    Light-weight leases for storage-centric coordination

    Chockler, G. & Malkhi, D. 1 Apr 2006 In : International Journal of Parallel Programming. 34, 2, p. 143-170 28 p.

    Research output: Contribution to journalArticle

  54. Published

    Communication-efficient probabilistic quorum systems for sensor networks

    Chockler, G., Gilbert, S. & Patt-Shamir, B. 2006 Proceedings of the 1st Annual IEEE International Workshop on "Foundation and Algorithms for Wireless Networking" (FAWN'2006). p. 111-115 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. 2005
  56. Published

    A Middleware Framework for Robust Applications in Wireless Ad Hoc Networks

    Chockler, G., Demirbas, M., Gilbert, S. & Newport, C. Sep 2005 Proceeding of the 43rd Allerton Conference on Communication, Control, and Computing. Curran Associates

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. Published

    Active disk Paxos with infinitely many processes

    Chockler, G. & Malkhi, D. 1 Jul 2005 In : Distributed Computing. 18, 1, p. 73-84 12 p.

    Research output: Contribution to journalArticle

  58. Published

    Consensus and collision deteotors in wireless ad hoc networks

    Chockler, G., Demirbas, M., Gilbert, S., Newport, C. & Nolte, T. 1 Jan 2005 Proceedings of the 24th annual ACM symposium on Principles of distributed computing (PODC '05). p. 197-206 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Published

    Fault-Tolerance in Storage-Centric Systems

    Chockler, G. 2005

    Research output: ThesisDoctoral Thesis

  60. Published

    Proving atomicity: An assertional approach

    Chockler, G., Lynch, N., Mitra, S. & Tauber, J. 2005 Proceedings of the 19th International Conference on Distributed Computing (DISC '05). p. 152-168 17 p.

    Research output: Chapter in Book/Report/Conference proceedingOther contribution

  61. Published

    Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast

    Chockler, G., Demirbas, M., Gilbert, S., Lynch, N. A., Newport, C. C. & Nolte, T. 2005 Proceedings of the 4th International Workshop on Assurance in Distributed Systems and Networks (ADSN '05): ICDCS Workshops. p. 42-48 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Published

    Reconfigurable Distributed Storage for Dynamic Networks

    Chockler, G., Gilbert, S., Gramoli, V., Musial, P. & Shvartsman, A. 2005 Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS '05). Springer-Verlag, p. 351-365 15 p. (Lecture Notes in Computer Science; vol. 3974)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. 2004
  64. Published

    Byzantine disk Paxos: Optimal resilience with byzantine shared memory

    Abraham, I., Chockler, G. V., Keidar, I. & Malkhi, D. 2004 Proceedings of the 23rd Annual ACM SIGACT-SIGOPS Symposium on. Principles of Distributed Computing (PODC 2004). ACM, p. 226-235 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. 2003
  66. Published

    On the composability of consistency conditions

    Friedman, R., Vitenberg, R. & Chockler, G. 31 May 2003 In : Information Processing Letters. 86, 4, p. 169-176 8 p.

    Research output: Contribution to journalArticle

  67. Published

    A data-centric approach for scalable state machine replication

    Chockler, G., Malkhi, D. & Dolev, D. 1 Jan 2003 In : Lecture Notes in Computer Science. 2584, p. 159-163 5 p.

    Research output: Contribution to journalArticle

  68. Published

    Aquarius: A data-centric approach to CORBA fault-tolerance

    Chockler, G., Malkhi, D., Merimovich, B. & Rabinowitz, D. 1 Jan 2003 In : Lecture Notes in Computer Science. 2889, p. 885-898 14 p.

    Research output: Contribution to journalArticle

  69. 2002
  70. Published

    Active Disk Paxos with infinitely many processes

    Chockler, G. & Malkhi, D. 1 Jan 2002 Proceedings of the 21st Annual ACM Symposium on Principles of Distributed Computing (PODC 2002). p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. 2001
  72. Published

    Group communication specifications: A comprehensive study

    Chockler, G. V., Keidar, I. & Vitenberg, R. Dec 2001 In : ACM Computing Surveys. 33, 4, p. 427-469 43 p.

    Research output: Contribution to journalArticle

  73. Published

    Backoff protocols for distributed mutual exclusion and ordering

    Chockler, G., Malkhi, D. & Reiter, M. K. 1 Jan 2001 Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS '01). p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. 2000
  75. Published

    Consistency Conditions for a CORBA Caching Service

    Chockler, G., Friedman, R. & Vitenberg, R. 2000 Proceedings of the 14th International Conference on Distributed Computing (DISC '00). Springer-Verlag, p. 374-388 15 p. (Lecture Notes In Computer Science; no. 1914)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Published

    Implementing a Caching Service for Distributed CORBA Objects

    Chockler, G., Dolev, D., Friedman, R. & Vitenberg, R. 2000 Proceedings of the 2nd IFIP/ACM International Conference on Distributed systems platforms (Middleware '00). Springer-Verlag, p. 1-23 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  77. 1998
  78. Published

    Adaptive totally ordered multicast protocol that tolerates partitions

    Chockler, G. V., Huleihel, N. & Dolev, D. 1998 Proceedings of the 17th ACM Symposium on Principles of Distributed Computing (PODC '98). ACM, p. 237-246 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  79. Published

    Scalable Group Membership Services for Novel Applications

    Anker, T., Chockler, G., Dolev, D. & Keidar, I. 1998 Proceedings of the DIMACS Workshop on Networks in Distributed Computing. Merritt, M. & Shavit, N. (eds.). American Mathematical Society, p. 23-42 20 p. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science; vol. 45)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  80. 1997
  81. Published
  82. Published

    The Caelum Toolkit for CSCW: The Sky is the Limit

    Anker, T., Chockler, G., Dolev, D. & Keidar, I. 1997 Proceedings of the 3rd International Workshop on Next Generation Information Technologies and Systems (NGITS '97).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  83. Published

    TransMIDI: A System for MIDI Sessions Over the Network Using Transis

    Gang, D., Chockler, G., Anker, T., Kremer, A. & Winkler, T. 1997 Proceedings of International Computer Music Conference (ICMC 2007).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. 1996
  85. Published

    Group communication as an infrastructure for distributed system management

    Amir, Y., Breitgand, D., Chockler, G. V. & Dolev, D. 1 Jan 1996 Proceedings of the 3rd International IEEE Workshop on Services in Distributed and Networked Environments (SDNE '96). p. 84-91 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution