LabCompass

Xiaokang Qiu

Computer Science · Purdue University West Lafayette

OpenAlex ORCID
Mid career · publishing since 2006
Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Engineering ResearchParallel Computing and Optimization Techniques

Publications

73

Citations

1,058

Est. group size

~1

Recurring co-author estimate

Active years

21

Publishing since 2006

Research summary
AI-generated

Xiaokang Qiu works in programming languages and formal methods, focusing on program synthesis—techniques for automatically generating correct code or configurations from specifications or examples. Recent projects include synthesizing string transformations, web UI interactions, class invariants using large language models, network designs, and hardware verification methods. The work generally combines theoretical algorithm design with practical tools and reproducible experimental artifacts.

Program synthesisFormal verification and program correctnessSoftware testing and debugging toolsLarge language models for code generationNetwork and hardware system optimization

Publication output has been relatively steady at around 4-6 papers per year over the last decade, with a slight dip around 2021-2022 followed by a rebound in 2025-2026.

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

Publication cadence
Publications per year over the last 10 years — averaging 4.0/year recently
2017: 7 publications7172018: 5 publications182019: 5 publications192020: 5 publications202021: 4 publications212022: 2 publications222023: 4 publications232024: 3 publications242025: 5 publications252026: 6 publications26
Recent publications
Publishes in
  • arXiv (Cornell University)×9
  • Zenodo (CERN European Organization for Nuclear Research)×9
  • Proceedings of the ACM on Programming Languages×5
  • Lecture notes in computer science×4
  • Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE×3
Similar researchers
By research-topic overlap

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