Gregory V. Chockler

91 papers A* 11A 15B 4Misc 1Journal 38Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Verified High-Performance Composable Object Library for Remote Direct Memory Access.
Proc. ACM Program. Lang.
Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis
2025 J jnl
A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version).
CoRR
Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis
2025 A conf
TEE Is Not a Healer: Rollback-Resistant Reliable Storage.
DISC
Sadegh Keshavarzi, Gregory V. Chockler, Alexey Gotsman
2025 J jnl
TEE is not a Healer: Rollback-Resistant Reliable Storage.
CoRR
Sadegh Keshavarzi, Gregory V. Chockler, Alexey Gotsman
2025 J jnl
Tight Bounds on Channel Reliability via Generalized Quorum Systems (Extended Version).
CoRR
Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman, Fedor Ryabinin
2025 A* conf
Tight Bounds on Channel Reliability via Generalized Quorum Systems.
PODC
Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman, Fedor Ryabinin
2024 J jnl
Liveness and latency of Byzantine state-machine replication.
Distributed Comput.
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
2024 — conf
Mangosteen: Fast Transparent Durability for Linearizable Applications using NVM.
USENIX ATC
Sergey Egorov, Gregory V. Chockler, Brijesh Dongol, Dan O'Keeffe, Sadegh Keshavarzi
2024 J jnl
Vertical Atomic Broadcast and Passive Replication (Extended Version).
CoRR
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, Christian Roldán
2024 A conf
Vertical Atomic Broadcast and Passive Replication.
DISC
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, Christian Roldán
2024 A conf
What Cannot Be Implemented on Weak Memory?
DISC
Armando Castañeda, Gregory V. Chockler, Brijesh Dongol, Ori Lahav
2024 J jnl
What Cannot Be Implemented on Weak Memory?
CoRR
Armando Castañeda, Gregory V. Chockler, Brijesh Dongol, Ori Lahav
2023 B conf
Fault-Tolerant Computing with Unreliable Channels.
OPODIS
Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman
2023 J jnl
Fault-tolerant computing with unreliable channels.
CoRR
Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman
2022 B conf
Acuerdo: Fast Atomic Broadcast over RDMA.
ICPP
Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory V. Chockler, Alexey Gotsman
2022 — conf
Distributed Oracle for Estimating Global Network Delay with Known Error Bounds.
NETYS
Karla Vargas, Gregory V. Chockler
2022 A conf
Liveness and Latency of Byzantine State-Machine Replication.
DISC
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
2022 J jnl
Liveness and Latency of Byzantine State-Machine Replication.
CoRR
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
2022 J jnl
Making Byzantine consensus live.
Distributed Comput.
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
2021 J jnl
Multi-shot distributed transaction commit.
Distributed Comput.
Gregory V. Chockler, Alexey Gotsman
2020 J jnl
Making Byzantine Consensus Live (Extended Version).
CoRR
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
2020 A conf
Making Byzantine Consensus Live.
DISC
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
2019 J jnl
White-Box Atomic Multicast (Extended Version).
CoRR
Alexey Gotsman, Anatole Lefort, Gregory V. Chockler
2019 A conf
White-Box Atomic Multicast.
DSN
Alexey Gotsman, Anatole Lefort, Gregory V. Chockler
2018 J jnl
Multi-Shot Distributed Transaction Commit (Extended Version).
CoRR
Gregory V. Chockler, Alexey Gotsman
2018 A conf
Multi-Shot Distributed Transaction Commit.
DISC
Gregory V. Chockler, Alexey Gotsman
2018 A* conf
Session details: Session 2C: Security, Blockchains, and Replication.
PODC
Gregory V. Chockler
2017 Misc conf
Scalable communication middleware for permissioned distributed ledgers.
SYSTOR
Artem Barger, Yacov Manevich, Benjamin Mandler, Vita Bortnikov, Gennady Laventman, Gregory V. Chockler
2017 J jnl
Space Complexity of Fault Tolerant Register Emulations.
CoRR
Gregory V. Chockler, Alexander Spiegelman
2017 A* conf
Space Complexity of Fault-Tolerant Register Emulations.
PODC
Gregory V. Chockler, Alexander Spiegelman
2016 J jnl
FRAPPE: Fast Replication Platform for Elastic Services.
CoRR
Vita Bortnikov, Gregory V. Chockler, Dmitri Perelman, Alexey Roytman, Shlomit Shachor, Ilya Shnayderman
2016 A* conf
Space Bounds for Reliable Storage: Fundamental Limits of Coding.
PODC
Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
2015 A conf
A Constructive Approach for Proving Data Structures' Linearizability.
DISC
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
2015 J jnl
LADIS'14: 8th Workshop on Large-Scale Distributed Systems and Middleware.
ACM SIGOPS Oper. Syst. Rev.
Gregory V. Chockler, Flavio Junqueira, Rodrigo Rodrigues, Ymir Vigfusson
2015 J jnl
Reconfigurable State Machine Replication from Non-Reconfigurable Building Blocks.
CoRR
Vita Bortnikov, Gregory V. Chockler, Dmitri Perelman, Alexey Roytman, Shlomit Shachor, Ilya Shnayderman
2015 J jnl
Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives.
CoRR
Gregory V. Chockler, Dan Dobre, Alexander Shraer, Alexander Spiegelman
2015 B conf
Space Bounds for Reliable Storage: Fundamental Limits of Coding (Keynote).
OPODIS
Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
2015 J jnl
Space Bounds for Reliable Storage: Fundamental Limits of Coding.
CoRR
Alexander Spiegelman, Yuval Cassuto, Gregory V. Chockler, Idit Keidar
2014 — conf
Dynamic Performance Profiling of Cloud Caches.
SoCC
Trausti Saemundsson, Hjörtur Björnsson, Gregory V. Chockler, Ymir Vigfusson
2014 A conf
On Correctness of Data Structures under Reads-Write Concurrency.
DISC
Kfir Lev-Ari, Gregory V. Chockler, Idit Keidar
2013 — conf
Dynamic performance profiling of cloud caches.
SoCC
Hjörtur Björnsson, Gregory V. Chockler, Trausti Saemundsson, Ymir Vigfusson
2013 J jnl
Verifying cloud services: present and future.
ACM SIGOPS Oper. Syst. Rev.
Sara Bouchenak, Gregory V. Chockler, Hana Chockler, Gabriela Gheorghe, Nuno Santos, Alexander Shraer
2012 A* conf
Brief announcement: reconfigurable state machine replication from non-reconfigurable building blocks.
PODC
Vita Bortnikov, Gregory V. Chockler, Dmitri Perelman, Alexey Roytman, Shlomit Shachor, Ilya Shnayderman
2012 — ch.
CoMiFin Architecture and Semantic Rooms.
Collaborative Financial Infrastructure Protection
Paulo Esteves Verssimo, Roberto Baldoni, Vita Bortnikov, Gregory V. Chockler, Eliezer Dekel, Gennady Laventman, Giorgia Lodi, Luca Montanari
2012 — book
Collaborative Financial Infrastructure Protection - Tools, Abstractions, and Middleware.
Roberto Baldoni, Gregory V. Chockler
2012 — ch.
Distributed Attack Detection Using Agilis.
Collaborative Financial Infrastructure Protection
Paulo Esteves Verssimo, Leonardo Aniello, Roberto Baldoni, Gregory V. Chockler, Gennady Laventman, Giorgia Lodi, Ymir Vigfusson
2012 J jnl
Summary of the 5th workshop on large-scale distributed systems and middleware (LADIS 2011).
ACM SIGOPS Oper. Syst. Rev.
Luís E. T. Rodrigues, Divyakant Agrawal, Ymir Vigfusson, Gregory V. Chockler
2011 J jnl
Design and implementation of caching services in the cloud.
IBM J. Res. Dev.
Gregory V. Chockler, Guy Laden, Ymir Vigfusson
2011 J jnl
Special Issue on Cloud Computing.
J. Parallel Distributed Comput.
Gregory V. Chockler, Eliezer Dekel, Joseph F. JáJá, Jimmy Lin
2010 — conf
A Contract-based Event Driven Model for Collaborative Security in Financial Information Systems.
ICEIS (4)
Roberto Baldoni, Giorgia Lodi, Gregory V. Chockler, Eliezer Dekel, Barry P. Mulcahy, Giuseppe Martufi
2010 J jnl
Bulletin board: a scalable and robust eventually consistent shared memory over a peer-to-peer overlay.
ACM SIGOPS Oper. Syst. Rev.
Vita Bortnikov, Gregory V. Chockler, Alexey Roytman, Mike Spreitzer
2010 J jnl
Clouds at the crossroads: research perspectives.
ACM Crossroads
Ymir Vigfusson, Gregory V. Chockler
2010 — conf
Data caching as a cloud service.
LADIS
Gregory V. Chockler, Guy Laden, Ymir Vigfusson
2010 A conf
Dr. multicast: Rx for data center communication scalability.
EuroSys
Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Robert Burgess, Gregory V. Chockler, Haoyuan Li, Yoav Tock
2010 — conf
Magnet: practical subscription clustering for Internet-scale publish/subscribe.
DEBS
Sarunas Girdzijauskas, Gregory V. Chockler, Ymir Vigfusson, Yoav Tock, Roie Melamed
2010 — ed.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, LADIS '10, Zürich, Switzerland, July 28-29, 2010
LADIS
Gregory V. Chockler, Ymir Vigfusson, Marcos K. Aguilera, Marc Shapiro
2009 — conf
Defending financial infrastructures through early warning systems: the intelligence cloud approach.
CSIIRW
Giorgia Lodi, Leonardo Querzoni, Roberto Baldoni, Mirco Marchetti, Michele Colajanni, Vita Bortnikov, Gregory V. Chockler, Eliezer Dekel, Gennady Laventman, Alexey Roytman
2009 J jnl
Reconfigurable distributed storage for dynamic networks.
J. Parallel Distributed Comput.
Gregory V. Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman
2009 J jnl
Reliable Distributed Storage.
Computer
Gregory V. Chockler, Rachid Guerraoui, Idit Keidar, Marko Vukolic
2009 J jnl
Special Issue of the Journal of Parallel and Distributed Computing: Cloud Computing.
J. Parallel Distributed Comput.
Gregory V. Chockler, Eliezer Dekel, Joseph F. JáJá, Jimmy Lin
2009 J jnl
Summary of the 3rd ACM SIGOPS workshop on large-scale distributed systems and middleware (LADIS 2009).
ACM SIGOPS Oper. Syst. Rev.
Hakim Weatherspoon, Doug Terry, Gregory V. Chockler
2009 J jnl
Toward a cloud computing research agenda.
SIGACT News
Ken Birman, Gregory V. Chockler, Robbert van Renesse
2008 J jnl
Consensus and collision detectors in radio networks.
Distributed Comput.
Gregory V. Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte
2008 — ed.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, LADIS '08, Yorktown Heights, New York, USA, September 15-17, 2008
LADIS
Eliezer Dekel, Gregory V. Chockler
2008 A* conf
Virtual infrastructure for collision-prone wireless networks.
PODC
Gregory V. Chockler, Seth Gilbert, Nancy A. Lynch
2007 A conf
Amnesic Distributed Storage.
DISC
Gregory V. Chockler, Rachid Guerraoui, Idit Keidar
2007 A* conf
Constructing scalable overlays for pub-sub with many topics.
PODC
Gregory V. Chockler, Roie Melamed, Yoav Tock, Roman Vitenberg
2007 — conf
SpiderCast: a scalable interest-aware overlay for topic-based pub/sub communication.
DEBS
Gregory V. Chockler, Roie Melamed, Yoav Tock, Roman Vitenberg
2007 J jnl
Wait-free regular storage from Byzantine components.
Inf. Process. Lett.
Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi
2006 J jnl
Byzantine disk paxos: optimal resilience with byzantine shared memory.
Distributed Comput.
Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi
2006 — conf
Communication-Efficient Probabilistic Quorum Systems for Sensor Networks.
PerCom Workshops
Gregory V. Chockler, Seth Gilbert, Boaz Patt-Shamir
2006 J jnl
Light-Weight Leases for Storage-Centric Coordination.
Int. J. Parallel Program.
Gregory V. Chockler, Dahlia Malkhi
2005 J jnl
Active Disk Paxos with infinitely many processes.
Distributed Comput.
Gregory V. Chockler, Dahlia Malkhi
2005 A* conf
Consensus and collision detectors in wireless Ad Hoc networks.
PODC
Gregory V. Chockler, Murat Demirbas, Seth Gilbert, Calvin C. Newport, Tina Nolte
2005 A conf
Proving Atomicity: An Assertional Approach.
DISC
Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber
2005 — conf
Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast.
ICDCS Workshops
Gregory V. Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin C. Newport, Tina Nolte
2005 B conf
Reconfigurable Distributed Storage for Dynamic Networks.
OPODIS
Gregory V. Chockler, Seth Gilbert, Vincent Gramoli, Peter M. Musial, Alexander A. Shvartsman
2004 A* conf
Byzantine disk paxos: optimal resilience with byzantine shared memory.
PODC
Ittai Abraham, Gregory V. Chockler, Idit Keidar, Dahlia Malkhi
2004 — —
Fault-tolerance in storage-centric systems (אמינות מערכות מבוססות אחסון.).
Gregory V. Chockler
2003 — conf
A Data-Centric Approach for Scalable State Machine Replication.
Future Directions in Distributed Computing
Gregory V. Chockler, Dahlia Malkhi, Danny Dolev
2003 — conf
Aquarius: A Data-Centric Approach to CORBA Fault-Tolerance.
OTM Workshops
Gregory V. Chockler, Dahlia Malkhi, Barak Merimovich, David Rabinowitz
2003 J jnl
On the composability of consistency conditions.
Inf. Process. Lett.
Roy Friedman, Roman Vitenberg, Gregory V. Chockler
2002 A* conf
Active disk paxos with infinitely many processes.
PODC
Gregory V. Chockler, Dahlia Malkhi
2001 A conf
Backoff Protocols for Distributed Mutual Exclusion and Ordering.
ICDCS
Gregory V. Chockler, Dahlia Malkhi, Michael K. Reiter
2001 J jnl
Group communication specifications: a comprehensive study.
ACM Comput. Surv.
Gregory V. Chockler, Idit Keidar, Roman Vitenberg
2000 A conf
Consistency Conditions for a CORBA Caching Service.
DISC
Gregory V. Chockler, Roy Friedman, Roman Vitenberg
2000 A conf
Implementing a Caching Service for Distributed CORBA Objects.
Middleware
Gregory V. Chockler, Danny Dolev, Roy Friedman, Roman Vitenberg
1998 A* conf
An Adaptive Totally Ordered Multicast Protocol That Tolerates Partitions.
PODC
Gregory V. Chockler, N. Huleihel, Danny Dolev
1997 — conf
Scalable group membership services for novel applications.
Networks in Distributed Computing
Tal Anker, Gregory V. Chockler, Danny Dolev, Idit Keidar
1997 — conf
The Caelum Toolkit for CSCW: The Sky is the Limit.
NGITS
Tal Anker, Gregory V. Chockler, Danny Dolev, Idit Keidar
1997 — conf
TransMIDI: A System for MIDI Sessions Over the Network Using Transis.
ICMC
Dan Gang, Gregory V. Chockler, Tal Anker, Alex Kremer, Tomas Winkler