Pengfei Gao

[20] Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling

Trae Research Team

arXiv:2507.23370, 2025

#1 on SWE-bench Verified 🏆

[19] CodeVisionary: An Agent-based Framework for Evaluating Large Language Models in Code Generation

Xinchen Wang, Pengfei Gao, Chao Peng, Ruida Hu, Cuiyun Gao

ASE 2025

[18] Improving the Efficiency of LLM Agent Systems through Trajectory Reduction

Yuan-An Xiao, Pengfei Gao, Chao Peng, Yingfei Xiong

arXiv:2509.23586, 2025

[17] Tool-integrated Reinforcement Learning for Repo Deep Search

Zexiong Ma, Chao Peng, Qunhong Zeng, Pengfei Gao, Yanzhen Zou, Bing Xie

arXiv:2508.03012, 2025

[16] SoRFT: Issue Resolving with Subtask-oriented Reinforced Fine-Tuning

Zexiong Ma, Chao Peng, Pengfei Gao, Xiangxin Meng, Yanzhen Zou, Bing Xie

ACL 2025

[15] Verification of Bit-Flip Attacks against Quantized Neural Networks

Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong

OOPSLA 2025

[14] AEGIS: An Agent-based Framework for General Bug Reproduction from Issue Descriptions

Xinchen Wang, Pengfei Gao, Xiangxin Meng, Chao Peng, Ruida Hu, Yun Lin, Cuiyun Gao

FSE 2025 Industry

[13] An Empirical Study on LLM-based Agents for Automated Bug Fixing

Xiangxin Meng, Zexiong Ma, Pengfei Gao, Chao Peng

arXiv:2411.10213, 2024

[12] MarsCode Agent: AI-native Automated Bug Fixing

Yizhou Liu, Pengfei Gao, Xinchen Wang, Jie Liu, Yexuan Shi, Zhao Zhang, Chao Peng

arXiv:2409.00899, 2024

[11] RepoMasterEval: Evaluating Code Completion via Real-World Repositories

Qinyun Wu, Chao Peng, Pengfei Gao, Haoyu Gan, Bo Jiang, Jinhe Tang, Zhiwen Deng, Zhanming Guan, Cuiyun Gao, Xia Liu, Ping Yang

ASE Industry Showcase 2025 (accepted)

[10] SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits

Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen and Zhilin Wu

IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024(4)

[9] Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks

Pengfei Gao, Fu Song and Taolue Chen

ACM Transactions on Software Engineering and Methodology, 33(3): 79:1-79:38, 2024

[8] Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks

Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen and Francois-Xavier Standaert

Proceedings of the ACM on Programming Languages, 7(OOPSLA2): 286:1817–286:1847, 2023

[7] VenomAttack: Automated and Adaptive Activity Hijacking in Android

Pu Sun, Sen Chen, Lingling Fan, Pengfei Gao, Fu Song and Min Yang

Frontiers of Computer Science, 17(1):171801, 1-18, 2023

[6] Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences

Pengfei Gao, Yongjie Xu, Fu Song and Taolue Chen

Frontiers of Computer Science, 16(3):163204, 1-14, 2022

[5] Formal Verification of Masking Countermeasures for Arithmetic Programs

Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song and Taolue Chen

IEEE Transactions on Software Engineering, 48(3): 973-1000, 2022

[4] A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

Pengfei Gao, Hongyi Xie, Fu Song and Taolue Chen

ACM Transactions on Software Engineering and Methodology, 30(3):1-42, 2021

[3] Verifying and Quantifying Side-Channel Resistance of Masked Software Implementations

Pengfei Gao, Jun Zhang, Fu Song and Chao Wang

ACM Transactions on Software Engineering and Methodology, 28(3):16:1-16:32, 2019

[2] Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks

Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song and Taolue Chen

Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS/TACAS), Prague, Czech Republic. April 6-11, 2019

[1] SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks

Jun Zhang, Pengfei Gao, Fu Song and Chao Wang

Proceedings of the 30th International Conference on Computer Aided Verification (CAV), Oxford, UK. July 14-17, 2018