• PLDI 2018, Program Committee
  • APLAS 2017, Program Committee
  • PLDI 2017, External Review Committee
  • SPLASH 2016 Posters, Program Committee
  • CAV 2016, Artifact Evaluation Committee
  • OOPSLA 2016, Artifact Evaluation Committee
  • CS6340: Software Analysis and Testing, Teaching Assistant
  • CS4400: Introduction to Database Systems, Teaching Assistant