| 2025 | ACL | From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. | Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian |
| 2025 | INFOCOM | Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL. | Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao |
| 2024 | CAV | Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. | Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian |
| 2024 | ICSE | RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. | Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He |
| 2022 | COMPSAC | Algebraic Semantics for C++11 Memory Model. | Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin |
| 2022 | ICSE | Controlled Concurrency Testing via Periodical Scheduling. | Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin |
| 2020 | ICRA | Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. | Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng |
| 2019 | TASE | ABAC Requirements Engineering for Database Applications. | Jim J. Longstaff, Mengda He |
| 2018 | APLAS | A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. | Quang Loc Le, Mengda He |
| 2018 | TASE | Towards a Program Logic for C11 Release-Sequences. | Mengda He, Shengchao Qin, Joo F. Ferreira |
| 2017 | CEC | Facial expression recongition using firefly-based feature optimization. | Kamlesh Mistry, Li Zhang, Graham Sexton, Yifeng Zeng, Mengda He |
| 2016 | PDP | Reasoning about Fences and Relaxed Atomics. | Mengda He, Viktor Vafeiadis, Shengchao Qin, Joo F. Ferreira |