Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Xiaokang Qiu

Registered user since Wed 30 Jul 2014

Name:Xiaokang Qiu
Bio:

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

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

Contributions

SPLASH 2019 Program Synthesis with Algebraic Library Specifications
Program Synthesis with Algebraic Library Specifications
Show activities from other conferences

SPLASH 2019-profile
View general profile