Danning Xie

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Unsupervised Feature Learning

Weakly Supervised

Top Venues

Proc. ACM Program. Lang.

Publications

Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, Zhuo Zhang
Consolidating Smart Contracts with Behavioral Contracts. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer
CEDAR: Continuous Testing of Deep Learning Libraries. SANER (2024)
Danning Xie, Byungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee
Impact of Large Language Models on Generating Software Specifications. CoRR (2023)
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey
DocTer: documentation-guided fuzzing for testing deep learning API functions. ISSTA (2022)
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael Godfrey
Leveraging Documentation to Test Deep Learning Library Functions. CoRR (2021)