Huawei Systems Software Innovations Summit 2021
30th – 31st March 2021
Re-experience the Huawei Systems Software Innovations Summit 2021!
Full content of the two-day online conference, focusing on the latest research and development in operating systems, formal verification of software correctness, computer architectures and related topics – brought to you by Huawei European Research Institute and Central Software Institute.
Note: The video on this page is a copy for playback in Mainland China. If possible, please use the original video link on this site instead.
Day 1 - Tuesday, March 30th
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:00 | Zishang Xiang | Huawei: opening speech | |
| 00:12:18 | Haibo Chen | Huawei: opening speech | |
| 00:22:00 | Hermann Härtig | L4-Based Systems: New Challenges and Opportunities | [PDF] |
| 01:12:52 | Timothy Roscoe | What Do FPGAs Mean for Operating System Design? | [PDF] |
| 02:03:33 | Vasily A. Sartakov | CubicleOS: Need More Partitioned Systems, Not Microkernels | [PDF] |
| 02:54:49 | Jeronimo Castrillon | Models and Languages to Tame Heterogeneous Computing Systems | [PDF] |
| 03:50:25 | Jan Reineke | Hardware-Software Contracts for Safe and Secure Systems | [PDF] |
| 04:40:26 | Ronghui Gu | A Secure and Formally Verified Linux KVM Hypervisor | [PDF] |
| 05:30:30 | Mark Silberstein | OmniX - an OS Architecture for Omni-Programmable Systems | [PDF] |
Day 2 - Wednesday, March 31st
| Timestamp | Speaker | Topic | |
|---|---|---|---|
| 00:00:11 | June Andronick | seL4, from a Dream to a World Shift towards Verified Software | [PDF] |
| 00:51:32 | Viktor Vafeiadis | Automated Verification of Low-Level Concurrent C/C++ Components | [PDF] |
| 01:36:39 | Diogo Behrens | VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models | [PDF] |
| 02:27:55 | Sanidhya Kashyap | Application-Defined Concurrency | [PDF] |
| 03:17:26 | Olaf Spinczyk | MxKernel: Rethinking the System Software Architecture for Modern Heterogeneous Manycore Computers | [PDF] |
| 04:09:03 | Arnd Bergmann | Working with the Linux Kernel for Arm Processors | [PDF] |
| 05:00:22 | Greg Kroah-Hartman | Linux Kernel Development – too fast to be stable | [PDF] |
| 05:51:08 | Ding Yuan | M3: End-to-End Memory Management in Elastic Systems Software Stack | [PDF] |
| 06:36:07 | Jin Huang | Huawei: closing speech |
