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 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.
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).
Change timezone to Beijing (UTC+8).
| Time | Topic | Speaker |
|---|---|---|
| 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 DresdenRCView Details |  Jonas Oberhauser |
| 08:00-08:40 | Cautionary Tales on Implementing the Software That People WantView Details |  Paul E. McKenney |
| Coffee Break (10 minutes) | ||
| 08:50-09:30 | Safe and Secure Heterogeneous Compute with L4ReView Details |  Adam Lackorzynski |
| 09:30-10:10 | Timestamping through a Data-Structure LensView Details |  Umang Mathur |
| 10:10-10:50 | Scalable and Sustainable Data-Intensive SystemsView Details |  Bo Zhao |
| Lunch Break (70 Minutes) | ||
| 12:00-12:40 | Governance and Remote Confidential Computing with SCONEView Details |  Christof Fetzer |
| 12:40-13:20 | The COCONUT Secure VM Service ModuleView Details |  Jörg Rödel |
| Coffee Break (10 minutes) | ||
| 13:30-14:10 | Improving Inference Performance of Machine Learning with the Divide-and-Conquer PrincipleView Details |  Alex Kogan |
| 14:10-14:50 | Network Verification for Improving Azure ReliabilityView Details |  Andrey Rybalchenko |
| Time | Topic | Speaker |
|---|---|---|
| 07:00-07:40 | Fantastic beasts and where to find them: Advances and open problems in automatic verification of concurrent applicationsView Details |  Hernan Luis Ponce de Leon |
| 07:40-08:20 | Effective bounded verification of concurrent programsView Details |  Viktor Vafeiadis |
| 08:20-09:00 | Extending Arm’s consistency model to account for Arm’s Virtual Memory System ArchitectureView Details |  Jade Alglave |
| Coffee Break (10 minutes) | ||
| 09:10-09:50 | Johnny Cache: the End of DRAM Cache Conflicts in Tiered Main Memory SystemsView Details |  Baptiste Lepers |
| 09:50-10:30 | Design tradeoffs in Memory ReclamationView Details |  Pedro Ramalhete |
| 10:30-11:10 | Memory-Centric ComputingView Details |  Onur Mutlu |
| Time | Topic | Speaker |
|---|---|---|
| 09:00-09:10 | Summit Opening SpeechView Details |  Adam Barker |
| 09:10-09:20 | White Paper RevealView Details |  David Robertson |
| 09:20-10:00 | Digital Evil Twin - identification of worst-case behaviours in real-time systemsView Details |  Leandro Soares Indrusiak |
| 10:00-10:40 | Enabling Serverless Research with the vHive Open-Source EcosystemView Details |  Prof. Boris Grot |
| Coffee Break (20 Minutes) | ||
| 11:00-11:40 | Rethinking Systems Software for Emerging Data Center HardwareView Details |  Antonio Barbalace |
| 11:40-12:20 | Rethinking service isolation to reduce the cloud taxView Details |  Lluis Vilanova |
| Lunch Break (1 hour) | ||
| 13:20-14:00 | Predicting the performance of systems through Deep LearningView Details |  Stephen McGough |
| 14:00-14:40 | Automatic Parallelization for large AI modelsView Details |  Denis Barthou |
| Coffee Break (20 minutes) | ||
| 15:00-15:40 | The Long and Winding Road Towards Efficient High-Performance ComputingView Details |  William Jalby |
| 15:40-16:20 | Challenges for Extreme Scale Computational Science and Machine LearningView Details |  Serge Petiton |
| Time | Topic | Speaker |
|---|---|---|
| 09:00-09:10 | Opening Speech- Knowledge ComputingView Details |  Jeff Pan |
| 09:10-09:50 | Hybrid Recurrent Architectures for Quantum-Classical NLPView Details |  Steve Clark |
| 09:00-10:30 | Going beyond the benefits of scale by reasoning about dataView Details |  Edward Grefenstette |
| Coffee Break (20 minutes) | ||
| 10:50-11:30 | Inference in the time of GPTView Details |  Mark Steedman |
| 11:30-12:10 | Nonparametric Language Models: Trading Data for Parameters (and Compute) in Large Language ModelsView 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 & CompilerView Details |  Dan Ghica |
| 14:05-14:10 | Opening Speech- Programming Language & CompilerView Details |  Yaoqing Gao |
| 14:10-14:50 | Names and modalities for typing effect handlersView Details |  Leo White |
| 14:50-15:30 | From quantum picturalism to interpretable quantum AIView Details |  Bob Coecke |
| Coffee Break (10 minutes) | ||
| 15:40-16:20 | Rethinking how we build compilers: synthesis and neural machine translationView Details |  Michael O’Boyle |
| 16:20-17:00 | AI and Code: Two Projects from GitHub NextView Details |  Don Syme |
| Time | Topic | Speaker |
|---|---|---|
| 09:00-09:20 | Opening SpeechView Details |  Derek Colins |
| 09:20-10:00 | Decomposing Autonomous Driving Networks: Get out of the Loop, be Ready for Closed LoopView Details |  Benoit Claise |
| 10:00-10:40 | Online Information Seeking: Preparing for the Big Shake-UpView Details |  Alan Smeaton |
| Coffee Break (20 minutes) | ||
| 11:00-11:40 | Semantic Technologies for Industry Digital TwinsView Details |  Diego Calvanese |
| 11:40-12:20 | Cognitive Digital Twins for Industry 4.0View Details |  John Breslin |
| Lunch Break (1 hour) | ||
| 13:20-14:00 | Reliability Challenges in Large Distributed SystemsView Details |  Ananth Shrinivas Srinath |
| 14:00-14:40 | Graph Neural Networks for Micro Service Based Cloud ApplicationView Details |  Mingming Liu |
| Coffee Break (20 minutes) | ||
| 15:00-15:40 | Harnessing Deep Learning Models for Automated Generation of Program Transformation RulesView Details |  Lingxiao Jiang |
| 15:40-16:20 | Research Prospect of Rust Open Source Root Technology and Language EngineeringView Details |  Yijun Yu |
