Danning's Homepage

I am currently a Research Scientist at Meta Superintelligence Lab (MSL), developing open-source RL and agent infrastructure Forge. Before this, I did my PhD in Department of Computer Science at Purdue University, working with Prof. Lin Tan and Prof. Xiangyu Zhang. I received my Bachelor's degree from SUSTech. My research interests mainly focus on Software engineering, Software Analysis, Software Security, LLM for code, etc.

Publications

[NeurIPS'25 DB] CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks. [Artifact]
Danning Xie, Mingwei Zheng, Xuwei Liu, Jiannan Wang, Chengpeng Wang, Lin Tan, Xiangyu Zhang
In the proceedings of the Conference on Neural Information Processing Systems: Datasets & Benchmarks Track, Mexico City, Mexico & San Diego, California.
✨ Spotlight (56/497)

[ISSTA'25] Validating Network Protocol Parsers with Traceable RFC Document Interpretation.
Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
In Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, Trondheim, Norway.

[LangSec'25] Large Language Models for Validating Network Protocol Parsers.
Mingwei Zheng, Danning Xie, Xiangyu Zhang
The Eleventh Workshop on Language-Theoretic Security at the IEEE CS Security & Privacy Workshops, San Francisco, California.

[NDSS'25] Unleashing the Power of Generative Model in Recovering Variable Names from Stripped Binary.
Xiangzhe Xu, Zhuo Zhang, Zian Su, Ziyang Huang, Shiwei Feng, Yapeng Ye, Nan Jiang, Danning Xie, Siyuan Cheng, Lin Tan, Xiangyu Zhang
In Proceedings 2025 Network and Distributed System Security Symposium, San Diego, California.

[SANER'25] How Effective are Large Language Models in Generating Software Specifications? [Artifact][Poster]
Danning Xie*, Byoungwoo Yoo*, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee
In Proceedings of the 32nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), Montréal, Canada.

[CCS'24] ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries [Artifact][Slides]
Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, and Xiangyu Zhang
In Proceedings of the 31st Conference on Computer and Communications Security, Salt Lake City, Utah.
🏆 ACM SIGSAC Distinguished Paper Award (27/328)

[PLDI'24] Consolidating Smart Contracts with Behavioral Contracts [Artifact][Poster]
Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang
In Proceedings of the ACM on Programming Languages, Volume 8 (PLDI 2024), Copenhagen, Demark.

[SANER'24] CEDAR: Continuous Testing of Deep Learning Libraries.[Artifact][Slides]
Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer
In Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), Rovaniemi, Finland.

[ISSTA'22] DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions. [Artifact][Slides]
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael Godfrey
In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, South Korea.

Awards

NeurIPS 2025 Datasets & Benchmarks Spotlight, NeurIPS, December 2025.

ACM SIGSAC Distinguished Paper Award, ACM CCS, October 2024.

Notable Mentions

AI-powered tool for cybersecurity earns ACM CCS Distinguished Paper Award, Department of Computer Science, Purdue University, March 2025.

Cybercrime Costs Are Set to Reach $10.5 Trillion (!!!) Annually by 2025 – Purdue Computer Science is Leading the Fight!, March 2025.

Talks and Services

Program committee member for ICSE 2026, AIware 2025, SCAM 2024 Engineering Track , AIware Challenge Track.
Reviewer for ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, IEEE Internet Of Things Journal, IEEE Transactions on Wireless Communications, PeerJ Computer Science, Computer Networks.
Artifact Evaluation for CCS 2024, PLDI 2024, FAST 2024.
Harnessing Large Language Models for Reliable Code Transformation and Software Specification Generation, Fudan University and Nanjing University, Dec. 2024.
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries, iSE, University of Illinois Urbana-Champaign, Nov. 2024.
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries, CCS'24, Salt Lake City, Utah.
CEDAR: Continuous Testing of Deep Learning Libraries, SANER'24, Rovaniemi, Finland.
Poster: Securing Smart Contracts with Behavioral Contracts , Midwest PL Summit 2024, Ann Arbor, Michigan.
Travel Grant Coordinator at Purdue CS GSA (23 Summer - 24 Spring).
Testing Deep Learning Systems, Guest Talk for CS510, Purdue (23 Fall).
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions, ISSTA'22 (remote).

Misc.

I love hiking, traveling, photography, snowboarding, and skiing.
I have a super cute girl cat named Mojito.