Program
Filter sessions by day, track, or keyword.
Filter program sessions
Wednesday, 9 September
Opening and Welcome
Sala GeraceSpeaker: Prof. Paolo Pagano (National Inter-University Consortium for Telecommunications)
Coffee Break
Session 1 - Systems Infrastructure, Evaluation and Resource Efficiency
Sala Gerace-
11:00-11:30Paper #3
COUBES: Towards Universal Benchmarking of Container Orchestration Schedulers
Florin-Vladimir Stancu, Karim Djemame, Faiza Shirazi
-
11:30-12:00Paper #6
OverlaySys: Easing Development Cost for Interposing Systems
Jihong Min, Jorn Altmann, Bernhard Egger
-
12:00-12:30Paper #11
HostPIMSim: A High-Productivity Framework for Host-Side Processing-in-Memory Simulation
Jihong Min, Bernhard Egger
-
12:30-13:00Paper #15
CONMAN: Mitigating Shared Memory Interference to Maximize Cloud Host Utilization
Junsung Yook, Bernhard Egger, Jorn Altmann
Lunch
Session 2 - Modelling, Verification and Distributed-System Behaviour
Sala Gerace-
14:00-14:30Paper #4 Slides
A Formal Framework for the Verification, Validation, and Simulation of Distributed Systems through Petri Nets and TLA+
Jose Angel Bañares
-
14:30-15:00Paper #12
Tail-Sensitive Distributed Ordering under Subexponential Network Delays
Alexandru-Ioan Stan, Cristian Sorin Bologa, Gheorghe Cosmin Silaghi
-
15:00-15:30Paper #2
Statistical Methods within Network Neutrality Monitoring Tools
Nada Dandachi, Patrick Maillé, Bruno Tuffin
Coffee Break
Speaker: Prof. Karim Djemame (University of Leeds, UK)
Thursday, 10 September
Registration
Speaker: Prof. Giulio Greco (University of Pisa)
Session 3 - Cloud Resource Management and Economics
Sala Gerace-
09:30-10:00
Georgios Diamantopoulos, Panagiotis Oikonomou, Efstratios Archontis, Panagiotis Roumelis, Thanasis Loukopoulos, Samee Khan, Georgios Theodoropoulos, Nikos Tziritas
-
10:00-10:30
Diogo Jesus, Luis Veiga
-
10:30-11:00
José Simão, Manuel Domingues, Luis Veiga
Coffee Break
Session 4 - Control Planes, Orchestration and Cloud-Native Operations
Sala Gerace-
11:30-12:00
Samuel Romero Fortin, Jörn Altmann, Bernhard Egger
-
12:00-12:30
Jacopo Massa, Mariarita Pierotti, Patrizio Dazzi
-
12:30-13:00Paper #25
Kubernetes Provisions: A GitOps-Driven Framework for Merge-Request Preview Environments
Hussein Dennis, Karim Djemame
Lunch
European Projects Track
Sala Gerace-
14:00-14:30
Panagiotis Sapoutzoglou, Jessy Ribaira, Martin Kanounnikof, Bas Tijsma, Christian Geiß, Maria Pateraki
-
14:30-15:00Paper #31 Slides
TURING: Towards Robust Foundation Models and Platform Services for Complex Physical Systems
Ioannis Kontopoulos, Milos Savic, Dusan Jakovetic, Jelena Topić Božič, Maria Pateraki, Konstantinos Tserpes
Coffee Break
Visit to the Walls of Pisa
The tour will start from the Piezometric Tower, adjacent to the Department of Computer Science.
Social Dinner
I Muri StortiThe dinner will take place at the restaurant I Muri Storti, located in the historical center of Pisa.
Friday, 11 September
Speaker: Prof. Patrizio Dazzi (University of Pisa, Italy), Dr. Alessandro Berti (University of Pisa, Italy)
Poster Lightning Talks
Sala GeraceCoffee Break and Poster Session
Session 5 - Governance, Trust and Digital Ecosystems
Sala Gerace-
11:30-12:00Paper #21
Enabling Trustworthy Metaverse Applications Through Formal Modelling and Verification
Maryam Amin, Umara Zahid, Zahid Rashid, Jorn Altmann
-
12:00-12:30
Javier Cano-Esteban, Thomas Rusiecki, Pedro Vílchez, Felix Freitag, Viola Gallina, Arko Steinwender, Leandro Navarro
-
12:30-13:00Paper #9 Slides
Uncovering the Hidden Market of Telegram Usernames: The Case of the Fragment Marketplace
Francesco Maggio, Andrea Michienzi, Barbara Guidi