LIPIcs, Volume 121, DISC 2018

Ulrich Schmid and Josef Widder LIPIcs, Volume 121, DISC'18, Complete Volume 10.4230/LIPIcs.DISC.2018
Ulrich Schmid and Josef Widder Front Matter, Table of Contents, Preface, Conference Organization, Awards 10.4230/LIPIcs.DISC.2018.0
Sándor P. Fekete Autonomous Vehicles: From Individual Navigation to Challenges of Distributed Swarms (Invited Talk) 10.4230/LIPIcs.DISC.2018.1
Tom Goldstein Challenges for Machine Learning on Distributed Platforms (Invited Talk) 10.4230/LIPIcs.DISC.2018.2
Michael Mendler Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk) 10.4230/LIPIcs.DISC.2018.3
Yehuda Afek, Yuval Emek, and Noa Kolikant Selecting a Leader in a Network of Finite State Machines 10.4230/LIPIcs.DISC.2018.4
Yehuda Afek, Shaked Rafaeli, and Moshe Sulamy The Role of A-priori Information in Networks of Rational Agents 10.4230/LIPIcs.DISC.2018.5
Mohamad Ahmadi, Fabian Kuhn, and Rotem Oshman Distributed Approximate Maximum Matching in the CONGEST Model 10.4230/LIPIcs.DISC.2018.6
Karolos Antoniadis, Rachid Guerraoui, Dahlia Malkhi, and Dragos-Adrian Seredinschi State Machine Replication Is More Expensive Than Consensus 10.4230/LIPIcs.DISC.2018.7
James Aspnes, Bernhard Haeupler, Alexander Tong, and Philipp Woelfel Allocate-On-Use Space Complexity of Shared-Memory Algorithms 10.4230/LIPIcs.DISC.2018.8
Alkida Balliu, Sebastian Brandt, Dennis Olivetti, and Jukka Suomela Almost Global Problems in the LOCAL Model 10.4230/LIPIcs.DISC.2018.9
Petra Berenbrink, Robert Elsässer, Tom Friedetzky, Dominik Kaaser, Peter Kling, and Tomasz Radzik A Population Protocol for Exact Majority with O(log5/3 n) Stabilization Time and Theta(log n) States 10.4230/LIPIcs.DISC.2018.10
Alon Berger, Idit Keidar, and Alexander Spiegelman Integrated Bounds for Disintegrated Storage 10.4230/LIPIcs.DISC.2018.11
Marthe Bonamy, Paul Ouvrard, Mikaël Rabie, Jukka Suomela, and Jara Uitto Distributed Recoloring 10.4230/LIPIcs.DISC.2018.12
Sebastian Brandt, Jara Uitto, and Roger Wattenhofer A Tight Lower Bound for Semi-Synchronous Collaborative Grid Exploration 10.4230/LIPIcs.DISC.2018.13
Gregory Chockler and Alexey Gotsman Multi-Shot Distributed Transaction Commit 10.4230/LIPIcs.DISC.2018.14
Artur Czumaj and Peter Davies Deterministic Blind Radio Networks 10.4230/LIPIcs.DISC.2018.15
Artur Czumaj and Christian Konrad Detecting Cliques in CONGEST Networks 10.4230/LIPIcs.DISC.2018.16
Eli Daian, Giuliano Losa, Yehuda Afek, and Eli Gafni A Wealth of Sub-Consensus Deterministic Objects 10.4230/LIPIcs.DISC.2018.17
Henry Daly, Ahmed Hassan, Michael F. Spear, and Roberto Palmieri NUMASK: High Performance Scalable Skip List for NUMA 10.4230/LIPIcs.DISC.2018.18
Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, and Giovanni Viglietta TuringMobile: A Turing Machine of Oblivious Mobile Robots with Limited Visibility and Its Applications 10.4230/LIPIcs.DISC.2018.19
Fabien Dufoulon, Janna Burman, and Joffroy Beauquier Beeping a Deterministic Time-Optimal Leader Election 10.4230/LIPIcs.DISC.2018.20
Aryaz Eghbali and Philipp Woelfel An Almost Tight RMR Lower Bound for Abortable Test-And-Set 10.4230/LIPIcs.DISC.2018.21
Guy Even, Mohsen Ghaffari, and Moti Medina Distributed Set Cover Approximation: Primal-Dual with Optimal Locality 10.4230/LIPIcs.DISC.2018.22
Yotam M. Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, and Sharon Shoham Order out of Chaos: Proving Linearizability Using Local Views 10.4230/LIPIcs.DISC.2018.23
Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz, and Mor Perry Redundancy in Distributed Proofs 10.4230/LIPIcs.DISC.2018.24
Laurent Feuilloley and Juho Hirvonen Local Verification of Global Proofs 10.4230/LIPIcs.DISC.2018.25
Manuela Fischer and Mohsen Ghaffari A Simple Parallel and Distributed Sampling Technique: Local Glauber Dynamics 10.4230/LIPIcs.DISC.2018.26
Matthias Függer and Thomas Nowak Fast Multidimensional Asymptotic and Approximate Consensus 10.4230/LIPIcs.DISC.2018.27
Pawel Garncarek, Tomasz Jurdzinski, and Dariusz R. Kowalski Local Queuing Under Contention 10.4230/LIPIcs.DISC.2018.28
Mohsen Ghaffari and Fabian Kuhn Derandomizing Distributed Algorithms with Small Messages: Spanners and Dominating Set 10.4230/LIPIcs.DISC.2018.29
Mohsen Ghaffari and Fabian Kuhn Distributed MST and Broadcast with Fewer Messages, and Faster Gossiping 10.4230/LIPIcs.DISC.2018.30
Mohsen Ghaffari and Jason Li New Distributed Algorithms in Almost Mixing Time via Transformations from Parallel Algorithms 10.4230/LIPIcs.DISC.2018.31
Robert Gmyr and Gopal Pandurangan Time-Message Trade-Offs in Distributed Algorithms 10.4230/LIPIcs.DISC.2018.32
Bernhard Haeupler and Jason Li Faster Distributed Shortest Path Approximations via Shortcuts 10.4230/LIPIcs.DISC.2018.33
Yael Tauman Kalai, Ilan Komargodski, and Ran Raz A Lower Bound for Adaptively-Secure Collective Coin-Flipping Protocols 10.4230/LIPIcs.DISC.2018.34
Ken-ichi Kawarabayashi and Gregory Schwartzman Adapting Local Sequential Algorithms to the Distributed Setting 10.4230/LIPIcs.DISC.2018.35
Julian Loss, Ueli Maurer, and Daniel Tschudi Strong Separations Between Broadcast and Authenticated Channels 10.4230/LIPIcs.DISC.2018.36
Ali Mashreghi and Valerie King Broadcast and Minimum Spanning Tree with o(m) Messages in the Asynchronous CONGEST Model 10.4230/LIPIcs.DISC.2018.37
Calvin Newport and Peter Robinson Fault-Tolerant Consensus with an Abstract MAC Layer 10.4230/LIPIcs.DISC.2018.38
Merav Parter and Hsin-Hao Su Randomized (Delta+1)-Coloring in O(log* Delta) Congested Clique Rounds 10.4230/LIPIcs.DISC.2018.39
Merav Parter and Eylon Yogev Congested Clique Algorithms for Graph Spanners 10.4230/LIPIcs.DISC.2018.40
Xiong Zheng, Changyong Hu, and Vijay K. Garg Lattice Agreement in Message Passing Systems 10.4230/LIPIcs.DISC.2018.41
Philipp Bamberger, Fabian Kuhn, and Yannic Maus Brief Announcement: Local Distributed Algorithms in Highly Dynamic Networks 10.4230/LIPIcs.DISC.2018.42
Artur Czumaj and Peter Davies Brief Announcement: Randomized Blind Radio Networks 10.4230/LIPIcs.DISC.2018.43
Gianluca De Marco, Dariusz R. Kowalski, and Grzegorz Stachowiak Brief Announcement: Deterministic Contention Resolution on a Shared Channel 10.4230/LIPIcs.DISC.2018.44
Simon Doherty, Brijesh Dongol, Heike Wehrheim, and John Derrick Brief Announcement: Generalising Concurrent Correctness to Weak Memory 10.4230/LIPIcs.DISC.2018.45
David Doty, Mahsa Eftekhari, Othon Michail, Paul G. Spirakis, and Michail Theofilatos Brief Announcement: Exact Size Counting in Uniform Population Protocols in Nearly Logarithmic Time 10.4230/LIPIcs.DISC.2018.46
Reginald Frank and Jennifer L. Welch Brief Announcement: A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids 10.4230/LIPIcs.DISC.2018.47
Seth Gilbert, Nancy Lynch, Calvin Newport, and Dominik Pajak Brief Announcement: On Simple Back-Off in Unreliable Radio Networks 10.4230/LIPIcs.DISC.2018.48
Shreyas Gokhale and Neeraj Mittal Brief Announcement: Fast and Scalable Group Mutual Exclusion 10.4230/LIPIcs.DISC.2018.49
Éric Goubault, Jérémy Ledent, and Samuel Mimram Brief Announcement: On the Impossibility of Detecting Concurrency 10.4230/LIPIcs.DISC.2018.50
Dimitris Sakavalas, Lewis Tseng, and Nitin H. Vaidya Brief Announcement: Effects of Topology Knowledge and Relay Depth on Asynchronous Consensus 10.4230/LIPIcs.DISC.2018.51
Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa Brief Announcement: Loosely-stabilizing Leader Election with Polylogarithmic Convergence Time 10.4230/LIPIcs.DISC.2018.52