Mengting He

I am a fourth-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.

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)

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

arXiv preprint arXiv:2502.07644 (2025)

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)

Mengting He

Publications