I am currently a Ph.D. student in Department of Computer Science at Purdue University, working with Prof. Lin Tan and Prof. Xiangyu Zhang. Before joining Purdue, I received my Bachelor's degree from Department of Computer Science and Engineering at Southern University of Science and Technology (SUSTech). My research interests mainly focus on Software engineering, Software Analysis, Software Security, etc.
Publications
-
[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 -
[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. -
Leveraging Generative Models to Recover 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 -
Impact of Large Language Models on Generating Software Specifications. [Poster]
Danning Xie, Byungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee -
[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 International Conference on Software Analysis, Evolution, and Reengineering, IEEE, 2024. 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.
Talks and Services
- CEDAR: Continuous Testing of Deep Learning Libraries, SANER'24, Rovaniemi, Finland.
- SCAM 2024 Engineering Track program committee
- AIware Challenge Track program committee
- ACM Transactions on Software Engineering and Methodology reviewer
- IEEE Internet Of Things Journal reviewer
- IEEE Transactions on Wireless Communications reviewer
- PeerJ Computer Science reviewer
- Computer Networks reviewer
- CCS 2024 Artifact Evaluation
- PLDI 2024 Artifact Evaluation
- FAST 2024 Artifact Evaluation
- 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.