Mengda He

25 papers A* 4A 1B 3C 1Misc 2Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.
J. Circuits Syst. Comput.
Lili Xiao, Zhiru Hou, Huibiao Zhu, Mengda He, Shengchao Qin
2025 J jnl
Enhancing deep learning for demand forecasting to address large data gaps.
Expert Syst. Appl.
Chirine Riachy, Mengda He, Sina Joneidy, Shengchao Qin, Tim Payne, Graeme Boulton, Annalisa Occhipinti, Claudio Angione
2025 A* conf
Formally Verifying the State Machine of TLS 1.3 Handshake in OpenSSL.
INFOCOM
Jingjing Guan, Hui Li, Xiangdong Li, Xiaolei Wang, Binghan Wang, Qiuye Wang, Shengchao Qin, Mengda He, Md. Armanuzzaman, Ziming Zhao
2025 — conf
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
ACL (1)
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 J jnl
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
CoRR
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
2024 — conf
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.
CAV (2)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 J jnl
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.
CoRR
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 A* conf
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support.
ICSE
Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He
2024 J jnl
Trace Semantics for C++11 Memory Model.
Formal Aspects Comput.
Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin
2022 B conf
Algebraic Semantics for C++11 Memory Model.
COMPSAC
Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
2022 A* conf
Controlled Concurrency Testing via Periodical Scheduling.
ICSE
Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin
2021 J jnl
Extracting automata from neural networks using active learning.
PeerJ Comput. Sci.
Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He
2020 J jnl
A Program Logic for Reasoning About C11 Programs With Release-Sequences.
IEEE Access
Mengda He, Shengchao Qin, Zhiwu Xu
2020 A* conf
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC.
ICRA
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
2019 Misc conf
ABAC Requirements Engineering for Database Applications.
TASE
Jim J. Longstaff, Mengda He
2018 B conf
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints.
APLAS
Quang Loc Le, Mengda He
2018 J jnl
GPS+: Reasoning About Fences and Relaxed Atomics.
Int. J. Parallel Program.
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
2018 — —
Reasoning about C11 programs with fences and relaxed atomics.
Mengda He
2018 Misc conf
Towards a Program Logic for C11 Release-Sequences.
TASE
Mengda He, Shengchao Qin, João F. Ferreira
2017 J jnl
Automated specification inference in a combined domain via user-defined predicates.
Sci. Comput. Program.
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
2017 B conf
Facial expression recongition using firefly-based feature optimization.
CEC
Kamlesh Mistry, Li Zhang, Graham Sexton, Yifeng Zeng, Mengda He
2017 A conf
Firefly-based Facial Expression Recognition: Extended Abstract.
AAMAS
Kamlesh Mistry, Li Zhang, Yifeng Zeng, Mengda He
2017 J jnl
Group sparse optimization for learning predictive state representations.
Inf. Sci.
Yifeng Zeng, Biyang Ma, Bilian Chen, Jing Tang, Mengda He
2017 J jnl
Using function approximation for personalized point-of-interest recommendation.
Expert Syst. Appl.
Bilian Chen, Shenbao Yu, Jing Tang, Mengda He, Yifeng Zeng
2016 C conf
Reasoning about Fences and Relaxed Atomics.
PDP
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira