LabCompass

Danning Xie

Computer Science · Purdue University West Lafayette

OpenAlex
Early career · publishing since 2020Rising activity
Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware System Performance and ReliabilitySoftware Reliability and Analysis ResearchLogic, programming, and type systems

Publications

10

Citations

102

Est. group size

—

Recurring co-author estimate

Active years

7

Publishing since 2020

Research summary
AI-generated

Danning Xie's recent work focuses on software engineering, particularly applying large language models (LLMs) to tasks like generating formal software specifications, validating network protocol parsers, and benchmarking code reasoning abilities. This research sits at the intersection of program verification, software testing, and AI-assisted software analysis.

Software verification and specification generationLLMs for code analysis and reasoningSoftware testing and debuggingNetwork protocol validationProgram analysis tools

Publication output was minimal or absent in the earlier part of the decade but has grown noticeably in 2025, suggesting a recent increase in research activity.

Generated by claude-sonnet-5 from public bibliographic data · Jul 20, 2026

Publication cadence
Publications per year over the last 10 years — averaging 1.6/year recently
1718192020: 1 publication202021: 1 publication212022: 1 publication222023: 1 publication232024: 1 publication242025: 4 publications4252026: 1 publication26
Recent publications
Publishes in
  • arXiv (Cornell University)×5
  • Reports on Economics and Finance×1
Similar researchers
By research-topic overlap
  • Yiling Lou

    Computer Science · Purdue University West Lafayette

  • Lin Tan

    Computer Science · Purdue University West Lafayette

  • James C. Davis

    Computer Science · Purdue University West Lafayette

  • Chengpeng Wang

    Computer Science · Purdue University West Lafayette

  • Yuze Jiang

    Computer Science · The Ohio State University

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 20, 2026.

Claim or correct this profile