Service
Reviewing
- NSF 2023 Panel Review
- PLDI 2023 Program Committee
- ARITH 2022 Program Committee
- PLDI 2021 Program Committee
- ASPLOS 2021 Program Committee
- SCF 2020 External Reviewer
- OOPSLA 2020 External Review Committee
- PLDI 2020 External Program Committee
- ASPLOS 2020 Program Committee
- CPP 2019 Program Committee
- PLDI 2019 Program Committee
- ICFP 2019 External Review Committee
- ITP 2018 Program Committee
- TOPLAS 2018 Referee
- POPL 2018 Program Committee
- Onward! 2017 Program Committee
- ASPLOS 2017 External Reviewer
- POPL 2017 External Reviewer
- PLDI 2016 Program Committee
- PLDI 2016 Artifact Evaluation Committee co-Chair
- CPP 2016 Program Committee
- ASPLOS 2016 External Review Committee
- POPL 2016 External Review Committee
- CoqPL 2015 Program Committee
- POPL 2015 External Review Committee
- OOPSLA 2014 External Review Committee
- PLDI 2014 External Review Committee
- CC 2009 External Reviewer
Organizing
- PLDI 2023 Workshops Co-chair
- FPTalks 2022 Co-Organizer
- Generalizing the ISA to the ILA Tutorial @ ISCA 2022
- EGRAPHS 2022 Co-Organizer
- egg Tutorial @ PLDI Co-Organizer
- FPTalks 2021 Co-Organizer
- SRC JUMP: Applications Driving Architectures (ADA) Student Hackathon Organizer 2020
- FPTalks 2020 Co-Organizer
- SRC JUMP: Applications Driving Architectures (ADA) Student Hackathon Organizer 2019
- University of Washington Verification in Practice (ViP) 2019 Co-Organizer
- Programming Languages Mentoring Workshop (PLMW) Panelist @ PLDI 2018
- PNW PLSE 2018 Organizer and Program Committee Chair
- Programming Languages Mentoring Workshop (PLMW) Panelist @ POPL 2018
- University of Washington NSF STARS Mentor 2017
- SPLASH 2017 Doctoral Symposium Program Committee
- Student Research Competition (SRC) Chair @ POPL 2016
- Student Research Competition (SRC) Committee @ PLDI 2015
- Programming Languages Mentoring Workshop (PLMW) Co-Chair @ SPLASH 2015
- CoqPL Co-Organizer
- Inspirations at SPLASH 2014 Co-Organizer and Speaker
Department
- 2022-2023 : UW Allen School Faculty Recruiting Co-chair
- 2022 - 2023 : UW Allen School Distinguished Lecture and Colloquia Committee
- 2022 - 2023 : UW Allen School Faculty Skit Co-Writer and Co-Producer
- 2021 - 2022 : UW Allen School Distinguished Lecture and Colloquia Organizer (sabbatical)
- 2021 - 2022 : UW Allen School Faculty Skit Co-Writer and Co-Producer (sabbatical)
- 2020 - 2021 : UW Allen School Distinguished Lecture and Colloquia Organizer
- 2020 - 2021 : UW Allen School Undergraduate Admissions Committee
- 2019 - 2020 : UW Allen School Distinguished Lecture and Colloquia Organizer
- 2019 - 2020 : UW Allen School Diversity Committee
- 2019 - 2020 : UW Allen School Faculty Skit Co-Writer and Co-Producer
- 2018 - 2019 : UW Allen School Distinguished Lecture and Colloquia Organizer
- 2018 - 2019 : UW Allen School Graduate Admissions Committee
- 2018 - 2019 : UW Allen School Faculty Skit Co-Writer and Co-Producer
- 2018 - 2019 : UW Allen School Grad Culture Chair
- 2017 - 2018 : UW Allen School BSMS Admissions Committee
- 2017 - 2018 : UW Allen School Undergraduate Admissions Committee
- 2017 - 2018 : UW Allen School Faculty Skit Co-Writer and Co-Producer
- 2017 - 2018 : UW Allen School Grad Culture Chair
- 2016 - 2017 : UW Allen School BSMS Admissions Committee
- 2016 - 2017 : UW Allen School Faculty Skit Co-Writer and Co-Producer
- 2016 - 2017 : UW Allen School Grad Culture Chair
- 2015 - 2016 : UW Allen School Visit Days Organizing Committee
- 2015 - 2016 : UW Allen School Faculty Skit Co-Writer and Co-Producer
- 2015 - 2016 : UW Allen School Grad Culture Chair
- 2014 - 2015 : UW Allen School Grad Culture Chair
- 2013 - 2014 : UW Allen School Grad Culture Chair
- 2010 - 2011 : UCSD GradCom Student Representative
- 2009 - 2010 : UCSD GradCom Student Representative