Professional Service

• OOPSLA 2024. Reviewer. 10/01/2023 - 12/01/2023
• ARITH 2023. Reviewer. 05/2023 - 07/2023
• POPL. Reviewer. 07/2021 - 10/2021
• PLDI. Reviewer. 06/2021 - 09/2021
• FPBench. Chair. 05/2021 - 08/2021
• POPL AEC. Co-chair. 10/2020 - 10/2021
• ASPLOS. Role: Extended review committee. Reviewer. 10/2020 - 02/2021
• FPBench. Program Chair. 04/01/2020 - present
• POPL. Role: Co-chair. Artifact Evaluation Committee. 01/15/2020 - present
• PLDI. Role: Reviewer. External Review Committee. 11/01/2019 - present

Honors & Awards

• Distinguished Paper Award. ACM POPL, 01/2024
• Distinguished Paper Award. ACM POPL, 01/20/2021
• Best Student Paper. IEEE / ACM Supercomputing, 11/01/2020

Internal Service

• Undergraduate Research Committee. Member, 08/19/2022 - present. Department service.
• Website Committee Chair. 08/2022 - 08/2023. Department service.
• Premajor Faculty Mentorship program. Mentor, 08/20/2021 - 05/06/2022. Department service.
• Webmaster. 08/01/2020 - 08/19/2022. Department service.
• GradSAC Liaison. 06/01/2020 - present. Department service.
• Admissions Committee. 01/01/2020 - 01/01/2021. Department service.
• Diversity Committee. 08/21/2019 - 08/19/2022. Department service.