Danning Xie

According to our database, Danning Xie authored at least 7 papers between 2021 and 2024.

Collaborative distances:

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

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