Danning Xie

According to our database, Danning Xie authored at least 13 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks.

Danning Xie, Mingwei Zheng, Xuwei Liu, Jiannan Wang, Chengpeng Wang, Lin Tan, Xiangyu Zhang

CoRR, July, 2025

Validating Network Protocol Parsers with Traceable RFC Document Interpretation.

Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang

Proc. ACM Softw. Eng., 2025

Large Language Models for Validating Network Protocol Parsers.

Mingwei Zheng, Danning Xie, Xiangyu Zhang

Proceedings of the 2025 IEEE Security and Privacy, 2025

How Effective are Large Language Models in Generating Software Specifications?

Danning Xie, Byoung-Joo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee

Proceedings of the IEEE International Conference on Software Analysis, 2025

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

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast.

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

Proceedings of the IEEE/ACM Second International Conference on AI Foundation Models and Software Engineering, 2025

2024

Consolidating Smart Contracts with Behavioral Contracts.

Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang

Proc. ACM Program. Lang., 2024

Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast.

Marilyn Rego, Wen Fan, Xin Hu, Sanya Dod, Zhaorui Ni, Danning Xie, Jenna DiVincenzo, Lin Tan

CoRR, 2024

CEDAR: Continuous Testing of Deep Learning Libraries.

Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer

Proceedings of the IEEE International Conference on Software Analysis, 2024

ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries.

Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, Xiangyu Zhang

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

Impact of Large Language Models on Generating Software Specifications.

Danning Xie, Byungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee

CoRR, 2023

2022

DocTer: documentation-guided fuzzing for testing deep learning API functions.

Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

Leveraging Documentation to Test Deep Learning Library Functions.

Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey

CoRR, 2021