Logo

Header

Header

2021华为系统软件创新峰会
2021年3月30-31日

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.

Day 1 - Tuesday, March 30th

If you watching from Mainland China and have trouble playing the Video please use this alternative page.


TimestampSpeakerTopic
00:00:00Zishang XiangHuawei: opening speech
00:12:18Haibo ChenHuawei: opening speech
00:22:00Hermann HärtigL4-Based Systems: New Challenges and Opportunities[PDF]
01:12:52Timothy RoscoeWhat Do FPGAs Mean for Operating System Design?[PDF]
02:03:33Vasily A. SartakovCubicleOS: Need More Partitioned Systems, Not Microkernels[PDF]
02:54:49Jeronimo CastrillonModels and Languages to Tame Heterogeneous Computing Systems[PDF]
03:50:25Jan ReinekeHardware-Software Contracts for Safe and Secure Systems[PDF]
04:40:26Ronghui GuA Secure and Formally Verified Linux KVM Hypervisor[PDF]
05:30:30Mark SilbersteinOmniX - an OS Architecture for Omni-Programmable Systems[PDF]



Day 2 - Wednesday, March 31st
If you watching from Mainland China and have trouble playing the Video please use this alternative page.


TimestampSpeakerTopic
00:00:11June AndronickseL4, from a Dream to a World Shift towards Verified Software[PDF]
00:51:32Viktor VafeiadisAutomated Verification of Low-Level Concurrent C/C++ Components[PDF]
01:36:39Diogo BehrensVSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models[PDF soon]
02:27:55Sanidhya KashyapApplication-Defined Concurrency[PDF]
03:17:26Olaf SpinczykMxKernel: Rethinking the System Software Architecture for Modern Heterogeneous Manycore Computers[PDF]
04:09:03Arnd BergmannWorking with the Linux Kernel for Arm Processors[PDF]
05:00:22Greg Kroah-HartmanLinux Kernel Development – too fast to be stable[PDF]
05:51:08Ding YuanM3: End-to-End Memory Management in Elastic Systems Software Stack[PDF soon]
06:36:07Jin HuangHuawei: closing speech