I look for smart, motivated, hard-working Ph.D. students and undergraduate interns. Please apply to Purdue's top-ten Computer Engineering Programs. If you are interested in working with me, I will be more than happy to talk with you!
If you need to contact me, the easiest way to do that is by email to "xkqiu" at the domain "purdue.edu". You can also visit me at my office:
-
Enhanced Enumeration of Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations
Yuantian Ding, Xiaokang Qiu
In Proc. 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '24), 2024. (Acc rate: 29%)
-
Comparative Synthesis: Learning Near-Optimal Network Designs by Query
Yanjun Wang, Zixuan Li, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao
In Proc. 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL '23), 2023. (Acc rate: 26%)
-
Bootstrapping Library-Based Synthesis
Kangjing Huang, Xiaokang Qiu
In Proc. 29th International Static Analysis Symposium (SAS '22), LNCS 13790, 2022. (Acc rate: 37%)
-
Reasoning About Recursive Tree Traversals
Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu
In Proc. 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '21), 2021. (Acc rate: 21%)
-
Reconciling Enumerative and Deductive Program Synthesis
Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang
In Proc. 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '20), 2020. (Acc rate: 22%)
-
Learning Network Design Objectives Using A Program Synthesis Approach
Yanjun Wang, Chuan Jiang, Xiaokang Qiu, Sanjay G. Rao
In Proc. 18th ACM Workshop on Hot Topics in Networks (HotNets '19), 2019. (Acc rate: 20%)
-
Program Synthesis with Algebraic Library Specifications
Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
In Proc. 2019 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '19), 2019. (Acc rate: 35%)
-
Natural Synthesis of Provably-Correct Data-Structure Manipulations
Xiaokang Qiu, Armando Solar-Lezama
In Proc. 2017 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '17), 2017. (Acc rate: 29%)
-
Synthesis of Recursive ADT Transformers from Reusable Templates
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Benjamin S. Lerner, Armando Solar-Lezama
In Proc. 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '17), LNCS 10205, 2017. (Acc rate: 27%)
-
Synthesizing Framework Models for Symbolic Execution
Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
In Proc. 38th International Conference on Software Engineering (ICSE '16), 2016. (Acc rate: 19%)
-
JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, Armando Solar-Lezama
In Proc. 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '15 Tool demonstrations), 2015. (Acc rate: 43%)
-
Adaptive Concretization for Parallel Program Synthesis
Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster
In Proc. 27th International Conference on Computer Aided Verification (CAV '15), LNCS 9207, 2015. (Acc rate: 27%)
-
Natural Proofs for Data-Structure Manipulation in C using Separation Logic
Edgar Pek, Xiaokang Qiu, P. Madhusudan
In Proc. 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '14), 2014. (Acc rate: 18%)
-
Natural Proofs for Structure, Data, and Separation
Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, P. Madhusudan
In Proc. 34th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '13), 2013. (Acc rate: 17%)
-
Recursive Proofs for Inductive Tree Data-Structures
P. Madhusudan, Xiaokang Qiu, Andrei Stefanescu
In Proc. 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '12), 2012. (Acc rate for PC submissions: 18%)
-
Efficient Decision Procedures for Heaps Using STRAND
P. Madhusudan, Xiaokang Qiu
In Proc. 18th International Static Analysis Symposium (SAS '11), LNCS 6887, 2011. (Acc rate: 33%)
-
Decidable Logics Combining Heap Structures and Data
P. Madhusudan, Gennaro Parlato, Xiaokang Qiu
In Proc. 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11), 2011. (Acc rate: 23%)
-
A Formal Architecture Pattern for Real-Time Distributed Systems
Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
In Proc. 30th IEEE Real-Time System Symposium (RTSS '09), 2009. (Acc rate: 21%)
-
UML Activity Diagram-Based Automatic Test Case Generation for Java Programs
Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
The Computer Journal, 52(5):545-556, 2009.
-
Automatic Test Case Generation for UML Activity Diagrams
Mingsong Chen, Xiaokang Qiu, Xuandong Li
In Proc. 1st International Workshop on Automation of Software Test (AST '06), 2006.