Technical Program
Tuesday, 22 October, 2019
9:30-10:00 -- Conference opening
- Opening address, registration
10:00-12:00 -- Tutorial 1
- Tutorial: the theory of blockchains, Antonella Del Pozzo
12:30-14:00
14:00-16:00 -- Tutorial 2
- Tutorial: hands on blockchains, Quentin Bramas
16:00-16:30
16:30-18:00 -- Special Session
- In memory of Ajoy K. Datta: talks by Stéphane Devismes, Shlomi Dolev, Ted Herman, Toshimitsu Masuzawa, Franck Petit, Yuichi Sudo, Sébastien Tixeuil
19:00-21:00 -- Social Event
Wednesday, 23 October, 2019
9:00-10:00 -- Keynote 1 (Chair: Sara Tucci)
- Keynote: What can be computed asynchronously, Petr Kuznetsov
10:00-10:30
10:30-12:30 -- Session 1: Moving and Computing 1 (Chair: Shlomi Dolev)
- Ring Exploration of Myopic Luminous Robots with Visibility More than One. Shota Nagahama, Fukuhito Ooshita and Michiko Inoue
- Logarithmic Expected-Time Leader Election in Population Protocol Model. Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa and Toshimitsu Masuzawa
- Stationary and Deterministic Leader Election in Self-Organizing Particle Systems. Rida Bazzi and Joseph Briones
- On Gathering of Semi-Synchronous Robots in Graphs.Serafino Cicerone, Gabriele Di Stefano and Alfredo Navarra.
12:30-14:00
14:00-16:15 -- Session 2: Security and Privacy (Chair: Stéphane Devismes)
- Invited paper: On the Characterization of Blockchain Consensus under Incentives. Sara Tucci
- iperfTZ: Understanding Network Bottlenecks for TrustZone-based Trusted Applications. Christian Göttel, Pascal Felber and Valerio Schiavoni.
- Atomic Cross-Chain Swaps with Improved Space and Local Time Complexity.Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa and Toshimitsu Masuzawa.
- Robust Privacy-Preserving Gossip Averaging.Amaury Bouchra Pilet, Davide Frey and Francois Taiani.
- Brief Announcement: Blockguard: Adaptive Blockchain Security.Shishir Rai, Kendric Hood, Mikhail Nesterenko and Gokarna Sharma.
16:15-16:45
16:45-18:15 -- Session 3: Self-stabilization 1 (Chair: Quentin Bramas)
- Reducing the Number of Messages in Self-stabilizing Protocols. Anaïs Durand and Shay Kutten.
- A Self-stabilizing 1-maximal Independent Set Algorithm. Hideyuki Tanaka, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa and Ajoy K. Datta.
- Brief Announcement: Self-Stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph. Junya Nakamura, Masahiro Shibata, Yuichi Sudo and Yonghwan Kim.
- Brief Announcement: Analysis of a Memory-Efficient Self-Stabilizing BFS Spanning Tree Construction. Ajoy K. Datta, Stéphane Devismes, Colette Johnen and Lawrence Larmore.
18:15-19:15 -- Social event
- Pisa beyond the leaning tower -- a guided tour of the historic center.
Thursday, 24 October, 2019
9:00-10:00 -- Keynote 2 (Chair: Yukiko Yamauchi)
- Keynote: Amoebots and Beyond: Models and Approaches for Programmable Matter, Christian Scheideler
10:00-10:30
10:30-12:00 -- Session 4: Foundations (Chair: Sara Tucci)
- Synchronous t-Resilient Consensus in Arbitrary Graphs. Armando Castaneda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy and Corentin Travers.
- A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus. Hugo Rincon Galeana, Kyrill Winkler, Ulrich Schmid and Sergio Rajsbaum.
- Brief Announcement: Fully Anonymous Shared Memory Algorithms. Michel Raynal and Gadi Taubenfeld.
- Brief Announcement: Brief Announcement: Distributed Computing in the Asynchronous LOCAL model. Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud and Mikaël Rabie.
12:00-14:00
14:00-15:00 -- Keynote 3 (Chair: Sébastien Tixeuil)
- Keynote: Moving and Computing in Time-Varying Graphs, Paola Flocchini
15:00-16:00 -- Session 5: Transactional Memory (Chair: Fukuhito Ooshita)
- Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri and Archit Somani.
- Adaptive Versioning in Transactional Memories. Pavan Poudel and Gokarna Sharma.
16:00-16:30
16:30-17:00 -- Social event
- Museum visit -- Museo degli Strumenti per il Calcolo.
17:00-18:00
19:30-22:00 -- Social event
- Conference Banquet: Quore, Via del Cuore, 1, Pisa.
- It is possible to go to the restaurant directly from 20:00
Friday, 25 October, 2019
9:00-10:00 -- Scientific Event
- Brainstorming: Meeting groups for writing papers for SSS 2020.
10:00-10:30
10:30-12:15 -- Session 6: Moving and Computing 2 (Chair: Gokarna Sharma)
- Exploration of dynamic ring networks by a single agent with the H-hops and S-time steps view. Tsuyoshi Gotoh, Yuichi Sudo, Fukuhito Ooshita and Toshimitsu Masuzawa.
- Fault Tolerant Network Constructors. Othon Michail, Paul Spirakis and Michail Theofilatos.
- Black hole search despite Byzantine agents. Masashi Tsuchida, Fukuhito Ooshita and Michiko Inoue.
- Brief Announcement: Forgive & Forget: Self-Stabilizing Swarms in Spite of Byzantine Robots.Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Fukuhito Ooshita and Koichi Wada.
12:00-14:00
14:00-15:00 -- Session 7: Formal Methods (Chair: Sébastien Tixeuil)
- Modular Machine-Checked Proofs of Concurrent Algorithms Built from Tasks. Armando Castaneda, Aurélie Hurault, Philippe Quéinnec and Matthieu Roy.
- An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms.Ha Thi Thu Doan, Adrian Riesco and Kazuhiro Ogata.
15:00-16:45 -- Session 8: Self-stabilization 2 (Chair: Toshimitsu Masuzawa)
- Self-Adjusting Linear Networks.Ingo van Duijn, Chen Avin and Stefan Schmid.
- Self-stabilizing Congestion Control with Logarithmic Memory. Michael Feldmann, Thorsten Götte and Christian Scheideler.
- Improved-Zigzag: An improved local-information based self-optimizing routing algorithm in virtual grid networks. Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama and Toshimitsu Masuzawa.
- Brief Announcement: Self-stabilizing LCM Schedulers for Autonomous Mobile Robots using Neighborhood Mutual Remainder. Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita and Koichi Wada.
16:45-17:00 -- Conference closing
