Collaborated with:J.DiLorenzo Erin Menzies K.Fisher N.Foster X.Si W.Lee A.Albarghouthi P.Koutris M.Naik
Talks about:increment (1) synthesi (1) filestor (1) program (1) datalog (1) syntax (1) forest (1) effici (1) manag (1) guid (1)
Person: Richard Zhang
DBLP: Zhang:Richard
Contributed to:
2018
2016Wrote 2 papers:
- ESEC-FSE-2018-SiLZAKN #datalog #source code #synthesis
- Syntax-guided synthesis of Datalog programs (XS, WL, RZ, AA, PK, MN), pp. 515–527.
- OOPSLA-2016-DiLorenzoZMFF #domain-specific language #incremental
- Incremental forest: a DSL for efficiently managing filestores (JD, RZ, EM, KF, NF), pp. 252–271.