Ming Fu

46 papers A* 7B 4C 3Misc 2Journal 18Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics.
ASPLOS (1)
Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen
2025 — conf
Enabling Efficient Mobile Tracing with BTrace.
ASPLOS (2)
Jiawei Wang, Nian Liu, Arnau Casadevall-Saiz, Yutao Liu, Diogo Behrens, Ming Fu, Ning Jia, Hermann Härtig, Haibo Chen
2025 A* conf
OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit.
OSDI
Yuanpei Wu, Chao Xu, Yubin Xia, Yang Yu, Ming Fu, Binyu Zang, Haibo Chen
2025 J jnl
SERA-HAR: A real-time human activity recognition framework via staged early-exit and inter-channel attention.
Signal Image Video Process.
Zhengjie Li, Ming Fu, Baole Fu, Yinhua Liu
2025 A* conf
StereoFG: Generating Stereo Frames from Centered Feature Stream.
SIGGRAPH Asia
Chenyu Zuo, Yazhen Yuan, Zhizhen Wu, Zhijian Liu, Jingzhen Lan, Ming Fu, Yuchi Huo, Rui Wang
2024 J jnl
A real-time early warning classification method for natural gas leakage based on random forest.
Reliab. Eng. Syst. Saf.
Qiong Tan, Ming Fu, Zhengxing Wang, Hongyong Yuan, Jinhua Sun
2024 B conf
Brief Announcement: Work Stealing through Partial Asynchronous Delegation.
SPAA
Jiawei Wang, Yutao Liu, Ming Fu, Hermann Härtig, Haibo Chen
2024 J jnl
Conditional Variational Encoder Classifier for Open Set Fault Classification of Rotating Machinery Vibration Signals.
IEEE Trans. Ind. Informatics
Jie Mei, Ming Zhu, Wei Liu, Ming Fu, Qing Tang
2024 J jnl
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout.
CoRR
Bohan Li, Dawei Li, Ming Fu, Shaowei Cai
2024 — conf
WiP: A Solution for Reducing MLLM-Based Agent Interaction Overhead.
EdgeFM@MobiSys
Wenjie Li, Xiaoyang Liu, Zihao Zheng, Jishun Wang, Kang Ling, Ming Fu
2023 — conf
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM.
ASPLOS (2)
Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig
2023 A* conf
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.
OSDI
Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
2023 J jnl
Discriminative Angle Feature Learning for Open-Set Deep Fault Classification.
IEEE Access
Jie Mei, Wei Liu, Ming Zhu, Yongka Qi, Ming Fu, Yushi Li, Quan Yuan
2023 J jnl
Security and Economic Integration Scheduling of Electricity-Heat Integrated Energy System.
IEEE Access
Kun Huang, Ming Fu, Xiaohua Ding
2022 — conf
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling.
USENIX ATC
Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen
2021 J jnl
Analysis of Propagation and Distribution Characteristics of Leakage Acoustic Waves in Water Supply Pipelines.
Sensors
Yunfei Li, Yang Zhou, Ming Fu, Fan Zhou, Zhaozhao Chi, Weihao Wang
2021 A* conf
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems.
SOSP
Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
2021 J jnl
Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide.
Sensors
Lizheng Deng, Hongyong Yuan, Jianguo Chen, Zhanhui Sun, Ming Fu, Fei Wang, Shuan Yan, Kaiyuan Li, Miaomiao Yu, Tao Chen
2021 J jnl
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report).
CoRR
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
2021 A* conf
VSync: push-button verification and optimization for synchronization primitives on weak memory models.
ASPLOS
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
2021 J jnl
Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models.
CoRR
Antonio Paolillo, Hernán Ponce de León, Thomas Haas, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu, Roland Meyer
2021 — conf
Verifying and Optimizing the HMCS Lock for Arm Servers.
NETYS
Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis
2020 J jnl
Formalizing SPARCv8 instruction set architecture in Coq.
Sci. Comput. Program.
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
2020 — conf
Wave Separation Of Free-surface Related Multiples For Submarine Seismic Data.
CISP-BMEI
Linwei Li, Siyou Tong, Ming Fu, Huawei Zhou
2019 J jnl
A Lightweight Dynamic Enforcement of Privacy Protection for Android.
J. Comput. Sci. Technol.
Zipeng Zhang, Ming Fu, Xin-Yu Feng
2019 A* conf
Using concurrent relational logic with helpers for verifying the AtomFS file system.
SOSP
Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen
2017 Misc conf
Formalizing SPARCv8 Instruction Set Architecture in Coq.
SETTA
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
2017 C conf
High direction-changing frequency bidirectional DC-DC converter for charging/discharging applications.
IECON
Ming Fu, Donglai Zhang, Tiecai Li, Yalin Li
2017 J jnl
New Electrical Power Supply System for All-Electric Propulsion Spacecraft.
IEEE Trans. Aerosp. Electron. Syst.
Ming Fu, Donglai Zhang, Tiecai Li
2016 — conf
A Practical Verification Framework for Preemptive OS Kernels.
CAV (2)
Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li
2015 B conf
Practical Tactics for Verifying C Programs in Coq.
CPP
Jingyuan Cao, Ming Fu, Xinyu Feng
2014 J jnl
A temporal programming model with atomic blocks based on projection temporal logic.
Frontiers Comput. Sci.
Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
2014 J jnl
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations.
ACM Trans. Program. Lang. Syst.
Hongjin Liang, Xinyu Feng, Ming Fu
2013 — conf
Backoff algorithm based on frame transmission efficiency in Ad hoc network.
BMEI
Xia Yang, Ming Fu
2012 C conf
A Concurrent Temporal Programming Model with Atomic Blocks.
ICFEM
Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
2012 C conf
A Structural Approach to Prophecy Variables.
TAMC
Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li
2012 A* conf
A rely-guarantee-based simulation for verifying concurrent program transformations.
POPL
Hongjin Liang, Xinyu Feng, Ming Fu
2012 J jnl
Stability and Bifurcation in a Delayed Holling-Tanner Predator-Prey System with Ratio-Dependent Functional Response.
J. Appl. Math.
Juan Liu, Zizhen Zhang, Ming Fu
2010 J jnl
Formal Reasoning About Lazy-STM Programs.
J. Comput. Sci. Technol.
Yong Li, Yu Zhang, Yiyun Chen, Ming Fu
2010 J jnl
Formal verification of concurrent programs with read-write locks.
Frontiers Comput. Sci. China
Ming Fu, Yu Zhang, Yong Li
2010 B conf
Reasoning about Optimistic Concurrency Using a Program Logic for History.
CONCUR
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
2009 Misc conf
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks.
TASE
Ming Fu, Yu Zhang, Yong Li
2009 — conf
On the Verification of Strong Atomicity in Programs Using STM.
SSIRI
Yong Li, Yu Zhang, Yiyun Chen, Ming Fu
2009 — conf
Super-Program Architectures - A New Driving Method for Executing Instructions.
CDES
Xiaobo Li, Ming Fu, Xiangdong Cui, Zhou Zhou
2008 B conf
Formality based genetic programming.
IEEE Congress on Evolutionary Computation
Pei He, Lishan Kang, Ming Fu
2007 — conf
Homomorphism Resolving of XPath Trees Based on Automata.
APWeb/WAIM
Ming Fu, Yu Zhang