Service
Academic service and community activities.
Conference Program Committees
- International Workshop on Language Models and Programming Languages (LMPL 2026)
- International Symposium on Practical Aspects of Declarative Languages (PADL 2026)
- ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2026)
- ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025)
- European Conference on Object-Oriented Programming (ECOOP 2025) — Distinguished Reviewer Award
Journal Reviewing
- Journal of Artificial Intelligence Research (JAIR 2025, 2026)
- IEEE Transactions on Software Engineering (TSE 2023, 2024)
Other
- Steering Committee, Australian Institute of Learning and Reasoning Systems (AILARS) (2025–present)
- Sub-reviewer, International Symposium on Functional and Logic Programming (FLOPS 2022)