ProfessorsProfessors of Purdue UniversityXiaokang Qiu

Xiaokang Qiu

Purdue University

H-index: 15

North America-United States

About Xiaokang Qiu

Xiaokang Qiu, With an exceptional h-index of 15 and a recent h-index of 13 (since 2020), a distinguished researcher at Purdue University, specializes in the field of Logic, Automated Deduction, Program Verification, Program Synthesis.

His recent articles reflect a diverse array of research interests and contributions to the field:

QED: Scalable Verification of Hardware Memory Consistency

Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations

Comparative Synthesis: Learning Near-Optimal Network Designs by Query

Bootstrapping Library-Based Synthesis

Reasoning about recursive tree traversals

Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures

Reconciling enumerative and deductive program synthesis

Streaming Transformations of Infinite Ordered-Data Words

Xiaokang Qiu Information

University	Purdue University
Position	___
Citations(all)	1094
Citations(since 2020)	364
Cited By	886
hIndex(all)	15
hIndex(since 2020)	13
i10Index(all)	18
i10Index(since 2020)	14
Email	Access Email
University Profile Page	Purdue University
Google Scholar	View Google Scholar Profile

Xiaokang Qiu Skills & Research Interests

Logic

Automated Deduction

Program Verification

Program Synthesis

Top articles of Xiaokang Qiu

Title	Journal	Author(s)	Publication Date
QED: Scalable Verification of Hardware Memory Consistency	arXiv preprint arXiv:2404.03113	Gokulan Ravi Xiaokang Qiu Mithuna Thottethodi TN Vijaykumar	2024/4/3
Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations	Proceedings of the ACM on Programming Languages	Yuantian Ding Xiaokang Qiu	2024/1/5
Comparative Synthesis: Learning Near-Optimal Network Designs by Query	Proceedings of the ACM on Programming Languages	Yanjun Wang Zixuan Li Chuan Jiang Xiaokang Qiu Sanjay G Rao	2023/1/11
Bootstrapping Library-Based Synthesis		Kangjing Huang Xiaokang Qiu	2022/12/2
Reasoning about recursive tree traversals		Yanjun Wang Jinwei Liu Dalin Zhang Xiaokang Qiu	2021/2/17
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures	IEEE Open Journal of the Computer Society	Saurabh Bagchi Vaneet Aggarwal Somali Chaterji Fred Douglis Aly El Gamal ...	2020/7/3
Reconciling enumerative and deductive program synthesis		Kangjing Huang Xiaokang Qiu Peiyuan Shen Yanjun Wang	2020/6/15
Streaming Transformations of Infinite Ordered-Data Words	arXiv preprint arXiv:2001.06952	Xiaokang Qiu	2020/1/20