@Proceedings{anceaume_et_al:LIPIcs.OPODIS.2015,
title = {{LIPIcs, Volume 46, OPODIS'15, Complete Volume}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015},
URN = {urn:nbn:de:0030-drops-67174},
doi = {10.4230/LIPIcs.OPODIS.2015},
annote = {Keywords: Distributed Systems}
}
@InProceedings{anceaume_et_al:LIPIcs.OPODIS.2015.0,
author = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
title = {{Front Matter, Table of Contents, Preface, Committees, List of Authors}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {0:i--0:xvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.0},
URN = {urn:nbn:de:0030-drops-66223},
doi = {10.4230/LIPIcs.OPODIS.2015.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Committees, List of Authors}
}
@InProceedings{raynal:LIPIcs.OPODIS.2015.1,
author = {Raynal, Michel},
title = {{Signature-Free Communication and Agreement in the Presence of Byzantine Processes}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {1:1--1:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.1},
URN = {urn:nbn:de:0030-drops-65929},
doi = {10.4230/LIPIcs.OPODIS.2015.1},
annote = {Keywords: Asynchronous system, Atomic read/write register, Byzantine process Consensus, Distributed algorithm, Distributed computability, Fault-tolerance, No-du}
}
@InProceedings{spiegelman_et_al:LIPIcs.OPODIS.2015.2,
author = {Spiegelman, Alexander and Keidar, Idit and Malkhi, Dahlia},
title = {{Dynamic Reconfiguration: A Tutorial}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {2:1--2:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.2},
URN = {urn:nbn:de:0030-drops-65938},
doi = {10.4230/LIPIcs.OPODIS.2015.2},
annote = {Keywords: Dynamic reconfiguration}
}
@InProceedings{santoro:LIPIcs.OPODIS.2015.3,
author = {Santoro, Nicola},
title = {{Time to Change: On Distributed Computing in Dynamic Networks}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {3:1--3:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.3},
URN = {urn:nbn:de:0030-drops-65941},
doi = {10.4230/LIPIcs.OPODIS.2015.3},
annote = {Keywords: distributed computing, dynamic networks, time-varying graphs, mobile agents}
}
@InProceedings{spiegelman_et_al:LIPIcs.OPODIS.2015.4,
author = {Spiegelman, Alexander and Cassuto, Yuval and Chockler, Gregory and Keidar, Idit},
title = {{Space Bounds for Reliable Storage: Fundamental Limits of Coding}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {4:1--4:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.4},
URN = {urn:nbn:de:0030-drops-65957},
doi = {10.4230/LIPIcs.OPODIS.2015.4},
annote = {Keywords: distributed storage, impossibility}
}
@InProceedings{garay:LIPIcs.OPODIS.2015.5,
author = {Garay, Juan A.},
title = {{Blockchain-Based Consensus}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {5:1--5:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.5},
URN = {urn:nbn:de:0030-drops-65968},
doi = {10.4230/LIPIcs.OPODIS.2015.5},
annote = {Keywords: Distributed consensus, cryptocurrencies, cryptographic protocols}
}
@InProceedings{holzer_et_al:LIPIcs.OPODIS.2015.6,
author = {Holzer, Stephan and Pinsker, Nathan},
title = {{Approximation of Distances and Shortest Paths in the Broadcast Congest Clique}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {6:1--6:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.6},
URN = {urn:nbn:de:0030-drops-65971},
doi = {10.4230/LIPIcs.OPODIS.2015.6},
annote = {Keywords: distributed computing, distributed algorithms, approximation algorithms}
}
@InProceedings{ahmadi_et_al:LIPIcs.OPODIS.2015.7,
author = {Ahmadi, Mohamad and Ghodselahi, Abdolhamid and Kuhn, Fabian and Molla, Anisur Rahaman},
title = {{The Cost of Global Broadcast in Dynamic Radio Networks}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {7:1--7:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.7},
URN = {urn:nbn:de:0030-drops-65989},
doi = {10.4230/LIPIcs.OPODIS.2015.7},
annote = {Keywords: radio network, dynamic network, global broadcast, interval connectivity, hitting game}
}
@InProceedings{gilbert_et_al:LIPIcs.OPODIS.2015.8,
author = {Gilbert, Seth and Newport, Calvin and Wang, Tonghe},
title = {{Bounds for Blind Rate Adaptation}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {8:1--8:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.8},
URN = {urn:nbn:de:0030-drops-65998},
doi = {10.4230/LIPIcs.OPODIS.2015.8},
annote = {Keywords: bitrate, multicast, packet transmission, latency, competitive ratio, lower bound, fading}
}
@InProceedings{langner_et_al:LIPIcs.OPODIS.2015.9,
author = {Langner, Tobias and Keller, Barbara and Uitto, Jara and Wattenhofer, Roger},
title = {{Overcoming Obstacles with Ants}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {9:1--9:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.9},
URN = {urn:nbn:de:0030-drops-66005},
doi = {10.4230/LIPIcs.OPODIS.2015.9},
annote = {Keywords: Mobile agents, algorithms, treasure search}
}
@InProceedings{kuhn_et_al:LIPIcs.OPODIS.2015.10,
author = {Kuhn, Fabian and Molla, Anisur Rahaman},
title = {{Distributed Sparse Cut Approximation}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {10:1--10:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.10},
URN = {urn:nbn:de:0030-drops-66014},
doi = {10.4230/LIPIcs.OPODIS.2015.10},
annote = {Keywords: sparsest cut, conductance, random walks, all-prefix-sums}
}
@InProceedings{halldorsson_et_al:LIPIcs.OPODIS.2015.11,
author = {Halld\'{o}rsson, Magn\'{u}s M. and K\"{o}hler, Sven and Rawitz, Dror},
title = {{Distributed Approximation of k-Service Assignment}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {11:1--11:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.11},
URN = {urn:nbn:de:0030-drops-66024},
doi = {10.4230/LIPIcs.OPODIS.2015.11},
annote = {Keywords: approximation algorithms, distributed algorithms, related machines}
}
@InProceedings{capdevielle_et_al:LIPIcs.OPODIS.2015.12,
author = {Capdevielle, Claire and Johnen, Colette and Kuznetsov, Petr and Milani, Alessia},
title = {{On the Uncontended Complexity of Anonymous Consensus}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {12:1--12:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.12},
URN = {urn:nbn:de:0030-drops-66034},
doi = {10.4230/LIPIcs.OPODIS.2015.12},
annote = {Keywords: space and time complexity, lower bounds, consensus, interval contention, solo-fast}
}
@InProceedings{saraph_et_al:LIPIcs.OPODIS.2015.13,
author = {Saraph, Vikram and Herlihy, Maurice},
title = {{The Relative Power of Composite Loop Agreement Tasks}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {13:1--13:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.13},
URN = {urn:nbn:de:0030-drops-66044},
doi = {10.4230/LIPIcs.OPODIS.2015.13},
annote = {Keywords: Distributed computing, loop agreement, task composition, topology}
}
@InProceedings{sudo_et_al:LIPIcs.OPODIS.2015.14,
author = {Sudo, Yuichi and Ooshita, Fukuhito and Kakugawa, Hirotsugu and Masuzawa, Toshimitsu},
title = {{Loosely-Stabilizing Leader Election on Arbitrary Graphs in Population Protocols Without Identifiers nor Random Numbers}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {14:1--14:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.14},
URN = {urn:nbn:de:0030-drops-66054},
doi = {10.4230/LIPIcs.OPODIS.2015.14},
annote = {Keywords: Loose-stabilization, Population protocols, Leader election}
}
@InProceedings{tamir_et_al:LIPIcs.OPODIS.2015.15,
author = {Tamir, Orr and Morrison, Adam and Rinetzky, Noam},
title = {{A Heap-Based Concurrent Priority Queue with Mutable Priorities for Faster Parallel Algorithms}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.15},
URN = {urn:nbn:de:0030-drops-66068},
doi = {10.4230/LIPIcs.OPODIS.2015.15},
annote = {Keywords: priority queues, concurrent data structures, Dijkstra's single-source shortest path algorithm}
}
@InProceedings{datta_et_al:LIPIcs.OPODIS.2015.16,
author = {Datta, Ajoy K. and Larmore, Lawrence L. and Masuzawa, Toshimitsu},
title = {{Maximum Matching for Anonymous Trees with Constant Space per Process}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {16:1--16:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.16},
URN = {urn:nbn:de:0030-drops-66074},
doi = {10.4230/LIPIcs.OPODIS.2015.16},
annote = {Keywords: anonymous tree, maximum matching, self-stabilization, unfair daemon}
}
@InProceedings{zhu_et_al:LIPIcs.OPODIS.2015.17,
author = {Zhu, Leqi and Ellen, Faith},
title = {{Atomic Snapshots from Small Registers}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {17:1--17:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.17},
URN = {urn:nbn:de:0030-drops-66084},
doi = {10.4230/LIPIcs.OPODIS.2015.17},
annote = {Keywords: atomic snapshot, limited-use snapshot, small registers, simulation}
}
@InProceedings{bouzid_et_al:LIPIcs.OPODIS.2015.18,
author = {Bouzid, Zohir and Raynal, Michel and Sutra, Pierre},
title = {{Anonymous Obstruction-Free (n,k)-Set Agreement with n-k+1 Atomic Read/Write Registers}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.18},
URN = {urn:nbn:de:0030-drops-66092},
doi = {10.4230/LIPIcs.OPODIS.2015.18},
annote = {Keywords: Anonymous processes, Asynchronous system, Atomic read/write register, Consensus, Fault-tolerance, \$k\$-Set agreement, Obstruction-freedom, Upper bound}
}
@InProceedings{fernandezanta_et_al:LIPIcs.OPODIS.2015.19,
author = {Fern\'{a}ndez Anta, Antonio and Nicolaou, Nicolas and Popa, Alexandru},
title = {{Making "Fast" Atomic Operations Computationally Tractable}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {19:1--19:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.19},
URN = {urn:nbn:de:0030-drops-66108},
doi = {10.4230/LIPIcs.OPODIS.2015.19},
annote = {Keywords: atomicity, read/write objects, shared memory, computational complexity}
}
@InProceedings{berryhill_et_al:LIPIcs.OPODIS.2015.20,
author = {Berryhill, Ryan and Golab, Wojciech and Tripunitara, Mahesh},
title = {{Robust Shared Objects for Non-Volatile Main Memory}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {20:1--20:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.20},
URN = {urn:nbn:de:0030-drops-66116},
doi = {10.4230/LIPIcs.OPODIS.2015.20},
annote = {Keywords: non-volatile main memory, concurrency, recovery, data structures}
}
@InProceedings{beauquier_et_al:LIPIcs.OPODIS.2015.21,
author = {Beauquier, Joffroy and Blanchard, Peva and Burman, Janna and Guerraoui, Rachid},
title = {{The Benefits of Entropy in Population Protocols}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {21:1--21:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.21},
URN = {urn:nbn:de:0030-drops-66128},
doi = {10.4230/LIPIcs.OPODIS.2015.21},
annote = {Keywords: algorithmic randomness, entropy, leader election, distributed computing, scheduler, population protocols}
}
@InProceedings{stolz_et_al:LIPIcs.OPODIS.2015.22,
author = {Stolz, David and Wattenhofer, Roger},
title = {{Byzantine Agreement with Median Validity}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {22:1--22:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.22},
URN = {urn:nbn:de:0030-drops-65911},
doi = {10.4230/LIPIcs.OPODIS.2015.22},
annote = {Keywords: Reliability, fault-tolerance, median, consensus}
}
@InProceedings{chen_et_al:LIPIcs.OPODIS.2015.23,
author = {Chen, Jingshu and Roohitavaf, Mohammad and Kulkarni, Sandeep S.},
title = {{Ensuring Average Recovery with Adversarial Scheduler}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {23:1--23:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.23},
URN = {urn:nbn:de:0030-drops-65907},
doi = {10.4230/LIPIcs.OPODIS.2015.23},
annote = {Keywords: Average Recovery Time, Hyper-liveness, Program Repair}
}
@InProceedings{scheideler_et_al:LIPIcs.OPODIS.2015.24,
author = {Scheideler, Christian and Setzer, Alexander and Strothmann, Thim},
title = {{Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {24:1--24:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.24},
URN = {urn:nbn:de:0030-drops-66135},
doi = {10.4230/LIPIcs.OPODIS.2015.24},
annote = {Keywords: Topological Self-Stabilization, Monotonic Searchability, Node Departures}
}
@InProceedings{chang_et_al:LIPIcs.OPODIS.2015.25,
author = {Chang, Yen-Jung and Garg, Vijay K.},
title = {{QuickLex: A Fast Algorithm for Consistent Global States Enumeration of Distributed Computations}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {25:1--25:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.25},
URN = {urn:nbn:de:0030-drops-66142},
doi = {10.4230/LIPIcs.OPODIS.2015.25},
annote = {Keywords: consistent global state, algorithm, computation}
}
@InProceedings{imbs:LIPIcs.OPODIS.2015.26,
author = {Imbs, Damien},
title = {{The Synchronization Power of Atomic Bitwise Operations}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {26:1--26:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.26},
URN = {urn:nbn:de:0030-drops-66151},
doi = {10.4230/LIPIcs.OPODIS.2015.26},
annote = {Keywords: Asynchronous systems, Binary operations, Consensus, Consensus number, Read/write shared memory, Shared objects, Synchronization, Wait-freedom}
}
@InProceedings{kallimanis_et_al:LIPIcs.OPODIS.2015.27,
author = {Kallimanis, Nikolaos D. and Kanellou, Eleni},
title = {{Wait-Free Concurrent Graph Objects with Dynamic Traversals}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {27:1--27:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.27},
URN = {urn:nbn:de:0030-drops-66164},
doi = {10.4230/LIPIcs.OPODIS.2015.27},
annote = {Keywords: graph, shared memory, concurrent data structure, snapshot}
}
@InProceedings{milani_et_al:LIPIcs.OPODIS.2015.28,
author = {Milani, Alessia and Mosteiro, Miguel A.},
title = {{A Faster Counting Protocol for Anonymous Dynamic Networks}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {28:1--28:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.28},
URN = {urn:nbn:de:0030-drops-66179},
doi = {10.4230/LIPIcs.OPODIS.2015.28},
annote = {Keywords: Anonymous Dynamic Networks, Counting, Time-varying Graphs}
}
@InProceedings{hung_et_al:LIPIcs.OPODIS.2015.29,
author = {Hung, Wei-Lun and Chauhan, Himanshu and Garg, Vijay K.},
title = {{ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {29:1--29:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.29},
URN = {urn:nbn:de:0030-drops-66188},
doi = {10.4230/LIPIcs.OPODIS.2015.29},
annote = {Keywords: concurrent/parallel programming, monitors, concurrency}
}
@InProceedings{czumaj_et_al:LIPIcs.OPODIS.2015.30,
author = {Czumaj, Artur and Davies, Peter},
title = {{Communicating with Beeps}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {30:1--30:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.30},
URN = {urn:nbn:de:0030-drops-66195},
doi = {10.4230/LIPIcs.OPODIS.2015.30},
annote = {Keywords: Beep model, Communication networks, Broadcasting, Gossiping, Leader election}
}
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2015.31,
author = {Attiya, Hagit and Castaneda, Armando and Hendler, Danny},
title = {{Nontrivial and Universal Helping for Wait-Free Queues and Stacks}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {31:1--31:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.31},
URN = {urn:nbn:de:0030-drops-66201},
doi = {10.4230/LIPIcs.OPODIS.2015.31},
annote = {Keywords: helping, wait-free, nonblocking, queues, stacks, common2}
}
@InProceedings{talmage_et_al:LIPIcs.OPODIS.2015.32,
author = {Talmage, Edward and Welch, Jennifer},
title = {{Generic Proofs of Consensus Numbers for Abstract Data Types}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {32:1--32:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.32},
URN = {urn:nbn:de:0030-drops-66217},
doi = {10.4230/LIPIcs.OPODIS.2015.32},
annote = {Keywords: Distributed Data Structures, Abstract Data Types, Consensus Numbers, Distributed Computing, Crash Failures}
}
@InProceedings{diluna_et_al:LIPIcs.OPODIS.2015.33,
author = {Di Luna, Giuseppe and Baldoni, Roberto},
title = {{Non Trivial Computations in Anonymous Dynamic Networks}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {33:1--33:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.33},
URN = {urn:nbn:de:0030-drops-66761},
doi = {10.4230/LIPIcs.OPODIS.2015.33},
annote = {Keywords: Distributed System, Anonymous Networks, Dynamic Networks}
}
@InProceedings{yingchareonthawornchai_et_al:LIPIcs.OPODIS.2015.34,
author = {Yingchareonthawornchai, Sorrachai and Kulkarni, Sandeep S. and Demirbas, Murat},
title = {{Analysis of Bounds on Hybrid Vector Clocks}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {34:1--34:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.34},
URN = {urn:nbn:de:0030-drops-66771},
doi = {10.4230/LIPIcs.OPODIS.2015.34},
annote = {Keywords: Vector Clocks, Physical Clocks, Large Scale Systems}
}
@InProceedings{shafiei:LIPIcs.OPODIS.2015.35,
author = {Shafiei, Niloufar},
title = {{Non-Blocking Doubly-Linked Lists with Good Amortized Complexity}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {35:1--35:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.35},
URN = {urn:nbn:de:0030-drops-66787},
doi = {10.4230/LIPIcs.OPODIS.2015.35},
annote = {Keywords: non-blocking data structure, doubly-linked list, shared memory, amortized complexity, cursor}
}
@InProceedings{attiya_et_al:LIPIcs.OPODIS.2015.36,
author = {Attiya, Hagit and Fouren, Arie},
title = {{Poly-Logarithmic Adaptive Algorithms Require Unconditional Primitives}},
booktitle = {19th International Conference on Principles of Distributed Systems (OPODIS 2015)},
pages = {36:1--36:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-98-9},
ISSN = {1868-8969},
year = {2016},
volume = {46},
editor = {Anceaume, Emmanuelle and Cachin, Christian and Potop-Butucaru, Maria},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2015.36},
URN = {urn:nbn:de:0030-drops-66793},
doi = {10.4230/LIPIcs.OPODIS.2015.36},
annote = {Keywords: collect, atomic snapshot, renaming, fetch\&inc, compare\&swap}
}
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