@Proceedings{bessani_et_al:LIPIcs.OPODIS.2023,
title = {{LIPIcs, Volume 286, OPODIS 2023, Complete Volume}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {1--702},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023},
URN = {urn:nbn:de:0030-drops-194896},
doi = {10.4230/LIPIcs.OPODIS.2023},
annote = {Keywords: LIPIcs, Volume 286, OPODIS 2023, Complete Volume}
}
@InProceedings{bessani_et_al:LIPIcs.OPODIS.2023.0,
author = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {0:i--0:xvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.0},
URN = {urn:nbn:de:0030-drops-194903},
doi = {10.4230/LIPIcs.OPODIS.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{gramoli:LIPIcs.OPODIS.2023.1,
author = {Gramoli, Vincent},
title = {{From Consensus Research to Redbelly Network Pty Ltd}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.1},
URN = {urn:nbn:de:0030-drops-194915},
doi = {10.4230/LIPIcs.OPODIS.2023.1},
annote = {Keywords: Innovations, Commercialisation}
}
@InProceedings{legall:LIPIcs.OPODIS.2023.2,
author = {Le Gall, Fran\c{c}ois},
title = {{Quantum Distributed Computing: Potential and Limitations}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.2},
URN = {urn:nbn:de:0030-drops-194925},
doi = {10.4230/LIPIcs.OPODIS.2023.2},
annote = {Keywords: Quantum computing, distributed algorithms, CONGEST model, LOCAL model}
}
@InProceedings{wattenhofer:LIPIcs.OPODIS.2023.3,
author = {Wattenhofer, Roger},
title = {{Distributed Algorithms as a Gateway To Deductive Learning}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.3},
URN = {urn:nbn:de:0030-drops-194936},
doi = {10.4230/LIPIcs.OPODIS.2023.3},
annote = {Keywords: abstract visual reasoning, agent-based reasoning, classic algorithm benchmarks, differentiable status registers, explainable graphs, graph generation algorithms, integer sequences, neural combinatorial circuits, recurrent network algorithms, origami folding, Tatham’s puzzles}
}
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2023.4,
author = {Attiya, Hagit and Del Pozzo, Antonella and Milani, Alessia and Pavloff, Ulysse and Rapetti, Alexandre},
title = {{The Synchronization Power of Auditable Registers}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {4:1--4:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.4},
URN = {urn:nbn:de:0030-drops-194940},
doi = {10.4230/LIPIcs.OPODIS.2023.4},
annote = {Keywords: Auditability, atomic register, fault tolerance, consensus number}
}
@InProceedings{feletti_et_al:LIPIcs.OPODIS.2023.5,
author = {Feletti, Caterina and Mereghetti, Carlo and Palano, Beatrice},
title = {{𝒪(log\{n\})-Time Uniform Circle Formation for Asynchronous Opaque Luminous Robots}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {5:1--5:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.5},
URN = {urn:nbn:de:0030-drops-194956},
doi = {10.4230/LIPIcs.OPODIS.2023.5},
annote = {Keywords: Autonomous mobile robots, Opaque robots, Luminous robots, Pattern formation}
}
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2023.6,
author = {Attiya, Hagit and Welch, Jennifer L.},
title = {{Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {6:1--6:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.6},
URN = {urn:nbn:de:0030-drops-194967},
doi = {10.4230/LIPIcs.OPODIS.2023.6},
annote = {Keywords: graded broadcast, gradecast, binding, approximate agreement}
}
@InProceedings{weber_et_al:LIPIcs.OPODIS.2023.7,
author = {Weber, Jamison W. and Chhabra, Tishya and Richa, Andr\'{e}a W. and Daymude, Joshua J.},
title = {{Energy-Constrained Programmable Matter Under Unfair Adversaries}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {7:1--7:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.7},
URN = {urn:nbn:de:0030-drops-194971},
doi = {10.4230/LIPIcs.OPODIS.2023.7},
annote = {Keywords: Programmable matter, amoebot model, energy distribution, concurrency}
}
@InProceedings{constantinescu_et_al:LIPIcs.OPODIS.2023.8,
author = {Constantinescu, Andrei and Ghinea, Diana and Heimbach, Lioba and Wang, Zilin and Wattenhofer, Roger},
title = {{A Fair and Resilient Decentralized Clock Network for Transaction Ordering}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {8:1--8:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.8},
URN = {urn:nbn:de:0030-drops-194989},
doi = {10.4230/LIPIcs.OPODIS.2023.8},
annote = {Keywords: Median Validity, Blockchain, Fair Ordering, Front-running Prevention, Miner Extractable Value}
}
@InProceedings{tseng_et_al:LIPIcs.OPODIS.2023.9,
author = {Tseng, Lewis and Sardina, Callie},
title = {{Byzantine Consensus in Abstract MAC Layer}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {9:1--9:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.9},
URN = {urn:nbn:de:0030-drops-194992},
doi = {10.4230/LIPIcs.OPODIS.2023.9},
annote = {Keywords: Byzantine, Randomized Consensus, Approximate Consensus, Abstract MAC}
}
@InProceedings{cooper_et_al:LIPIcs.OPODIS.2023.10,
author = {Cooper, Colin and Radzik, Tomasz and Shiraga, Takeharu},
title = {{Discrete Incremental Voting}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {10:1--10:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.10},
URN = {urn:nbn:de:0030-drops-195005},
doi = {10.4230/LIPIcs.OPODIS.2023.10},
annote = {Keywords: Random distributed processes, Pull voting}
}
@InProceedings{hirvonen_et_al:LIPIcs.OPODIS.2023.11,
author = {Hirvonen, Juho and Schmid, Laura and Chatterjee, Krishnendu and Schmid, Stefan},
title = {{On the Convergence Time in Graphical Games: A Locality-Sensitive Approach}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {11:1--11:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.11},
URN = {urn:nbn:de:0030-drops-195015},
doi = {10.4230/LIPIcs.OPODIS.2023.11},
annote = {Keywords: distributed computing, Nash equilibria, mechanism design, best-response dynamics}
}
@InProceedings{alpos_et_al:LIPIcs.OPODIS.2023.12,
author = {Alpos, Orestis and Amores-Sesar, Ignacio and Cachin, Christian and Yeo, Michelle},
title = {{Eating Sandwiches: Modular and Lightweight Elimination of Transaction Reordering Attacks}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {12:1--12:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.12},
URN = {urn:nbn:de:0030-drops-195029},
doi = {10.4230/LIPIcs.OPODIS.2023.12},
annote = {Keywords: Consensus, MEV, Byzantine behavior, Rational behavior}
}
@InProceedings{carlson_et_al:LIPIcs.OPODIS.2023.13,
author = {Carlson, Charlie and Frishberg, Daniel and Vigoda, Eric},
title = {{Improved Distributed Algorithms for Random Colorings}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {13:1--13:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.13},
URN = {urn:nbn:de:0030-drops-195030},
doi = {10.4230/LIPIcs.OPODIS.2023.13},
annote = {Keywords: Distributed Graph Algorithms, Local Algorithms, Coloring, Glauber Dynamics, Sampling, Markov Chains}
}
@InProceedings{lewispye_et_al:LIPIcs.OPODIS.2023.14,
author = {Lewis-Pye, Andrew and Abraham, Ittai},
title = {{Fever: Optimal Responsive View Synchronisation}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {14:1--14:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.14},
URN = {urn:nbn:de:0030-drops-195041},
doi = {10.4230/LIPIcs.OPODIS.2023.14},
annote = {Keywords: Distributed Systems, State Machine Replication}
}
@InProceedings{fakhoury_et_al:LIPIcs.OPODIS.2023.15,
author = {Fakhoury, Ramy and Braginsky, Anastasia and Keidar, Idit and Zuriel, Yoav},
title = {{Nova: Safe Off-Heap Memory Allocation and Reclamation}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {15:1--15:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.15},
URN = {urn:nbn:de:0030-drops-195052},
doi = {10.4230/LIPIcs.OPODIS.2023.15},
annote = {Keywords: memory reclamation, concurrency, performance, off-heap allocation}
}
@InProceedings{gil:LIPIcs.OPODIS.2023.16,
author = {Gil, Yuval},
title = {{Improved Deterministic Distributed Maximum Weight Independent Set Approximation in Sparse Graphs}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {16:1--16:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.16},
URN = {urn:nbn:de:0030-drops-195067},
doi = {10.4230/LIPIcs.OPODIS.2023.16},
annote = {Keywords: Approximation algorithms, Sparse graphs, The CONGEST model}
}
@InProceedings{asbell_et_al:LIPIcs.OPODIS.2023.17,
author = {Asbell, Shalom M. and Ruppert, Eric},
title = {{A Wait-Free Deque With Polylogarithmic Step Complexity}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {17:1--17:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.17},
URN = {urn:nbn:de:0030-drops-195073},
doi = {10.4230/LIPIcs.OPODIS.2023.17},
annote = {Keywords: Lock-Free, Wait-Free, Double-Ended Queue, Deque, Stack, Space-Bounded, Polylogarithmic, Linearizable}
}
@InProceedings{bonomi_et_al:LIPIcs.OPODIS.2023.18,
author = {Bonomi, Silvia and Farina, Giovanni and Tixeuil, S\'{e}bastien},
title = {{Reliable Broadcast Despite Mobile Byzantine Faults}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {18:1--18:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.18},
URN = {urn:nbn:de:0030-drops-195083},
doi = {10.4230/LIPIcs.OPODIS.2023.18},
annote = {Keywords: Byzantine fault-tolerance, Reliable Broadcast, Mobile Byzantine Faults}
}
@InProceedings{livshits_et_al:LIPIcs.OPODIS.2023.19,
author = {Livshits, Ariel and Moses, Yoram},
title = {{Probable Approximate Coordination}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {19:1--19:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.19},
URN = {urn:nbn:de:0030-drops-195090},
doi = {10.4230/LIPIcs.OPODIS.2023.19},
annote = {Keywords: Distributed coordination, ordered response, exponentially distributed delay}
}
@InProceedings{lee_et_al:LIPIcs.OPODIS.2023.20,
author = {Lee, Junghyun and Schmid, Laura and Yun, Se-Young},
title = {{Flooding with Absorption: An Efficient Protocol for Heterogeneous Bandits over Complex Networks}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {20:1--20:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.20},
URN = {urn:nbn:de:0030-drops-195100},
doi = {10.4230/LIPIcs.OPODIS.2023.20},
annote = {Keywords: multi-armed bandits, multi-agent systems, collaborative learning, network protocol, flooding}
}
@InProceedings{naserpastoriza_et_al:LIPIcs.OPODIS.2023.21,
author = {Naser-Pastoriza, Alejandro and Chockler, Gregory and Gotsman, Alexey},
title = {{Fault-Tolerant Computing with Unreliable Channels}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {21:1--21:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.21},
URN = {urn:nbn:de:0030-drops-195118},
doi = {10.4230/LIPIcs.OPODIS.2023.21},
annote = {Keywords: Consensus, network partitions, liveness, synchronizers}
}
@InProceedings{agrawal_et_al:LIPIcs.OPODIS.2023.22,
author = {Agrawal, Akanksha and Augustine, John and Peleg, David and Ramachandran, Srikkanth},
title = {{Local Recurrent Problems in the SUPPORTED Model}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {22:1--22:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.22},
URN = {urn:nbn:de:0030-drops-195124},
doi = {10.4230/LIPIcs.OPODIS.2023.22},
annote = {Keywords: Distributed Algorithms, LOCAL Model, SUPPORTED Model}
}
@InProceedings{menetrey_et_al:LIPIcs.OPODIS.2023.23,
author = {M\'{e}n\'{e}trey, J\"{a}mes and Gr\"{u}ter, Aeneas and Yuhala, Peterson and Oeftiger, Julius and Felber, Pascal and Pasin, Marcelo and Schiavoni, Valerio},
title = {{A Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {23:1--23:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.23},
URN = {urn:nbn:de:0030-drops-195132},
doi = {10.4230/LIPIcs.OPODIS.2023.23},
annote = {Keywords: Publish/Subscribe, WebAssembly, Attestation, TLS, Trusted Execution Environment, Cloud-Edge Continuum}
}
@InProceedings{levlehman_et_al:LIPIcs.OPODIS.2023.24,
author = {Lev Lehman, Tomer and Attiya, Hagit and Hendler, Danny},
title = {{Recoverable and Detectable Self-Implementations of Swap}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {24:1--24:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.24},
URN = {urn:nbn:de:0030-drops-195140},
doi = {10.4230/LIPIcs.OPODIS.2023.24},
annote = {Keywords: Multi-core algorithms, persistent memory, non-volatile memory, recoverable objects, detectablitly}
}
@InProceedings{navarra_et_al:LIPIcs.OPODIS.2023.25,
author = {Navarra, Alfredo and Piselli, Francesco},
title = {{Silent Programmable Matter: Coating}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {25:1--25:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.25},
URN = {urn:nbn:de:0030-drops-195150},
doi = {10.4230/LIPIcs.OPODIS.2023.25},
annote = {Keywords: Programmable Matter, Coating, Asynchrony, Stigmergy}
}
@InProceedings{kutten_et_al:LIPIcs.OPODIS.2023.26,
author = {Kutten, Shay and Robinson, Peter and Tan, Ming Ming},
title = {{Tight Bounds on the Message Complexity of Distributed Tree Verification}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {26:1--26:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.26},
URN = {urn:nbn:de:0030-drops-195163},
doi = {10.4230/LIPIcs.OPODIS.2023.26},
annote = {Keywords: Distributed Graph Algorithm, Lower Bound}
}
@InProceedings{aldematshuva_et_al:LIPIcs.OPODIS.2023.27,
author = {Aldema Tshuva, Eden and Oshman, Rotem},
title = {{On Polynomial Time Local Decision}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {27:1--27:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.27},
URN = {urn:nbn:de:0030-drops-195179},
doi = {10.4230/LIPIcs.OPODIS.2023.27},
annote = {Keywords: Local Decision, Polynomial-Time, LD, NLD}
}
@InProceedings{flocchini_et_al:LIPIcs.OPODIS.2023.28,
author = {Flocchini, Paola and Santoro, Nicola and Sudo, Yuichi and Wada, Koichi},
title = {{On Asynchrony, Memory, and Communication: Separations and Landscapes}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {28:1--28:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.28},
URN = {urn:nbn:de:0030-drops-195188},
doi = {10.4230/LIPIcs.OPODIS.2023.28},
annote = {Keywords: Look-Compute-Move, Oblivious mobile robots, Robots with lights, Memory versus Communication, Moving and Computing, Asynchrony}
}
@InProceedings{abraham_et_al:LIPIcs.OPODIS.2023.29,
author = {Abraham, Ittai and Ben-David, Naama and Stern, Gilad and Yandamuri, Sravya},
title = {{On the Round Complexity of Asynchronous Crusader Agreement}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {29:1--29:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.29},
URN = {urn:nbn:de:0030-drops-195195},
doi = {10.4230/LIPIcs.OPODIS.2023.29},
annote = {Keywords: lower bounds, asynchronous protocols, round complexity}
}
@InProceedings{das_et_al:LIPIcs.OPODIS.2023.30,
author = {Das, Avinandan and Fraigniaud, Pierre and Ros\'{e}n, Adi},
title = {{Distributed Partial Coloring via Gradual Rounding}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {30:1--30:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.30},
URN = {urn:nbn:de:0030-drops-195205},
doi = {10.4230/LIPIcs.OPODIS.2023.30},
annote = {Keywords: Distributed graph coloring, partial coloring, weak coloring}
}
@InProceedings{bezerra_et_al:LIPIcs.OPODIS.2023.31,
author = {Bezerra, Jo\~{a}o Paulo and Kuznetsov, Petr},
title = {{A Tight Bound on Multiple Spending in Decentralized Cryptocurrencies}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {31:1--31:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.31},
URN = {urn:nbn:de:0030-drops-195210},
doi = {10.4230/LIPIcs.OPODIS.2023.31},
annote = {Keywords: Quorum systems, decentralized trust, consistency measure, asset transfer, accountability}
}
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2023.32,
author = {Attiya, Hagit and Welch, Jennifer L.},
title = {{Bounds on Worst-Case Responsiveness for Agreement Algorithms}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {32:1--32:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.32},
URN = {urn:nbn:de:0030-drops-195229},
doi = {10.4230/LIPIcs.OPODIS.2023.32},
annote = {Keywords: bounded-delay model, basic round model, omission failures, Byzantine failures}
}
@InProceedings{diluna_et_al:LIPIcs.OPODIS.2023.33,
author = {Di Luna, Giuseppe A. and Flocchini, Paola and Prencipe, Giuseppe and Santoro, Nicola},
title = {{Black Hole Search in Dynamic Rings: The Scattered Case}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {33:1--33:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.33},
URN = {urn:nbn:de:0030-drops-195233},
doi = {10.4230/LIPIcs.OPODIS.2023.33},
annote = {Keywords: Black hole search, mobile agents, dynamic graph}
}
@InProceedings{shahout_et_al:LIPIcs.OPODIS.2023.34,
author = {Shahout, Rana and Friedman, Roy},
title = {{Sketching the Path to Efficiency: Lightweight Learned Cache Replacement}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {34:1--34:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.34},
URN = {urn:nbn:de:0030-drops-195249},
doi = {10.4230/LIPIcs.OPODIS.2023.34},
annote = {Keywords: Data streams, Memory Management, Cache Policy, ML}
}
@InProceedings{kowalski_et_al:LIPIcs.OPODIS.2023.35,
author = {Kowalski, Vincent and Most\'{e}faoui, Achour and Perrin, Matthieu},
title = {{Atomic Register Abstractions for Byzantine-Prone Distributed Systems}},
booktitle = {27th International Conference on Principles of Distributed Systems (OPODIS 2023)},
pages = {35:1--35:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-308-9},
ISSN = {1868-8969},
year = {2024},
volume = {286},
editor = {Bessani, Alysson and D\'{e}fago, Xavier and Nakamura, Junya and Wada, Koichi and Yamauchi, Yukiko},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2023.35},
URN = {urn:nbn:de:0030-drops-195257},
doi = {10.4230/LIPIcs.OPODIS.2023.35},
annote = {Keywords: Byzantine processes, Concurrent Object, Linearizability, Shared Register}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing