Mengting He

PhD Student
College of Information Sciences and Technology
The Pennsylvania State University
Email: mvh6224@psu.edu
CV (PDF) · GitHub

I am a fifth-year PhD student in the College of Information Sciences and Technology at Pennsylvania State University, advised by Prof. Linhai Song. I earned both my bachelor's and master's degrees from Nanjing University and worked at Pinduoduo for two years before pursuing my PhD. My research interests include program analysis, software security, and related areas in software engineering.

Publications

M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
Mengting He, Shihao Xia, Haomin Jia, Wenfei Wu, and Linhai Song
In Proceedings of the ACM SIGOPS 32nd Symposium on Operating Systems Principles (SOSP 2026)
Mobile-MCP: Implementing the Model Context Protocol via Android's Inter-Application Communication Mechanisms
Xiheng Li, Mengting He, Chengcheng Wan, and Linhai Song
In the 1st Workshop on Operating Systems Design for AI Agents (AgenticOS 2026)
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, and Linhai Song
In Proceedings of the ACM on Programming Languages (OOPSLA 2026)
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
Shihao Xia, Mengting He, Haomin Jia, and Linhai Song
arXiv preprint arXiv:2602.04892 (2026)
How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Yiying Zhang, and Linhai Song
IEEE Transactions on Software Engineering (2025)
Accepted as a Journal-First paper at ICSE 2026
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
Shihao Xia, Mengting He, Linhai Song, and Yiying Zhang
In 2025 IEEE/ACM International Workshop on Large Language Models for Code (LLM4Code)
AuditGPT: Auditing Smart Contracts with ChatGPT
Shihao Xia, Shuai Shao, Mengting He, Tingting Yu, Linhai Song, and Yiying Zhang
arXiv preprint arXiv:2404.04306 (2024)
Evaluation System for Reasoning Description of Judgment Documents Based on TensorFlow CNN
Mengting He, Zhongyue Li, Yanshu Wei, Jidong Ge, Peitang Ling, Chuanyi Li, Ting Lei, and Bin Luo
In Data Science: 5th International Conference of Pioneering Computer Scientists, Engineers and Educators (ICPCSEE 2019)