Filter by type:
. Synthesizing Datalog programs using numerical relaxation. In IJCAI, 2019.


. Continuously Reasoning about Programs via Differential Bayesian Inference. In PLDI (Distinguished Paper Award), 2019.

PDF Code

. Learning a Meta-Solver for Syntax-Guided Program Synthesis. In ICLR, 2019.

PDF Code

. Learning Loop Invariants for Program Verification. In NeurIPS (spotlight), 2018.

PDF Code Dataset Poster Video

. Syntax-Guided Synthesis of Datalog Programs. In FSE, 2018.

PDF Code Dataset Slides

. Difflog: Beyond Deductive Methods in Program Analysis. In Machine Learning for Programming, 2018.


. Effective Interactive Resolution of Static Analysis Alarms. In OOPSLA, 2017.


. On Incremental Core-Guided MaxSAT Solving. In CP, 2016.

PDF Slides

. APISan: Sanitizing API Usages through Semantic Cross-checking. In USENIX Security (Nominated as a finalist in CSAW Best Applied Research Paper), 2016.

PDF Code Slides