Follow
Ming Fu
Ming Fu
Huawei Dresden Research Center
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
Reasoning about optimistic concurrency using a program logic for history
M Fu, Y Li, X Feng, Z Shao, Y Zhang
International Conference on Concurrency Theory, 388-402, 2010
742010
A practical verification framework for preemptive OS kernels
F Xu, M Fu, X Feng, X Zhang, H Zhang, Z Li
International Conference on Computer Aided Verification, 59-79, 2016
672016
A rely-guarantee-based simulation for verifying concurrent program transformations
H Liang, X Feng, M Fu
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
542012
Rely-guarantee-based simulation for compositional verification of concurrent program transformations
H Liang, X Feng, M Fu
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1-55, 2014
302014
Using concurrent relational logic with helpers for verifying the AtomFS file system
M Zou, H Ding, D Du, M Fu, R Gu, H Chen
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 259-274, 2019
212019
Practical tactics for verifying C programs in Coq
J Cao, M Fu, X Feng
Proceedings of the 2015 Conference on Certified Programs and Proofs, 97-108, 2015
142015
VSync: push-button verification and optimization for synchronization primitives on weak memory models
J Oberhauser, RLL Chehab, D Behrens, M Fu, A Paolillo, L Oberhauser, ...
Proceedings of the 26th ACM International Conference on Architectural …, 2021
132021
A structural approach to prophecy variables
Z Zhang, X Feng, M Fu, Z Shao, Y Li
International Conference on Theory and Applications of Models of Computation …, 2012
122012
Homomorphism resolving of xpath trees based on automata
M Fu, Y Zhang
Advances in Data and Web Management, 821-828, 2007
52007
Formalizing SPARCv8 instruction set architecture in Coq
J Wang, M Fu, L Qiao, X Feng
Science of Computer Programming 187, 102371, 2020
42020
Formal reasoning about lazy-STM programs
Y Li, Y Zhang, YY Chen, M Fu
Journal of Computer Science and Technology 25 (4), 841-852, 2010
42010
Formal reasoning about concurrent assembly code with reentrant locks
M Fu, Y Zhang, Y Li
2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009
42009
A lightweight dynamic enforcement of privacy protection for android
ZP Zhang, M Fu, XY Feng
Journal of Computer Science and Technology 34 (4), 901-923, 2019
32019
A concurrent temporal programming model with atomic blocks
X Yang, Y Zhang, M Fu, X Feng
International Conference on Formal Engineering Methods, 22-37, 2012
32012
Certifying the concurrent state table implementation in a surgical robotic system (extended version)
Y Kouskoulas, F Ming, Z Shao, P Kazanzides
Technical report, Yale University, 2011
32011
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems
RL de Lima Chehab, A Paolillo, D Behrens, M Fu, H Härtig, H Chen
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021
22021
Verifying and Optimizing the HMCS Lock for Arm Servers
J Oberhauser, L Oberhauser, A Paolillo, D Behrens, M Fu, V Vafeiadis
International Conference on Networked Systems, 240-260, 2021
22021
On the Verification of Strong Atomicity in Programs using STM
Y Li, Y Zhang, Y Chen, M Fu
2009 Third IEEE International Conference on Secure Software Integration and …, 2009
22009
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)
J Oberhauser, RLL Chehab, D Behrens, M Fu, A Paolillo, L Oberhauser, ...
arXiv preprint arXiv:2102.06590, 2021
12021
A temporal programming model with atomic blocks based on projection temporal logic
X Yang, Y Zhang, M Fu, X Feng
Frontiers of Computer Science 8 (6), 958-976, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20