Danning Xie -

Registered user since Thu 1 Jul 2021

Name:Danning Xie

Affiliation:Purdue University

Personal website: https://dnxie.github.io/

X (Twitter): https://x.com/danning_x

Contributions

2026

ICSE

Committee Member in Program Committee within the Research Track-track

2025

ISSTA

Author of Validating Network Protocol Parsers with Traceable RFC Document Interpretation within the Research Papers-track

FORGE

Author of Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast within the Research Papers-track

SANER

Author of How Effective are Large Language Models in Generating Software Specifications? within the Research Papers-track

2024

SCAM

Committee Member in Program Committee within the Engineering Track-track

AIware

PC Member in Program Committee within the Challenge Track-track

PLDI

SANER

Author of CEDAR: Continuous Testing of Deep Learning Libraries within the Industrial Track-track

2022

ISSTA

Author of DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions within the Technical Papers-track