Professional

  • PLDI 2022, Program Committee
  • APLAS 2021, Program Committee
  • PLDI 2021, Program Committee
  • IJCAI 2021, Program Committee
  • NeurIPS 2020, Reviewer
  • PLDI 2020, External Review Committee
  • SAS 2019, Program Committee
  • SATE 2018, Program Committee
  • APLAS 2018, Program Committee
  • PLDI 2018, Program Committee
  • TOSEM 2017, Reviewer
  • APLAS 2017, Program Committee
  • PLDI 2017, External Review Committee
  • SPLASH 2016 Posters, Program Committee
  • CAV 2016, Artifact Evaluation Committee
  • OOPSLA 2016, Artifact Evaluation Committee

Teaching

  • Kaufman Teaching Certificate Program, Trainee (Passed), MIT
  • 6.820: Foundations of Program Analysis, Guest Lecturer, MIT
  • CS6340: Software Analysis and Testing, Teaching Assistant, Georgia Tech
  • CS4400: Introduction to Database Systems, Teaching Assistant, Georgia Tech