Homomorphism Resolving of XPath Trees Based on Automata. - Ming Fu; Yu Zhang 086 (APWeb/WAIM, 2007)

Formality based genetic programming. - Pei He; Lishan Kang; Ming Fu (IEEE Congress on Evolutionary Computation, 2008)

Super-Program Architectures - A New Driving Method for Executing Instructions. - Xiaobo Li; Ming Fu; Xiangdong Cui; Zhou Zhou (CDES, 2009)

On the Verification of Strong Atomicity in Programs Using STM. - Yong Li; Yu Zhang 086; Yiyun Chen; Ming Fu (SSIRI, 2009)

Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. - Ming Fu; Yu Zhang 086; Yong Li (TASE, 2009)

Reasoning about Optimistic Concurrency Using a Program Logic for History. - Ming Fu; Yong Li; Xinyu Feng 001; Zhong Shao 001; Yu Zhang 086 (CONCUR, 2010)

Formal verification of concurrent programs with read-write locks. - Ming Fu; Yu Zhang 086; Yong Li (Frontiers Comput. Sci. China, 2010)

Formal Reasoning About Lazy-STM Programs. - Yong Li; Yu Zhang 086; Yiyun Chen; Ming Fu (J. Comput. Sci. Technol., 2010)

A Concurrent Temporal Programming Model with Atomic Blocks. - Xiaoxiao Yang; Yu Zhang 086; Ming Fu; Xinyu Feng 001 (ICFEM, 2012)

A rely-guarantee-based simulation for verifying concurrent program transformations. - Hongjin Liang 001; Xinyu Feng 001; Ming Fu (POPL, 2012)

A Structural Approach to Prophecy Variables. - Zipeng Zhang; Xinyu Feng 001; Ming Fu; Zhong Shao 001; Yong Li (TAMC, 2012)

Stability and Bifurcation in a Delayed Holling-Tanner Predator-Prey System with Ratio-Dependent Functional Response. - Juan Liu 004; Zizhen Zhang; Ming Fu (J. Appl. Math., 2012)

Backoff algorithm based on frame transmission efficiency in Ad hoc network. - Xia Yang; Ming Fu (BMEI, 2013)

A temporal programming model with atomic blocks based on projection temporal logic. - Xiaoxiao Yang; Yu Zhang 086; Ming Fu; Xinyu Feng 001 (Frontiers Comput. Sci., 2014)

Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. - Hongjin Liang 001; Xinyu Feng 001; Ming Fu (ACM Trans. Program. Lang. Syst., 2014)

Practical Tactics for Verifying C Programs in Coq. - Jingyuan Cao; Ming Fu; Xinyu Feng 001 (CPP, 2015)

A Practical Verification Framework for Preemptive OS Kernels. - Fengwei Xu; Ming Fu; Xinyu Feng 001; Xiaoran Zhang; Hui Zhang; Zhaohui Li (CAV (2), 2016)

High direction-changing frequency bidirectional DC-DC converter for charging/discharging applications. - Ming Fu; Donglai Zhang; Tiecai Li; Yalin Li (IECON, 2017)

New Electrical Power Supply System for All-Electric Propulsion Spacecraft. - Ming Fu; Donglai Zhang; Tiecai Li (IEEE Trans. Aerosp. Electron. Syst., 2017)

Using concurrent relational logic with helpers for verifying the AtomFS file system. - Mo Zou; Haoran Ding; Dong Du 003; Ming Fu; Ronghui Gu; Haibo Chen 001 (SOSP, 2019)

A Lightweight Dynamic Enforcement of Privacy Protection for Android. - Zipeng Zhang; Ming Fu; Xin-Yu Feng 001 (J. Comput. Sci. Technol., 2019)

Wave Separation Of Free-surface Related Multiples For Submarine Seismic Data. - Linwei Li; Siyou Tong; Ming Fu; Huawei Zhou 003 (CISP-BMEI, 2020)

Formalizing SPARCv8 instruction set architecture in Coq. - Jiawei Wang; Ming Fu; Lei Qiao 002; Xinyu Feng 001 (Sci. Comput. Program., 2020)

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 001; Jaeho Kim; Viktor Vafeiadis (ASPLOS, 2021)

Verifying and Optimizing the HMCS Lock for Arm Servers. - Jonas Oberhauser; Lilith Oberhauser; Antonio Paolillo; Diogo Behrens; Ming Fu; Viktor Vafeiadis (NETYS, 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 001 (SOSP, 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 001; Jaeho Kim; Viktor Vafeiadis (CoRR, 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 001 (CoRR, 2021)

Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide. - Lizheng Deng; Hongyong Yuan; Jianguo Chen 005; Zhanhui Sun; Ming Fu; Fei Wang 061; Shuan Yan; Kaiyuan Li; Miaomiao Yu; Tao Chen 038 (Sensors, 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)

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 001 (USENIX ATC, 2022)

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 001; Hermann Härtig (ASPLOS (2), 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 001 (OSDI, 2023)

Security and Economic Integration Scheduling of Electricity-Heat Integrated Energy System. - Kun Huang; Ming Fu; Xiaohua Ding (IEEE Access, 2023)

Discriminative Angle Feature Learning for Open-Set Deep Fault Classification. - Jie Mei; Wei Liu 004; Ming Zhu; Yongka Qi; Ming Fu; Yushi Li; Quan Yuan (IEEE Access, 2023)

WiP: A Solution for Reducing MLLM-Based Agent Interaction Overhead. - Wenjie Li; Xiaoyang Liu; Zihao Zheng; Jishun Wang; Kang Ling; Ming Fu (EdgeFM@MobiSys, 2024)

Brief Announcement: Work Stealing through Partial Asynchronous Delegation. - Jiawei Wang; Yutao Liu; Ming Fu; Hermann Härtig; Haibo Chen 001 (SPAA, 2024)

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout. - Bohan Li 002; Dawei Li; Ming Fu; Shaowei Cai 001 (CoRR, 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)

Conditional Variational Encoder Classifier for Open Set Fault Classification of Rotating Machinery Vibration Signals. - Jie Mei; Ming Zhu; Wei Liu 004; Ming Fu; Qing Tang (IEEE Trans. Ind. Informatics, 2024)

Enabling Efficient Mobile Tracing with BTrace. - Jiawei Wang; Nian Liu; Arnau Casadevall-Saiz; Yutao Liu; Diogo Behrens; Ming Fu; Ning Jia; Hermann Härtig; Haibo Chen 001 (ASPLOS (2), 2025)

D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. - Yuanpei Wu; Dong Du 003; Chao Xu; Yubin Xia; Ming Fu; Binyu Zang; Haibo Chen 001 (ASPLOS (1), 2025)

OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit. - Yuanpei Wu; Chao Xu; Yubin Xia; Yang Yu; Ming Fu; Binyu Zang; Haibo Chen 001 (OSDI, 2025)