NEWS
Free Institutional Consultancy Services
New Feature: Compare Your Institution with the Previous Year
Find a Professional: Explore Experts Across 197 Disciplines in 220 Countries!
Find a Professional
Print Your Certificate
New! Young University / Institution Rankings 2025
New! Art & Humanities Rankings 2025
New! Social Sciences and Humanities Rankings 2025
Highly Cited Researchers 2025
AD
Scientific Index 2025
Scientist Rankings
University Rankings
Subject Rankings
Country Rankings
login
Login
person_add
Register
insights
H-Index Rankings
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
subject
University Subject Rankings
school
Young Universities
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
format_quote
Compare & Choose
local_fire_department
Country Reports
person
Find a Professional
Ming Fu
Huawei Technologies - Shenzhen / China
Others
AD Scientific Index ID: 4464635
华为技术
Registration, Add Profile,
Premium Membership
Print Your Certificate
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Subject Leaders
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Ming Fu's MOST POPULAR ARTICLES
1-)
A practical verification framework for preemptive OS kernelsF Xu, M Fu, X Feng, X Zhang, H Zhang, Z LiComputer Aided Verification: 28th International Conference, CAV 2016 …, 2016802016
2-)
Reasoning about optimistic concurrency using a program logic for historyM Fu, Y Li, X Feng, Z Shao, Y ZhangCONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010792010
3-)
A rely-guarantee-based simulation for verifying concurrent program transformationsH Liang, X Feng, M FuProceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012562012
4-)
Using concurrent relational logic with helpers for verifying the AtomFS file systemM Zou, H Ding, D Du, M Fu, R Gu, H ChenProceedings of the 27th ACM Symposium on Operating Systems Principles, 259-274, 2019462019
5-)
VSync: push-button verification and optimization for synchronization primitives on weak memory modelsJ Oberhauser, RLDL Chehab, D Behrens, M Fu, A Paolillo, L Oberhauser, ...Proceedings of the 26th ACM International Conference on Architectural …, 2021452021
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept