Ming Fu

According to our database, Ming Fu authored at least 39 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Conditional Variational Encoder Classifier for Open Set Fault Classification of Rotating Machinery Vibration Signals.

Jie Mei, Ming Zhu, Wei Liu, Ming Fu, Qing Tang

IEEE Trans. Ind. Informatics, March, 2024

A real-time early warning classification method for natural gas leakage based on random forest.

Qiong Tan, Ming Fu, Zhengxing Wang, Hongyong Yuan, Jinhua Sun

Reliab. Eng. Syst. Saf., 2024

Brief Announcement: Work Stealing through Partial Asynchronous Delegation.

Jiawei Wang, Yutao Liu, Ming Fu, Hermann Härtig, Haibo Chen

Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures, 2024

WiP: A Solution for Reducing MLLM-Based Agent Interaction Overhead.

Wenjie Li, Xiaoyang Liu, Zihao Zheng, Jishun Wang, Kang Ling, Ming Fu

Proceedings of the Workshop on Edge and Mobile Foundation Models, 2024

2023

Discriminative Angle Feature Learning for Open-Set Deep Fault Classification.

Jie Mei, Wei Liu, Ming Zhu, Yongka Qi, Ming Fu, Yushi Li, Quan Yuan

IEEE Access, 2023

Security and Economic Integration Scheduling of Electricity-Heat Integrated Energy System.

Kun Huang, Ming Fu, Xiaohua Ding

IEEE Access, 2023

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.

Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM.

Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling.

Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen

Proceedings of the 2022 USENIX Annual Technical Conference, 2022

2021

Analysis of Propagation and Distribution Characteristics of Leakage Acoustic Waves in Water Supply Pipelines.

Yunfei Li, Yang Zhou, Ming Fu, Fan Zhou, Zhaozhao Chi, Weihao Wang

Sensors, 2021

Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide.

Lizheng Deng, Hongyong Yuan, Jianguo Chen, Zhanhui Sun, Ming Fu, Fei Wang, Shuan Yan, Kaiyuan Li, Miaomiao Yu, Tao Chen

Sensors, 2021

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models.

Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer

CoRR, 2021

VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).

Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis

CoRR, 2021

CLoF: A Compositional Lock Framework for Multi-level NUMA Systems.

Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

Verifying and Optimizing the HMCS Lock for Arm Servers.

Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis

Proceedings of the Networked Systems - 9th International Conference, 2021

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

Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Formalizing SPARCv8 instruction set architecture in Coq.

Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng

Sci. Comput. Program., 2020

Wave Separation Of Free-surface Related Multiples For Submarine Seismic Data.

Linwei Li, Siyou Tong, Ming Fu, Huawei Zhou

Proceedings of the 13th International Congress on Image and Signal Processing, 2020

2019

A Lightweight Dynamic Enforcement of Privacy Protection for Android.

Zipeng Zhang, Ming Fu, Xin-Yu Feng

J. Comput. Sci. Technol., 2019

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

Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

2017

New Electrical Power Supply System for All-Electric Propulsion Spacecraft.

Ming Fu, Donglai Zhang, Tiecai Li

IEEE Trans. Aerosp. Electron. Syst., 2017

High direction-changing frequency bidirectional DC-DC converter for charging/discharging applications.

Ming Fu, Donglai Zhang, Tiecai Li, Yalin Li

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016

A Practical Verification Framework for Preemptive OS Kernels.

Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Practical Tactics for Verifying C Programs in Coq.

Jingyuan Cao, Ming Fu, Xinyu Feng

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

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

Hongjin Liang, Xinyu Feng, Ming Fu

ACM Trans. Program. Lang. Syst., 2014

A temporal programming model with atomic blocks based on projection temporal logic.

Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng

Frontiers Comput. Sci., 2014

2013

Backoff algorithm based on frame transmission efficiency in Ad hoc network.

Xia Yang, Ming Fu

Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013

2012

Stability and Bifurcation in a Delayed Holling-Tanner Predator-Prey System with Ratio-Dependent Functional Response.

Juan Liu, Zizhen Zhang, Ming Fu

J. Appl. Math., 2012

A Structural Approach to Prophecy Variables.

Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li

Proceedings of the Theory and Applications of Models of Computation, 2012

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

Hongjin Liang, Xinyu Feng, Ming Fu

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

A Concurrent Temporal Programming Model with Atomic Blocks.

Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng

Proceedings of the Formal Methods and Software Engineering, 2012

2010

Formal Reasoning About Lazy-STM Programs.

Yong Li, Yu Zhang, Yiyun Chen, Ming Fu

J. Comput. Sci. Technol., 2010

Formal verification of concurrent programs with read-write locks.

Ming Fu, Yu Zhang, Yong Li

Frontiers Comput. Sci. China, 2010

Reasoning about Optimistic Concurrency Using a Program Logic for History.

Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.

Ming Fu, Yu Zhang, Yong Li

Proceedings of the TASE 2009, 2009

On the Verification of Strong Atomicity in Programs Using STM.

Yong Li, Yu Zhang, Yiyun Chen, Ming Fu

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Super-Program Architectures - A New Driving Method for Executing Instructions.

Xiaobo Li, Ming Fu, Xiangdong Cui, Zhou Zhou

Proceedings of the 2009 International Conference on Computer Design, 2009

2008

Formality based genetic programming.

Pei He, Lishan Kang, Ming Fu

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007

Homomorphism Resolving of XPath Trees Based on Automata.

Ming Fu, Yu Zhang

Proceedings of the Advances in Data and Web Management, 2007