Ming Fu

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 25

Top Topics

Instruction Set Architecture

Technical Report

Top Venues

Publications

Wenjie Li, Xiaoyang Liu, Zihao Zheng, Jishun Wang, Kang Ling, Ming Fu
WiP: A Solution for Reducing MLLM-Based Agent Interaction Overhead. EdgeFM@MobiSys (2024)
Jiawei Wang, Yutao Liu, Ming Fu, Hermann Härtig, Haibo Chen
Brief Announcement: Work Stealing through Partial Asynchronous Delegation. SPAA (2024)
Jie Mei, Ming Zhu, Wei Liu, Ming Fu, Qing Tang
Conditional Variational Encoder Classifier for Open Set Fault Classification of Rotating Machinery Vibration Signals. IEEE Trans. Ind. Informatics 20 (3) (2024)
Qiong Tan, Ming Fu, Zhengxing Wang, Hongyong Yuan, Jinhua Sun
A real-time early warning classification method for natural gas leakage based on random forest. Reliab. Eng. Syst. Saf. 251 (2024)
Jiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing. OSDI (2023)
Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. ASPLOS (2) (2023)
Jie Mei, Wei Liu, Ming Zhu, Yongka Qi, Ming Fu, Yushi Li, Quan Yuan
Discriminative Angle Feature Learning for Open-Set Deep Fault Classification. IEEE Access 11 (2023)
Kun Huang, Ming Fu, Xiaohua Ding
Security and Economic Integration Scheduling of Electricity-Heat Integrated Energy System. IEEE Access 11 (2023)
Jiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling. USENIX Annual Technical Conference (2022)
Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis
Verifying and Optimizing the HMCS Lock for Arm Servers. NETYS (2021)
Lizheng Deng, Hongyong Yuan, Jianguo Chen, Zhanhui Sun, Ming Fu, Fei Wang, Shuan Yan, Kaiyuan Li, Miaomiao Yu, Tao Chen
Correlation between Acoustic Emission Behaviour and Dynamics Model during Three-Stage Deformation Process of Soil Landslide. Sensors 21 (7) (2021)
Ming Fu, Lifang Wang, Jiaming Zhu, Bingyun Zheng
Emergency Optimization Decision-Making with Incomplete Probabilistic Information under the Background of COVID-19. Complex. 2021 (2021)
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
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). CoRR (2021)
Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. SOSP (2021)
Yunfei Li, Yang Zhou, Ming Fu, Fan Zhou, Zhaozhao Chi, Weihao Wang
Analysis of Propagation and Distribution Characteristics of Leakage Acoustic Waves in Water Supply Pipelines. Sensors 21 (16) (2021)
Antonio Paolillo, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu
Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. CoRR (2021)
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
VSync: push-button verification and optimization for synchronization primitives on weak memory models. ASPLOS (2021)
Linwei Li, Siyou Tong, Ming Fu, Huawei Zhou
Wave Separation Of Free-surface Related Multiples For Submarine Seismic Data. CISP-BMEI (2020)
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
Formalizing SPARCv8 instruction set architecture in Coq. Sci. Comput. Program. 187 (2020)
Zipeng Zhang, Ming Fu, Xin-Yu Feng
A Lightweight Dynamic Enforcement of Privacy Protection for Android. J. Comput. Sci. Technol. 34 (4) (2019)
Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen
Using concurrent relational logic with helpers for verifying the AtomFS file system. SOSP (2019)
Ming Fu, Donglai Zhang, Tiecai Li, Yalin Li
High direction-changing frequency bidirectional DC-DC converter for charging/discharging applications. IECON (2017)
Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng
Formalizing SPARCv8 Instruction Set Architecture in Coq. SETTA (2017)
Ming Fu, Donglai Zhang, Tiecai Li
New Electrical Power Supply System for All-Electric Propulsion Spacecraft. IEEE Trans. Aerosp. Electron. Syst. 53 (5) (2017)
Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li
A Practical Verification Framework for Preemptive OS Kernels. CAV (2) (2016)
Jingyuan Cao, Ming Fu, Xinyu Feng
Practical Tactics for Verifying C Programs in Coq. CPP (2015)
Hongjin Liang, Xinyu Feng, Ming Fu
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Trans. Program. Lang. Syst. 36 (1) (2014)
Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
A temporal programming model with atomic blocks based on projection temporal logic. Frontiers Comput. Sci. 8 (6) (2014)
Xia Yang, Ming Fu
Backoff algorithm based on frame transmission efficiency in Ad hoc network. BMEI (2013)
Juan Liu, Zizhen Zhang, Ming Fu
Stability and Bifurcation in a Delayed Holling-Tanner Predator-Prey System with Ratio-Dependent Functional Response. J. Appl. Math. 2012 (2012)
Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li
A Structural Approach to Prophecy Variables. TAMC (2012)
Hongjin Liang, Xinyu Feng, Ming Fu
A rely-guarantee-based simulation for verifying concurrent program transformations. POPL (2012)
Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng
A Concurrent Temporal Programming Model with Atomic Blocks. ICFEM (2012)
Yong Li, Yu Zhang, Yiyun Chen, Ming Fu
Formal Reasoning About Lazy-STM Programs. J. Comput. Sci. Technol. 25 (4) (2010)
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
Reasoning about Optimistic Concurrency Using a Program Logic for History. CONCUR (2010)
Ming Fu, Yu Zhang, Yong Li
Formal verification of concurrent programs with read-write locks. Frontiers Comput. Sci. China 4 (1) (2010)
Yong Li, Yu Zhang, Yiyun Chen, Ming Fu
On the Verification of Strong Atomicity in Programs Using STM. SSIRI (2009)
Ming Fu, Yu Zhang, Yong Li
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. TASE (2009)
Xiaobo Li, Ming Fu, Xiangdong Cui, Zhou Zhou
Super-Program Architectures - A New Driving Method for Executing Instructions. CDES (2009)
Pei He, Lishan Kang, Ming Fu
Formality based genetic programming. IEEE Congress on Evolutionary Computation (2008)
Ming Fu, Yu Zhang
Homomorphism Resolving of XPath Trees Based on Automata. APWeb/WAIM (2007)