Successfully registered.
You'll receive a confirmation email soon with more information.
Huawei is committed to bring digital to every person, home and organization for a fully-connected intelligent world. To harness the true benefits of AI, Computing, Cloud, the basic software that underpins the foundation of these technologies must successfully resolve the challenges that arise from the need to support a rich variety of business scenarios on thousands of heterogeneous devices. Huawei aims to foster the open-minded discussion of industry challenges with its academic and industrial partners.

Huawei European Research Institute and Central Software Institute together invite collaboration partners and the research community to join the four-day open access conference focusing on the latest research and development in AI, Operating Systems, Realtime System, Data Analytics, Compiler, Programming Language, Software Autonomy & Cloud Service Technology and related topics – innovations which will build the future systems.

The scope of the summit is based on publicly available information and the presentations are open to all participants (external experts and Huawei colleagues). The attendees will include professors and experts from our global partners and employees from Huawei.
TimeTopicSpeaker
07:00-07:20

Opening Speech

Guilei Xie
Haibo Chen
07:20-08:00

Getting more out of a stateless model checker

View Details
Viktor Vafeiadis
08:00-08:40

The M³ Hardware/Software Platform

View Details
Nils Asmussen
Coffee Break (20 minutes)
09:00-09:40

A journey through multi-core performance debugging

View Details
Antonio Paolillo
09:40-10:20

Real-time scheduling of dynamic neural networks on multi-Edge TPU

View Details
Tomasz Kloda
10:20-11:00

Panel Discussion

Yutao Liu
Hernan Luis Ponce de Leon
Viktor Vafeiadis
Nils Asmussen
Antonio Paolillo
Tomasz Kloda
Lunch Break (1 hour)
12:00-12:40

Servo: A web rendering engine for the future

View Details
Manuel Rego Casasnovas
12:40-13:20

Makepad: Mobile, desktop and web application development in Rust

View Details
Rik Arends
13:20-14:00

Transforming User Interfaces: A Deep Dive into NoesisGUI

View Details
Jesus de Santos Garcia
14:00-14:40

Panel Discussion

Ming Fu
Jonas Oberhauser
Manuel Rego Casasnovas
Rik Arends
Jesus de Santos Garcia
TimeTopicSpeaker
07:30-07:40

Welcome words by University of Pisa

Riccardo Zucchi
Gabriele Pannocchia
07:40-07:50

Welcome words by Huawei leader

Hongbo Tian
07:50-08:50

keynote: Toward predictable AI-enabled Real-Time Systems

View Details
Giorgio Buttazzo
08:50-09:20

Enabling predictable computing on reconfigurable embedded accelerators

View Details
Paolo Burgio
09:20-09:50

High-Performance Real-Time Computing for Cyber-Physical Systems

View Details
Marco Caccamo
Coffee Break (30 minutes)
10:20-10:50

Model-based Design and Verification and CyberSecurity Solutions for Automotive and Digital Power

View Details
Sergio Saponara
Gianluca Dini
10:50-11:20

Robo-driver: the enabler of the revolution of personal mobility

View Details
Sergio Savaresi
Lunch Break (80 minutes)
12:40-13:10

Towards Trustworthy AI in Next Generation Wireless Networks

View Details
Francesco Marcelloni
13:10-13:40

Artificial Intelligence research at the Department of Computer Science, University of Pisa, Italy

View Details
Salvatore Ruggieri
13:40-14:10

Explainable AI and Human-AI collaboration

View Details
Roberto Pellungrini
14:10-14:40

Reliability challenges and solutions in the new age of artificial intelligence-powered devices

View Details
Annachiara Ruospo
TimeTopicSpeaker
09:00-09:20

Opening Speech

Shaowei Liu
09:20-09:40

Industry-academia partnership to accelerate innovation in the new AI era

View Details
Song Zhang
09:40-09:50

Business/technical challenge for the GSTS summit

Nikolaos Ntarmos
09:50-10:20

Serverless-native data analytics

View Details
Boris Grot
10:20-10:50

High-Dimensional Vector Similarity Search

View Details
Themis Palpanas
Coffee Break (15 minutes)
11:05-11:35

Learned Index Data Structures for High-frequency Updates

Thomas Heinis
11:35-12:05

Query Decomposition for Efficient Pattern Matching

View Details
Matthias Weidlich
Lunch Break (90 minutes)
13:50-14:00

Business/technical challenge for the GSTS summit

Dan Ghica
14:00-14:45

Effect Handlers All the Way Down

View Details
Daniel Hillerstrom
14:45-15:30

Programming with Effects and Handlers

View Details
Jonathan Brachthauser
Coffee Break (15 minutes)
15:45-15:55

Business/technical challenge for the GSTS summit

Jinyun Ye
15:55-16:40

Programming models and abstractions for computational efficiency

View Details
Jeronimo Castrillon
16:40-17:25

Precise and Robust Machine Learning for Code Analysis and Optimisation

View Details
Zheng Wang
17:25-18:25

Panel: Software Stack in the LLM Era

Jeff Pan (moderator)
Luca Soldaini
Mark Steedman
Dave Robertson
Dan Ghica
Jinyun Ye
Nikolaos Ntarmos
Firas Alsehly
Luke Darlow
Themis Palpanas
TimeTopicSpeaker
09:00-09:20

Opening Speech

Minghua Liu
09:20-10:00

Scaling advanced video game rendering on mobile

View Details
Kenny Mitchell
10:00-10:40

Is It Time to Move Beyond the Rasterization Pipeline?

View Details
Dieter Schmalstieg
Coffee Break (20 minutes)
11:00-11:40

Achieving High Quality Rich Media Services in 6G Networks: Challenges and Solutions

Gabriel Miro-Muntean
11:40-12:20

Advances in Automated Causal Discovery and Application on Marketing Data

Ioannis Tsamardinos
12:20-13:00

Machine unlearning for database analytics, image classification, and LLMs.

Peter Triantafillou
Lunch Break (1 hour)
14:00-14:40

Large Language Models for Software Engineering: Opportunities and Challenges

View Details
Lionel Briand
14:40-15:20

Solidifying the Software Foundations

View Details
Zhendong Su
Coffee Break (20 minutes)
15:40-16:20

Neural Translation of Natural Language Business Queries to SQL

John D. Kelleher
16:20-17:00

Addressing new Challenges in Recommender Systems with LLMs

Aonghus Lawlor
17:00-17:40

On the Design of Privacy-Aware Smart Mobility Systems: From Decentralised Optimisation to Federated Learning

View Details
MingMing Liu
TimeTopicSpeaker
09:00-09:10

Business/technical challenge for the GSTS summit

Adam Barker
09:10-09:55

Intravisor: Type-3 Hypervisor for Isolation and Sharing in Clouds

View Details
Vasily Sartakov
09:55-10:40

Towards Evolving OS with Fast, Flexible, and Practical Extensions

View Details
Sanidhya Kashyap
Coffee Break (15 minutes)
10:55-11:05

Business/technical challenge for the GSTS summit

Denis Barthou
11:05-11:50

Parallel and Distributed Eigenproblems for Large AI models

View Details
Nahid Emad
11:50-12:35

Some issues with Floating-Point representation formats and their numerical meaning

View Details
David Defour
Lunch Break (90 minutes)
14:05-14:50

Is High Availability Indoor Positioning a Myth? Opportunities for Unsupervised 3D Graph Construction

View Details
Firas Alsehly
14:50-15:00

Business/technical challenge for the GSTS summit

Jeff Pan
15:00-15:45

Automated Fact-checking, an NLP perspective

View Details
Andreas Vlachos
Coffee Break (15 minutes)
16:00-16:45

OLMo: Accelerating the Science of Open Language Models

View Details
Luca Soldaini
16:45-17:30

Synthetic data generation for domain generalization: The cases of Natural Language Inference and Proposition Segmentation

View Details
Javad Hosseini