@Proceedings{fatourou_et_al:LIPIcs.OPODIS.2016,
title = {{LIPIcs, Volume 70, OPODIS'16, Complete Volume}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016},
URN = {urn:nbn:de:0030-drops-71111},
doi = {10.4230/LIPIcs.OPODIS.2016},
annote = {Keywords: Distributed Systems, Performance of Systems, Concurrent Programming, Data Structures, Modes of Computation}
}
@InProceedings{fatourou_et_al:LIPIcs.OPODIS.2016.0,
author = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
title = {{Front Matter, Table of Contents, Preface, Committees, List of Authors}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {0:i--0:xviii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.0},
URN = {urn:nbn:de:0030-drops-70699},
doi = {10.4230/LIPIcs.OPODIS.2016.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Committees, List of Authors}
}
@InProceedings{shavit:LIPIcs.OPODIS.2016.1,
author = {Shavit, Nir},
title = {{High Throughput Connectomics}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {1:1--1:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.1},
URN = {urn:nbn:de:0030-drops-70705},
doi = {10.4230/LIPIcs.OPODIS.2016.1},
annote = {Keywords: Machine learning, multicore architectures}
}
@InProceedings{cachin:LIPIcs.OPODIS.2016.2,
author = {Cachin, Christian},
title = {{Blockchain - From the Anarchy of Cryptocurrencies to the Enterprise}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.2},
URN = {urn:nbn:de:0030-drops-70719},
doi = {10.4230/LIPIcs.OPODIS.2016.2},
annote = {Keywords: consensus, cryptographic, distributed protocols}
}
@InProceedings{zwaenepoel:LIPIcs.OPODIS.2016.3,
author = {Zwaenepoel, Willy},
title = {{Really Big Data: Analytics on Graphs with Trillions of Edges}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {3:1--3:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.3},
URN = {urn:nbn:de:0030-drops-70724},
doi = {10.4230/LIPIcs.OPODIS.2016.3},
annote = {Keywords: large graphs}
}
@InProceedings{ellen:LIPIcs.OPODIS.2016.4,
author = {Ellen, Faith},
title = {{Participating Sets, Simulations, and the Consensus Hierarchy}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {4:1--4:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.4},
URN = {urn:nbn:de:0030-drops-70736},
doi = {10.4230/LIPIcs.OPODIS.2016.4},
annote = {Keywords: Consensus, shared-memory systems}
}
@InProceedings{yuchengchan_et_al:LIPIcs.OPODIS.2016.5,
author = {Yu Cheng Chan, David and Hadzilacos, Vassos and Toueg, Sam},
title = {{Bounded Disagreement}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {5:1--5:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.5},
URN = {urn:nbn:de:0030-drops-70742},
doi = {10.4230/LIPIcs.OPODIS.2016.5},
annote = {Keywords: Consensus, Set Agreement, Asynchronous System, Distributed Algorithms, Shared Memory}
}
@InProceedings{gafni_et_al:LIPIcs.OPODIS.2016.6,
author = {Gafni, Eli and He, Yuan and Kuznetsov, Petr and Rieutord, Thibault},
title = {{Read-Write Memory and k-Set Consensus as an Affine Task}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {6:1--6:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.6},
URN = {urn:nbn:de:0030-drops-70759},
doi = {10.4230/LIPIcs.OPODIS.2016.6},
annote = {Keywords: iterated affine tasks, k-set consensus, k-concurrency, simplicial complexes, immediate snapshot}
}
@InProceedings{delportegallet_et_al:LIPIcs.OPODIS.2016.7,
author = {Delporte-Gallet, Carole and Fauconnier, Hugues and Gafni, Eli and Kuznetsov, Petr},
title = {{Set-Consensus Collections are Decidable}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {7:1--7:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.7},
URN = {urn:nbn:de:0030-drops-70761},
doi = {10.4230/LIPIcs.OPODIS.2016.7},
annote = {Keywords: Decidability, distributed tasks, set consensus, Knapsack problem}
}
@InProceedings{godard_et_al:LIPIcs.OPODIS.2016.8,
author = {Godard, Emmanuel and Perdereau, Eloi},
title = {{k-Set Agreement in Communication Networks with Omission Faults}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {8:1--8:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.8},
URN = {urn:nbn:de:0030-drops-70775},
doi = {10.4230/LIPIcs.OPODIS.2016.8},
annote = {Keywords: k-set agreement, message passing, dynamic networks, message adversary, omission faults}
}
@InProceedings{pemmaraju_et_al:LIPIcs.OPODIS.2016.9,
author = {Pemmaraju, Sriram and Riaz, Talal},
title = {{Using Read-k Inequalities to Analyze a Distributed MIS Algorithm}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {9:1--9:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.9},
URN = {urn:nbn:de:0030-drops-70784},
doi = {10.4230/LIPIcs.OPODIS.2016.9},
annote = {Keywords: Bounded Arboricity Graphs, CONGEST model, Luby’s Algorithm, Maximal Independent Set, Read-k Inequality}
}
@InProceedings{devismes_et_al:LIPIcs.OPODIS.2016.10,
author = {Devismes, St\'{e}phane and Ilcinkas, David and Johnen, Colette},
title = {{Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {10:1--10:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.10},
URN = {urn:nbn:de:0030-drops-70792},
doi = {10.4230/LIPIcs.OPODIS.2016.10},
annote = {Keywords: distributed algorithm, self-stabilization, routing algorithm, shortest path, disconnected network, shortest-path tree}
}
@InProceedings{cohen_et_al:LIPIcs.OPODIS.2016.11,
author = {Cohen, Johanne and Ma\^{a}mra, Khaled and Manoussakis, George and Pilard, Laurence},
title = {{Polynomial Self-Stabilizing Maximum Matching Algorithm with Approximation Ratio 2/3}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {11:1--11:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.11},
URN = {urn:nbn:de:0030-drops-70808},
doi = {10.4230/LIPIcs.OPODIS.2016.11},
annote = {Keywords: Self-Stabilization, Distributed Algorithm, Fault Tolerance, Matching}
}
@InProceedings{khanchandani_et_al:LIPIcs.OPODIS.2016.12,
author = {Khanchandani, Pankaj and Wattenhofer, Roger},
title = {{Distributed Stable Matching with Similar Preference Lists}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {12:1--12:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.12},
URN = {urn:nbn:de:0030-drops-70811},
doi = {10.4230/LIPIcs.OPODIS.2016.12},
annote = {Keywords: distributed stable matching, similar preference lists, stable matching, stable marriage}
}
@InProceedings{aspnes_et_al:LIPIcs.OPODIS.2016.13,
author = {Aspnes, James and Beauquier, Joffroy and Burman, Janna and Sohier, Devan},
title = {{Time and Space Optimal Counting in Population Protocols}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {13:1--13:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.13},
URN = {urn:nbn:de:0030-drops-70828},
doi = {10.4230/LIPIcs.OPODIS.2016.13},
annote = {Keywords: networks of passively mobile agents/sensors, population protocols, counting, anonymous non-initialized agents, time and space complexity, lower bounds}
}
@InProceedings{gasieniec_et_al:LIPIcs.OPODIS.2016.14,
author = {Gasieniec, Leszek and Hamilton, David and Martin, Russell and Spirakis, Paul G. and Stachowiak, Grzegorz},
title = {{Deterministic Population Protocols for Exact Majority and Plurality}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {14:1--14:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.14},
URN = {urn:nbn:de:0030-drops-70837},
doi = {10.4230/LIPIcs.OPODIS.2016.14},
annote = {Keywords: Deterministic population protocols, majority, plurality consenus}
}
@InProceedings{casteigts_et_al:LIPIcs.OPODIS.2016.15,
author = {Casteigts, Arnaud and M\'{e}tivier, Yves and Robson, John Michael and Zemmari, Akka},
title = {{Design Patterns in Beeping Algorithms}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {15:1--15:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.15},
URN = {urn:nbn:de:0030-drops-70840},
doi = {10.4230/LIPIcs.OPODIS.2016.15},
annote = {Keywords: Beeping models, Design patterns, Collision detection, Colouring, 2-hop colouring, Degree computation, Emulation}
}
@InProceedings{guerraoui_et_al:LIPIcs.OPODIS.2016.16,
author = {Guerraoui, Rachid and Maurer, Alexandre},
title = {{Collision-Free Pattern Formation}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {16:1--16:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.16},
URN = {urn:nbn:de:0030-drops-70856},
doi = {10.4230/LIPIcs.OPODIS.2016.16},
annote = {Keywords: Pattern formation, Collision, Landmarks}
}
@InProceedings{chang_et_al:LIPIcs.OPODIS.2016.17,
author = {Chang, Yen-Jung and Garg, Vijay K.},
title = {{Predicate Detection for Parallel Computations with Locking Constraints}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {17:1--17:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.17},
URN = {urn:nbn:de:0030-drops-70867},
doi = {10.4230/LIPIcs.OPODIS.2016.17},
annote = {Keywords: predicate detection, parallel computations, reachable global states, locking constraints, happened-before relation}
}
@InProceedings{larsen_et_al:LIPIcs.OPODIS.2016.18,
author = {Larsen, Kim G. and Schmid, Stefan and Xue, Bingtian},
title = {{WNetKAT: A Weighted SDN Programming and Verification Language}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {18:1--18:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.18},
URN = {urn:nbn:de:0030-drops-70870},
doi = {10.4230/LIPIcs.OPODIS.2016.18},
annote = {Keywords: Software-Defined Networking, Verification, Reachability, Stateful Processing, Service Chains, Weighted Automata, Decidability, NetKAT}
}
@InProceedings{ghasemzadeh_et_al:LIPIcs.OPODIS.2016.19,
author = {Ghasemzadeh, Mozhgan and Arabnejad, Hamid and Barbosa, Jorge G.},
title = {{Deadline-Budget constrained Scheduling Algorithm for Scientific Workflows in a Cloud Environment}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {19:1--19:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.19},
URN = {urn:nbn:de:0030-drops-70888},
doi = {10.4230/LIPIcs.OPODIS.2016.19},
annote = {Keywords: Resource management, QoS scheduling, scientific workflow applications, deadline-constrained, budget-constrained}
}
@InProceedings{nikolaou_et_al:LIPIcs.OPODIS.2016.20,
author = {Nikolaou, Stavros and van Renesse, Robbert},
title = {{Moving Participants Turtle Consensus}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {20:1--20:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.20},
URN = {urn:nbn:de:0030-drops-70895},
doi = {10.4230/LIPIcs.OPODIS.2016.20},
annote = {Keywords: Consensus, adaptation, moving target defense}
}
@InProceedings{mathieu:LIPIcs.OPODIS.2016.21,
author = {Mathieu, Fabien},
title = {{Kleinberg’s Grid Reloaded}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {21:1--21:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.21},
URN = {urn:nbn:de:0030-drops-70908},
doi = {10.4230/LIPIcs.OPODIS.2016.21},
annote = {Keywords: Small-World Routing,Kleinberg’s Grid, Simulation, Rejection Sampling}
}
@InProceedings{debonis:LIPIcs.OPODIS.2016.22,
author = {De Bonis, Annalisa},
title = {{Generalized Selectors and Locally Thin Families with Applications to Conflict Resolution in Multiple Access Channels Supporting Simultaneous Successful Transmissions}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {22:1--22:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.22},
URN = {urn:nbn:de:0030-drops-70916},
doi = {10.4230/LIPIcs.OPODIS.2016.22},
annote = {Keywords: Multiple-Access channels, Multi Access Communication, Conflict Resolutions, New Combinatorial Structures, Selectors}
}
@InProceedings{atalar_et_al:LIPIcs.OPODIS.2016.23,
author = {Atalar, Aras and Renaud-Goud, Paul and Tsigas, Philippas},
title = {{How Lock-free Data Structures Perform in Dynamic Environments: Models and Analyses}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {23:1--23:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.23},
URN = {urn:nbn:de:0030-drops-70922},
doi = {10.4230/LIPIcs.OPODIS.2016.23},
annote = {Keywords: Lock-free, Data Structures, Parallel Computing, Performance, Modeling, Analysis}
}
@InProceedings{cachin_et_al:LIPIcs.OPODIS.2016.24,
author = {Cachin, Christian and Schubert, Simon and Vukolic, Marko},
title = {{Non-Determinism in Byzantine Fault-Tolerant Replication}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {24:1--24:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.24},
URN = {urn:nbn:de:0030-drops-70935},
doi = {10.4230/LIPIcs.OPODIS.2016.24},
annote = {Keywords: Blockchain, atomic broadcast, consensus, distributed cryptography, verifiable random functions}
}
@InProceedings{howard_et_al:LIPIcs.OPODIS.2016.25,
author = {Howard, Heidi and Malkhi, Dahlia and Spiegelman, Alexander},
title = {{Flexible Paxos: Quorum Intersection Revisited}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {25:1--25:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.25},
URN = {urn:nbn:de:0030-drops-70947},
doi = {10.4230/LIPIcs.OPODIS.2016.25},
annote = {Keywords: Paxos, Distributed Consensus, Quorums}
}
@InProceedings{xiang_et_al:LIPIcs.OPODIS.2016.26,
author = {Xiang, Zhuolun and Vaidya, Nitin H.},
title = {{Relaxed Byzantine Vector Consensus}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {26:1--26:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.26},
URN = {urn:nbn:de:0030-drops-70958},
doi = {10.4230/LIPIcs.OPODIS.2016.26},
annote = {Keywords: Byzantine consensus, vector inputs, relaxed validity conditions}
}
@InProceedings{qadri:LIPIcs.OPODIS.2016.27,
author = {Qadri, Ammar},
title = {{m-Consensus Objects Are Pretty Powerful}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {27:1--27:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.27},
URN = {urn:nbn:de:0030-drops-70964},
doi = {10.4230/LIPIcs.OPODIS.2016.27},
annote = {Keywords: Deterministic Consensus Hierarchy, Wait-free Implementation, Tournament}
}
@InProceedings{konwar_et_al:LIPIcs.OPODIS.2016.28,
author = {Konwar, Kishori M. and Prakash, N. and Lynch, Nancy A. and M\'{e}dard, Muriel},
title = {{RADON: Repairable Atomic Data Object in Networks}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {28:1--28:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.28},
URN = {urn:nbn:de:0030-drops-70970},
doi = {10.4230/LIPIcs.OPODIS.2016.28},
annote = {Keywords: Atomicity, repair, fault-tolerance, storage cost, erasure codes}
}
@InProceedings{fernandezanta_et_al:LIPIcs.OPODIS.2016.29,
author = {Fern\'{a}ndez Anta, Antonio and Hadjistasi, Theophanis and Nicolaou, Nicolas},
title = {{Computationally Light "Multi-Speed" Atomic Memory}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {29:1--29:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.29},
URN = {urn:nbn:de:0030-drops-70980},
doi = {10.4230/LIPIcs.OPODIS.2016.29},
annote = {Keywords: atomicity, read/write objects, shared memory, operation latency}
}
@InProceedings{oliveira_et_al:LIPIcs.OPODIS.2016.30,
author = {Oliveira, Tiago and Mendes, Ricardo and Bessani, Alysson},
title = {{Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {30:1--30:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.30},
URN = {urn:nbn:de:0030-drops-70999},
doi = {10.4230/LIPIcs.OPODIS.2016.30},
annote = {Keywords: Byzantine fault tolerance, register emulation, multi-writer, key-value store, data-centric algorithms}
}
@InProceedings{jehl_et_al:LIPIcs.OPODIS.2016.31,
author = {Jehl, Leander and Meling, Hein},
title = {{The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {31:1--31:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.31},
URN = {urn:nbn:de:0030-drops-71006},
doi = {10.4230/LIPIcs.OPODIS.2016.31},
annote = {Keywords: atomic storage, reconfiguration, data-centric model}
}
@InProceedings{chen_et_al:LIPIcs.OPODIS.2016.32,
author = {Chen, Tian Ze and Wei, Yuanhao},
title = {{Step Optimal Implementations of Large Single-Writer Registers}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {32:1--32:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.32},
URN = {urn:nbn:de:0030-drops-71010},
doi = {10.4230/LIPIcs.OPODIS.2016.32},
annote = {Keywords: atomic register, regular register, wait-free implementation, single writer, optimal}
}
@InProceedings{spiegelman_et_al:LIPIcs.OPODIS.2016.33,
author = {Spiegelman, Alexander and Keidar, Idit},
title = {{Dynamic Atomic Snapshots}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {33:1--33:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.33},
URN = {urn:nbn:de:0030-drops-71028},
doi = {10.4230/LIPIcs.OPODIS.2016.33},
annote = {Keywords: snapshots, shared memory, dynamic, ephemeral memory}
}
@InProceedings{he_et_al:LIPIcs.OPODIS.2016.34,
author = {He, Meng and Li, Mengdu},
title = {{Deletion without Rebalancing in Non-Blocking Binary Search Trees}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {34:1--34:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.34},
URN = {urn:nbn:de:0030-drops-71032},
doi = {10.4230/LIPIcs.OPODIS.2016.34},
annote = {Keywords: concurrent data structures, non-blocking data structures, lock-free data structures, self-balancing binary search trees, relaxed AVL trees}
}
@InProceedings{doherty_et_al:LIPIcs.OPODIS.2016.35,
author = {Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike},
title = {{Proving Opacity of a Pessimistic STM}},
booktitle = {20th International Conference on Principles of Distributed Systems (OPODIS 2016)},
pages = {35:1--35:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-031-6},
ISSN = {1868-8969},
year = {2017},
volume = {70},
editor = {Fatourou, Panagiota and Jim\'{e}nez, Ernesto and Pedone, Fernando},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.35},
URN = {urn:nbn:de:0030-drops-71040},
doi = {10.4230/LIPIcs.OPODIS.2016.35},
annote = {Keywords: Pessimistic STMs, Opacity, Verification, Isabelle, Simulation, TMS2}
}
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