• 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.