| 2026 | CAV | How Many Quantum Circuit Identities Are Needed to Generate All Others? | Yuantian Ding, Nengkun Yu, Xiaokang Qiu |
| 2026 | ISCA | QED: Scalable Consistency Verification of Memory Instruction Reordering in Hardware. | Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi, T. N. Vijaykumar |
| 2026 | SIGCOMM | Elastispec: Formalizing Enterprise Firewall Management with Informal and Elastic Specifications. | Chenan Wen, Yizhan Qing, Curt P. Jansen, Xiaokang Qiu, Sanjay G. Rao |
| 2025 | UIST | ReDemon UI: Reactive Synthesis by Demonstration for Web UI. | Jay Lee, Gyuhyeok Oh, Joongwon Ahn, Xiaokang Qiu |
| 2022 | SAS | Bootstrapping Library-Based Synthesis. | Kangjing Huang, Xiaokang Qiu |
| 2021 | PPoPP | Reasoning about recursive tree traversals. | Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu |
| 2020 | PLDI | Reconciling enumerative and deductive program synthesis. | Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang |
| 2019 | HOTNETS | Learning Network Design Objectives Using A Program Synthesis Approach. | Yanjun Wang, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao |
| 2019 | VMCAI | A Decidable Logic for Tree Data-Structures with Measurements. | Xiaokang Qiu, Yanjun Wang |
| 2017 | TACAS | Synthesis of Recursive ADT Transformations from Reusable Templates. | Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama |
| 2016 | ICSE | Synthesizing framework models for symbolic execution. | Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama |
| 2015 | CAV | Adaptive Concretization for Parallel Program Synthesis. | Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster |
| 2014 | PLDI | Natural proofs for data structure manipulation in C using separation logic. | Edgar Pek, Xiaokang Qiu, P. Madhusudan |
| 2013 | PLDI | Natural proofs for structure, data, and separation. | Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan |
| 2012 | POPL | Recursive proofs for inductive tree data-structures. | Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu |
| 2011 | POPL | Decidable logics combining heap structures and data. | P. Madhusudan, Gennaro Parlato, Xiaokang Qiu |
| 2011 | SAS | Efficient Decision Procedures for Heaps Using STRAND. | P. Madhusudan, Xiaokang Qiu |
| 2009 | RTSS | A Formal Architecture Pattern for Real-Time Distributed Systems. | Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer |
| 2008 | SAC | UML state machine diagram driven runtime verification of Java programs for message interaction consistency. | Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong |
| 2006 | ICSE | Automatic Test Case Generation for UML Activity Diagrams. | Mingsong Chen, Xiaokang Qiu, Xuandong Li |