OPODIS 2016 December 13-16, 2016 - Madrid, Spain

20th International Conference on Principles of Distributed Systems (OPODIS 2016)



Panagiota Fatourou and Ernesto Jiménez and Fernando Pedone (Eds.)
ISBN 978-3-95977-031-6, LIPICS Vol. 70 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 17 MB)
Search Publication Server


Authors
  • Arabnejad, Hamid
  • Aspnes, James
  • Atalar, Aras
  • Barbosa, Jorge G.
  • Beauquier, Joffroy
  • Bessani, Alysson
  • Burman, Janna
  • Cachin, Christian
  • Casteigts, Arnaud
  • Chang, Yen-Jung
  • Chen, Tian Ze
  • Cohen, Johanne
  • De Bonis, Annalisa
  • Delporte-Gallet, Carole
  • Derrick, John
  • Devismes, Stéphane
  • Doherty, Simon
  • Dongol, Brijesh
  • Ellen, Faith
  • Fatourou, Panagiota
  • Fauconnier, Hugues
  • Fernández Anta, Antonio
  • Gafni, Eli
  • Garg, Vijay K.
  • Gasieniec, Leszek
  • Ghasemzadeh, Mozhgan
  • Godard, Emmanuel
  • Guerraoui, Rachid
  • Hadjistasi, Theophanis
  • Hadzilacos, Vassos
  • Hamilton, David
  • He, Meng
  • He, Yuan
  • Howard, Heidi
  • Ilcinkas, David
  • Jehl, Leander
  • Jiménez, Ernesto
  • Johnen, Colette
  • Keidar, Idit
  • Khanchandani, Pankaj
  • Konwar, Kishori M.
  • Kuznetsov, Petr
  • Larsen, Kim G.
  • Li, Mengdu
  • Lynch, Nancy A.
  • Médard, Muriel
  • Métivier, Yves
  • Maâmra, Khaled
  • Malkhi, Dahlia
  • Manoussakis, George
  • Martin, Russell
  • Mathieu, Fabien
  • Maurer, Alexandre
  • Meling, Hein
  • Mendes, Ricardo
  • Nicolaou, Nicolas
  • Nikolaou, Stavros
  • Oliveira, Tiago
  • Pedone, Fernando
  • Pemmaraju, Sriram
  • Perdereau, Eloi
  • Pilard, Laurence
  • Prakash, N.
  • Qadri, Ammar
  • Renaud-Goud, Paul
  • Riaz, Talal
  • Rieutord, Thibault
  • Robson, John Michael
  • Schellhorn, Gerhard
  • Schmid, Stefan
  • Schubert, Simon
  • Shavit, Nir
  • Sohier, Devan
  • Spiegelman, Alexander
  • Spirakis, Paul G.
  • Stachowiak, Grzegorz
  • Toueg, Sam
  • Tsigas, Philippas
  • Vaidya, Nitin H.
  • van Renesse, Robbert
  • Vukolic, Marko
  • Wattenhofer, Roger
  • Wehrheim, Heike
  • Wei, Yuanhao
  • Xiang, Zhuolun
  • Xue, Bingtian
  • Yu Cheng Chan, David
  • Zemmari, Akka
  • Zwaenepoel, Willy

  •   
    Front Matter, Table of Contents, Preface, Committees, List of Authors
    Authors: Fatourou, Panagiota ; Jiménez, Ernesto ; Pedone, Fernando

    Abstract | Document (386 KB) | BibTeX

    High Throughput Connectomics (Keynote Abstract)
    Authors: Shavit, Nir

    Abstract | Document (206 KB) | BibTeX

    Blockchain - From the Anarchy of Cryptocurrencies to the Enterprise (Keynote Abstract)
    Authors: Cachin, Christian

    Abstract | Document (207 KB) | BibTeX

    Really Big Data: Analytics on Graphs with Trillions of Edges (Keynote Abstract)
    Authors: Zwaenepoel, Willy

    Abstract | Document (210 KB) | BibTeX

    Participating Sets, Simulations, and the Consensus Hierarchy (Keynote Abstract)
    Authors: Ellen, Faith

    Abstract | Document (209 KB) | BibTeX

    Bounded Disagreement
    Authors: Yu Cheng Chan, David ; Hadzilacos, Vassos ; Toueg, Sam

    Abstract | Document (563 KB) | BibTeX

    Read-Write Memory and k-Set Consensus as an Affine Task
    Authors: Gafni, Eli ; He, Yuan ; Kuznetsov, Petr ; Rieutord, Thibault

    Abstract | Document (633 KB) | BibTeX

    Set-Consensus Collections are Decidable
    Authors: Delporte-Gallet, Carole ; Fauconnier, Hugues ; Gafni, Eli ; Kuznetsov, Petr

    Abstract | Document (525 KB) | BibTeX

    k-Set Agreement in Communication Networks with Omission Faults
    Authors: Godard, Emmanuel ; Perdereau, Eloi

    Abstract | Document (577 KB) | BibTeX

    Using Read-k Inequalities to Analyze a Distributed MIS Algorithm
    Authors: Pemmaraju, Sriram ; Riaz, Talal

    Abstract | Document (696 KB) | BibTeX

    Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps
    Authors: Devismes, Stéphane ; Ilcinkas, David ; Johnen, Colette

    Abstract | Document (649 KB) | BibTeX

    Polynomial Self-Stabilizing Maximum Matching Algorithm with Approximation Ratio 2/3
    Authors: Cohen, Johanne ; Maâmra, Khaled ; Manoussakis, George ; Pilard, Laurence

    Abstract | Document (803 KB) | BibTeX

    Distributed Stable Matching with Similar Preference Lists
    Authors: Khanchandani, Pankaj ; Wattenhofer, Roger

    Abstract | Document (506 KB) | BibTeX

    Time and Space Optimal Counting in Population Protocols
    Authors: Aspnes, James ; Beauquier, Joffroy ; Burman, Janna ; Sohier, Devan

    Abstract | Document (521 KB) | BibTeX

    Deterministic Population Protocols for Exact Majority and Plurality
    Authors: Gasieniec, Leszek ; Hamilton, David ; Martin, Russell ; Spirakis, Paul G. ; Stachowiak, Grzegorz

    Abstract | Document (462 KB) | BibTeX

    Design Patterns in Beeping Algorithms
    Authors: Casteigts, Arnaud ; Métivier, Yves ; Robson, John Michael ; Zemmari, Akka

    Abstract | Document (555 KB) | BibTeX

    Collision-Free Pattern Formation
    Authors: Guerraoui, Rachid ; Maurer, Alexandre

    Abstract | Document (460 KB) | BibTeX

    Predicate Detection for Parallel Computations with Locking Constraints
    Authors: Chang, Yen-Jung ; Garg, Vijay K.

    Abstract | Document (995 KB) | BibTeX

    WNetKAT: A Weighted SDN Programming and Verification Language
    Authors: Larsen, Kim G. ; Schmid, Stefan ; Xue, Bingtian

    Abstract | Document (572 KB) | BibTeX

    Deadline-Budget constrained Scheduling Algorithm for Scientific Workflows in a Cloud Environment
    Authors: Ghasemzadeh, Mozhgan ; Arabnejad, Hamid ; Barbosa, Jorge G.

    Abstract | Document (688 KB) | BibTeX

    Moving Participants Turtle Consensus
    Authors: Nikolaou, Stavros ; van Renesse, Robbert

    Abstract | Document (560 KB) | BibTeX

    Kleinberg’s Grid Reloaded
    Authors: Mathieu, Fabien

    Abstract | Document (550 KB) | BibTeX

    Generalized Selectors and Locally Thin Families with Applications to Conflict Resolution in Multiple Access Channels Supporting Simultaneous Successful Transmissions
    Authors: De Bonis, Annalisa

    Abstract | Document (451 KB) | BibTeX

    How Lock-free Data Structures Perform in Dynamic Environments: Models and Analyses
    Authors: Atalar, Aras ; Renaud-Goud, Paul ; Tsigas, Philippas

    Abstract | Document (600 KB) | BibTeX

    Non-Determinism in Byzantine Fault-Tolerant Replication
    Authors: Cachin, Christian ; Schubert, Simon ; Vukolic, Marko

    Abstract | Document (597 KB) | BibTeX

    Flexible Paxos: Quorum Intersection Revisited
    Authors: Howard, Heidi ; Malkhi, Dahlia ; Spiegelman, Alexander

    Abstract | Document (492 KB) | BibTeX

    Relaxed Byzantine Vector Consensus
    Authors: Xiang, Zhuolun ; Vaidya, Nitin H.

    Abstract | Document (624 KB) | BibTeX

    m-Consensus Objects Are Pretty Powerful
    Authors: Qadri, Ammar

    Abstract | Document (404 KB) | BibTeX

    RADON: Repairable Atomic Data Object in Networks
    Authors: Konwar, Kishori M. ; Prakash, N. ; Lynch, Nancy A. ; Médard, Muriel

    Abstract | Document (613 KB) | BibTeX

    Computationally Light "Multi-Speed" Atomic Memory
    Authors: Fernández Anta, Antonio ; Hadjistasi, Theophanis ; Nicolaou, Nicolas

    Abstract | Document (1,086 KB) | BibTeX

    Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations
    Authors: Oliveira, Tiago ; Mendes, Ricardo ; Bessani, Alysson

    Abstract | Document (627 KB) | BibTeX

    The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage
    Authors: Jehl, Leander ; Meling, Hein

    Abstract | Document (568 KB) | BibTeX

    Step Optimal Implementations of Large Single-Writer Registers
    Authors: Chen, Tian Ze ; Wei, Yuanhao

    Abstract | Document (513 KB) | BibTeX

    Dynamic Atomic Snapshots
    Authors: Spiegelman, Alexander ; Keidar, Idit

    Abstract | Document (636 KB) | BibTeX

    Deletion without Rebalancing in Non-Blocking Binary Search Trees
    Authors: He, Meng ; Li, Mengdu

    Abstract | Document (684 KB) | BibTeX

    Proving Opacity of a Pessimistic STM
    Authors: Doherty, Simon ; Dongol, Brijesh ; Derrick, John ; Schellhorn, Gerhard ; Wehrheim, Heike

    Abstract | Document (664 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI