Ming Fu

Director of Fields Lab @ Huawei

[Ming Fu @mingffu]

Join us next week for the Global Software Technology Summit. Registration is free so you don't want to miss it out!

Register here: https://t.co/b1mQXRYRRF

[Ming Fu @mingffu]

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: https://t.co/8sckp9KuNV

Paper: https://t.co/aOAbYXiDXI

[Ming Fu @mingffu]

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.

[Ming Fu @mingffu]

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.

[Ming Fu @mingffu]

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 https://t.co/2kSM2GfKPt to watch playback.

[Ming Fu @mingffu]

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.

https://t.co/2kSM2GfKPt

[Jörg Rödel @joergroedel]

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 https://t.co/nIwwQiX0uE

[Ming Fu @mingffu]

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".

[POPL 2027 @poplconf]

The list of POPL21 (conditionally) accepted papers is here!
https://t.co/WFkTwQsOp1

[Ming Fu @mingffu]

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.

[Huawei EU Careers @careers_huawei]

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

[Ming Fu @mingffu]

@pramod_bhatotia @0xdb7 @AntoPaolilloBe @jonesdavidserra Thanks!

[Ming Fu @mingffu]

Congratulations to VSync team in Huawei Dresden Research Center! I am proud of you guys. @0xdb7 @AntoPaolilloBe @jonesdavidserra .

Short talk: https://t.co/xhTvbjXBtq
Full talk: https://t.co/qL48yABact

[ASPLOS @ASPLOSConf]

ASPLOS 2021 Distinguished Paper Award winner 4/6: "VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models"

[ASPLOS @ASPLOSConf]

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"
https://t.co/YZ6U1Zu87T

[Martin Děcký @mdecky]

Formal verification? Heterogeneous hardware? Weak memory architectures? Microkernels? Linux? Join us this Tuesday and Wednesday on-line. https://t.co/ghdlTAcgja

[Ming Fu @mingffu]

https://t.co/WPabJDdUCo

[Martin Děcký @mdecky]

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. https://t.co/ghdlTAcgja

[ASPLOS @ASPLOSConf]

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

https://t.co/bPEMMNO8t2

@mingffu

#ASPLOS21 #MemoryModel #Verification

[ASPLOS @ASPLOSConf]

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!

https://t.co/FxYo4nmuaA

We will go through each of them in this new year. Stay tuned!!!

[Antonio Paolillo @AntoPaolilloBe]

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…https://t.co/5cVEHH7mZ3 https://t.co/hxkDTPcl6n