Our team has again a few open R&D positions in Dresden and in Munich related to microkernels, hypervisors and formal verification. We are especially looking for fresh master's degree and Ph.D. graduates. apply.workable.com/huawei-16/j/51… apply.workable.com/huawei-16/j/95… apply.workable.com/huawei-16/j/3B…

We have open positions for recent Master and PhD graduates in our teams in the Dresden & Munich Research Center! Among other things, we are researching on OS and runtime support for a new ISA, weak memory issues of migrating applic…lnkd.in/dXvw5x4 lnkd.in/dmFkAf8

What could be better than starting out the new year with some amazing ASPLOS'21 papers? A 2-page summary of each (conditionally) accepted paper is available now! asplos-conference.org/papers/ We will go through each of them in this new year. Stay tuned!!!

How to optimize the barriers in synchronization primitives on weak memory models? VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models asplos-conference.org/abstracts/aspl… Ming Fu #ASPLOS21 #MemoryModel #Verification

Interested in the newest research and development in operating systems, formal verification and related topics? Join our Systems Software Innovations Summit 2021 on March 30th and 31st on-line. Talks by Kroah-Hartman, Roscoe, Härtig, Andronick and others. huawei-events.de

huawei-events.de

Formal verification? Heterogeneous hardware? Weak memory architectures? Microkernels? Linux? Join us this Tuesday and Wednesday on-line. huawei-events.de

4/19: ASPLOS Day 1! • Distinguished Paper & Artifact Awards • KEYNOTE: Chris Lattner (SIFive) "The Golden Age of Compiler Design in an Era of HW/SW Design" • INTERVIEW: Timothy Pinkston (USC) • "Packet Up","Memory Systems","Flow"&"Microservices" asplos-conference.org/invite/

Congratulations to VSync team in Huawei Dresden Research Center! I am proud of you guys. @0xdb7 Antonio Paolillo Jonas Oberhauser . Short talk: b23.tv/6rg68v Full talk: b23.tv/TlnTyA

Congratulations! 👏We are proud that the paper from #Huawei Dresden Research Center, co-authored by MPI-SWS has received the Distinguished Paper Award ASPLOS 2021, being the FIRST paper from Huawei to win the award! #PassionUnlocksPotential #technology #innovation

Our paper "CLoF: A Compositional Lock Framework for Multi-level NUMA Systems" was accepted by #SOSP2021! CLoF allows us to compose verified NUMA-oblivious spinlocks in an arbitrary hierarchy, leading to hundreds of correct NUMA-aware locks, automatically finding the optimal ones.

The list of POPL21 (conditionally) accepted papers is here! popl22.sigplan.org/track/POPL-202…

From VSync @ ASPLOS'21 Distinguished Paper Award to CLoF @ SOSP'21, now BBQ @ USENIX ATC'22. We are getting more and more confident with "formal verification for not only correctness but also performance".

On July 5th I will be speaking online at the Global Software Technology Summit 2022 about Building Blocks of Confidential Computing. Hope to see you there huawei-events.de/en/gsts22.htm

Welcome to participate in OS discussion @ Huawei Software Summit 2022 co-organized by Dresden Research Center. My colleague Diogo @0xdb7 will share our insights on applying formal verification in building reliable and high-performance systems software. huawei-events.de/en/gsts22.htm

Huawei Global Software Technology Summit 2022 ended perfectly. Thanks our speakers for the high quality talks, and 5000+ audiences joined us. My dear colleague @0xdb7 nicely explained our story about "verification for performance". Click huawei-events.de/en/gsts22.htm to watch playback.

Our BBQ (barbecue) will be presented at USENIX ATC '22 tomorrow. BBQ has extremely good performance, and it has been verified and optimized on WMM. Welcome to join the talk and enjoy our barbecue.

Our paper on work stealing for multi-core parallel processing has been accepted by #OSDI2023! This is another important achievement in improving multi-core concurrency performance through formal verification in the post-Moore era.

Welcome to join our #ASPLOS2023 talk on Monday (Session 1B: Shared Memory/Mem Consistency 10:20 AM PDT – 12:00 PM PDT) AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM Lightning talk: youtu.be/vBYouoM8ai4 Paper: dl.acm.org/doi/10.1145/35…

Join us next week for the Global Software Technology Summit. Registration is free so you don't want to miss it out! Register here: huawei-events.de/en/gsts23.htm