BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Portugal
1 × United Kingdom
2 × Italy
4 × USA
Collaborated with:
P.Madhusudan A.Solar-Lezama J.S.Foster A.Stefanescu P.Madhusudan J.Jeon X.Li L.Wang B.Lei E.Pek G.Parlato P.Garg W.E.Wong J.Yuan J.Zhao G.Zheng Benjamin Mariano J.Reese Siyuan Xu T.Nguyen
Talks about:
structur (5) data (5) program (4) synthesi (3) proof (3) natur (3) java (3) manipul (2) specif (2) sketch (2)

Person: Xiaokang Qiu

DBLP DBLP: Qiu:Xiaokang

Contributed to:

CAV 20152015
ESEC/FSE 20152015
PLDI 20142014
PLDI 20132013
POPL 20122012
POPL 20112011
SAS 20112011
SAC 20082008
Ada-Europe 20062006
OOPSLA 20172017
OOPSLA 20192019

Wrote 11 papers:

CAV-2015-JeonQSF #adaptation #parallel #synthesis
Adaptive Concretization for Parallel Program Synthesis (JJ, XQ, ASL, JSF), pp. 377–394.
ESEC-FSE-2015-JeonQFS #java #named #sketching
JSketch: sketching for Java (JJ, XQ, JSF, ASL), pp. 934–937.
PLDI-2014-PekQM #c #data type #logic #proving #using
Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.
PLDI-2013-Qiu0SM #proving
Natural proofs for structure, data, and separation (XQ, PG, AS, PM), pp. 231–242.
POPL-2012-MadhusudanQS #induction #proving #recursion
Recursive proofs for inductive tree data-structures (PM, XQ, AS), pp. 123–136.
POPL-2011-MadhusudanPQ #decidability #logic
Decidable logics combining heap structures and data (PM, GP, XQ), pp. 611–622.
SAS-2011-MadhusudanQ #performance #using
Efficient Decision Procedures for Heaps Using STRAND (PM, XQ), pp. 43–59.
SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification
UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
AdaEurope-2006-LiWQLYZZ #java #runtime #source code #specification #verification
Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
OOPSLA-2017-QiuS #synthesis
Natural synthesis of provably-correct data-structure manipulations (XQ, ASL), p. 28.
OOPSLA-2019-MarianoRXNQFS #algebra #library #specification #synthesis
Program synthesis with algebraic library specifications (BM, JR, SX, TN, XQ, JSF, ASL), p. 25.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.