@Proceedings{felber_et_al:LIPIcs.OPODIS.2019,
title = {{LIPIcs, Vol. 153, OPODIS 2019, Complete Volume}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {1--564},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019},
URN = {urn:nbn:de:0030-drops-119510},
doi = {10.4230/LIPIcs.OPODIS.2019},
annote = {Keywords: LIPIcs, Vol. 153, OPODIS 2019, Complete Volume}
}
@InProceedings{felber_et_al:LIPIcs.OPODIS.2019.0,
author = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {0:i--0:xxii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.0},
URN = {urn:nbn:de:0030-drops-117869},
doi = {10.4230/LIPIcs.OPODIS.2019.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{guerraoui:LIPIcs.OPODIS.2019.1,
author = {Guerraoui, Rachid},
title = {{Demystifying Bitcoin}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {1:1--1:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.1},
URN = {urn:nbn:de:0030-drops-117870},
doi = {10.4230/LIPIcs.OPODIS.2019.1},
annote = {Keywords: Bitcoin, Payment systems}
}
@InProceedings{censorhillel:LIPIcs.OPODIS.2019.2,
author = {Censor-Hillel, Keren},
title = {{Distributed Optimization And Approximation: How Difficult Can It Be?}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.2},
URN = {urn:nbn:de:0030-drops-117886},
doi = {10.4230/LIPIcs.OPODIS.2019.2},
annote = {Keywords: Distributed graph algorithms, Optimization and approximations}
}
@InProceedings{pozidis:LIPIcs.OPODIS.2019.3,
author = {Pozidis, Haris},
title = {{Snap ML - Accelerated Machine Learning for Big Data}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.3},
URN = {urn:nbn:de:0030-drops-117899},
doi = {10.4230/LIPIcs.OPODIS.2019.3},
annote = {Keywords: Machine Learning, Big Data}
}
@InProceedings{levari_et_al:LIPIcs.OPODIS.2019.4,
author = {Lev-Ari, Kfir and Spiegelman, Alexander and Keidar, Idit and Malkhi, Dahlia},
title = {{FairLedger: A Fair Blockchain Protocol for Financial Institutions}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {4:1--4:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.4},
URN = {urn:nbn:de:0030-drops-117904},
doi = {10.4230/LIPIcs.OPODIS.2019.4},
annote = {Keywords: Blockchain, Fairness, Byzantine fault tolerance, Rational players, Equilibrium}
}
@InProceedings{garciaperez_et_al:LIPIcs.OPODIS.2019.5,
author = {Garc{\'\i}a-P\'{e}rez, \'{A}lvaro and Schett, Maria A.},
title = {{Deconstructing Stellar Consensus}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {5:1--5:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.5},
URN = {urn:nbn:de:0030-drops-117910},
doi = {10.4230/LIPIcs.OPODIS.2019.5},
annote = {Keywords: Blockchain, Consensus protocol, Stellar, Byzantine quorum systems}
}
@InProceedings{auvolat_et_al:LIPIcs.OPODIS.2019.6,
author = {Auvolat, Alex and Raynal, Michel and Ta\"{i}ani, Fran\c{c}ois},
title = {{Byzantine-Tolerant Set-Constrained Delivery Broadcast}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {6:1--6:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.6},
URN = {urn:nbn:de:0030-drops-117922},
doi = {10.4230/LIPIcs.OPODIS.2019.6},
annote = {Keywords: Algorithm, Asynchronous system, Byzantine process, Communication abstraction, Distributed computing, Distributed software engineering, Fault-tolerance, Message-passing, Modularity, Read/write snapshot object, Reliable broadcast, Set-constrained message delivery}
}
@InProceedings{cachin_et_al:LIPIcs.OPODIS.2019.7,
author = {Cachin, Christian and Tackmann, Bj\"{o}rn},
title = {{Asymmetric Distributed Trust}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {7:1--7:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.7},
URN = {urn:nbn:de:0030-drops-117933},
doi = {10.4230/LIPIcs.OPODIS.2019.7},
annote = {Keywords: Quorums, consensus, distributed trust, blockchains, cryptocurrencies}
}
@InProceedings{yasumi_et_al:LIPIcs.OPODIS.2019.8,
author = {Yasumi, Hiroto and Ooshita, Fukuhito and Inoue, Michiko},
title = {{Uniform Partition in Population Protocol Model Under Weak Fairness}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {8:1--8:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.8},
URN = {urn:nbn:de:0030-drops-117947},
doi = {10.4230/LIPIcs.OPODIS.2019.8},
annote = {Keywords: population protocol, uniform k-partition, distributed protocol}
}
@InProceedings{tato_et_al:LIPIcs.OPODIS.2019.9,
author = {Tato, Genc and Bertier, Marin and Rivi\`{e}re, Etienne and Tedeschi, C\'{e}dric},
title = {{Split and Migrate: Resource-Driven Placement and Discovery of Microservices at the Edge}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {9:1--9:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.9},
URN = {urn:nbn:de:0030-drops-117954},
doi = {10.4230/LIPIcs.OPODIS.2019.9},
annote = {Keywords: Distributed applications, Microservices, State management, Edge computing}
}
@InProceedings{chen_et_al:LIPIcs.OPODIS.2019.10,
author = {Chen, Zhanhao and Hassan, Ahmed and Kishi, Masoomeh Javidi and Nelson, Jacob and Palmieri, Roberto},
title = {{HaTS: Hardware-Assisted Transaction Scheduler}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {10:1--10:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.10},
URN = {urn:nbn:de:0030-drops-117965},
doi = {10.4230/LIPIcs.OPODIS.2019.10},
annote = {Keywords: Transactions, Scheduling, Hardware Transactional Memory}
}
@InProceedings{machado_et_al:LIPIcs.OPODIS.2019.11,
author = {Machado, Nuno and Maia, Francisco and Neves, Francisco and Coelho, F\'{a}bio and Pereira, Jos\'{e}},
title = {{Minha: Large-Scale Distributed Systems Testing Made Practical}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {11:1--11:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.11},
URN = {urn:nbn:de:0030-drops-117979},
doi = {10.4230/LIPIcs.OPODIS.2019.11},
annote = {Keywords: Distributed software testing, Large scale distributed systems, Simulation}
}
@InProceedings{konwar_et_al:LIPIcs.OPODIS.2019.12,
author = {Konwar, Kishori M. and Prakash, N. and M\'{e}dard, Muriel and Lynch, Nancy},
title = {{Fast Lean Erasure-Coded Atomic Memory Object}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {12:1--12:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.12},
URN = {urn:nbn:de:0030-drops-117988},
doi = {10.4230/LIPIcs.OPODIS.2019.12},
annote = {Keywords: Atomicity, Distributed Storage System, Erasure-codes}
}
@InProceedings{gelles_et_al:LIPIcs.OPODIS.2019.13,
author = {Gelles, Ran and Iyer, Siddharth},
title = {{Interactive Coding Resilient to an Unknown Number of Erasures}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {13:1--13:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.13},
URN = {urn:nbn:de:0030-drops-117999},
doi = {10.4230/LIPIcs.OPODIS.2019.13},
annote = {Keywords: Interactive coding, erasure channels, distributed computation with noise, unbounded noise}
}
@InProceedings{yu_et_al:LIPIcs.OPODIS.2019.14,
author = {Yu, Weihai and Elvinger, Victorien and Ignat, Claudia-Lavinia},
title = {{A Generic Undo Support for State-Based CRDTs}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {14:1--14:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.14},
URN = {urn:nbn:de:0030-drops-118009},
doi = {10.4230/LIPIcs.OPODIS.2019.14},
annote = {Keywords: Data replication, eventual consistency, state-based CRDT, delta-state CRDT, concurrent undo}
}
@InProceedings{alistarh_et_al:LIPIcs.OPODIS.2019.15,
author = {Alistarh, Dan and Fedorov, Alexander and Koval, Nikita},
title = {{In Search of the Fastest Concurrent Union-Find Algorithm}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.15},
URN = {urn:nbn:de:0030-drops-118012},
doi = {10.4230/LIPIcs.OPODIS.2019.15},
annote = {Keywords: union-find, concurrency, evaluation, benchmarks, hardware transactional memory}
}
@InProceedings{deazevedopiovezan_et_al:LIPIcs.OPODIS.2019.16,
author = {de Azevedo Piovezan, Felipe and Hadzilacos, Vassos and Toueg, Sam},
title = {{On Deterministic Linearizable Set Agreement Objects}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {16:1--16:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.16},
URN = {urn:nbn:de:0030-drops-118026},
doi = {10.4230/LIPIcs.OPODIS.2019.16},
annote = {Keywords: Asynchronous shared-memory systems, consensus, set agreement, deterministic objects}
}
@InProceedings{winkler_et_al:LIPIcs.OPODIS.2019.17,
author = {Winkler, Kyrill and Schmid, Ulrich and Moses, Yoram},
title = {{A Characterization of Consensus Solvability for Closed Message Adversaries}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {17:1--17:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.17},
URN = {urn:nbn:de:0030-drops-118038},
doi = {10.4230/LIPIcs.OPODIS.2019.17},
annote = {Keywords: Dynamic networks, Consensus, Message Adversary}
}
@InProceedings{fatourou_et_al:LIPIcs.OPODIS.2019.18,
author = {Fatourou, Panagiota and Kallimanis, Nikolaos D. and Kanellou, Eleni},
title = {{An Efficient Universal Construction for Large Objects}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {18:1--18:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.18},
URN = {urn:nbn:de:0030-drops-118049},
doi = {10.4230/LIPIcs.OPODIS.2019.18},
annote = {Keywords: universal construction, concurrent object, shared memory, simulation, wait-freedom, large object}
}
@InProceedings{cepeda_et_al:LIPIcs.OPODIS.2019.19,
author = {Cepeda, Diego and Chowdhury, Sakib and Li, Nan and Lopez, Raphael and Wang, Xinzhe and Golab, Wojciech},
title = {{Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {19:1--19:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.19},
URN = {urn:nbn:de:0030-drops-118050},
doi = {10.4230/LIPIcs.OPODIS.2019.19},
annote = {Keywords: Shared memory, persistent memory, synchronization, multi-word primitives, concurrency, correctness, software testing}
}
@InProceedings{harel_et_al:LIPIcs.OPODIS.2019.20,
author = {Harel, Itay and Jacob-Fanani, Amit and Sulamy, Moshe and Afek, Yehuda},
title = {{Consensus in Equilibrium: Can One Against All Decide Fairly?}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {20:1--20:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.20},
URN = {urn:nbn:de:0030-drops-118065},
doi = {10.4230/LIPIcs.OPODIS.2019.20},
annote = {Keywords: distributed computing, game theory, rational agents, consensus}
}
@InProceedings{schmid_et_al:LIPIcs.OPODIS.2019.21,
author = {Schmid, Laura and Chatterjee, Krishnendu and Schmid, Stefan},
title = {{The Evolutionary Price of Anarchy: Locally Bounded Agents in a Dynamic Virus Game}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {21:1--21:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.21},
URN = {urn:nbn:de:0030-drops-118071},
doi = {10.4230/LIPIcs.OPODIS.2019.21},
annote = {Keywords: Evolutionary Games, Virus Propagation, Price of Anarchy, Analysis}
}
@InProceedings{gotoh_et_al:LIPIcs.OPODIS.2019.22,
author = {Gotoh, Tsuyoshi and Flocchini, Paola and Masuzawa, Toshimitsu and Santoro, Nicola},
title = {{Tight Bounds on Distributed Exploration of Temporal Graphs}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {22:1--22:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.22},
URN = {urn:nbn:de:0030-drops-118082},
doi = {10.4230/LIPIcs.OPODIS.2019.22},
annote = {Keywords: Distributed algorithm, Mobile agents, Exploration of dynamic networks, Arbitrary footprint}
}
@InProceedings{zheng_et_al:LIPIcs.OPODIS.2019.23,
author = {Zheng, Xiong and Garg, Vijay K.},
title = {{Parallel and Distributed Algorithms for the Housing Allocation Problem}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {23:1--23:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.23},
URN = {urn:nbn:de:0030-drops-118090},
doi = {10.4230/LIPIcs.OPODIS.2019.23},
annote = {Keywords: Parallel Algorithm, Distributed Algorithm, Housing Allocation, Housing Markets, Pareto optimality}
}
@InProceedings{das_et_al:LIPIcs.OPODIS.2019.24,
author = {Das, Shantanu and Di Luna, Giuseppe A. and Flocchini, Paola and Santoro, Nicola and Viglietta, Giovanni and Yamashita, Masafumi},
title = {{Oblivious Permutations on the Plane}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {24:1--24:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.24},
URN = {urn:nbn:de:0030-drops-118103},
doi = {10.4230/LIPIcs.OPODIS.2019.24},
annote = {Keywords: Distributed Algorithms, Mobile Robots, Fully synchronous, Oblivious, Permutations, Chirality, Sequence of configurations}
}
@InProceedings{flocchini_et_al:LIPIcs.OPODIS.2019.25,
author = {Flocchini, Paola and Santoro, Nicola and Wada, Koichi},
title = {{On Memory, Communication, and Synchronous Schedulers When Moving and Computing}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {25:1--25:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.25},
URN = {urn:nbn:de:0030-drops-118114},
doi = {10.4230/LIPIcs.OPODIS.2019.25},
annote = {Keywords: Look-Compute-Move, Oblivious mobile robots, Robots with lights, Memory versus Communication, Moving and Computing}
}
@InProceedings{acharjee_et_al:LIPIcs.OPODIS.2019.26,
author = {Acharjee, Sumi and Georgiou, Konstantinos and Kundu, Somnath and Srinivasan, Akshaya},
title = {{Lower Bounds for Shoreline Searching With 2 or More Robots}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {26:1--26:11},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.26},
URN = {urn:nbn:de:0030-drops-118121},
doi = {10.4230/LIPIcs.OPODIS.2019.26},
annote = {Keywords: 2-Dimensional Search, Online Algorithms, Competitive Analysis, Lower Bounds}
}
@InProceedings{kamei_et_al:LIPIcs.OPODIS.2019.27,
author = {Kamei, Sayaka and Lamani, Anissa and Ooshita, Fukuhito and Tixeuil, S\'{e}bastien and Wada, Koichi},
title = {{Gathering on Rings for Myopic Asynchronous Robots With Lights}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {27:1--27:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.27},
URN = {urn:nbn:de:0030-drops-118139},
doi = {10.4230/LIPIcs.OPODIS.2019.27},
annote = {Keywords: LCM robot system, ASYNC schedulers, myopic, luminous, ring networks}
}
@InProceedings{hadzilacos_et_al:LIPIcs.OPODIS.2019.28,
author = {Hadzilacos, Vassos and Hu, Xing and Toueg, Sam},
title = {{Optimal Register Construction in M\&M Systems}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {28:1--28:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.28},
URN = {urn:nbn:de:0030-drops-118148},
doi = {10.4230/LIPIcs.OPODIS.2019.28},
annote = {Keywords: asynchronous distributed system, shared memory, message passing}
}
@InProceedings{zheng_et_al:LIPIcs.OPODIS.2019.29,
author = {Zheng, Xiong and Garg, Vijay K. and Kaippallimalil, John},
title = {{Linearizable Replicated State Machines With Lattice Agreement}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {29:1--29:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.29},
URN = {urn:nbn:de:0030-drops-118158},
doi = {10.4230/LIPIcs.OPODIS.2019.29},
annote = {Keywords: Lattice Agreement, Generalized Lattice Agreement, Replicated State Machine, Consensus}
}
@InProceedings{khan_et_al:LIPIcs.OPODIS.2019.30,
author = {Khan, Muhammad Samir and Tseng, Lewis and Vaidya, Nitin H.},
title = {{Exact Byzantine Consensus on Arbitrary Directed Graphs Under Local Broadcast Model}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {30:1--30:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.30},
URN = {urn:nbn:de:0030-drops-118161},
doi = {10.4230/LIPIcs.OPODIS.2019.30},
annote = {Keywords: complexity and impossibility results for distributed computing, fault-tolerance, reliability}
}
@InProceedings{kuznetsov_et_al:LIPIcs.OPODIS.2019.31,
author = {Kuznetsov, Petr and Rieutord, Thibault and Tucci-Piergiovanni, Sara},
title = {{Reconfigurable Lattice Agreement and Applications}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {31:1--31:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.31},
URN = {urn:nbn:de:0030-drops-118177},
doi = {10.4230/LIPIcs.OPODIS.2019.31},
annote = {Keywords: Reconfigurable services, lattice agreement}
}
@InProceedings{emek_et_al:LIPIcs.OPODIS.2019.32,
author = {Emek, Yuval and Harlev, Noga and Izumi, Taisuke},
title = {{Towards Distributed Two-Stage Stochastic Optimization}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {32:1--32:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.32},
URN = {urn:nbn:de:0030-drops-118187},
doi = {10.4230/LIPIcs.OPODIS.2019.32},
annote = {Keywords: weighted vertex cover, distributed graph algorithms, two-stage stochastic optimization, primal-dual}
}
@InProceedings{nanongkai_et_al:LIPIcs.OPODIS.2019.33,
author = {Nanongkai, Danupon and Scquizzato, Michele},
title = {{Equivalence Classes and Conditional Hardness in Massively Parallel Computations}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {33:1--33:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.33},
URN = {urn:nbn:de:0030-drops-118194},
doi = {10.4230/LIPIcs.OPODIS.2019.33},
annote = {Keywords: Massively parallel computation, conditional hardness, fine-grained complexity}
}
@InProceedings{nazari:LIPIcs.OPODIS.2019.34,
author = {Nazari, Yasamin},
title = {{Sparse Hopsets in Congested Clique}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {34:1--34:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.34},
URN = {urn:nbn:de:0030-drops-118207},
doi = {10.4230/LIPIcs.OPODIS.2019.34},
annote = {Keywords: Hopsets, Congested Clique, Shortest Paths, Massively Parallel Computation}
}
@InProceedings{dinitz_et_al:LIPIcs.OPODIS.2019.35,
author = {Dinitz, Michael and Nazari, Yasamin},
title = {{Massively Parallel Approximate Distance Sketches}},
booktitle = {23rd International Conference on Principles of Distributed Systems (OPODIS 2019)},
pages = {35:1--35:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-133-7},
ISSN = {1868-8969},
year = {2020},
volume = {153},
editor = {Felber, Pascal and Friedman, Roy and Gilbert, Seth and Miller, Avery},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.35},
URN = {urn:nbn:de:0030-drops-118216},
doi = {10.4230/LIPIcs.OPODIS.2019.35},
annote = {Keywords: Distance Sketches, Massively Parallel Computation, Distance Oracles, Single-Source Shortest Paths}
}
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