学术服务

2024, 导师团主席: ICSE 2025 Shadow PC Track
2024, 程序委员会委员: SETTA 2024
2024, 论坛联合主席: 第9届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛
2024, 审稿委员会成员: OOPSLA 2024
2023-, 副编辑: IEEE Transactions on Software Engineering
2023, 程序委员会成员: ICSE 2024
2022, 论坛联合主席: 中国软件大会形式化方法教育论坛
2022, 论坛主席: 中国计算机大会领域特定语言与安全编程论坛
2022, 程序委员会委员: 第7届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛
2022, 程序委员会成员: PLDI 2023
2022, 程序委员会成员: ICSE 2023
2022, 程序委员会成员: ESEC/FSE 2022
2021-2025, 副所长: 北京大学计算机科学技术系软件研究所
2021-2024, 综合管理办公室主任: 北京大学-中兴通讯基础软件联合实验室
2021, 程序委员会委员: 第6届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛
2021, 程序委员会成员: 中国软件大会 2021 （形式化方法与应用）
2021, 程序委员会成员: ESEC/FSE 2021
2020-, 系主任助理: 北京大学计算机科学技术系
2020, 程序委员会成员: ESEC/FSE 2020
2020, 程序委员会成员: ICSE 2021
2020, 程序委员会成员: APR 2020
2019-2022, 审稿委员会委员: IEEE Transactions on Software Engineering
2019, 程序委员会成员: ICSE 2020
2019, 程序委员会成员: ASE 2019
2019, 程序委员会成员: ISSTA 2019
2019, 程序委员会成员: ICSE 2019
2019, 程序委员会成员: FASE 2019
2018, 程序委员会委员: FASE 2018
2018, 宣传负责人: SPLC 2018
2018, 宣传负责人: MODELS 2018
2018, 程序委员会委员: ASE 2018
2018, 程序委员会成员: APSEC 2018
2018, 程序委员会联合主席: 全国软件分析测试与演化学术会议(SATE'18)
2018, 程序委员会成员: NASAC 2018 English Track
2018, 论坛联合主席: 全国软件与应用学术会议缺陷修复论坛
2017-2018, 审稿委员会委员: IEEE Transactions on Software Engineering
2017, 程序委员会委员: ICSE 2017 NIER
2017, 程序委员会委员: SPLC 2017
2017, 专题讲座共同主席: SPLC 2017
2017, 程序委员会委员: APLAS 2017
2017, 组织者: 软件工程青年学者沙龙2017
2016-2017, 审稿委员会委员: Empirical Software Engineering
2016, 程序委员会委员: FASE
2016, 程序委员会委员: SPLC
2016, 出版负责人: SPLC
2016, 程序委员会委员: BX Workshop
2016, 程序委员会委员: ASE Research Demonstration
2016, 会议组织者: BX Meeting 2016
2016, 程序委员会委员: 全国软件分析测试与演化学术会议（SATE 2016）
2016, 程序委员会委员: 第一届全国形式化方法与应用会议（FMAC 2016）
2016, 程序委员会委员: YRSETTA
2016, 编委: 中国计算机学会软件工程专委会微信公众号“软件工程研究与实践”
2015, 程序委员会委员: Internetware
2015, 审稿人: 中国科学, 软件学报, 计算机学报, TSE, JSS, STVR
2015, 程序委员会委员: TASE
2015, 程序委员会委员: BX Workshop
2014, 程序委员会委员: BX Workshop
2014, 程序委员会委员: TASE
2014, 程序委员会委员: Internetware
2014, 本地组织负责人: AWASE
2014, 审稿人: Science of Computer Programming
2014, 审稿人: IEEE Transactions on Service Computing
2013, 海报/工具展示负责人: ISHCS
2013, 注册负责人: Middleware
2013, 扩展审稿委员会委员: OOPSLA
2013, 程序委员会委员: MODELS EduSymp
2013, 程序委员会委员: ICSE SRC
2012, 审稿人: Software and Systems Modeling
2012, 审稿人: IEEE Transaction on Service Computing
2012, 程序委员会委员: BX Workshop
2011, 审稿人: Science of Computer Programming
2011, 审稿人: Software Testing, Verification and Reliability
2010, 审稿人: Software Quality Journal
2010, 组织者: CASCON ECCM-BPM Workshop
2009, 本地组织: AWFS

Number of Listed Items: 75