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

Collaborated with:
R.Singh I.Dillig S.Gulwani G.Anderson K.L.McMillan
Talks about:
synthesi (3) use (3) abstract (2) program (2) data (2) spreadsheet (1) automata (1) complet (1) script (1) filter (1)

Person: Xinyu Wang 0006

DBLP DBLP: 0006:Xinyu_Wang

Contributed to:

CAV (1) 20182018
OOPSLA 20162016
OOPSLA 20172017
POPL 20182018

Wrote 4 papers:

CAV-2018-WangADM #abstraction #learning #synthesis
Learning Abstractions for Program Synthesis (XW0, GA, ID, KLM), pp. 407–426.
OOPSLA-2016-WangGS #named #spreadsheet #using
FIDEX: filtering spreadsheet data using examples (XW0, SG, RS), pp. 195–213.
OOPSLA-2017-WangDS #automaton #finite #synthesis #using
Synthesis of data completion scripts using finite tree automata (XW0, ID, RS), p. 26.
POPL-2018-WangDS #abstraction #refinement #synthesis #using
Program synthesis using abstraction refinement (XW0, ID, RS), p. 30.

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.