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

Collaborated with:
M.Naik X.Zhang R.Grigore K.Heo M.Raghothaman W.Lee R.Zhang A.Albarghouthi P.Koutris
Talks about:
program (2) analysi (2) differenti (1) techniqu (1) synthesi (1) interact (1) bayesian (1) softwar (1) satisfi (1) resolut (1)

Person: Xujie Si


Contributed to:

ESEC/FSE 20182018
CAV (1) 20172017
OOPSLA 20172017
PLDI 20192019

Wrote 4 papers:

ESEC-FSE-2018-SiLZAKN #datalog #source code #synthesis
Syntax-guided synthesis of Datalog programs (XS, WL, RZ, AA, PK, MN), pp. 515–527.
CAV-2017-SiZGN #analysis #satisfiability
Maximum Satisfiability in Software Analysis: Applications and Techniques (XS, XZ, RG, MN), pp. 68–94.
OOPSLA-2017-ZhangGSN #effectiveness #interactive #static analysis
Effective interactive resolution of static analysis alarms (XZ, RG, XS, MN), p. 30.
PLDI-2019-HeoRSN #difference #reasoning #source code #using
Continuously reasoning about programs using differential Bayesian inference (KH, MR, XS, MN), pp. 561–575.

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.