Xiaokang Qiu
Scholar

Xiaokang Qiu

Google Scholar ID: xGHVK6sAAAAJ
Purdue University
LogicAutomated DeductionProgram VerificationProgram Synthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
420
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
47
list available
Contact
CVOpen ↗GitHubOpen ↗
Publications
2 items
ReDemon UI: Reactive Synthesis by Demonstration for Web UI
2025
Cited
0
ClassInvGen: Class Invariant Synthesis using Large Language Models
2025
Cited
0
Resume (English only)
Academic Achievements
  • - Publications:
  • - A Concurrent Approach to String Transformation Synthesis (PLDI '25)
  • - Enhanced Enumeration of Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations (POPL '24)
  • - Comparative Synthesis: Learning Near-Optimal Network Designs by Query (POPL '23)
  • - Bootstrapping Library-Based Synthesis (SAS '22)
  • - Awards:
  • - NSF SHF small award (co-PI, $593K)
  • - NSF FMitF award (PI, $750K)
  • - Projects:
  • - P4CGO (control plane guided P4 optimization) (FMANO 2024)
  • - ReDemon UI (UIST 2025 poster session)
  • - ClassInvGen (SAIV 2025)
  • - Synthphonia (PLDI 2025)
  • - Other Academic Activities:
  • - Sabbatical visit at Seoul National University for Spring 2025
  • - Sabbatical visit at MSR RiSE for Fall 2024
  • - Served on multiple international conference program committees, such as SAS 2025, ATVA 2025, PLDI 2024, etc.
Research Experience
  • - Associate Professor at the Elmore Family School of Electrical and Computer Engineering, Purdue University
  • - Postdoc at MIT CSAIL
Education
  • - Ph.D. in Computer Science: 2013, University of Illinois at Urbana-Champaign, Advisor: Madhusudan Parthasarathy
  • - Bachelor's and Master's Degrees: Nanjing University
Background
  • - Research Interests: Programming Languages and Software Engineering, including program logics, decision procedures, automated deduction, program verification, and program synthesis
  • - Professional Field: Computer Science
  • - Brief Introduction: Associate Professor at the Elmore Family School of Electrical and Computer Engineering, Purdue University. Former postdoc at MIT CSAIL.
Miscellany
  • - Personal Interests: Looking for smart, motivated, hard-working Ph.D. students and undergraduate interns
  • - Office Address: BHEE 329, Elmore Family School of Electrical and Computer Engineering, Purdue University, 465 Northwestern Avenue, West Lafayette, IN 47907-2035
  • - Contact Information: Email xkqiu@purdue.edu, Phone +1 765 494 9987
Co-authors
47 total
Armando Solar-Lezama
Armando Solar-Lezama
MIT
Madhusudan Parthasarathy
Madhusudan Parthasarathy
Professor of Computer Science, University of Illinois at Urbana-Champaign
Jeffrey S. Foster
Jeffrey S. Foster
Computer Science, Tufts University
Co-author 4
Co-author 4
Yanjun Wang
Yanjun Wang
Purdue University
Mingsong Chen
Mingsong Chen
Software Engineering Institute, East China Normal University
Linzhang Wang
Linzhang Wang
Professor of Computer Science, Nanjing University
Co-author 8
Co-author 8