Xiaokang Qiu

41 papers A* 6A 1B 4Misc 3Journal 19Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Concurrent Approach to String Transformation Synthesis.
Proc. ACM Program. Lang.
Yuantian Ding, Xiaokang Qiu
2025 — conf
ClassInvGen: Class Invariant Synthesis Using Large Language Models.
SAIV
Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri
2025 J jnl
ClassInvGen: Class Invariant Synthesis using Large Language Models.
CoRR
Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark W. Barrett, David L. Dill, Xiaokang Qiu, Shuvendu K. Lahiri
2025 — conf
ReDemon UI: Reactive Synthesis by Demonstration for Web UI.
UIST Adjunct
Jay Lee, Gyuhyeok Oh, Joongwon Ahn, Xiaokang Qiu
2025 J jnl
ReDemon UI: Reactive Synthesis by Demonstration for Web UI.
CoRR
Jay Lee, Gyuhyeok Oh, Joongwon Ahn, Xiaokang Qiu
2024 J jnl
Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations.
Proc. ACM Program. Lang.
Yuantian Ding, Xiaokang Qiu
2024 — conf
P4CGO: Control Plane Guided P4 Program Optimization.
FMANO@SIGCOMM
Chenan Wen, Zhuocong Li, Syed Usman Jafri, Xiaokang Qiu, Sanjay G. Rao
2024 J jnl
QED: Scalable Verification of Hardware Memory Consistency.
CoRR
Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi, T. N. Vijaykumar
2023 J jnl
Comparative Synthesis: Learning Near-Optimal Network Designs by Query.
Proc. ACM Program. Lang.
Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao
2022 B conf
Bootstrapping Library-Based Synthesis.
SAS
Kangjing Huang, Xiaokang Qiu
2021 J jnl
Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives.
CoRR
Yanjun Wang, Zixuan Li, Xiaokang Qiu, Sanjay G. Rao
2021 B conf
Reasoning about recursive tree traversals.
PPoPP
Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu
2020 A* conf
Reconciling enumerative and deductive program synthesis.
PLDI
Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang
2020 J jnl
Streaming Transformations of Infinite Ordered-Data Words.
CoRR
Xiaokang Qiu
2020 J jnl
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures.
IEEE Open J. Comput. Soc.
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
2019 B conf
A Decidable Logic for Tree Data-Structures with Measurements.
VMCAI
Xiaokang Qiu, Yanjun Wang
2019 J jnl
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures.
CoRR
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
2019 Misc conf
Learning Network Design Objectives Using A Program Synthesis Approach.
HotNets
Yanjun Wang, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao
2019 J jnl
Program synthesis with algebraic library specifications.
Proc. ACM Program. Lang.
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
2019 J jnl
Reasoning About Recursive Tree Traversals.
CoRR
Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu
2018 J jnl
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis.
CoRR
Kangjing Huang, Xiaokang Qiu, Qi Tian, Yanjun Wang
2017 J jnl
An empirical study of adaptive concretization for parallel program synthesis.
Formal Methods Syst. Des.
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
2017 J jnl
Natural synthesis of provably-correct data-structure manipulations.
Proc. ACM Program. Lang.
Xiaokang Qiu, Armando Solar-Lezama
2017 — conf
Synthesis of Recursive ADT Transformations from Reusable Templates.
TACAS (1)
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
2016 A* conf
Synthesizing framework models for symbolic execution.
ICSE
Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
2015 — conf
Adaptive Concretization for Parallel Program Synthesis.
CAV (2)
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
2015 J jnl
JSKETCH: Sketching for Java.
CoRR
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
2015 — conf
JSketch: sketching for Java.
ESEC/SIGSOFT FSE
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
2015 J jnl
Type Assisted Synthesis of Recursive Transformers on Algebraic Data Types.
CoRR
Jeevana Priya Inala, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
2014 A* conf
Natural proofs for data structure manipulation in C using separation logic.
PLDI
Edgar Pek, Xiaokang Qiu, P. Madhusudan
2013 — —
Automatic techniques for proving correctness of heap-manipulating programs
Xiaokang Qiu
2013 A* conf
Natural proofs for structure, data, and separation.
PLDI
Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan
2012 A* conf
Recursive proofs for inductive tree data-structures.
POPL
Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu
2011 A* conf
Decidable logics combining heap structures and data.
POPL
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
2011 B conf
Efficient Decision Procedures for Heaps Using STRAND.
SAS
P. Madhusudan, Xiaokang Qiu
2011 J jnl
UML interaction model-driven runtime verification of Java programs.
IET Softw.
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao
2009 A conf
A Formal Architecture Pattern for Real-Time Distributed Systems.
RTSS
Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
2009 J jnl
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.
Comput. J.
Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
2008 Misc conf
UML state machine diagram driven runtime verification of Java programs for message interaction consistency.
SAC
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong
2006 — conf
Automatic Test Case Generation for UML Activity Diagrams.
AST@ICSE
Mingsong Chen, Xiaokang Qiu, Xuandong Li
2006 Misc conf
Runtime Verification of Java Programs for Scenario-Based Specifications.
Ada-Europe
Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng