Accepted Papers
- Christian Göttel, Pascal Felber and Valerio Schiavoni. iperfTZ: Understanding Network Bottlenecks for TrustZone-based Trusted Applications
- Ajoy K. Datta, Stéphane Devismes, Colette Johnen and Lawrence Larmore. Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction
- Anaïs Durand and Shay Kutten. Reducing the Number of Messages in Self-stabilizing Protocols
- Shishir Rai, Kendric Hood, Mikhail Nesterenko and Gokarna Sharma. Brief Announcement: Blockguard: Adaptive Blockchain Security
- Shota Nagahama, Fukuhito Ooshita and Michiko Inoue. Ring Exploration of Myopic Luminous Robots with Visibility More than One
- Hideyuki Tanaka, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa and Ajoy K. Datta. A Self-stabilizing 1-maximal Independent Set Algorithm
- Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama and Toshimitsu Masuzawa. Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks
- Pavan Poudel and Gokarna Sharma. Adaptive Versioning in Transactional Memories
- Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa and Toshimitsu Masuzawa. Logarithmic Expected-Time Leader Election in Population Protocol Model
- Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa and Toshimitsu Masuzawa. Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity
- Junya Nakamura, Masahiro Shibata, Yuichi Sudo and Yonghwan Kim. Brief Announcement: Self-Stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph
- Michael Feldmann, Thorsten Götte and Christian Scheideler. Self-stabilizing Congestion Control with Logarithmic Memory
- Ha Thi Thu Doan, Adrian Riesco and Kazuhiro Ogata. An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms
- Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud and Mikaël Rabie. Brief Announcement: Distributed Computing in the Asynchronous LOCAL model
- Rida Bazzi and Joseph Briones. Stationary and Deterministic Leader Election in Self-Organizing Particle Systems
- Armando Castaneda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy and Corentin Travers. Synchronous t-Resilient Consensus in Arbitrary Graphs
- Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita and Toshimitsu Masuzawa. Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view
- Michel Raynal and Gadi Taubenfeld. Brief Announcement: Fully Anonymous Shared Memory Algorithms
- Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita and Koichi Wada. Brief Announcement: Neighborhood Mutual Remainder: Self-Stabilizing Implementation of LCM Robots
- Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid and Sergio Rajsbaum. A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus
- Masashi Tsuchida, Fukuhito Ooshita and Michiko Inoue. Black hole search despite Byzantine agents
- Amaury Bouchra Pilet, Davide Frey and Francois Taiani. Robust Privacy-Preserving Gossip Averaging
- Othon Michail, Paul Spirakis and Michail Theofilatos. Fault Tolerant Network Constructors
- Ingo van Duijn, Chen Avin and Stefan Schmid. Self-Adjusting Linear Networks
- Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita and Koichi Wada. Brief announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots
- Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri and Archit Somani. Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems
- Serafino Cicerone, Gabriele Di Stefano and Alfredo Navarra. On Gathering of Semi-Synchronous Robots in Graphs
- Armando Castaneda, Aurélie Hurault, Philippe Quéinnec and Matthieu Roy. Modular Machine-Checked Proofs of Concurrent Algorithms Built from Tasks