BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
L.D'Antoni R.Pan Gaowei Xu J.Breck J.Cyphert T.W.Reps
Talks about:
synthesi (2) automat (2) syntax (2) guid (2) unrealiz (1) transduc (1) syntact (1) regular (1) quantit (1) program (1)

Person: Qinheping Hu

DBLP DBLP: Hu:Qinheping

Contributed to:

CAV (1) 20182018
CAV (1) 20192019
OOPSLA 20192019
PLDI 20172017

Wrote 4 papers:

CAV-2018-HuD #synthesis
Syntax-Guided Synthesis with Quantitative Syntactic Objectives (QH, LD), pp. 386–403.
CAV-2019-HuBCDR #proving #synthesis
Proving Unrealizability for Syntax-Guided Synthesis (QH, JB, JC, LD, TWR), pp. 335–352.
OOPSLA-2019-PanHXD #automation #regular expression
Automatic repair of regular expressions (RP, QH, GX, LD), p. 29.
PLDI-2017-HuD #automation #transducer #using
Automatic program inversion using symbolic transducers (QH, LD), pp. 376–389.

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.