Runtime Verification of Java Programs for Scenario-Based Specifications. - Xuandong Li; Linzhang Wang; Xiaokang Qiu; Bin Lei; Jiesong Yuan; Jianhua Zhao; Guoliang Zheng (Ada-Europe, 2006)

Automatic Test Case Generation for UML Activity Diagrams. - Mingsong Chen 001; Xiaokang Qiu; Xuandong Li (AST, 2006)

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 (SAC, 2008)

A Formal Architecture Pattern for Real-Time Distributed Systems. - Abdullah Al-Nayeem; Mu Sun; Xiaokang Qiu; Lui Sha; Steven P. Miller; Darren D. Cofer (RTSS, 2009)

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. - Mingsong Chen 001; Xiaokang Qiu; Wei Xu; Linzhang Wang; Jianhua Zhao; Xuandong Li (Comput. J., 2009)

Decidable logics combining heap structures and data. - P. Madhusudan; Gennaro Parlato; Xiaokang Qiu (POPL, 2011)

Efficient Decision Procedures for Heaps Using STRAND. - P. Madhusudan; Xiaokang Qiu (SAS, 2011)

UML interaction model-driven runtime verification of Java programs. - Xuandong Li; Xiaokang Qiu; Linzhang Wang; Xin Chen 027; Zhou Zhou; Liqian Yu; Jinhua Zhao (IET Softw., 2011)

Recursive proofs for inductive tree data-structures. - Parthasarathy Madhusudan; Xiaokang Qiu; Andrei Stefanescu (POPL, 2012)

Natural proofs for structure, data, and separation. - Xiaokang Qiu; Pranav Garg 001; Andrei Stefanescu; Parthasarathy Madhusudan (PLDI, 2013)

Automatic techniques for proving correctness of heap-manipulating programs - Xiaokang Qiu (2013)

Natural proofs for data structure manipulation in C using separation logic. - Edgar Pek; Xiaokang Qiu; P. Madhusudan (PLDI, 2014)

Adaptive Concretization for Parallel Program Synthesis. - Jinseong Jeon; Xiaokang Qiu; Armando Solar-Lezama; Jeffrey S. Foster (CAV (2), 2015)

JSketch: sketching for Java. - Jinseong Jeon; Xiaokang Qiu; Jeffrey S. Foster; Armando Solar-Lezama (ESEC/SIGSOFT FSE, 2015)

Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. - Jeevana Priya Inala; Xiaokang Qiu; Benjamin S. Lerner; Armando Solar-Lezama (CoRR, 2015)

Synthesizing framework models for symbolic execution. - Jinseong Jeon; Xiaokang Qiu; Jonathan Fetter-Degges; Jeffrey S. Foster; Armando Solar-Lezama (ICSE, 2016)

Synthesis of Recursive ADT Transformations from Reusable Templates. - Jeevana Priya Inala; Nadia Polikarpova; Xiaokang Qiu; Benjamin S. Lerner; Armando Solar-Lezama (TACAS (1), 2017)

An empirical study of adaptive concretization for parallel program synthesis. - Jinseong Jeon; Xiaokang Qiu; Armando Solar-Lezama; Jeffrey S. Foster (Formal Methods Syst. Des., 2017)

Natural synthesis of provably-correct data-structure manipulations. - Xiaokang Qiu; Armando Solar-Lezama (Proc. ACM Program. Lang., 2017)

Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis. - Kangjing Huang; Xiaokang Qiu; Qi Tian; Yanjun Wang (CoRR, 2018)

Learning Network Design Objectives Using A Program Synthesis Approach. - Yanjun Wang; Chuan Jiang; Xiaokang Qiu; Sanjay G. Rao (HotNets, 2019)

A Decidable Logic for Tree Data-Structures with Measurements. - Xiaokang Qiu; Yanjun Wang (VMCAI, 2019)

Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures. - Saurabh Bagchi; Vaneet Aggarwal; Somali Chaterji; Fred Douglis; Aly El Gamal; Jiawei Han 001; Brian J. Henz; Hank Hoffmann; Suman Jana; Milind Kulkarni 001; Felix Xiaozhu Lin; Karen B. Marais; et al. (CoRR, 2019)

Program synthesis with algebraic library specifications. - Benjamin Mariano; Josh Reese; Siyuan Xu; ThanhVu Nguyen; Xiaokang Qiu; Jeffrey S. Foster; Armando Solar-Lezama (Proc. ACM Program. Lang., 2019)

Reconciling enumerative and deductive program synthesis. - Kangjing Huang; Xiaokang Qiu; Peiyuan Shen; Yanjun Wang (PLDI, 2020)

Streaming Transformations of Infinite Ordered-Data Words. - Xiaokang Qiu (CoRR, 2020)

Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures. - Saurabh Bagchi; Vaneet Aggarwal; Somali Chaterji; Fred Douglis; Aly El Gamal; Jiawei Han 001; Brian J. Henz; Henry Hoffmann; Suman Jana; Milind Kulkarni 001; Felix Xiaozhu Lin; Karen B. Marais; et al. (IEEE Open J. Comput. Soc., 2020)

Reasoning about recursive tree traversals. - Yanjun Wang; Jinwei Liu; Dalin Zhang 003; Xiaokang Qiu (PPoPP, 2021)

Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives. - Yanjun Wang; Zixuan Li; Xiaokang Qiu; Sanjay G. Rao (CoRR, 2021)

Bootstrapping Library-Based Synthesis. - Kangjing Huang; Xiaokang Qiu (SAS, 2022)

Comparative Synthesis: Learning Near-Optimal Network Designs by Query. - Yanjun Wang; Zixuan Li; Chuan Jiang; Xiaokang Qiu; Sanjay G. Rao (Proc. ACM Program. Lang., 2023)

P4CGO: Control Plane Guided P4 Program Optimization. - Chenan Wen; Zhuocong Li; Syed Usman Jafri; Xiaokang Qiu; Sanjay G. Rao (FMANO@SIGCOMM, 2024)

QED: Scalable Verification of Hardware Memory Consistency. - Gokulan Ravi; Xiaokang Qiu; Mithuna Thottethodi; T. N. Vijaykumar (CoRR, 2024)

Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. - Yuantian Ding; Xiaokang Qiu (Proc. ACM Program. Lang., 2024)

A Concurrent Approach to String Transformation Synthesis. - Yuantian Ding; Xiaokang Qiu (Proc. ACM Program. Lang., 2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models. - Chuyue Sun; Viraj Agashe; Saikat Chakraborty; Jubi Taneja; Clark W. Barrett; David L. Dill; Xiaokang Qiu; Shuvendu K. Lahiri (CoRR, 2025)

ReDemon UI: Reactive Synthesis by Demonstration for Web UI. - Jay Lee; Gyuhyeok Oh; Joongwon Ahn; Xiaokang Qiu (CoRR, 2025)