About Me

I am a Research Scientist in group of Assistant Professor Xiaofei Xie (谢肖飞), Singapore Management University, Singapore (2024.6-). Previously, I was a Research Fellow in group of Prof. Yang Liu (刘杨) at Nanyang Technological University, Singapore (2022.09-2024.05). I received my Bachelor’s Degree in June 2017, and my Ph.D. Degree in June 2022 from East China Normal University, China (华东师范大学), under the supervision of Prof. Mingsong Chen (陈铭松). My research interest mainly include：

• Cyber Physical Systems (信息物理融合系统)
• Federated Learning (联邦学习)
• Program Analysis and Testing (程序分析和测试)

• Trustworthy AI (可信人工智能)

  I have published 20+ papers at top conferences and journals such as RTSS, DAC, KDD, ICDE, AAAI, ISSTA, FSE, TCAD, TC, ToN.

I am open to co-supervising doctoral students in the fields of Federated Learning, Trustworthy AI, and Software Engineering. If you are interested, please send your CV to my email (hu.ming.work@gmail.com)

🔥 News

2024:

• 2024.09 🎉 One paper got accepted by NeurIPS 2024 (CCF-A)! Congrats to Yanxin!
• 2024.08 🎉 One paper got accepted by TMC (CCF-A)!
• 2024.07 🎉 One paper got accepted by CODES+ISSS 2024 (Published in TCAD (CCF-A))! Congrats to Zekai!
• 2024.07 🎉 One paper got accepted by EMSOFT 2024 (Published in TCAD (CCF-A))! Congrats to Zeke!
• 2024.06 🎉 Our paper “Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?” won FSE2024 ACM SIGSOFT Distinguished Paper Award! Congrats to Kaixuan!
• 2024.06 🎉 One paper got accepted by TIFS (CCF-A)!
• 2024.05 🎉 One paper got accepted by KDD 2024 (CCF-A)!
• 2024.05 🎉 One paper got accepted by ToN (CCF-A)!
• 2024.04 🎉 One paper got accepted by FSE 2024 (CCF-A)!
• 2024.03 🎉 One paper got accepted by ISSTA 2024 (CCF-A)! Congrats to Maoyi!
• 2024.02 🎉 One paper got accepted by DAC 2024 (CCF-A)! Congrats to Chentao!

2023:

• 2023.12 🎉 One paper got accepted by IUI 2024 (CCF-B)!
• 2023.12 🎉 One paper got accepted by ICASSP 2024 (CCF-B)!
• 2023.12 🎉 Two papers got accepted by AAAI 2024 (CCF-A)!
• 2023.12 🎉 One paper got accepted by ICDE 2024 (CCF-A)!
• 2023.08 🎉 One paper got accepted by RTSS 2023 (CCF-A)!
• 2023.08 🎉 One paper got accepted by MM 2023 (CCF-A)!
• 2023.06 🎉 One paper got accepted by TCAD (CCF-A)!
• 2023.03 🎉 One paper got accepted by TCAD (CCF-A)!

💻 Work Experience

• 2024.6 - present Research Scientist in the group of Assistant Professor Xiaofei Xie at Singapore Management University, Singapore.
• 2022.9 - 2024.5 Research Fellow in the group of Professor Yang Liu at Nanyang Technological University, Singapore.

🎓 Educations

• 2017.09 - 2022.06, Ph.D (Software Engineering) supervised by Prof. Mingsong Chen at East China Normal University, Shanghai, China.
• 2013.09 - 2017.06, B.E (Software Engineering) at East China Normal University, Shanghai, China.

📝 Publications

* Corresponding Author

2024

• NeurIPS 2024 (CCF-A) Yanxin Yang, Chentao Jia, Dengke Yan, Ming Hu*, Tianlin Li, Xiaofei Xie, Xian Wei, and Mingsong Chen*, SampDetox: Black-box Backdoor Defense via Perturbation-based Sample Detoxification. In Proceedings of Annual Conference on Neural Information Processing Systems (NeurIPS), 2024.

• TMC (CCF-A) Anran Li, Guangjing Wang, Ming Hu, Jianfei Sun, Lan Zhang, Anh Tuan Luu, and Han Yu, Joint Client-and-Sample Selection for Federated Learning via Bi-level Optimization. IEEE Transactions on Mobile Computing (TMC), 32(12): 15196-15209, 2024.

• SEKE 2024 (CCF-C) Jiawen Weng, Zeke Xia, Ran Li, Ming Hu, and Mingsong Chen, FedQP: Towards Accurate Federated Learning using Quadratic Programming Guided Mutation. In Proceedings of International Conference on Software Engineering and Knowledge Engineering (SEKE), 2024.

• TCAD (CCF-A) Zekai Chen, Chentao Jia, Ming Hu*, Xiaofei Xie, Anran Li, and Mingsong Chen, FlexFL: Heterogeneous Federated Learning via APoZ-Guided Flexible Pruning in Uncertain Scenarios. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 43(11): 4069-4080, 2024. CODE

• TCAD (CCF-A) Zeke Xia, Ming Hu, Dengke Yan, Xiaofei Xie, Tianlin Li, Anran Li, Junlong Zhou, and Mingsong Chen, CaBaFL: Asynchronous Federated Learning via Hierarchical Cache and Feature Balance. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 43(11): 4057-4068, 2024.

• TIFS (CCF-A) Yihao Huang, Qing Guo, Felix Juefei Xu, Ming Hu, Xiaojun Jia, Xiaochun Cao, Geguang Pu, and Yang Liu, Texture Re-scalable Universal Adversarial Perturbation. IEEE Transactions on Information Forensics & Security (TIFS), 19: 8291-8305, 2024.

• KDD 2024 (CCF-A) Ming Hu, Zhihao Yue, Xiaofei Xie, Cheng Chen, Yihao Huang, Xian Wei, Xiang Lian, Yang Liu, and Mingsong Chen, Is Aggregation the Only Choice? Federated Learning via Layer-wise Model Recombination. In Proceedings of SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 1096-1107, 2024. CODE

• ToN (CCF-A) Ziming Zhao, Zhaoxuan Li, Xiaofei Xie, Jiongchi Yu, Fan Zhang, Rui Zhang, Binbin Chen, Xiangyang Luo, Ming Hu, and Wenrui Ma, FOSS: Towards Fine-Grained Unknown Class Detection against the Open-Set Attack Spectrum with Variable Legitimate Traffic. IEEE/ACM Transactions on Networking (ToN), 32(5): 3945-3960, 2024.

• FSE 2024 (CCF-A) Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, and Yixiang Chen, Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?. In Proceedings of ACM SIGSOFT Symposium on the Foundation of Software Engineering (FSE), 1447-1470, 2024. ACM SIGSOFT Distinguished Paper Award

• ISSTA 2024 (CCF-A) Maoyi Xie, Ming Hu*, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, and Yang Liu, DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA), 402-414, 2024.

• DAC 2024 (CCF-A) Chentao Jia, Ming Hu*, Zekai Chen, Yanxin Yang, Xiaofei Xie, Yang Liu, and Mingsong Chen*, AdaptiveFL: Adaptive Heterogeneous Federated Learning for Resource-Constrained AIoT Systems. In Proceedings of Design Automation Conference (DAC), 1-6, 2024. CODE

• ICDE 2024 (CCF-A) Ming Hu, Peiheng Zhou, Zhihao Yue, Zhiwei Ling, Yihao Huang, Anran Li, Yang Liu, Xiang Lian, and Mingsong Chen, FedCross: Towards Accurate Federated Learning via Multi-Model Cross-Aggregation. In Proceedings of IEEE International Conference on Data Engineering (ICDE), 2137-2150, 2024. CODE

• IUI 2024 (CCF-B) Liming Nie, and Kabir Sulaiman Said*, Ming Hu*, SoK: An Exhaustive Taxonomy of Display Issues for Mobile Applications. In Proceedings of ACM International Conference on Intelligent User Interfaces (IUI), 537-548, 2024.

• ICASSP 2024 (CCF-B) Di Yang, Yihao Huang, Qing Guo, Felix Juefei-Xu, Ming Hu, Yang Liu, and Geguang Pu, Architecture-agnostic Iterative Black-box Certified Defense against Adversarial Patches. In Proceedings of IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 5985-5989, 2024.

• AAAI 2024 (CCF-A) Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang Yutong Wu,Ming Hu, Tianlin Li, Geguang Pu, and Yang Liu, Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 38(19): 21169-21178, 2024.

• AAAI 2024 (CCF-A) Ming Hu, Yue Cao, Anran Li, Zhiming Li, Chengwei Liu, Tianlin Li, Mingsong Chen, and Yang Liu, FedMut: Generalized Federated Learning via Stochastic Mutation. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 38(11): 12528-12537, 2024. (Oral) CODE

2023

• RTSS 2023 (CCF-A) Ming Hu, Zeke Xia, Dengke Yan, Zhihao Yue, Jun Xia, Yihao Huang, Yang Liu, and Mingsong Chen, GitFL: Uncertainty-Aware Real-Time Asynchronous Federated Learning using Version Control. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), 145-157, 2023. CODE

• MM 2023 (CCF-A) Zhihao Yue, Jun Xia, Zhiwei Ling, Ming Hu, Ting Wang, Xian Wei, Mingsong Chen, Model-Contrastive Learning for Backdoor Elimination, In Proceedings of ACM Multimedia, 8869-8880, 2023.

• TCAD (CCF-A) Ming Hu, Jun Xia, Min Zhang, Xiaohong Chen, Frédéric Mallet, and Mingsong Chen, Automated Synthesis of Safe Timing Behaviors for Requirements Models using CCSL. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 42(12): 5127-5140, 2023.

• TCAD (CCF-A) Ming Hu, E Cao, Hongbing Huang, Min Zhang, Xiaohong Chen, and Mingsong Chen, AIoTML: A Unified Modeling Language for AIoT-Based Cyber-Physical Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 42(11): 3545-3558, 2023.

• TC (CCF-A) Ming Hu, Min Zhang, Frédéric Mallet, Xin Fu, and Mingsong Chen, Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration. IEEE Transactions on Computers (TC), 72(5): 1431-1446, 2023.

2022

• DAC 2022 (CCF-A) Jun Xia, Ming Hu, Xin Chen, and Mingsong Chen. Accelerated synthesis of neural network-based barrier certificates using collaborative learning. In Proceedings of Design Automation Conference (DAC), 1201–1206, 2022.

2021

• RTSS 2021 (CCF-A) Ming Hu, Jiepin Ding, Min Zhang, Frédéric Mallet, and Mingsong Chen, Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications Using Reinforcement Learning. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), 227-239, 2021.

• TCAD (CCF-A) Xinqian Zhang, Ming Hu, Jun Xia, Tongquan Wei, Mingsong Chen, and Shiyan Hu, Efficient Federated Learning for Cloud-Based AIoT Applications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 40(11): 2211-2223, 2021.

• JCSC 2021 (SCI) Tian Liu, Yunfei Song, Ming Hu, Jun Xia, Jianning Zhang, and Mingsong Chen, An Ensemble Learning-Based Cooperative Defensive Architecture Against Adversarial Attacks. Journal of Circuits, Systems and Computers, 30(2): 2150025:1-2150025:16, 2021.

• JOS 2021 (Chinese-list CCF-A) Mingli Shao, E Cao, Ming Hu, Yue Zhang, Wenjie Chen, and Mingsong Chen. Traffic Light Optimization Control Method for Priority Vehicle Awareness. Journal of Software, 32(8): 2425-2438, 2021. (in Chinese)

2020

• TCAD (CCF-A) Ming Hu, Wenxue Duan, Min Zhang, Tongquan Wei, and Mingsong Chen, Quantitative Timing Analysis for Cyber-Physical Systems Using Uncertainty-Aware Scenario-Based Specifications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 39(11): 4006-4017, 2020.

• TR (CCF-C) Haifeng Gu, Jianning Zhang, Tian Liu, Ming Hu, Junlong Zhou, Tongquan Wei, and Mingsong Chen, DIAVA: A Traffic-Based Framework for Detection of SQL Injection Attacks and Vulnerability Analysis of Leaked Data. IEEE Transactions on Reliability, 69(1): 188-202, 2020.

• JCRD (Chinese-list CCF-A) Wenxue Duan, Ming Hu, Qiong Zhou, Tingming Wu, Junlong Zhou, Xiao Liu, Tongquan Wei, and Mingsong Chen. Reliability in Cloud Computing System: A Review. Journal of Computer Research and Development 57(1):102-123, 2020. (in Chinese)

2019

• DAC 2019 (CCF-A) Ming Hu, Tongquan Wei, Min Zhang, Frédéric Mallet, and Mingsong Chen, Sample-Guided Automated Synthesis for CCSL Specifications. In Proceedings of Design Automation Conference (DAC). 98: 1–6, 2019.

🏅 Honors and Awards

• 2024 Outstanding Doctoral Dissertation Award, CCF Embedded Systems Technical Committee
• 2024 ACM SIGSOFT Distinguished Paper Award, FSE2024
• 2022 Outstanding Graduates, Shanghai
• 2021 National Scholarship
• 2021 Excellent Student of ECNU
• 2018 Excellent Student Cadres of ECNU

🏛️ Reserch Projects

• 2023-2024, (Co-PI) Efficient and Trustworthy Federated Learning System Design, MoE International Joint Lab of Trustworthy Software Open Research Project, 13K RMB
• 2020-2022, (PI) Design Automation for Cyber-Physical Systems, ECNU Academic Innovation Promotion Program for Excellent Doctoral Students, 50K RMB