Consolidating Smart Contracts with Behavioral Contracts
Wei, Guannan, Xie, Danning, Zhang, Wuqi, Yuan, Yongwei, Zhang, Zhuo
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
Rego, Marilyn, Fan, Wen, Hu, Xin, Dod, Sanya, Ni, Zhaorui, Xie, Danning, DiVincenzo, Jenna, Tan, Lin
Year of Publication 04.11.2024
Year of Publication 04.11.2024
Get full text
Journal Article
CEDAR: Continuous Testing of Deep Learning Libraries
Xie, Danning, Wang, Jiannan, Pham, Hung Viet, Tan, Lin, Guo, Yu, Aziz, Adnan, Meijer, Erik
Published in 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (12.03.2024)
Published in 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (12.03.2024)
Get full text
Conference Proceeding
DocTer: Documentation Guided Fuzzing for Testing Deep Learning API Functions
Xie, Danning, Li, Yitong, Kim, Mijung, Pham, Hung Viet, Tan, Lin, Zhang, Xiangyu, Godfrey, Michael W
Published in arXiv.org (06.03.2024)
Published in arXiv.org (06.03.2024)
Get full text
Paper
Journal Article
Impact of Large Language Models on Generating Software Specifications
Xie, Danning, Yoo, Byungwoo, Jiang, Nan, Kim, Mijung, Tan, Lin, Zhang, Xiangyu, Lee, Judy S
Year of Publication 05.06.2023
Year of Publication 05.06.2023
Get full text
Journal Article
Symbol Preference Aware Generative Models for Recovering Variable Names from Stripped Binary
Xu, Xiangzhe, Zhang, Zhuo, Su, Zian, Huang, Ziyang, Feng, Shiwei, Ye, Yapeng, Jiang, Nan, Xie, Danning, Cheng, Siyuan, Tan, Lin, Zhang, Xiangyu
Year of Publication 04.06.2023
Year of Publication 04.06.2023
Get full text
Journal Article
Impact of Large Language Models on Generating Software Specifications
Xie, Danning, Yoo, Byungwoo, Jiang, Nan, Kim, Mijung, Tan, Lin, Zhang, Xiangyu, Lee, Judy S
Published in arXiv.org (02.10.2023)
Get full text
Published in arXiv.org (02.10.2023)
Paper