-
Professor, School Of Computing
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.