Programme
All times are listed for WEST (Western European Summer Time)
Monday June 19th
ICE (Workshop on Interaction and Concurrency Experience)
Go to the programme page.
Tutorials
The tutorials will take place at Room 217 at Colégio Almada Negreiros.
| Time | Distribution Track | |
|---|---|---|
| 10:10-11:10 | Implementing and Evaluating Distributed Protocols with Babel (I) | |
| 11:10-11:30 | Coffee break | |
| 11:30-13:00 | Implementing and Evaluating Distributed Protocols with Babel (II) | |
| 13:00-14:30 | Lunch break | |
| **Time** | **Verification Track** | |
| 14:30-15:30 | ||
| 16:00-16:30 | Coffee break | |
| 16:30-18:00 | ||
| 19:00-20:00 | Welcome reception |
Conference Talks
The conference talks will take place in rooms A224, 209, and 217 at Colégio Almada Negreiros.
Tuesday June 20th
Wednesday June 21st
Thursday June 22nd
Friday June 23rd
BehAPI Tutorials
The tutorials will take place at Room 209 at Colégio Almada Negreiros.
| Time | BehAPI |
|---|---|
| 09:30-11:00 | SeTTS: Session Type Test Synthesis for Web-based APIs |
| 11:00-11:30 | Coffee break |
| 11:30-13:00 | Local-First Principles: a Behavioural Typing Approach |
| 13:00-14:30 | Lunch break |
| 14:30-16:00 | JaTyC - Java Typestate Checker |
| 16:30-17:00 | networking coffee |
DisCoTec Invited Talks (Room A224)
DAIS Invited Speaker
- Making Cloud Applications Safe and Efficient with Memory Capabilities by Peter Pietzuch
Coordination Invited Speaker
- Relating Message Passing and Shared Memory, Proof-Theoretically by Frank Pfenning
FORTE Invited Speaker
- Principles of Persistent Programming by Azalea Raad
Coordination programme
Session 1: Run-Time Changes
- Legal Contracts amending with Stipula
by Cosimo Laneve, Alessandro Parenti, and Giovanni Sartor - Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing
by Salman Farhat, Simon Bliudze, Laurence Duchien, and Olga Kouchnarenko - Caos: A Reusable Scala Web Animator of Operational Semantics (short)
by José Proença and Luc Edixhoven
Session 2: Languages and Processes
- Safe asynchronous mixed-choice for timed interactions
by Jonah Pears, Laura Bocchi, and Andy King - Reasoning about Choreographic Programs
by Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, and Marco Peressotti - A Formal MDE Framework for Inter-DSL Collaboration
by Salim Chehida, Akram Idani, Mario Cortes-Cornax, and German Vega
Session 3: Collective Adaptive Systems and Aggregate Computing
- MacroSwarm: a Field-based Compositional Framework for Swarm Programming
by Gianluca Aguzzi, Roberto Casadei, and Mirko Viroli - Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
by Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, and Mirko Viroli - ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala
by Davide Domini, Filippo Cavallari, Gianluca Aguzzi, and Mirko Viroli
Session 4: Cyber-Physical Systems
- Shelley: a framework for model checking call ordering on hierarchical systems
by Carlos Mão de Ferro, Tiago Cogumbreiro, and Francisco Martins - STARK: A Software Tool for the Analysis of Robustness in the unKnown environment
by Valentina Castiglioni, Michele Loreti, and Simone Tini - RSC to the ReSCu: Automated Verification of Systems of Communicating Automata (short)
by Loïc Desgeorges and Loïc Germerie Guizouarn
DAIS programme
Session 1: Distributed Algorithms and Systems
- TADA: A toolkit for approximate distributed agreement
by Eduardo Conceição, Ana Nunes Alonso, Rui Oliveira, and Jose Pereira - Community-based gossip algorithm for distributed averaging
by Christel Sirocchi and Alessandro Bogliolo - Studying the workload of a fully decentralized Web3 system: IPFS
by Pedro Ákos Costa, João Leitão, and Yiannis Psaras
Session 3: Distributed Architectures & Data Management
- Transactional causal consistent microservices simulator
by Pedro Pereira and António Rito Silva - Runtime load-shifting of distributed monitors and controllers across networked devices
by Angelo Filaseta and Danilo Pianini
FORTE programme
Session 1: Concurrent Programming
- A Survey of Tools for Grading Concurrent Programming Exercises
by Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, Jose Pereira, and Paulo Sérgio Almeida - Towards an Automatic Proof of the Bakery Algorithm (short)
by Aman Goel, Stephan Merz, and Karem Sakallah - Certified Compilation of Choreographies with hacc (short)
by Luís Cruz-Filipe, Lovro Lugović, and Fabrizio Montesi - Implementing a CTL Model Checker with mG, a Language for Programming Graph Neural Networks
by Matteo Belenchia, Flavio Corradini, Michela Quadrini, and Michele Loreti.
Session 2: Security
- Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
by Andrea Esposito, Alessandro Aldini and Marco Bernardo - Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study
by Ruggero Lanotte, Massimo Merro, and Nicola Zannone
Session 3: Probabilities, Time and other Resources
- Operations on Timed Scenarios
by Neda Saeedloei and Feliks Kluzniak - On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
by Susmoy Das and Arpit Sharma - On Bisimilarity for Polyhedral Models and SLCS
by Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, and Erik P. de Vink
Session 4: Model-based testing & Petri Nets
- Efficient dynamic model based testing using greedy test case selection
by Flip van Spaendonck - Minimal Generating Sets for Semiflows
by Gerard Memmi
DisCoTec Best Papers
Coordination Best Paper
- Rollback Recovery in Session-based Programming
by Claudio Antares Mezzina, Francesco Tiezzi, and Nobuko Yoshida
DAIS Best Paper
- EdgeEmu - Emulator for Android Edge Devices
by Lyla Naghipour Vijouyeh, Rodrigo Bruno, and Paulo Ferreira
FORTE Best Paper
- Relating Reversible Petri Nets and Reversible Event Structures, categorically
by Hernán Melgratti, Claudio Antares Mezzina, and G. Michele Pinna
DisCoTec Best Artefacts
Coordination Best Artefact
- JoT: A Jolie Framework for Testing Microservices
by Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, and Narongrit Unwerawattana
DAIS Best Artefact
- The Impact of Importance-aware Dataset Partitioning on Data-parallel Training of Deep Neural Networks
by Sina Sheikholeslami, Amir H. Payberah, Tianze Wang, Jim Dowling, and Vladimir Vlassov
FORTE Best Artefact
- With a little help from your friends: semi-cooperative games via Joker moves
by Petra van den Bos and Marielle Stoelinga