Xiaokang Qiu

Identifiers

• name variant Xiaokang Qiu 0.60 · backfill

Papers (4)

1. ClassInvGen: Class Invariant Synthesis using Large Language Models cs.AI · 2025 · author #7
2. Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis cs.PL · 2018 · author #2
3. Synthesis of Recursive ADT Transformations from Reusable Templates cs.PL · 2015 · author #3
4. JSKETCH: Sketching for Java cs.PL · 2015 · author #2

Mentions

• 1507.05527 #3 · backfill · confidence 0.70 Xiaokang Qiu
• 1507.03577 #2 · backfill · confidence 0.70 Xiaokang Qiu

Frequent Coauthors

• Armando Solar-Lezama 2 shared papers
• Benjamin S. Lerner 1 shared papers
• Chuyue Sun 1 shared papers
• Clark Barrett 1 shared papers
• David Dill 1 shared papers
• Jeevana Priya Inala 1 shared papers
• Jeffrey S. Foster 1 shared papers
• Jinseong Jeon 1 shared papers
• Jubi Taneja 1 shared papers
• Kangjing Huang 1 shared papers
• Nadia Polikarpova 1 shared papers
• Qi Tian 1 shared papers
• Saikat Chakraborty 1 shared papers
• Shuvendu K. Lahiri 1 shared papers
• Viraj Agashe 1 shared papers
• Yanjun Wang 1 shared papers