Ming Fu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
16
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Enabling Efficient Mobile Tracing with BTrace. | Jiawei Wang, Nian Liu, Arnau Casadevall-Saiz, Yutao Liu, Diogo Behrens, Ming Fu, Ning Jia, Hermann Hrtig, Haibo Chen |
| 2025 | ASPLOS | D-VSync: Decoupled Rendering and Displaying for Smartphone Graphics. | Yuanpei Wu, Dong Du, Chao Xu, Yubin Xia, Ming Fu, Binyu Zang, Haibo Chen |
| 2025 | OSDI | 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 |
| 2025 | SiggraphA | StereoFG: Generating Stereo Frames from Centered Feature Stream. | Chenyu Zuo, Yazhen Yuan, Zhizhen Wu, Zhijian Liu, Jingzhen Lan, Ming Fu, Yuchi Huo, Rui Wang |
| 2024 | SPAA | Brief Announcement: Work Stealing through Partial Asynchronous Delegation. | Jiawei Wang, Yutao Liu, Ming Fu, Hermann Hrtig, Haibo Chen |
| 2023 | ASPLOS | 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 Hrtig |
| 2023 | OSDI | 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 Hrtig, Haibo Chen |
| 2022 | USENIX | 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 Hrtig, Haibo Chen |
| 2021 | ASPLOS | 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 |
| 2021 | SOSP | CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. | Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Hrtig, Haibo Chen |
| 2019 | SOSP | Using concurrent relational logic with helpers for verifying the AtomFS file system. | Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, Haibo Chen |
| 2017 | IECON | High direction-changing frequency bidirectional DC-DC converter for charging/discharging applications. | Ming Fu, Donglai Zhang, Tiecai Li, Yalin Li |
| 2017 | SETTA | Formalizing SPARCv8 Instruction Set Architecture in Coq. | Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng |
| 2016 | CAV | A Practical Verification Framework for Preemptive OS Kernels. | Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li |
| 2015 | CPP | Practical Tactics for Verifying C Programs in Coq. | Jingyuan Cao, Ming Fu, Xinyu Feng |
| 2012 | ICFEM | A Concurrent Temporal Programming Model with Atomic Blocks. | Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng |
| 2012 | POPL | A rely-guarantee-based simulation for verifying concurrent program transformations. | Hongjin Liang, Xinyu Feng, Ming Fu |
| 2012 | TAMC | A Structural Approach to Prophecy Variables. | Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li |
| 2010 | CONCUR | Reasoning about Optimistic Concurrency Using a Program Logic for History. | Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang |
| 2009 | TASE | Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. | Ming Fu, Yu Zhang, Yong Li |
| 2008 | CEC | Formality based genetic programming. | Pei He, Lishan Kang, Ming Fu |