Leveraging Documentation to Test Deep Learning Library Functions. - Danning Xie; Yitong Li; Mijung Kim; Hung Viet Pham; Lin Tan 001; Xiangyu Zhang 001; Michael W. Godfrey (CoRR, 2021)

DocTer: documentation-guided fuzzing for testing deep learning API functions. - Danning Xie; Yitong Li; Mijung Kim; Hung Viet Pham; Lin Tan 001; Xiangyu Zhang 001; Michael W. Godfrey (ISSTA, 2022)

Impact of Large Language Models on Generating Software Specifications. - Danning Xie; Byungwoo Yoo; Nan Jiang 012; Mijung Kim; Lin Tan 001; Xiangyu Zhang 001; Judy S. Lee (CoRR, 2023)

ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries. - Danning Xie; Zhuo Zhang 002; Nan Jiang 012; Xiangzhe Xu; Lin Tan 001; Xiangyu Zhang 001 (CCS, 2024)

CEDAR: Continuous Testing of Deep Learning Libraries. - Danning Xie; Jiannan Wang 002; Hung Viet Pham; Lin Tan 001; Yu Guo; Adnan Aziz; Erik Meijer 001 (SANER, 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 001 (CoRR, 2024)

Consolidating Smart Contracts with Behavioral Contracts. - Guannan Wei 001; Danning Xie; Wuqi Zhang; Yongwei Yuan; Zhuo Zhang 002 (Proc. ACM Program. Lang., 2024)

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 001 (Forge@ICSE, 2025)

Unleashing the Power of Generative Model in Recovering Variable Names from Stripped Binary. - Xiangzhe Xu; Zhuo Zhang 002; Zian Su; Ziyang Huang; Shiwei Feng 002; Yapeng Ye; Nan Jiang 012; Danning Xie; Siyuan Cheng 005; Lin Tan 001; Xiangyu Zhang 001 (NDSS, 2025)

How Effective are Large Language Models in Generating Software Specifications? - Danning Xie; Byoung-Joo Yoo; Nan Jiang 012; Mijung Kim; Lin Tan 001; Xiangyu Zhang 001; Judy S. Lee (SANER, 2025)

Large Language Models for Validating Network Protocol Parsers. - Mingwei Zheng; Danning Xie; Xiangyu Zhang (SP (Workshops), 2025)

Validating Network Protocol Parsers with Traceable RFC Document Interpretation. - Mingwei Zheng; Danning Xie; Qingkai Shi; Chengpeng Wang 001; Xiangyu Zhang 001 (Proc. ACM Softw. Eng., 2025)

CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks. - Danning Xie; Mingwei Zheng; Xuwei Liu; Jiannan Wang 002; Chengpeng Wang 001; Lin Tan 001; Xiangyu Zhang 001 (CoRR, 2025)