-
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
-
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
-
Yifan Chen, PhD student, Peking University. Learning Equivalence Class Abstraction for Accelerating Datalog Analysis.
-
James Koppel and Zenna Tavares, PhD students, MIT. A Language for Counterfactual Generative Models.
The Random Conditional Distribution for Higher-Order Probabilistic Inference.
-
Sulekha Kulkarni, PhD student, University of Pennsylvania. Accelerating Program Analyses by Cross-Program Training.
-
Xujie Si, PhD student, . On Incremental Core-Guided MaxSAT Solving.
-
Aditya Kamath, MS student, . Scaling Relational Inference Using Proofs and Refutations.