-
Outstanding Graduate Research Award, College of Computing, Georgia Tech, 2017.
-
Facebook Fellowship, 2015-2016.
-
Distinguished Paper Award for "A User-Guided Approach to Program Analysis" at FSE'15.
-
Distinguished Paper Award for "On Abstraction Refinement for Program Analyses in Datalog" at PLDI'14.
-
Qualcomm Innovation Fellowship finalist, 2014.