Huawei Systems Software Innovations Summit 2021
30th – 31st March 2021
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 operating system 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 two-day open access online conference focusing on the latest research and development in operating systems, formal verification of software correctness, computer architectures and related topics – innovations which will build the future mission-critical systems.
The scope of the conference is based on publically available information and the presentations are open to all participants (external experts and Huawei colleagues). The Attendees include professors and experts coming from our partners in Europe and employees from Huawei Dresden Research Center. The sponsor of the Huawei Systems Software Innovations Summit 2021 is Huawei Dresden Research Center.
| Time | Topic | Speaker |
|---|---|---|
| 08:40 | Huawei: opening speech | Zishang Xiang Huawei European Research Institute, Vice President Haibo Chen Huawei OS Kernel Lab, Director |
| 09:00 | L4-Based Systems: New Challenges and Opportunities | Hermann Härtig Dresden University of Technology |
| 09:50 | What Do FPGAs Mean for Operating System Design? | Timothy Roscoe ETH Zurich |
| 10:40 | coffee break | |
| 10:50 | CubicleOS: Need More Partitioned Systems, Not Microkernels | Vasily A. Sartakov Imperial College London |
| 11:40 | Models and Languages to Tame Heterogeneous Computing Systems | Jeronimo Castrillon Dresden University of Technology |
| 12:30 | lunch break | |
| 13:30 | Hardware-Software Contracts for Safe and Secure Systems | Jan Reineke Saarland University |
| 14:20 | A Secure and Formally Verified Linux KVM Hypervisor | Ronghui Gu Columbia University |
| 15:10 | OmniX - an OS Architecture for Omni-Programmable Systems | Mark Silberstein Technion |
| Time | Topic | Speaker |
|---|---|---|
| 08:30 | seL4, from a Dream to a World Shift towards Verified Software | June Andronick seL4 Foundation and UNSW, Sydney |
| 09:20 | Automated Verification of Low-Level Concurrent C/C++ Components | Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) |
| 10:10 | coffee break | |
| 10:20 | VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models | Diogo Behrens Huawei |
| 11:10 | Application-Defined Concurrency | Sanidhya Kashyap École Polytechnique Fédérale de Lausanne (EPFL) |
| 12:00 | lunch break | |
| 13:00 | MxKernel: Rethinking the System Software Architecture for Modern Heterogeneous Manycore Computers | Olaf Spinczyk Osnabrück University |
| 13:50 | Working with the Linux Kernel for Arm Processors | Arnd Bergmann Linaro |
| 14:40 | Linux Kernel Development – too fast to be stable | Greg Kroah-Hartman Linux Foundation |
| 15:30 | M3: End-to-End Memory Management in Elastic Systems Software Stack | Ding Yuan University of Toronto |
| 16:20 | Huawei: closing speech | Jin Huang Huawei CSI Euler Department, President |
Our Speakers
Linux Foundation
Linaro
Huawei
ETH Zurich
Max Planck Institute for Software Systems (MPI-SWS)
Saarland University
Dresden University of Technology
Osnabrück University
Technion
seL4 Foundation and UNSW, Sydney
University of Toronto
Dresden University of Technology
École Polytechn. Fédérale de Lausanne (EPFL)
Columbia University
Imperial College London
