Mengda He

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 18

Top Topics

Regular Expressions

Top Venues

Publications

Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. CoRR (2024)
Zhiwu Xu, Bohao Wu, Cheng Wen, Bin Zhang, Shengchao Qin, Mengda He
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support. ICSE (2024)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. CAV (2) (2024)
Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin
Controlled Concurrency Testing via Periodical Scheduling. ICSE (2022)
Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
Algebraic Semantics for C++11 Memory Model. COMPSAC (2022)
Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He
Extracting automata from neural networks using active learning. PeerJ Comput. Sci. 7 (2021)
Mengda He, Shengchao Qin, Zhiwu Xu
A Program Logic for Reasoning About C11 Programs With Release-Sequences. IEEE Access 8 (2020)
Chao Huang, Xin Chen, Enyi Tang, Mengda He, Lei Bu, Shengchao Qin, Yifeng Zeng
Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC. ICRA (2020)
Jim J. Longstaff, Mengda He
ABAC Requirements Engineering for Database Applications. TASE (2019)
Quang Loc Le, Mengda He
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints. APLAS (2018)
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics. Int. J. Parallel Program. 46 (6) (2018)
Mengda He, Shengchao Qin, João Fernando Ferreira
Towards a Program Logic for C11 Release-Sequences. TASE (2018)
Bilian Chen, Shenbao Yu, Jing Tang, Mengda He, Yifeng Zeng
Using function approximation for personalized point-of-interest recommendation. Expert Syst. Appl. 79 (2017)
Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming
Automated specification inference in a combined domain via user-defined predicates. Sci. Comput. Program. 148 (2017)
Kamlesh Mistry, Li Zhang, Yifeng Zeng, Mengda He
Firefly-based Facial Expression Recognition: Extended Abstract. AAMAS (2017)
Yifeng Zeng, Biyang Ma, Bilian Chen, Jing Tang, Mengda He
Group sparse optimization for learning predictive state representations. Inf. Sci. 412 (2017)
Kamlesh Mistry, Li Zhang, Graham Sexton, Yifeng Zeng, Mengda He
Facial expression recongition using firefly-based feature optimization. CEC (2017)
Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira
Reasoning about Fences and Relaxed Atomics. PDP (2016)