Successfully registered.
You'll receive a confirmation email soon with more information.
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.
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.
Time Schedule
| Time | Topic | Speaker |
|---|---|---|
| 07:00-07:20 | Opening Speech |  Guilei Xie  Haibo Chen |
| 07:20-08:00 | Getting more out of a stateless model checkerView Details |  Viktor Vafeiadis |
| 08:00-08:40 | The M³ Hardware/Software PlatformView Details |  Nils Asmussen |
| Coffee Break (20 minutes) | ||
| 09:00-09:40 | A journey through multi-core performance debuggingView Details |  Antonio Paolillo |
| 09:40-10:20 | Real-time scheduling of dynamic neural networks on multi-Edge TPUView 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 futureView Details |  Manuel Rego Casasnovas |
| 12:40-13:20 | Makepad: Mobile, desktop and web application development in RustView Details |  Rik Arends |
| 13:20-14:00 | Transforming User Interfaces: A Deep Dive into NoesisGUIView Details |  Jesus de Santos Garcia |
| 14:00-14:40 | Panel Discussion | Ming Fu Jonas Oberhauser Manuel Rego Casasnovas Rik Arends Jesus de Santos Garcia |
| Time | Topic | Speaker |
|---|---|---|
| 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 SystemsView Details |  Giorgio Buttazzo |
| 08:50-09:20 | Enabling predictable computing on reconfigurable embedded acceleratorsView Details |  Paolo Burgio |
| 09:20-09:50 | High-Performance Real-Time Computing for Cyber-Physical SystemsView Details |  Marco Caccamo |
| Coffee Break (30 minutes) | ||
| 10:20-10:50 | Model-based Design and Verification and CyberSecurity Solutions for Automotive and Digital PowerView Details |  Sergio Saponara  Gianluca Dini |
| 10:50-11:20 | Robo-driver: the enabler of the revolution of personal mobilityView Details |  Sergio Savaresi |
| Lunch Break (80 minutes) | ||
| 12:40-13:10 | Towards Trustworthy AI in Next Generation Wireless NetworksView Details |  Francesco Marcelloni |
| 13:10-13:40 | Artificial Intelligence research at the Department of Computer Science, University of Pisa, ItalyView Details |  Salvatore Ruggieri |
| 13:40-14:10 | Explainable AI and Human-AI collaborationView Details |  Roberto Pellungrini |
| 14:10-14:40 | Reliability challenges and solutions in the new age of artificial intelligence-powered devicesView Details |  Annachiara Ruospo |
| Time | Topic | Speaker |
|---|---|---|
| 09:00-09:20 | Opening Speech |  Shaowei Liu |
| 09:20-09:40 | Industry-academia partnership to accelerate innovation in the new AI eraView Details |  Song Zhang |
| 09:40-09:50 | Business/technical challenge for the GSTS summit |  Nikolaos Ntarmos |
| 09:50-10:20 | Serverless-native data analyticsView Details |  Boris Grot |
| 10:20-10:50 | High-Dimensional Vector Similarity SearchView 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 MatchingView 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 DownView Details |  Daniel Hillerstrom |
| 14:45-15:30 | Programming with Effects and HandlersView 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 efficiencyView Details |  Jeronimo Castrillon |
| 16:40-17:25 | Precise and Robust Machine Learning for Code Analysis and OptimisationView 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 |
| Time | Topic | Speaker |
|---|---|---|
| 09:00-09:20 | Opening Speech |  Minghua Liu |
| 09:20-10:00 | Scaling advanced video game rendering on mobileView 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 ChallengesView Details |  Lionel Briand |
| 14:40-15:20 | Solidifying the Software FoundationsView 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 LearningView Details |  MingMing Liu |
| Time | Topic | Speaker |
|---|---|---|
| 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 CloudsView Details |  Vasily Sartakov |
| 09:55-10:40 | Towards Evolving OS with Fast, Flexible, and Practical ExtensionsView 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 modelsView Details |  Nahid Emad |
| 11:50-12:35 | Some issues with Floating-Point representation formats and their numerical meaningView Details |  David Defour |
| Lunch Break (90 minutes) | ||
| 14:05-14:50 | Is High Availability Indoor Positioning a Myth? Opportunities for Unsupervised 3D Graph ConstructionView 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 perspectiveView Details |  Andreas Vlachos |
| Coffee Break (15 minutes) | ||
| 16:00-16:45 | OLMo: Accelerating the Science of Open Language ModelsView Details |  Luca Soldaini |
| 16:45-17:30 | Synthetic data generation for domain generalization: The cases of Natural Language Inference and Proposition SegmentationView Details |  Javad Hosseini |
