Follow
Danning Xie
Danning Xie
Purdue University
Verified email at purdue.edu - Homepage
Title
Cited by
Cited by
Year
DocTer: documentation-guided fuzzing for testing deep learning API functions
D Xie, Y Li, M Kim, HV Pham, L Tan, X Zhang, MW Godfrey
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
822022
How Effective are Large Language Models in Generating Software Specifications?
D Xie, B Yoo, N Jiang, M Kim, L Tan, X Zhang, JS Lee
International Conference on Software Analysis, Evolution, and Reengineering, 2025
27*2025
ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries
D Xie, Z Zhang, N Jiang, X Xu, L Tan, X Zhang
Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024
32024
Leveraging Generative Models to Recover Variable Names from Stripped Binary
X Xu, Z Zhang, Z Su, Z Huang, S Feng, Y Ye, N Jiang, D Xie, S Cheng, ...
arXiv preprint arXiv:2306.02546, 2023
22023
CEDAR: Continuous Testing of Deep Learning Libraries
D Xie, J Wang, HV Pham, L Tan, Y Guo, A Aziz, E Meijer
International Conference on Software Analysis, Evolution, and Reengineering,, 2024
12024
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
M Rego, W Fan, X Hu, S Dod, Z Ni, D Xie, J DiVincenzo, L Tan
arXiv preprint arXiv:2411.02318, 2024
2024
Consolidating Smart Contracts with Behavioral Contracts
G Wei, D Xie, W Zhang, Y Yuan, Z Zhang
Proceedings of the ACM on Programming Languages 8 (PLDI), 965-989, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–7