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
DBLP: Si:Xujie
Contributed to:
2018
2017
2017
2019Wrote 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.