Program

Filter sessions by day, track, or keyword.

Filter program sessions

Wednesday, 9 September

08:30-09:00
Social

Registration

09:00-09:30
Social

Opening and Welcome

Sala Gerace
10:30-11:00
Break

Coffee Break

Session 1 - Systems Infrastructure, Evaluation and Resource Efficiency

Sala Gerace
  • 11:00-11:30
    Paper #3

    COUBES: Towards Universal Benchmarking of Container Orchestration Schedulers

    Florin-Vladimir Stancu, Karim Djemame, Faiza Shirazi

  • 11:30-12:00
    Paper #6

    OverlaySys: Easing Development Cost for Interposing Systems

    Jihong Min, Jorn Altmann, Bernhard Egger

  • 12:00-12:30
    Paper #11

    HostPIMSim: A High-Productivity Framework for Host-Side Processing-in-Memory Simulation

    Jihong Min, Bernhard Egger

  • 12:30-13:00
    Paper #15

    CONMAN: Mitigating Shared Memory Interference to Maximize Cloud Host Utilization

    Junsung Yook, Bernhard Egger, Jorn Altmann

13:00-14:00
Break

Lunch

Session 2 - Modelling, Verification and Distributed-System Behaviour

Sala Gerace
  • 14:00-14:30
    Paper #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:00
    Paper #12

    Tail-Sensitive Distributed Ordering under Subexponential Network Delays

    Alexandru-Ioan Stan, Cristian Sorin Bologa, Gheorghe Cosmin Silaghi

  • 15:00-15:30
    Paper #2

    Statistical Methods within Network Neutrality Monitoring Tools

    Nada Dandachi, Patrick Maillé, Bruno Tuffin

15:30-16:00
Break

Coffee Break

Thursday, 10 September

08:30-09:00
Social

Registration

Session 3 - Cloud Resource Management and Economics

Sala Gerace
  • 09:30-10:00
    Paper #1 Slides

    Squeeze to Fit: Online Moldable Interval Scheduling for the Cloud

    Georgios Diamantopoulos, Panagiotis Oikonomou, Efstratios Archontis, Panagiotis Roumelis, Thanasis Loukopoulos, Samee Khan, Georgios Theodoropoulos, Nikos Tziritas

  • 10:00-10:30
    Paper #13 Slides

    Cost-Aware Predictive Planning for Decentralized Serverless Workflow Execution

    Diogo Jesus, Luis Veiga

  • 10:30-11:00
    Paper #14 Slides

    A Double Auction Mechanism for FaaS Scheduling in the Cloud Continuum

    José Simão, Manuel Domingues, Luis Veiga

11:00-11:30
Break

Coffee Break

Session 4 - Control Planes, Orchestration and Cloud-Native Operations

Sala Gerace
  • 11:30-12:00
    Paper #5 Slides

    Stochastic AI Orchestration for Neural Semantic-Aware Mobile Edge Inference

    Samuel Romero Fortin, Jörn Altmann, Bernhard Egger

  • 12:00-12:30
    Paper #7 Slides

    AI Sprawl as a Control-Plane Problem: A Rule-Based Perspective

    Jacopo Massa, Mariarita Pierotti, Patrizio Dazzi

  • 12:30-13:00
    Paper #25

    Kubernetes Provisions: A GitOps-Driven Framework for Merge-Request Preview Environments

    Hussein Dennis, Karim Djemame

13:00-14:00
Break

Lunch

European Projects Track

Sala Gerace
  • 14:00-14:30
    Paper #28 Slides

    Trustworthy Visual Quality Inspection under Data Scarcity in Manufacturing

    Panagiotis Sapoutzoglou, Jessy Ribaira, Martin Kanounnikof, Bas Tijsma, Christian Geiß, Maria Pateraki

  • 14:30-15:00
    Paper #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

15:00-15:30
Break

Coffee Break

16:30-18:00
Social

Visit to the Walls of Pisa

The tour will start from the Piezometric Tower, adjacent to the Department of Computer Science.

20:00
Social

Social Dinner

I Muri Storti

The dinner will take place at the restaurant I Muri Storti, located in the historical center of Pisa.

Friday, 11 September

10:30-11:00
Posters

Poster Lightning Talks

Sala Gerace
11:00-11:30
Break

Coffee Break and Poster Session

Session 5 - Governance, Trust and Digital Ecosystems

Sala Gerace
  • 11:30-12:00
    Paper #21

    Enabling Trustworthy Metaverse Applications Through Formal Modelling and Verification

    Maryam Amin, Umara Zahid, Zahid Rashid, Jorn Altmann

  • 12:00-12:30
    Paper #8 Slides

    Design of Lifecycle-oriented Digital Product Passports for Circular ICT Goods

    Javier Cano-Esteban, Thomas Rusiecki, Pedro Vílchez, Felix Freitag, Viola Gallina, Arko Steinwender, Leandro Navarro

  • 12:30-13:00
    Paper #9 Slides

    Uncovering the Hidden Market of Telegram Usernames: The Case of the Fragment Marketplace

    Francesco Maggio, Andrea Michienzi, Barbara Guidi

13:00-14:00
Break

Farewell Lunch

14:00-14:30
Social

Closing Session

Sala Gerace