Service

Program committee member

• OOPSLA 2022: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications
• PLDI 2022: ACM Conference on Programming Language Design and Implementation
• POPL 2022: ACM Symposium on Principles of Programming Languages
• APLAS 2021: Asian Symposium on Programming Languages and Systems
• SYNT 2021: Workshop on Synthesis
• OCAML 2021: The OCaml Users and Developers Workshop
• TAPAS 2020: Workshop on Tools for Automatic Program Analysis
• PLDI 2019: ACM Conference on Programming Language Design and Implementation