Academic Service

2024, Track Co-Chair: The Formal Methods and Applications (FMAC) Track, Chinasoft
2024, Review Committee Member: OOPSLA 2024
2023-, Associate Editor: IEEE Transactions on Software Engineering
2023, PC Member: ICSE 2024
2022, PC Member: Chinasoft Formal Methods and Application Track
2022, PC Member: ESEC/FSE 2022
2022, Track Co-Chair: Chinasoft Forum on Formal Methods Education
2022, Track Chair: CNCC Forum on DSL and Safe Programming
2022, PC Member: PLDI 2023
2022, PC Member: ICSE 2023
2021-2025, Vice Director: Institute of Software, Department of Computer Science and Technology, Peking University
2021-2024, Director of the Management Office: PKU-ZTE Joint Laboratory for Foundation Software
2021, PC Member: ESEC/FSE 2021
2021, PC Member: Chinasoft 2021 (Formal Methods and Applications)
2021, PC Member: Chinasoft Formal Methods and Application Track
2020-, Dean Assistant: Department of Computer Science and Technology, Peking University
2020, PC Member: ICSE 2021
2020, PC Member: ESEC/FSE 2020
2020, PC Member: APR 2020
2019-2022, Review Board Member: IEEE Transactions on Software Engineering
2019, PC Member: FASE 2019
2019, PC Member: ISSTA 2019
2019, PC Member: ICSE 2019
2019, PC Member: ASE 2019
2019, PC Member: ICSE 2020
2018, PC Member: ASE 2018
2018, Publicity Chair: MODELS 2018
2018, Publicity Chair: SPLC 2018
2018, PC Member: FASE 2018
2018, PC Member: APSEC 2018
2018, PC Co-Chair: SATE 2018
2018, PC Member: NASAC 2018 English Track
2018, Co-Chair: NASAC Program Repair Track
2017-2018, Review Board Member: IEEE Transactions on Software Engineering
2017, Organizer: YOSER 2017
2017, PC Member: APLAS 2017
2017, Tutorial Co-Chair: SPLC 2017
2017, PC Member: SPLC 2017
2017, PC Member: ICSE 2017 NIER
2016-2017, Review Board Member: Empirical Software Engineering
2016, PC Member: FASE
2016, PC Member: SPLC
2016, Publication/Proceedings Chair: SPLC
2016, PC Member: BX Workshop
2016, PC Member: ASE Research Demonstration
2016, Organizer: BX Meeting 2016
2016, PC Member: SATE 2016
2016, PC Member: FMAC 2016
2016, PC Member: YRSETTA
2016, Editor: CCF TCSE Wechat Public Account "SE Research and Practice"
2015, PC Member: Internetware
2015, 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
2015, PC Member: TASE
2015, PC Member: BX Workshop
2014, PC Member: BX Workshop
2014, PC Member: TASE
2014, PC Member: Internetware
2014, Local Arrangement: AWASE
2014, Reviewer for one paper: Science of Computer Programming
2014, Reviewer for one paper: IEEE Transactions on Service Computing
2013, Poster/Demo Chair: ISHCS
2013, Registration Chair: Middleware
2013, Extended Review Committee Member: OOPSLA
2013, PC Member: MODELS EduSymp
2013, PC Member: ICSE SRC
2012, Reviewer for one paper: Software and Systems Modeling
2012, Reviewer for one paper: IEEE Transaction on Service Computing
2012, PC Member: BX Workshop
2011, Reviewer for one paper: Science of Computer Programming
2011, Reviewer for two papers: Software Testing, Verification and Reliability
2010, Reviewer for one paper: Software Quality Journal
2010, Organizer: CASCON ECCM-BPM Workshop
2009, Local Organization: AWFS

Number of Listed Items: 73