Service

• PLDI 2024: Program Committee member.
• POPL 2023: Program Committee member.
• PLDI 2022: Program Committee member.
• SC 2021: Program Committee member.
• TOPLAS 2021: Reviewer.
• SPLASH 2021: Student Research Competition Judge.
• ICPP 2020: Program Committee member.
• SPLASH 2020: PLMW Co-Chair.
• SC 2019: Program Committee member.
• TSE 2019: Reviewer.
• PPoPP 2019: Program Committee member.
• OOPSLA 2019: External Review Committee member.
• OOPSLA 2018: Program Committee member.
• PPoPP 2018: External Review Committee member.
• PPoPP 2018: Artifact Evaluation Committee Co-Chair.
• PLDI 2018: Student Research Competition Judge.
• PLDI 2017: Artifact evaluation committee member.
• CGO-PPoPP 2017: Artifact evaluation committee member.
• PLDI 2016: Artifact evaluation committee member.
• OOPSLA 2016: Artifact evaluation committee member.
• CGO-PPoPP 2016: Artifact evaluation committee member.
• POPL 2016: Artifact evaluation committee member.
• OOPSLA 2015: Artifact evaluation committee member.