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.

Affiliation: Purdue University, USA

Personal website: https://engineering.purdue.edu/~xqiu/

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

Contributions

APLAS 2021 Committee Member in Program Committee
PPoPP 2021 Author of Reasoning About Recursive Tree Traversals within the Main Conference-track
PLDI 2020 Author of Reconciling Enumerative and Deductive Program Synthesis within the PLDI Research Papers-track
SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track
Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track
VMCAI 2019 Author of A Decidable Logic for Tree Data-Structures with Measurements within the VMCAI 2019-track
Session Chair of Model Checking (part of VMCAI 2019)
PLDI 2019 Committee Member in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
PLDI 2018 Committee Member in External Review Committee
SPLASH 2017 Author of Natural Synthesis of Provably-Correct Data-Structure Manipulations within the OOPSLA-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track