Academic and University Service
Area Chair · ICSE 2028
Area Chair · ISSTA 2027
Program Chair · CCF-PL 2026
Associate Chair · PLDI 2027
Associate Editor-in-Chief · IEEE Transactions on Software Engineering
PC Member · POPL 2027
PC Member · ICSE 2027
Track Co-Chair · Chinasoft Forum on Frontiers in Programming Languages
Selection Committee Member · SIGSOFT Summer/Winter School funding program
Associate Chair · OOPSLA 2026
PC Member · ASE 2025 Journal-First Track
Area Chair · ASE 2025
PC Member · ICSE 2026
PC Member · LLM4Code 2025
Mentor Chair · ICSE 2025 Shadow PC Track
PC Member · SETTA 2024
Co-Chair · NASAC Program Repair Track
Track Co-Chair · The 9th National Conference on Formal Methods and Applications (FMAC) / Chinasoft Formal Methods and Applications Track
Associate Editor · IEEE Transactions on Software Engineering
PC Member · The 7th National Conference on Formal Methods and Applications (FMAC) / Chinasoft Formal Methods and Application Track
PC Member · The 6th National Conference on Formal Methods and Applications (FMAC) / Chinasoft Formal Methods and Application Track
Track Co-Chair · Chinasoft Forum on Formal Methods Education
Track Chair · CNCC Forum on DSL and Safe Programming
Review Committee Member · OOPSLA 2024
PC Member · ICSE 2024
PC Member · PLDI 2023
PC Member · ICSE 2023
Director of the Management Office · PKU-ZTE Joint Laboratory for Foundation Software
Dean Assistant · Department of Computer Science and Technology / School of Computer Science, Peking University
Vice Director · Institute of Software, Department of Computer Science and Technology, Peking University
PC Member · Chinasoft 2021 (Formal Methods and Applications)
PC Member · ESEC/FSE 2022
PC Member · ESEC/FSE 2021
Review Board Member · IEEE Transactions on Software Engineering
PC Member · APR 2020
PC Member · ICSE 2021
PC Member · ESEC/FSE 2020
PC Member · ICSE 2020
PC Member · ASE 2019
PC Member · NASAC 2018 English Track
PC Member · ISSTA 2019
PC Member · ICSE 2019
PC Co-Chair · SATE 2018
PC Member · FASE 2019
PC Member · APSEC 2018
PC Member · ASE 2018
Organizer · YOSER 2017
Publicity Chair · MODELS 2018
Publicity Chair · SPLC 2018
Review Board Member · IEEE Transactions on Software Engineering
Review Board Member · Empirical Software Engineering
PC Member · APLAS 2017
PC Member · FASE 2018
Tutorial Co-Chair · SPLC 2017
PC Member · SPLC 2017
Editor · CCF TCSE Wechat Public Account "SE Research and Practice"
PC Member · YRSETTA
PC Member · ICSE 2017 NIER
PC Member · FMAC 2016
PC Member · SATE 2016
Organizer · BX Meeting 2016
PC Member · ASE Research Demonstration
PC Member · BX Workshop
Publication/Proceedings Chair · SPLC
PC Member · Internetware
PC Member · SPLC
Reviewer · IEEE Transactions on Software Engineering, Journal of Systems and Software, Software Testing, Verification, and Reliability, Science in China, Chinese Journal of Computers, Chinese Journal of Software
PC Member · FASE
PC Member · TASE
PC Member · BX Workshop
Reviewer · IEEE Transactions on Service Computing
Reviewer · Science of Computer Programming
Local Arrangement · AWASE
PC Member · Internetware
PC Member · TASE
PC Member · BX Workshop
Poster/Demo Chair · ISHCS
Registration Chair · Middleware
Extended Review Committee Member · OOPSLA
PC Member · MODELS EduSymp
PC Member · ICSE SRC
Reviewer · Software and Systems Modeling
Reviewer · IEEE Transaction on Service Computing
PC Member · BX Workshop
Reviewer · Science of Computer Programming
Reviewer for two papers · Software Testing, Verification and Reliability
Reviewer · Software Quality Journal
Organizer · CASCON ECCM-BPM Workshop
Local Organization · AWFS