Professional Service

  • Intl. Conf. Art, Science, and Engineering of Programming (<Programming>). Role: member. Program committee. 03/15/2023 - 03/15/2023
  • Trends in Functional Programming (TFP). Role: member. Program committee. 03/02/2022 - 03/02/2022
  • Onward! Role: member. Program committee. 10/2021 - present
  • Workshop on Virtual Machines and Intermediate Languages (VMIL). Role: member. Program committee. 10/2021 - present
  • ACM Conf.~on Generative Programming: Concepts & Experiences (GPCE). Role: member. Program committee. 10/2021 - present
  • ACM Conf. on Programming Language Design and Implementation (PLDI). Role: member. Program committee. 06/2021 - present
  • European Lisp Symposium (ELS). Role: member. Program committee. 05/2021 - present
  • Intl. ~Conf.~Art, Science, and Engineering of Programming (<Programming>). Role: member. Program committee. 03/2021 - present
  • Workshop on Trends in Functional Programming in Education (TFPIE). Role: member. Program committee. 02/2021 - present
  • European Conf. on Object-Oriented Programming (ECOOP). Role: external member. Program committee. 06/2020 - present
  • ACM Conf. on Programming Language Design and Implementation (PLDI). Role: external member. Program committee. 06/2020 - present
  • Intl. Conf. Art, Science, and Engineering of Programming (<Programming>). Role: member. Program committee. 03/2020 - 03/2020
  • ACM Conf. on Object-Oriented Programming, Languages, Systems, and Applications (OOPSLA). Role: external member. Program committee. 10/2019 - 10/2019
  • ACM Conf. on Generative Programming: Concepts & Experiences (GPCE). Role: member. Program committee. 10/2019 - 10/2019
  • Workshop on Meta-Programming Techniques and Reflection (META). Role: member. Program committee. 10/2018 - 10/2018
  • ACM Intl. Conf. Functional Programming (ICFP). Role: chair. Program commitee. 09/2018 - 09/2018
  • Intl. Conf. Art, Science, and Engineering of Programming (<Programming>). Role: member. Program Committee. 04/2018 - 04/2018
  • ACM Dynamic Languages Symposium (DLS). Role: member. Program committee. 10/2017 - 10/2017
  • ACM Intl. Conf. on Functional Programming (ICFP). Role: member. Program committee. 09/2017 - 09/2017
  • ACM Intl.~Conf.~on Functional Programming. Role: co-chair. Artifact evaluation committee. 09/2017 - 09/2017
  • ACM Intl.~Conf.~on Functional Programming (ICFP). Role: member. Steering commitee. 06/01/2017 - present
  • ACM Workshop on Partial Evaluation and Program Manipulation (PEPM). Role: member. Program committee. 01/2017 - 01/2017
  • ACM Conf. on Generative Programming: Concepts & Experiences (GPCE). Role: member. program committee. 10/2016 - 10/2016
  • ACM Dynamic Languages Symposium (DLS). Role: member. program committee. 10/2016 - 10/2016
  • Intl. Conf. on Compiler Construction (CC). Role: member. program committee. 09/2016 - 09/2016
  • European Conf.~on Object-Oriented Programming (ECOOP). Role: member. program committee. 06/2016 - 06/2016
  • European Conf. on Object-Oriented Programming (ECOOP). Role: Co-Chair. Artifact Evaluation Committeee. 10/2015 - 09/2016
  • ACM Dynamic Languages Symposium (DLS). Role: member. Program committee. 10/2015 - 10/2015
  • ACM Conf. on Generative Programming: Concepts & Experiences (GPCE). Role: member. Program committee. 10/2015 - 10/2015
  • Sym. on Practical Aspects of Declarative Languages (PADL). Role: member. Program committee. 06/2015 - 06/2015
  • ACM Conf. on Programming Language Design and Implementation (PLDI). Role: external member. Program committee. 06/2015 - 06/2015
  • European Lisp Symposium (ELS). Role: member. Program committee. 03/2015 - 03/2015
  • Intl.~Conf. on Modularity (MODULARITY). Program committee. 03/2015 - 03/2015
  • European Conf. on Object-Oriented Programming (ECOOP). Role: Co-Chair. Artifact Evaluation Committee. 10/2014 - 09/2015
  • ACM Conf. on Generative Programming: Concepts & Experiences (GPCE). Role: Chair. Program Commitee. 10/2014 - 10/2014
  • Workshop on Domain Specific Languages Design and Implementation (DSLDI). Role: member. program commitee. 09/2014 - 09/2014
  • European Conf.~on Object-Oriented Programming (ECOOP). Role: external member. program commitee. 06/2014 - 06/2014
  • Sym.~on Practical Aspects of Declarative Languages (PADL). Role: Co-Chair. Program Committee. 01/2014 - 01/2014
  • ACM Conf. on Generative Programming: Concepts & Experiences (GPCE). Role: member. program committee. 10/2013 - 10/2013
  • ACM Conf. on Programming Language Design and Implementation (PLDI). Role: member. program committee. 06/2013 - 06/2013
  • Workshop on Trends in Functional Programming in Education (TFPIE). Role: member. program committee. 05/2013 - 05/2013
  • Workshop on Foundations of Aspect-Oriented Languages. Role: member. program committee. 01/2013 - 01/2013
  • Symposium on Implementation and Application of Functional Languages (IFL). Role: member. program committee. 09/2012 - 09/2012
  • ACM Dynamic Languages Symposium (DLS). Role: member. program committee. 09/2012 - 09/2012
  • European Conf. on Object-Oriented Programming (ECOOP). Role: member. program commitee. 06/2012 - 06/2012
  • ACM Conf. on Programming Language Design and Implementation (PLDI). Role: external member. program committee. 06/2012 - 06/2012
  • Intl. Conf. on Compiler Construction (CC). Role: member. program committee. 03/2012 - 03/2012
  • Sym. on Practical Aspects of Declarative Languages (PADL). Role: member. program committee. 01/2012 - 01/2012

Honors & Awards

  • Programming Languages Software Award. ACM SIGPLAN, 09/2018

Internal Service

  • Undergraduate Studies Committee. chair, 08/2017 - present. Department service.
  • Undergraduate Studies Committee. member, 08/2015 - 06/2017. Department service.
  • Research forum. organizer, 08/2015 - 12/2015. Department service.
  • Graduate admissions. Chair, 07/2015 - 06/2016. Department service.
  • Graduate admissions. director, 08/2013 - 05/2014. Department service.