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
English
Ming Fu
21 posts
Ming Fu
@mingffu
Director of Fields Lab @ Huawei
Shanghai China Katılım Ekim 2010
76 Takip Edilen90 Takipçiler
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…
YouTube
English
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.
English
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
English
Ming Fu retweetledi
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
English
Ming Fu retweetledi
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.
English
Ming Fu retweetledi
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
ASPLOS@ASPLOSConf
ASPLOS 2021 Distinguished Paper Award winner 4/6: "VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models"
English
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
ASPLOS@ASPLOSConf
ASPLOS 2021 Distinguished Paper Award winner 4/6: "VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models"
English
Ming Fu retweetledi
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/
English
Ming Fu retweetledi
Formal verification? Heterogeneous hardware? Weak memory architectures? Microkernels? Linux? Join us this Tuesday and Wednesday on-line. huawei-events.de
English
Ming Fu retweetledi
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
English
Ming Fu retweetledi
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…
@mingffu
#ASPLOS21 #MemoryModel #Verification
English
Ming Fu retweetledi
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!!!
English
Ming Fu retweetledi
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
English