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
Research interests:Programming Languages and Software Engineering, specifically, program verification, program synthesis, and automated deduction.

Contributions

APLAS 2021 Committee Member in Program Committee within the Research Papers-track
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