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 5G, AI, and 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 three-day open access conference focusing on the latest research and development in Operating Systems, Data Analytics, Compiler, Programming Language, Software Autonomy Trustworthy Technology & Cloud Service Technology and related topics – innovations which will build the future mission-critical 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 Co., Ltd.

Time Schedule

All dates and times are in UTC+1 (London).
Change timezone to Beijing (UTC+8).
TimeTopicSpeaker
07:00-07:05

Opening Remarks

Shaowei Liu
07:05-07:20

Opening Speech

Guilei Xie
07:20-08:00

From the roots to the sky: end to end concurrency verification in DresdenRC

View Details
Jonas Oberhauser
08:00-08:40

Cautionary Tales on Implementing the Software That People Want

View Details
Paul E. McKenney
Coffee Break (10 minutes)
08:50-09:30

Safe and Secure Heterogeneous Compute with L4Re

View Details
Adam Lackorzynski
09:30-10:10

Timestamping through a Data-Structure Lens

View Details
Umang Mathur
10:10-10:50

Scalable and Sustainable Data-Intensive Systems

View Details
Bo Zhao
Lunch Break (70 Minutes)
12:00-12:40

Governance and Remote Confidential Computing with SCONE

View Details
Christof Fetzer
12:40-13:20

The COCONUT Secure VM Service Module

View Details
Jörg Rödel
Coffee Break (10 minutes)
13:30-14:10

Improving Inference Performance of Machine Learning with the Divide-and-Conquer Principle

View Details
Alex Kogan
14:10-14:50

Network Verification for Improving Azure Reliability

View Details
Andrey Rybalchenko
TimeTopicSpeaker
07:00-07:40

Fantastic beasts and where to find them: Advances and open problems in automatic verification of concurrent applications

View Details
Hernan Luis Ponce de Leon
07:40-08:20

Effective bounded verification of concurrent programs

View Details
Viktor Vafeiadis
08:20-09:00

Extending Arm’s consistency model to account for Arm’s Virtual Memory System Architecture

View Details
Jade Alglave
Coffee Break (10 minutes)
09:10-09:50

Johnny Cache: the End of DRAM Cache Conflicts in Tiered Main Memory Systems

View Details
Baptiste Lepers
09:50-10:30

Design tradeoffs in Memory Reclamation

View Details
Pedro Ramalhete
10:30-11:10

Memory-Centric Computing

View Details
Onur Mutlu
TimeTopicSpeaker
09:00-09:10

Summit Opening Speech

View Details
Adam Barker
09:10-09:20

White Paper Reveal

View Details
David Robertson
09:20-10:00

Digital Evil Twin - identification of worst-case behaviours in real-time systems

View Details
Leandro Soares Indrusiak
10:00-10:40

Enabling Serverless Research with the vHive Open-Source Ecosystem

View Details
Prof. Boris Grot
Coffee Break (20 Minutes)
11:00-11:40

Rethinking Systems Software for Emerging Data Center Hardware

View Details
Antonio Barbalace
11:40-12:20

Rethinking service isolation to reduce the cloud tax

View Details
Lluis Vilanova
Lunch Break (1 hour)
13:20-14:00

Predicting the performance of systems through Deep Learning

View Details
Stephen McGough
14:00-14:40

Automatic Parallelization for large AI models

View Details
Denis Barthou
Coffee Break (20 minutes)
15:00-15:40

The Long and Winding Road Towards Efficient High-Performance Computing

View Details
William Jalby
15:40-16:20

Challenges for Extreme Scale Computational Science and Machine Learning

View Details
Serge Petiton
TimeTopicSpeaker
09:00-09:10

Opening Speech- Knowledge Computing

View Details
Jeff Pan
09:10-09:50

Hybrid Recurrent Architectures for Quantum-Classical NLP

View Details
Steve Clark
09:00-10:30

Going beyond the benefits of scale by reasoning about data

View Details
Edward Grefenstette
Coffee Break (20 minutes)
10:50-11:30

Inference in the time of GPT

View Details
Mark Steedman
11:30-12:10

Nonparametric Language Models: Trading Data for Parameters (and Compute) in Large Language Models

View Details
Luke Zettlemoyer
12:10-13:00

Round Table Discussion

Steve Clark
Edward Grefenstette
Mark Steedman
Luke Zettlemoyer
Edoardo Ponti
Lunch Break (1 hour)
14:00-14:05

Introduction - Programming Language & Compiler

View Details
Dan Ghica
14:05-14:10

Opening Speech- Programming Language & Compiler

View Details
Yaoqing Gao
14:10-14:50

Names and modalities for typing effect handlers

View Details
Leo White
14:50-15:30

From quantum picturalism to interpretable quantum AI

View Details
Bob Coecke
Coffee Break (10 minutes)
15:40-16:20

Rethinking how we build compilers: synthesis and neural machine translation

View Details
Michael O’Boyle
16:20-17:00

AI and Code: Two Projects from GitHub Next

View Details
Don Syme
TimeTopicSpeaker
09:00-09:20

Opening Speech

View Details
Derek Colins
09:20-10:00

Decomposing Autonomous Driving Networks: Get out of the Loop, be Ready for Closed Loop

View Details
Benoit Claise
10:00-10:40

Online Information Seeking: Preparing for the Big Shake-Up

View Details
Alan Smeaton
Coffee Break (20 minutes)
11:00-11:40

Semantic Technologies for Industry Digital Twins

View Details
Diego Calvanese
11:40-12:20

Cognitive Digital Twins for Industry 4.0

View Details
John Breslin
Lunch Break (1 hour)
13:20-14:00

Reliability Challenges in Large Distributed Systems

View Details
Ananth Shrinivas Srinath
14:00-14:40

Graph Neural Networks for Micro Service Based Cloud Application

View Details
Mingming Liu
Coffee Break (20 minutes)
15:00-15:40

Harnessing Deep Learning Models for Automated Generation of Program Transformation Rules

View Details
Lingxiao Jiang
15:40-16:20

Research Prospect of Rust Open Source Root Technology and Language Engineering

View Details
Yijun Yu