Mengda He

According to our database, Mengda He authored at least 19 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Trace Semantics for C++11 Memory Model.

Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin

Formal Aspects Comput., September, 2024

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

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2022

Controlled Concurrency Testing via Periodical Scheduling.

Cheng Wen, Mengda He, Bohao Wu, Zhiwu Xu, Shengchao Qin

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Algebraic Semantics for C++11 Memory Model.

Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Extracting automata from neural networks using active learning.

Zhiwu Xu, Cheng Wen, Shengchao Qin, Mengda He

PeerJ Comput. Sci., 2021

2020

A Program Logic for Reasoning About C11 Programs With Release-Sequences.

Mengda He, Shengchao Qin, Zhiwu Xu

IEEE Access, 2020

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

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

2019

ABAC Requirements Engineering for Database Applications.

Jim J. Longstaff, Mengda He

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Reasoning about C11 programs with fences and relaxed atomics.

Mengda He

PhD thesis, 2018

GPS+: Reasoning About Fences and Relaxed Atomics.

Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira

Int. J. Parallel Program., 2018

Towards a Program Logic for C11 Release-Sequences.

Mengda He, Shengchao Qin, João F. Ferreira

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints.

Quang Loc Le, Mengda He

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Automated specification inference in a combined domain via user-defined predicates.

Shengchao Qin, Guanhua He, Wei-Ngan Chin, Florin Craciun, Mengda He, Zhong Ming

Sci. Comput. Program., 2017

Group sparse optimization for learning predictive state representations.

Yifeng Zeng, Biyang Ma, Bilian Chen, Jing Tang, Mengda He

Inf. Sci., 2017

Using function approximation for personalized point-of-interest recommendation.

Bilian Chen, Shenbao Yu, Jing Tang, Mengda He, Yifeng Zeng

Expert Syst. Appl., 2017

Facial expression recongition using firefly-based feature optimization.

Kamlesh Mistry, Li Zhang, Graham Sexton, Yifeng Zeng, Mengda He

Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

Firefly-based Facial Expression Recognition: Extended Abstract.

Kamlesh Mistry, Li Zhang, Yifeng Zeng, Mengda He

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Reasoning about Fences and Relaxed Atomics.

Mengda He, Viktor Vafeiadis, Shengchao Qin, João F. Ferreira

Proceedings of the 24th Euromicro International Conference on Parallel, 2016