@Proceedings{aspnes_et_al:LIPIcs.OPODIS.2017,
title = {{LIPIcs, Volume 95, OPODIS'17, Complete Volume}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017},
URN = {urn:nbn:de:0030-drops-86786},
doi = {10.4230/LIPIcs.OPODIS.2017},
annote = {Keywords: Distributed Systems, Performance of Systems, Concurrent Programming, Data Structures, Modes of Computation}
}
@InProceedings{aspnes_et_al:LIPIcs.OPODIS.2017.0,
author = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {0:i--0:xx},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.0},
URN = {urn:nbn:de:0030-drops-86236},
doi = {10.4230/LIPIcs.OPODIS.2017.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{rodrigues:LIPIcs.OPODIS.2017.1,
author = {Rodrigues, Lu{\'\i}s},
title = {{Causality for the Masses: Offering Fresh Data, Low Latency, and High Throughput}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {1:1--1:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.1},
URN = {urn:nbn:de:0030-drops-86553},
doi = {10.4230/LIPIcs.OPODIS.2017.1},
annote = {Keywords: Distributed Systems, Causal Consistency}
}
@InProceedings{burchert_et_al:LIPIcs.OPODIS.2017.2,
author = {Burchert, Conrad and Wattenhofer, Roger},
title = {{piChain: When a Blockchain meets Paxos}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {2:1--2:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.2},
URN = {urn:nbn:de:0030-drops-86543},
doi = {10.4230/LIPIcs.OPODIS.2017.2},
annote = {Keywords: Consensus, Crash Failures, Availability, Network Partition, Consistency}
}
@InProceedings{kuhn_et_al:LIPIcs.OPODIS.2017.3,
author = {Kuhn, Fabian and Schneider, Philipp},
title = {{Broadcasting in an Unreliable SINR Model}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {3:1--3:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.3},
URN = {urn:nbn:de:0030-drops-86247},
doi = {10.4230/LIPIcs.OPODIS.2017.3},
annote = {Keywords: radio networks, wireless networks, broadcast, SINR model, unreliable communication, dynamic networks}
}
@InProceedings{korhonen_et_al:LIPIcs.OPODIS.2017.4,
author = {Korhonen, Janne H. and Rybicki, Joel},
title = {{Deterministic Subgraph Detection in Broadcast CONGEST}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {4:1--4:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.4},
URN = {urn:nbn:de:0030-drops-86252},
doi = {10.4230/LIPIcs.OPODIS.2017.4},
annote = {Keywords: distributed computing, subgraph detection, CONGEST model, lower bounds}
}
@InProceedings{dinitz_et_al:LIPIcs.OPODIS.2017.5,
author = {Dinitz, Michael and Nazari, Yasamin},
title = {{Distributed Distance-Bounded Network Design Through Distributed Convex Programming}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {5:1--5:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.5},
URN = {urn:nbn:de:0030-drops-86262},
doi = {10.4230/LIPIcs.OPODIS.2017.5},
annote = {Keywords: distributed algorithms, approximation algorithms, convex programming}
}
@InProceedings{gonen_et_al:LIPIcs.OPODIS.2017.6,
author = {Gonen, Tzlil and Oshman, Rotem},
title = {{Lower Bounds for Subgraph Detection in the CONGEST Model}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {6:1--6:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.6},
URN = {urn:nbn:de:0030-drops-86445},
doi = {10.4230/LIPIcs.OPODIS.2017.6},
annote = {Keywords: subgraph freeness, CONGEST, lower bounds}
}
@InProceedings{zhou_et_al:LIPIcs.OPODIS.2017.7,
author = {Zhou, Tingzhe and Luchangco, Victor and Spear, Michael},
title = {{Extending Transactional Memory with Atomic Deferral}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {7:1--7:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.7},
URN = {urn:nbn:de:0030-drops-86275},
doi = {10.4230/LIPIcs.OPODIS.2017.7},
annote = {Keywords: Transactional Memory, Concurrency, Synchronization, I/O}
}
@InProceedings{fatourou_et_al:LIPIcs.OPODIS.2017.8,
author = {Fatourou, Panagiota and Kallimanis, Nikolaos D.},
title = {{Lock Oscillation: Boosting the Performance of Concurrent Data Structures}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {8:1--8:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.8},
URN = {urn:nbn:de:0030-drops-86282},
doi = {10.4230/LIPIcs.OPODIS.2017.8},
annote = {Keywords: Synchronization, concurrent data structures, combining}
}
@InProceedings{imbs_et_al:LIPIcs.OPODIS.2017.9,
author = {Imbs, Damien and Kuznetsov, Petr and Rieutord, Thibault},
title = {{Progress-Space Tradeoffs in Single-Writer Memory Implementations}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {9:1--9:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.9},
URN = {urn:nbn:de:0030-drops-86290},
doi = {10.4230/LIPIcs.OPODIS.2017.9},
annote = {Keywords: Single-writer memory implementation, comparison-based algorithms, space complexity, progress conditions}
}
@InProceedings{cohen_et_al:LIPIcs.OPODIS.2017.10,
author = {Cohen, Nachshon and Herlihy, Maurice and Petrank, Erez and Wald, Elias},
title = {{The Teleportation Design Pattern for Hardware Transactional Memory}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {10:1--10:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.10},
URN = {urn:nbn:de:0030-drops-86306},
doi = {10.4230/LIPIcs.OPODIS.2017.10},
annote = {Keywords: Hardware transactional memory, concurrent data structures}
}
@InProceedings{chuangpishit_et_al:LIPIcs.OPODIS.2017.11,
author = {Chuangpishit, Huda and Mehrabi, Saeed and Narayanan, Lata and Opatrny, Jaroslav},
title = {{Evacuating an Equilateral Triangle in the Face-to-Face Model}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {11:1--11:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.11},
URN = {urn:nbn:de:0030-drops-86310},
doi = {10.4230/LIPIcs.OPODIS.2017.11},
annote = {Keywords: Distributed algorithms, Robots evacuation, Face-to-face communication, Equilateral triangle}
}
@InProceedings{doan_et_al:LIPIcs.OPODIS.2017.12,
author = {Doan, Ha Thi Thu and Bonnet, Fran\c{c}ois and Ogata, Kazuhiro},
title = {{Model Checking of Robot Gathering}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {12:1--12:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.12},
URN = {urn:nbn:de:0030-drops-86324},
doi = {10.4230/LIPIcs.OPODIS.2017.12},
annote = {Keywords: Mobile Robot, Robot Gathering, Formal Verification, Model Checking, Maude}
}
@InProceedings{tomita_et_al:LIPIcs.OPODIS.2017.13,
author = {Tomita, Yusaku and Yamauchi, Yukiko and Kijima, Shuji and Yamashita, Masafumi},
title = {{Plane Formation by Synchronous Mobile Robots without Chirality}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {13:1--13:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.13},
URN = {urn:nbn:de:0030-drops-86337},
doi = {10.4230/LIPIcs.OPODIS.2017.13},
annote = {Keywords: Autonomous mobile robots, plane formation problem, symmetry breaking, group theory}
}
@InProceedings{dobrev_et_al:LIPIcs.OPODIS.2017.14,
author = {Dobrev, Stefan and Kr\'{a}lovic, Rastislav and Pardubsk\'{a}, Dana},
title = {{Treasure Hunt with Barely Communicating Agents}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {14:1--14:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.14},
URN = {urn:nbn:de:0030-drops-86346},
doi = {10.4230/LIPIcs.OPODIS.2017.14},
annote = {Keywords: parallel exhaustive search, treasure hunt, fault-tolerant search, weak coordination, black holes}
}
@InProceedings{chlebus_et_al:LIPIcs.OPODIS.2017.15,
author = {Chlebus, Bogdan S. and De Marco, Gianluca and Talo, Muhammed},
title = {{Anonymous Processors with Synchronous Shared Memory: Monte Carlo Algorithms}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {15:1--15:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.15},
URN = {urn:nbn:de:0030-drops-86502},
doi = {10.4230/LIPIcs.OPODIS.2017.15},
annote = {Keywords: anonymous processors, synchrony, shared memory, read-write registers, naming, Monte Carlo algorithms}
}
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2017.16,
author = {Attiya, Hagit and Fouren, Arie},
title = {{Lower Bounds on the Amortized Time Complexity of Shared Objects}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {16:1--16:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.16},
URN = {urn:nbn:de:0030-drops-86513},
doi = {10.4230/LIPIcs.OPODIS.2017.16},
annote = {Keywords: monotone objects, stacks and queues, trees, step complexity, remote memory references}
}
@InProceedings{dvir_et_al:LIPIcs.OPODIS.2017.17,
author = {Dvir, Rotem and Taubenfeld, Gadi},
title = {{Mutual Exclusion Algorithms with Constant RMR Complexity and Wait-Free Exit Code}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {17:1--17:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.17},
URN = {urn:nbn:de:0030-drops-86523},
doi = {10.4230/LIPIcs.OPODIS.2017.17},
annote = {Keywords: Mutual exclusion, locks, local-spinning, cache coherent, distributed shared memory, RMR complexity}
}
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2017.18,
author = {Attiya, Hagit and Yavneh, Gili},
title = {{Remote Memory References at Block Granularity}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.18},
URN = {urn:nbn:de:0030-drops-86538},
doi = {10.4230/LIPIcs.OPODIS.2017.18},
annote = {Keywords: false sharing, cache coherence, distributed shared memory, NP-hardness}
}
@InProceedings{yasumi_et_al:LIPIcs.OPODIS.2017.19,
author = {Yasumi, Hiroto and Ooshita, Fukuhito and Yamaguchi, Ken'ichi and Inoue, Michiko},
title = {{Constant-Space Population Protocols for Uniform Bipartition}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {19:1--19:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.19},
URN = {urn:nbn:de:0030-drops-86482},
doi = {10.4230/LIPIcs.OPODIS.2017.19},
annote = {Keywords: population protocol, uniform bipartition, distributed protocol}
}
@InProceedings{chauhan_et_al:LIPIcs.OPODIS.2017.20,
author = {Chauhan, Himanshu and Garg, Vijay K.},
title = {{Fast Detection of Stable and Count Predicates in Parallel Computations}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {20:1--20:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.20},
URN = {urn:nbn:de:0030-drops-86496},
doi = {10.4230/LIPIcs.OPODIS.2017.20},
annote = {Keywords: Algorithms, Theory, Predicate Detection, Parallel Programs}
}
@InProceedings{censorhillel_et_al:LIPIcs.OPODIS.2017.21,
author = {Censor-Hillel, Keren and Dory, Michal},
title = {{Fast Distributed Approximation for TAP and 2-Edge-Connectivity}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {21:1--21:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.21},
URN = {urn:nbn:de:0030-drops-86475},
doi = {10.4230/LIPIcs.OPODIS.2017.21},
annote = {Keywords: approximation algorithms, distributed network design, connectivity augmentation}
}
@InProceedings{nishimura:LIPIcs.OPODIS.2017.22,
author = {Nishimura, Susumu},
title = {{Schlegel Diagram and Optimizable Immediate Snapshot Protocol}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {22:1--22:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.22},
URN = {urn:nbn:de:0030-drops-86464},
doi = {10.4230/LIPIcs.OPODIS.2017.22},
annote = {Keywords: Immediate snapshot protocol, Schlegel diagram, chromatic subdivision, program specialization}
}
@InProceedings{jungnickel_et_al:LIPIcs.OPODIS.2017.23,
author = {Jungnickel, Tim and Oldenburg, Lennart and Loibl, Matthias},
title = {{Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {23:1--23:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.23},
URN = {urn:nbn:de:0030-drops-86456},
doi = {10.4230/LIPIcs.OPODIS.2017.23},
annote = {Keywords: Geo-Replication, CRDT, Distributed Systems, IMAP, Isabelle/HOL}
}
@InProceedings{cabrita_et_al:LIPIcs.OPODIS.2017.24,
author = {Cabrita, Gon\c{c}alo and Pregui\c{c}a, Nuno},
title = {{Non-Uniform Replication}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {24:1--24:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.24},
URN = {urn:nbn:de:0030-drops-86393},
doi = {10.4230/LIPIcs.OPODIS.2017.24},
annote = {Keywords: Non-uniform Replication, Partial Replication, Replicated Data Types, Eventual Consistency}
}
@InProceedings{abraham_et_al:LIPIcs.OPODIS.2017.25,
author = {Abraham, Ittai and Malkhi, Dahlia and Nayak, Kartik and Ren, Ling and Spiegelman, Alexander},
title = {{Solida: A Blockchain Protocol Based on Reconfigurable Byzantine Consensus}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {25:1--25:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.25},
URN = {urn:nbn:de:0030-drops-86409},
doi = {10.4230/LIPIcs.OPODIS.2017.25},
annote = {Keywords: Cryptocurrency, Blockchain, Byzantine fault tolerance, Reconfiguration}
}
@InProceedings{alchieri_et_al:LIPIcs.OPODIS.2017.26,
author = {Alchieri, Eduardo and Bessani, Alysson and Greve, Fab{\'\i}ola and Fraga, Joni da Silva},
title = {{Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {26:1--26:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.26},
URN = {urn:nbn:de:0030-drops-86411},
doi = {10.4230/LIPIcs.OPODIS.2017.26},
annote = {Keywords: Distributed Systems, Reconfiguration, Fault-Tolerant Quorum Systems}
}
@InProceedings{friedman_et_al:LIPIcs.OPODIS.2017.27,
author = {Friedman, Roy and Licher, Roni},
title = {{Hardening Cassandra Against Byzantine Failures}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {27:1--27:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.27},
URN = {urn:nbn:de:0030-drops-86429},
doi = {10.4230/LIPIcs.OPODIS.2017.27},
annote = {Keywords: Cassandra, Byzantine Fault Tolerance, Distributed Storage}
}
@InProceedings{joaquim_et_al:LIPIcs.OPODIS.2017.28,
author = {Joaquim, Andr\'{e} and Pardal, Miguel L. and Correia, Miguel},
title = {{Vulnerability-Tolerant Transport Layer Security}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {28:1--28:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.28},
URN = {urn:nbn:de:0030-drops-86437},
doi = {10.4230/LIPIcs.OPODIS.2017.28},
annote = {Keywords: Secure communication channels, Transport layer security, SSL/TLS, Diversity, Redundancy, Vulnerability tolerance}
}
@InProceedings{shimi_et_al:LIPIcs.OPODIS.2017.29,
author = {Shimi, Adam and Hurault, Aur\'{e}lie and Qu\'{e}innec, Philippe},
title = {{Asynchronous Message Orderings Beyond Causality}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {29:1--29:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.29},
URN = {urn:nbn:de:0030-drops-86387},
doi = {10.4230/LIPIcs.OPODIS.2017.29},
annote = {Keywords: Asynchronous computations, Point-to-point message orderings, Causality, Topology, Interior, Closure}
}
@InProceedings{lempiainen_et_al:LIPIcs.OPODIS.2017.30,
author = {Lempi\"{a}inen, Tuomo and Suomela, Jukka},
title = {{Constant Space and Non-Constant Time in Distributed Computing}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {30:1--30:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.30},
URN = {urn:nbn:de:0030-drops-86368},
doi = {10.4230/LIPIcs.OPODIS.2017.30},
annote = {Keywords: distributed computing, space complexity, constant-space algorithms, weak models, Thue-Morse sequence}
}
@InProceedings{diluna_et_al:LIPIcs.OPODIS.2017.31,
author = {Di Luna, Giuseppe A. and Flocchini, Paola and Santoro, Nicola and Viglietta, Giovanni and Yamauchi, Yukiko},
title = {{Shape Formation by Programmable Particles}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {31:1--31:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.31},
URN = {urn:nbn:de:0030-drops-86370},
doi = {10.4230/LIPIcs.OPODIS.2017.31},
annote = {Keywords: Shape formation, pattern formation, programmable matter, Amoebots, leader election, distributed algorithms}
}
@InProceedings{lazic_et_al:LIPIcs.OPODIS.2017.32,
author = {Lazic, Marijana and Konnov, Igor and Widder, Josef and Bloem, Roderick},
title = {{Synthesis of Distributed Algorithms with Parameterized Threshold Guards}},
booktitle = {21st International Conference on Principles of Distributed Systems (OPODIS 2017)},
pages = {32:1--32:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-061-3},
ISSN = {1868-8969},
year = {2018},
volume = {95},
editor = {Aspnes, James and Bessani, Alysson and Felber, Pascal and Leit\~{a}o, Jo\~{a}o},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2017.32},
URN = {urn:nbn:de:0030-drops-86359},
doi = {10.4230/LIPIcs.OPODIS.2017.32},
annote = {Keywords: fault-tolerant distributed algorithms, byzantine faults, parameterized model checking, program synthesis}
}
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