Director of Fields Lab @ Huawei
Joined October 2010
- Tweets 21
- Following 76
- Followers 91
- Likes 43
6 Photos and videos
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.h…
1
3
1,847
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/35756…
1
5
297
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.h… to watch playback.
4
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.h…
4
Ming Fu retweeted
24 Jun 2022
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.h…
1
9
The list of POPL21 (conditionally) accepted papers is here!
popl22.sigplan.org/track/POP…
1
24
84
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.
3
7
Ming Fu retweeted
29 Apr 2021
Congratulations! 👏We are proud that the paper from #Huawei Dresden Research Center, co-authored by MPI-SWS has received the Distinguished Paper Award @ASPLOSConf
2021, being the FIRST paper from Huawei to win the award!
#PassionUnlocksPotential #technology #innovation
19 Apr 2021
ASPLOS 2021 Distinguished Paper Award winner 4/6: "VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models"
4
9
Congratulations to VSync team in Huawei Dresden Research Center! I am proud of you guys. @0xdb7 @AntoPaolilloBe @jonesdavidserra .
Short talk: b23.tv/6rg68v
Full talk: b23.tv/TlnTyA
19 Apr 2021
ASPLOS 2021 Distinguished Paper Award winner 4/6: "VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models"
7
Ming Fu retweeted
19 Apr 2021
4/19: @ASPLOSconf Day 1!
• Distinguished Paper & Artifact Awards
• KEYNOTE: @clattner_llvm (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…
1
6
22
Ming Fu retweeted
29 Mar 2021
Formal verification? Heterogeneous hardware? Weak memory architectures? Microkernels? Linux? Join us this Tuesday and Wednesday on-line. huawei-events.de/
3
6
Ming Fu retweeted
19 Mar 2021
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/
1
3
4
Ming Fu retweeted
11 Feb 2021
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/abstra…
@mingffu
#ASPLOS21 #MemoryModel #Verification
5
12
Ming Fu retweeted
1 Jan 2021
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!!!
21
44
Ming Fu retweeted
4 Dec 2020
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
2
1
Ming Fu retweeted
3 Dec 2020
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…
apply.workable.com/huawei-16…
apply.workable.com/huawei-16…
1
2
3