Gregory V. Chockler

Orcid: 0000-0001-6700-9235

Affiliations:
  • Royal Holloway University of London, Department of Computer Science, UK
  • IBM Research, Haifa, Israel
  • MIT, Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, USA
  • Hebrew University of Jerusalem, Institute of Computer Science, Israel


According to our database1, Gregory V. Chockler authored at least 70 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Liveness and latency of Byzantine state-machine replication.
Distributed Comput., June, 2024

Vertical Atomic Broadcast and Passive Replication (Extended Version).
CoRR, 2024

What Cannot Be Implemented on Weak Memory?
Proceedings of the 38th International Symposium on Distributed Computing, 2024

Vertical Atomic Broadcast and Passive Replication.
Proceedings of the 38th International Symposium on Distributed Computing, 2024

Mangosteen: Fast Transparent Durability for Linearizable Applications using NVM.
Proceedings of the 2024 USENIX Annual Technical Conference, 2024

2023
Fault-Tolerant Computing with Unreliable Channels.
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

2022
Making Byzantine consensus live.
Distributed Comput., 2022

Distributed Oracle for Estimating Global Network Delay with Known Error Bounds.
Proceedings of the Networked Systems - 10th International Conference, 2022

Acuerdo: Fast Atomic Broadcast over RDMA.
Proceedings of the 51st International Conference on Parallel Processing, 2022

2021
Multi-shot distributed transaction commit.
Distributed Comput., 2021

2020
Making Byzantine Consensus Live (Extended Version).
CoRR, 2020

2019
White-Box Atomic Multicast (Extended Version).
CoRR, 2019

White-Box Atomic Multicast.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018
Multi-Shot Distributed Transaction Commit (Extended Version).
CoRR, 2018

Session details: Session 2C: Security, Blockchains, and Replication.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

2017
Scalable communication middleware for permissioned distributed ledgers.
Proceedings of the 10th ACM International Systems and Storage Conference, 2017

Space Complexity of Fault-Tolerant Register Emulations.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

2016
FRAPPE: Fast Replication Platform for Elastic Services.
CoRR, 2016

Space Bounds for Reliable Storage: Fundamental Limits of Coding.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

2015
LADIS'14: 8th Workshop on Large-Scale Distributed Systems and Middleware.
ACM SIGOPS Oper. Syst. Rev., 2015

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

Reconfigurable State Machine Replication from Non-Reconfigurable Building Blocks.
CoRR, 2015

A Constructive Approach for Proving Data Structures' Linearizability.
Proceedings of the Distributed Computing - 29th International Symposium, 2015

Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote).
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

2014
On Correctness of Data Structures under Reads-Write Concurrency.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

Dynamic Performance Profiling of Cloud Caches.
Proceedings of the ACM Symposium on Cloud Computing, 2014

2013
Verifying cloud services: present and future.
ACM SIGOPS Oper. Syst. Rev., 2013

2012
Summary of the 5th workshop on large-scale distributed systems and middleware (LADIS 2011).
ACM SIGOPS Oper. Syst. Rev., 2012

Brief announcement: reconfigurable state machine replication from non-reconfigurable building blocks.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

CoMiFin Architecture and Semantic Rooms.
Proceedings of the Collaborative Financial Infrastructure Protection, 2012

Distributed Attack Detection Using Agilis.
Proceedings of the Collaborative Financial Infrastructure Protection, 2012

2011
Special Issue on Cloud Computing.
J. Parallel Distributed Comput., 2011

Design and implementation of caching services in the cloud.
IBM J. Res. Dev., 2011

2010
Bulletin board: a scalable and robust eventually consistent shared memory over a peer-to-peer overlay.
ACM SIGOPS Oper. Syst. Rev., 2010

Clouds at the crossroads: research perspectives.
ACM Crossroads, 2010

Data caching as a cloud service.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

A Contract-based Event Driven Model for Collaborative Security in Financial Information Systems.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 4, SAIC, Funchal, Madeira, Portugal, June 8, 2010

Dr. multicast: Rx for data center communication scalability.
Proceedings of the European Conference on Computer Systems, 2010

Magnet: practical subscription clustering for Internet-scale publish/subscribe.
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2009
Summary of the 3rd ACM SIGOPS workshop on large-scale distributed systems and middleware (LADIS 2009).
ACM SIGOPS Oper. Syst. Rev., 2009

Toward a cloud computing research agenda.
SIGACT News, 2009

Reconfigurable distributed storage for dynamic networks.
J. Parallel Distributed Comput., 2009

Special Issue of the Journal of Parallel and Distributed Computing: Cloud Computing.
J. Parallel Distributed Comput., 2009

Reliable Distributed Storage.
Computer, 2009

Defending financial infrastructures through early warning systems: the intelligence cloud approach.
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2008
Consensus and collision detectors in radio networks.
Distributed Comput., 2008

Virtual infrastructure for collision-prone wireless networks.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2007
Wait-free regular storage from Byzantine components.
Inf. Process. Lett., 2007

Amnesic Distributed Storage.
Proceedings of the Distributed Computing, 21st International Symposium, 2007

Constructing scalable overlays for pub-sub with many topics.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

SpiderCast: a scalable interest-aware overlay for topic-based pub/sub communication.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006
Light-Weight Leases for Storage-Centric Coordination.
Int. J. Parallel Program., 2006

Byzantine disk paxos: optimal resilience with byzantine shared memory.
Distributed Comput., 2006

Communication-Efficient Probabilistic Quorum Systems for Sensor Networks.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

2005
Active Disk Paxos with infinitely many processes.
Distributed Comput., 2005

Proving Atomicity: An Assertional Approach.
Proceedings of the Distributed Computing, 19th International Conference, 2005

Consensus and collision detectors in wireless Ad Hoc networks.
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005

2004
Fault-tolerance in storage-centric systems (אמינות מערכות מבוססות אחסון.).
PhD thesis, 2004

2003
On the composability of consistency conditions.
Inf. Process. Lett., 2003

Aquarius: A Data-Centric Approach to CORBA Fault-Tolerance.
Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

A Data-Centric Approach for Scalable State Machine Replication.
Proceedings of the Future Directions in Distributed Computing, 2003

2001
Group communication specifications: a comprehensive study.
ACM Comput. Surv., 2001

Backoff Protocols for Distributed Mutual Exclusion and Ordering.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000
Consistency Conditions for a CORBA Caching Service.
Proceedings of the Distributed Computing, 14th International Conference, 2000

Implementing a Caching Service for Distributed CORBA Objects.
Proceedings of the Middleware 2000, 2000

1998
An Adaptive Totally Ordered Multicast Protocol That Tolerates Partitions.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

1997
The Caelum Toolkit for CSCW: The Sky is the Limit.
Proceedings of the Next Generation Information Technologies and Systems (NGITS '97), Third International Workshop, Neve Ilan, Israel, June 30, 1997

TransMIDI: A System for MIDI Sessions Over the Network Using Transis.
Proceedings of the 1997 International Computer Music Conference, 1997

Scalable group membership services for novel applications.
Proceedings of the Networks in Distributed Computing, 1997


  Loading...