Xiaokang Qiu

According to our database, Xiaokang Qiu authored at least 34 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

Yuantian Ding, Xiaokang Qiu

Proc. ACM Program. Lang., January, 2024

QED: Scalable Verification of Hardware Memory Consistency.

Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi, T. N. Vijaykumar

CoRR, 2024

P4CGO: Control Plane Guided P4 Program Optimization.

Chenan Wen, Zhuocong Li, Syed Usman Jafri, Xiaokang Qiu, Sanjay G. Rao

Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation, 2024

2023

Comparative Synthesis: Learning Near-Optimal Network Designs by Query.

Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao

Proc. ACM Program. Lang., January, 2023

2022

Bootstrapping Library-Based Synthesis.

Kangjing Huang, Xiaokang Qiu

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives.

Yanjun Wang, Zixuan Li, Xiaokang Qiu, Sanjay G. Rao

CoRR, 2021

Reasoning about recursive tree traversals.

Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

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, Brian J. Henz, Henry Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari

IEEE Open J. Comput. Soc., 2020

Streaming Transformations of Infinite Ordered-Data Words.

Xiaokang Qiu

CoRR, 2020

Reconciling enumerative and deductive program synthesis.

Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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

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, Brian J. Henz, Hank Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen B. Marais, Prateek Mittal, Shaoshuai Mou, Xiaokang Qiu, Gesualdo Scutari

CoRR, 2019

A Decidable Logic for Tree Data-Structures with Measurements.

Xiaokang Qiu, Yanjun Wang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Learning Network Design Objectives Using A Program Synthesis Approach.

Yanjun Wang, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao

Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 2019

2018

Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis.

Kangjing Huang, Xiaokang Qiu, Qi Tian, Yanjun Wang

CoRR, 2018

2017

Natural synthesis of provably-correct data-structure manipulations.

Xiaokang Qiu, Armando Solar-Lezama

Proc. ACM Program. Lang., 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

Synthesis of Recursive ADT Transformations from Reusable Templates.

Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Synthesizing framework models for symbolic execution.

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.

Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama

CoRR, 2015

JSketch: sketching for Java.

Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Adaptive Concretization for Parallel Program Synthesis.

Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Natural proofs for data structure manipulation in C using separation logic.

Edgar Pek, Xiaokang Qiu, P. Madhusudan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Automatic techniques for proving correctness of heap-manipulating programs

Xiaokang Qiu

PhD thesis, 2013

Natural proofs for structure, data, and separation.

Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Recursive proofs for inductive tree data-structures.

Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

UML interaction model-driven runtime verification of Java programs.

Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao

IET Softw., 2011

Efficient Decision Procedures for Heaps Using STRAND.

P. Madhusudan, Xiaokang Qiu

Proceedings of the Static Analysis - 18th International Symposium, 2011

Decidable logics combining heap structures and data.

P. Madhusudan, Gennaro Parlato, Xiaokang Qiu

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2009

UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.

Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li

Comput. J., 2009

A Formal Architecture Pattern for Real-Time Distributed Systems.

Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

2008

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

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2006

Automatic Test Case Generation for UML Activity Diagrams.

Mingsong Chen, Xiaokang Qiu, Xuandong Li

Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Runtime Verification of Java Programs for Scenario-Based Specifications.

Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng

Proceedings of the Reliable Software Technologies, 2006