Xiaokang Qiu

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 20

Top Topics

Program Synthesis

Grand Challenge

Abductive Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Chenan Wen, Zhuocong Li, Syed Usman Jafri, Xiaokang Qiu, Sanjay G. Rao
P4CGO: Control Plane Guided P4 Program Optimization. FMANO@SIGCOMM (2024)
Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi, T. N. Vijaykumar
QED: Scalable Verification of Hardware Memory Consistency. CoRR (2024)
Yuantian Ding, Xiaokang Qiu
Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations. Proc. ACM Program. Lang. 8 (POPL) (2024)
Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao
Comparative Synthesis: Learning Near-Optimal Network Designs by Query. Proc. ACM Program. Lang. 7 (POPL) (2023)
Kangjing Huang, Xiaokang Qiu
Bootstrapping Library-Based Synthesis. SAS (2022)
Yanjun Wang, Zixuan Li, Xiaokang Qiu, Sanjay G. Rao
Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives. CoRR (2021)
Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu
Reasoning about recursive tree traversals. PPoPP (2021)
Xiaokang Qiu
Streaming Transformations of Infinite Ordered-Data Words. CoRR (2020)
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Henry Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures. IEEE Open J. Comput. Soc. 1 (2020)
Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang
Reconciling enumerative and deductive program synthesis. PLDI (2020)
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Hank Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures. CoRR (2019)
Xiaokang Qiu, Yanjun Wang
A Decidable Logic for Tree Data-Structures with Measurements. VMCAI (2019)
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
Program synthesis with algebraic library specifications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Yanjun Wang, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao
Learning Network Design Objectives Using A Program Synthesis Approach. HotNets (2019)
Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu
Reasoning About Recursive Tree Traversals. CoRR (2019)
Kangjing Huang, Xiaokang Qiu, Qi Tian, Yanjun Wang
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis. CoRR (2018)
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
Synthesis of Recursive ADT Transformations from Reusable Templates. TACAS (1) (2017)
Xiaokang Qiu, Armando Solar-Lezama
Natural synthesis of provably-correct data-structure manipulations. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
An empirical study of adaptive concretization for parallel program synthesis. Formal Methods Syst. Des. 50 (1) (2017)
Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
Synthesizing framework models for symbolic execution. ICSE (2016)
Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types. CoRR (2015)
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
Adaptive Concretization for Parallel Program Synthesis. CAV (2) (2015)
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
JSKETCH: Sketching for Java. CoRR (2015)
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
JSketch: sketching for Java. ESEC/SIGSOFT FSE (2015)
Edgar Pek, Xiaokang Qiu, P. Madhusudan
Natural proofs for data structure manipulation in C using separation logic. PLDI (2014)
Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan
Natural proofs for structure, data, and separation. PLDI (2013)
Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu
Recursive proofs for inductive tree data-structures. POPL (2012)
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
Decidable logics combining heap structures and data. POPL (2011)
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao
UML interaction model-driven runtime verification of Java programs. IET Softw. 5 (2) (2011)
P. Madhusudan, Xiaokang Qiu
Efficient Decision Procedures for Heaps Using STRAND. SAS (2011)
Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. 52 (5) (2009)
Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS (2009)
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong
UML state machine diagram driven runtime verification of Java programs for message interaction consistency. SAC (2008)
Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe (2006)
Mingsong Chen, Xiaokang Qiu, Xuandong Li
Automatic Test Case Generation for UML Activity Diagrams. AST (2006)