Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Xiaokang Qiu

Registered user since Wed 30 Jul 2014

Name:Xiaokang Qiu

I am an assistant professor with the School of Electrical and Computer Engineering at Purdue University.

Affiliation:Purdue University, USA
Research interests:Programming Languages and Software Engineering, specifically, program verification, program synthesis, and automated deduction.


SPLASH 2021 Reconciling Enumerative and Deductive Program Synthesis
APLAS 2021 Committee Member in Program Committee within the Research Papers-track
Session Chair of Verification / Theory (part of Research Papers)
Show activities from other conferences

SPLASH 2021-profile
View general profile