July 2nd | Dresden Research Center - Operating System & Web
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Guilei Xie Haibo Chen | Opening Speech | |
| 00:14:03 | Viktor Vafeiadis | Getting more out of a stateless model checker | [PDF] |
| 01:00:26 | Nils Asmussen | The M³ Hardware/Software Platform | [PDF] |
| 01:42:16 | Antonio Paolillo | A journey through multi-core performance debugging | |
| 02:20:48 | Tomasz Kloda | Real-time scheduling of dynamic neural networks on multi-Edge TPU | [PDF] |
| 03:02:04 | Yutao Liu Hernan Luis Ponce de Leon Viktor Vafeiadis Nils Asmussen & Antonio Paolillo Tomasz Kloda | Timestamping through a Data-Structure Lens | |
| 03:37:28 | Manuel Rego Casasnovas | Servo: A web rendering engine for the future | [PDF] |
| 04:16:33 | Rik Arends | Makepad: Mobile, desktop and web application development in Rust | |
| 04:57:35 | Jesus de Santos Garcia | Transforming User Interfaces: A Deep Dive into NoesisGUI | |
| 05:30:45 | Ming Fu Jonas Oberhauser Manuel Rego Casasnovas Rik Arends Jesus de Santos Garcia | Panel Discussion |
July 3rd | Pisa - Realtime System
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:01:04 | Gabriele Pannocchia | Welcome words by University of Pisa | |
| 00:03:49 | Hongbo Tian | Welcome words by Huawei leader | |
| 00:09:02 | Giorgio Buttazzo | keynote: Toward predictable AI-enabled Real-Time Systems | [PDF] |
| 01:09:48 | Paolo Burgio | Enabling predictable computing on reconfigurable embedded accelerators | [PDF] |
| 01:47:18 | Sergio Saponara | Model-based Design and Verification and CyberSecurity Solutions for Automotive and Digital Power | [PDF] |
| 02:19:59 | Sergio Savaresi | Robo-driver: the enabler of the revolution of personal mobility | [PDF] |
| 02:55:57 | Francesco Marcelloni | Towards Trustworthy AI in Next Generation Wireless Networks | [PDF] |
| 03:29:17 | Annachiara Ruospo | Reliability challenges and solutions in the new age of artificial intelligence-powered devices | [PDF] |
July 4th | Edinburgh - Database, Programing Language & Compiler
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Shaowei Liu | Opening Speech | |
| 00:18:20 | Song Zhang | Industry-academia partnership to accelerate innovation in the new AI era | |
| 00:37:52 | Nikolaos Ntarmos | Business/technical challenge for the GSTS summit | |
| 00:49:05 | Boris Grot | Serverless-native data analytics | |
| 01:17:41 | Themis Palpanas | High-Dimensional Vector Similarity Search | |
| 03:04:45 | Dan Ghica | Business/technical challenge for the GSTS summit | |
| 03:15:49 | Daniel Hillerstrom | Effect Handlers All the Way Down | |
| 04:01:04 | Jonathan Brachthauser | Programming with Effects and Handlers | |
| 04:47:13 | Jinyun Ye | Business/technical challenge for the GSTS summit | |
| 04:54:23 | Jeronimo Castrillon | Programming models and abstractions for computational efficiency | |
| 05:41:44 | Zheng Wang | Precise and Robust Machine Learning for Code Analysis and Optimisation | |
| 06:29:30 | Jeff Pan (moderator) Luca Soldaini Mark Steedman Dave Robertson Dan Ghica Jinyun Ye Nikolaos Ntarmos Firas Alsehly Luke Darlow Themis Palpanas | Panel: Software Stack in the LLM Era |
July 4th | Dublin - Software Autonomy Trustworthy & Cloud Service & Graphics Rendering Technology
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Minghua Liu | Opening Speech | |
| 00:07:12 | Kenny Mitchell | Scaling advanced video game rendering on mobile | |
| 00:56:58 | Mircea Cristea | The most modern and professional GPU benchmarks | |
| 01:34:23 | Ioannis Tsamardinos | Advances in Automated Causal Discovery and Application on Marketing Data | |
| 02:15:40 | Peter Triantafillou | Machine unlearning for database analytics, image classification, and LLMs. | |
| 03:04:26 | Lionel Briand | Large Language Models for Software Engineering: Opportunities and Challenges | |
| 03:47:04 | Zhendong Su | Solidifying the Software Foundations | |
| 04:33:13 | John D. Kelleher | Neural Translation of Natural Language Business Queries to SQL | |
| 05:18:39 | Aonghus Lawlor | Addressing new Challenges in Recommender Systems with LLMs | |
| 05:57:31 | MingMing Liu | On the Design of Privacy-Aware Smart Mobility Systems: From Decentralised Optimisation to Federated Learning |
July 5th | Edinburgh - Distributed & Operating Systems, Indoor Positioning & Knowledge Computing
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Adam Barker | Business/technical challenge for the GSTS summit | |
| 00:09:21 | Vasily Sartakov | Intravisor: Type-3 Hypervisor for Isolation and Sharing in Clouds | |
| 01:03:04 | Sanidhya Kashyap | Towards Evolving OS with Fast, Flexible, and Practical Extensions | |
| 01:51:16 | Denis Barthou | Business/technical challenge for the GSTS summit | |
| 02:00:07 | Nahid Emad | Parallel and Distributed Eigenproblems for Large AI models | |
| 02:41:24 | David Defour | Some issues with Floating-Point representation formats and their numerical meaning | |
| 03:16:54 | Firas Alsehly | Is High Availability Indoor Positioning a Myth? Opportunities for Unsupervised 3D Graph Construction | |
| 03:56:48 | Jeff Pan | Business/technical challenge for the GSTS summit | |
| 04:10:29 | Andreas Vlachos | Automated Fact-checking, an NLP perspective | |
| 04:57:09 | Luca Soldaini | OLMo: Accelerating the Science of Open Language Models | |
| 05:43:02 | Javad Hosseini | Synthetic data generation for domain generalization: The cases of Natural Language Inference and Proposition Segmentation |