More Publications

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



Syntax-Guided Synthesis of Datalog Programs


Sanitizing API Usages through Semantic Cross-Checking


Large-Scale Software Analysis and Analytics Using Datalog


A Solver for Mixed Hard and Soft Constraints


Teaching Assistant, CIS 700 Software Analysis and Testing, University of Pennsylvania, 2017 Fall

Teaching Assistant, CS 6340 Software Analysis and Testing (online course), Georgia Institute of Technology, 2016 Spring

Teaching Assistant, CS 7001 Introduction to Graduate Studies, Georgia Institute of Technology, 2015 Fall

Teaching Assistant, CS 285 Computer Networks, Vanderbilt University, 2012 Spring

Teaching Assistant, CS 212 Discrete Structures, Vanderbilt University, 2011 Fall

Recent & Upcoming Talks

NIPS spotlight
Dec 6, 2018 4:10 PM
FSE paper presentation
Nov 8, 2018 11:30 AM
PRiML Spotlight
Sep 28, 2018 3:00 PM


PLDI’18 Student Volunteer Chair, Philadelphia, PA, June 18-22, 2018

POPL’16 Student Volunteer, St. Petersburg, FL, Jan. 20-23, 2016

Selected Awards

ESEC/FSE Travel Fund Award from the US National Science Foundation, 2018

World Finalist of the ACM/ICPC, Ekaterinburg, 2014

Champion of the 38th ACM/ICPC Mid-Central USA Regional, Nashville, 2013

National Scholarship (top 1), Nankai University, 2010

Tianjin Government Scholarship (top 4), Nankai University, 2009