Workshop on Software Technology for Distributed Systems
KTH Royal Institute of Technology, Stockholm, Sweden, December 11, 2025
KTH Royal Institute of Technology, Stockholm, Sweden, December 11, 2025
Organizer and chair: Philipp Haller, KTH, TCS
Location: Lindstedtsvägen 3, room 1537 (Germund Dahlquist).
Workshop program also streamed via Zoom webinar
9:00 Public defense of PhD thesis of Jonas Spenger (KTH)
Location: Kollegiesalen, Rektorshuset, Brinellvägen 8, KTH
Join the Zoom webinar
14:00 Keynote by Miryung Kim (UCLA):
"Reinventing Testing for Big Data and Heterogeneous Computing"
15:00 Yongluan Zhou (University of Copenhagen): "Data Management in Event-Driven Microservice Architectures"
15:30 ---- Break ----
15:45 Marjan Sirjani (Mälardalen University): "Model Checking and Testing Actors with Faults"
16:15 Carla Ferreira (NOVA University Lisbon): "Fast, Safe Geo-Replication for Global-Scale Systems"
16:45 Tom Van Cutsem (KU Leuven): "Depermissioning Web3: a Permissionless Accountable RPC Protocol for Blockchain Networks"
17:15 Closing
(Program subject to minor adjustments.)