LIPIcs, Volume 70
OPODIS 2016, December 13-16, 2016, Madrid, Spain
Editors: Panagiota Fatourou, Ernesto Jiménez, and Fernando Pedone
Published in: LIPIcs, Volume 253, 26th International Conference on Principles of Distributed Systems (OPODIS 2022)
Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, and Fernando Pedone. Robust and Fast Blockchain State Synchronization. In 26th International Conference on Principles of Distributed Systems (OPODIS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 253, pp. 8:1-8:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{fynn_et_al:LIPIcs.OPODIS.2022.8, author = {Fynn, Enrique and Buchman, Ethan and Milosevic, Zarko and Soul\'{e}, Robert and Pedone, Fernando}, title = {{Robust and Fast Blockchain State Synchronization}}, booktitle = {26th International Conference on Principles of Distributed Systems (OPODIS 2022)}, pages = {8:1--8:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-265-5}, ISSN = {1868-8969}, year = {2023}, volume = {253}, editor = {Hillel, Eshcar and Palmieri, Roberto and Rivi\`{e}re, Etienne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.8}, URN = {urn:nbn:de:0030-drops-176280}, doi = {10.4230/LIPIcs.OPODIS.2022.8}, annote = {Keywords: state synchronization, replication, blockchain} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 0:i-0:xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Nir Shavit. High Throughput Connectomics (Keynote Abstract). In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Christian Cachin. Blockchain - From the Anarchy of Cryptocurrencies to the Enterprise (Keynote Abstract). In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, p. 2:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Willy Zwaenepoel. Really Big Data: Analytics on Graphs with Trillions of Edges (Keynote Abstract). In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, p. 3:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Faith Ellen. Participating Sets, Simulations, and the Consensus Hierarchy (Keynote Abstract). In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, p. 4:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
David Yu Cheng Chan, Vassos Hadzilacos, and Sam Toueg. Bounded Disagreement. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 5:1-5:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Eli Gafni, Yuan He, Petr Kuznetsov, and Thibault Rieutord. Read-Write Memory and k-Set Consensus as an Affine Task. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 6:1-6:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, and Petr Kuznetsov. Set-Consensus Collections are Decidable. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 7:1-7:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Emmanuel Godard and Eloi Perdereau. k-Set Agreement in Communication Networks with Omission Faults. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 8:1-8:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Sriram Pemmaraju and Talal Riaz. Using Read-k Inequalities to Analyze a Distributed MIS Algorithm. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 9:1-9:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Stéphane Devismes, David Ilcinkas, and Colette Johnen. Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 10:1-10:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Published in: LIPIcs, Volume 70, 20th International Conference on Principles of Distributed Systems (OPODIS 2016)
Johanne Cohen, Khaled Maâmra, George Manoussakis, and Laurence Pilard. Polynomial Self-Stabilizing Maximum Matching Algorithm with Approximation Ratio 2/3. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 70, pp. 11:1-11:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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-dev.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} }
Feedback for Dagstuhl Publishing