LIPIcs, Volume 286, OPODIS 2023
-
Alysson Bessani, Xavier Défago, Junya Nakamura, Koichi Wada, and Yukiko Yamauchi
LIPIcs, Volume 286, OPODIS 2023, Complete Volume
10.4230/LIPIcs.OPODIS.2023
-
Alysson Bessani, Xavier Défago, Junya Nakamura, Koichi Wada, and Yukiko Yamauchi
Front Matter, Table of Contents, Preface, Conference Organization
10.4230/LIPIcs.OPODIS.2023.0
-
Vincent Gramoli
From Consensus Research to Redbelly Network Pty Ltd (Invited Talk)
10.4230/LIPIcs.OPODIS.2023.1
-
François Le Gall
Quantum Distributed Computing: Potential and Limitations (Invited Talk)
10.4230/LIPIcs.OPODIS.2023.2
-
Roger Wattenhofer
Distributed Algorithms as a Gateway To Deductive Learning (Invited Talk)
10.4230/LIPIcs.OPODIS.2023.3
-
Hagit Attiya, Antonella Del Pozzo, Alessia Milani, Ulysse Pavloff, and Alexandre Rapetti
The Synchronization Power of Auditable Registers
10.4230/LIPIcs.OPODIS.2023.4
-
Caterina Feletti, Carlo Mereghetti, and Beatrice Palano
𝒪(log{n})-Time Uniform Circle Formation for Asynchronous Opaque Luminous Robots
10.4230/LIPIcs.OPODIS.2023.5
-
Hagit Attiya and Jennifer L. Welch
Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit
10.4230/LIPIcs.OPODIS.2023.6
-
Jamison W. Weber, Tishya Chhabra, Andréa W. Richa, and Joshua J. Daymude
Energy-Constrained Programmable Matter Under Unfair Adversaries
10.4230/LIPIcs.OPODIS.2023.7
-
Andrei Constantinescu, Diana Ghinea, Lioba Heimbach, Zilin Wang, and Roger Wattenhofer
A Fair and Resilient Decentralized Clock Network for Transaction Ordering
10.4230/LIPIcs.OPODIS.2023.8
-
Lewis Tseng and Callie Sardina
Byzantine Consensus in Abstract MAC Layer
10.4230/LIPIcs.OPODIS.2023.9
-
Colin Cooper, Tomasz Radzik, and Takeharu Shiraga
Discrete Incremental Voting
10.4230/LIPIcs.OPODIS.2023.10
-
Juho Hirvonen, Laura Schmid, Krishnendu Chatterjee, and Stefan Schmid
On the Convergence Time in Graphical Games: A Locality-Sensitive Approach
10.4230/LIPIcs.OPODIS.2023.11
-
Orestis Alpos, Ignacio Amores-Sesar, Christian Cachin, and Michelle Yeo
Eating Sandwiches: Modular and Lightweight Elimination of Transaction Reordering Attacks
10.4230/LIPIcs.OPODIS.2023.12
-
Charlie Carlson, Daniel Frishberg, and Eric Vigoda
Improved Distributed Algorithms for Random Colorings
10.4230/LIPIcs.OPODIS.2023.13
-
Andrew Lewis-Pye and Ittai Abraham
Fever: Optimal Responsive View Synchronisation
10.4230/LIPIcs.OPODIS.2023.14
-
Ramy Fakhoury, Anastasia Braginsky, Idit Keidar, and Yoav Zuriel
Nova: Safe Off-Heap Memory Allocation and Reclamation
10.4230/LIPIcs.OPODIS.2023.15
-
Yuval Gil
Improved Deterministic Distributed Maximum Weight Independent Set Approximation in Sparse Graphs
10.4230/LIPIcs.OPODIS.2023.16
-
Shalom M. Asbell and Eric Ruppert
A Wait-Free Deque With Polylogarithmic Step Complexity
10.4230/LIPIcs.OPODIS.2023.17
-
Silvia Bonomi, Giovanni Farina, and Sébastien Tixeuil
Reliable Broadcast Despite Mobile Byzantine Faults
10.4230/LIPIcs.OPODIS.2023.18
-
Ariel Livshits and Yoram Moses
Probable Approximate Coordination
10.4230/LIPIcs.OPODIS.2023.19
-
Junghyun Lee, Laura Schmid, and Se-Young Yun
Flooding with Absorption: An Efficient Protocol for Heterogeneous Bandits over Complex Networks
10.4230/LIPIcs.OPODIS.2023.20
-
Alejandro Naser-Pastoriza, Gregory Chockler, and Alexey Gotsman
Fault-Tolerant Computing with Unreliable Channels
10.4230/LIPIcs.OPODIS.2023.21
-
Akanksha Agrawal, John Augustine, David Peleg, and Srikkanth Ramachandran
Local Recurrent Problems in the SUPPORTED Model
10.4230/LIPIcs.OPODIS.2023.22
-
Jämes Ménétrey, Aeneas Grüter, Peterson Yuhala, Julius Oeftiger, Pascal Felber, Marcelo Pasin, and Valerio Schiavoni
A Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs
10.4230/LIPIcs.OPODIS.2023.23
-
Tomer Lev Lehman, Hagit Attiya, and Danny Hendler
Recoverable and Detectable Self-Implementations of Swap
10.4230/LIPIcs.OPODIS.2023.24
-
Alfredo Navarra and Francesco Piselli
Silent Programmable Matter: Coating
10.4230/LIPIcs.OPODIS.2023.25
-
Shay Kutten, Peter Robinson, and Ming Ming Tan
Tight Bounds on the Message Complexity of Distributed Tree Verification
10.4230/LIPIcs.OPODIS.2023.26
-
Eden Aldema Tshuva and Rotem Oshman
On Polynomial Time Local Decision
10.4230/LIPIcs.OPODIS.2023.27
-
Paola Flocchini, Nicola Santoro, Yuichi Sudo, and Koichi Wada
On Asynchrony, Memory, and Communication: Separations and Landscapes
10.4230/LIPIcs.OPODIS.2023.28
-
Ittai Abraham, Naama Ben-David, Gilad Stern, and Sravya Yandamuri
On the Round Complexity of Asynchronous Crusader Agreement
10.4230/LIPIcs.OPODIS.2023.29
-
Avinandan Das, Pierre Fraigniaud, and Adi Rosén
Distributed Partial Coloring via Gradual Rounding
10.4230/LIPIcs.OPODIS.2023.30
-
João Paulo Bezerra and Petr Kuznetsov
A Tight Bound on Multiple Spending in Decentralized Cryptocurrencies
10.4230/LIPIcs.OPODIS.2023.31
-
Hagit Attiya and Jennifer L. Welch
Bounds on Worst-Case Responsiveness for Agreement Algorithms
10.4230/LIPIcs.OPODIS.2023.32
-
Giuseppe A. Di Luna, Paola Flocchini, Giuseppe Prencipe, and Nicola Santoro
Black Hole Search in Dynamic Rings: The Scattered Case
10.4230/LIPIcs.OPODIS.2023.33
-
Rana Shahout and Roy Friedman
Sketching the Path to Efficiency: Lightweight Learned Cache Replacement
10.4230/LIPIcs.OPODIS.2023.34
-
Vincent Kowalski, Achour Mostéfaoui, and Matthieu Perrin
Atomic Register Abstractions for Byzantine-Prone Distributed Systems
10.4230/LIPIcs.OPODIS.2023.35