Concepedia

Ming Fu

MF

Statistics

Publications

5

Citations

194

H-Index

5

Active since

2012

Affiliations

University of Science and Technology of China(Current)

Shanghai Jiao Tong University

Ming Fu is an author at University of Science and Technology of China specializing in computer science, program analysis, and engineering.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisFormal VerificationParallel ProgrammingSystem SoftwareSoftware AnalysisSoftware Testing

Publications per year

2012–2021

5

Publications

5

A rely-guarantee-based simulation for verifying concurrent program transformations

Hongjin Liang, Xinyu Feng, Ming Fu · ACM SIGPLAN Notices · 2012 · 57 citations

Program Checking, Engineering, Verification +19

A rely-guarantee-based simulation for verifying concurrent program transformations

Hongjin Liang, Xinyu Feng, Ming Fu · 2012 · 44 citations

Program Checking, Engineering, Verification +19

VSync: push-button verification and optimization for synchronization primitives on weak memory models

Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens et al. · 2021 · 37 citations · Full text

Engineering, Hardware Verification Language, Verification +22

Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations

Hongjin Liang, Xinyu Feng, Ming Fu · ACM Transactions on Programming Languages and Systems · 2014 · 34 citations · Full text

Program Checking, Engineering, Verification +20

Using concurrent relational logic with helpers for verifying the AtomFS file system

Mo Zou, Haoran Ding, Dong Du et al. · 2019 · 22 citations

Distributed File System, Engineering, Atomfs File System +23

1–5 of 5