学术和院系服务

• 2026, 程序委员会委员: ICSE 2027
• 2026, 副主席: OOPSLA 2026
• 2025, 论坛联合主席: 中国软件大会编程语言前沿技术论坛
• 2025, 选择委员会成员: SIGSOFT Summer/Winter School funding program
• 2025, 程序委员会委员: ASE 2025 Journal-First Track
• 2025, 领域主席: ASE 2025
• 2025, 程序委员会委员: ICSE 2026
• 2024, 审稿委员会成员: OOPSLA 2024
• 2024, 论坛联合主席: 第9届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛
• 2024, 程序委员会委员: SETTA 2024
• 2024, 导师团主席: ICSE 2025 Shadow PC Track
• 2024, 程序委员会委员: LLM4Code 2025
• 2023-, 副编辑: IEEE Transactions on Software Engineering
• 2023, 程序委员会成员: ICSE 2024
• 2022, 程序委员会成员: ESEC/FSE 2022
• 2022, 程序委员会成员: ICSE 2023
• 2022, 程序委员会成员: PLDI 2023
• 2022, 论坛主席: 中国计算机大会领域特定语言与安全编程论坛
• 2022, 论坛联合主席: 中国软件大会形式化方法教育论坛
• 2022, 程序委员会委员: 第7届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛
• 2021-2025, 副所长: 北京大学计算机科学技术系软件研究所
• 2021-2024, 综合管理办公室主任: 北京大学-中兴通讯基础软件联合实验室
• 2021, 程序委员会委员: 第6届全国形式化方法与应用会议/中国软件大会形式化方法与应用论坛
• 2021, 程序委员会成员: 中国软件大会 2021 （形式化方法与应用）
• 2021, 程序委员会成员: ESEC/FSE 2021
• 2020-2024, 系主任助理/院长助理: 北京大学计算机科学技术系/计算机学院
• 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, 组织者: 软件工程青年学者沙龙2017
• 2017, 程序委员会委员: APLAS 2017
• 2017, 专题讲座共同主席: SPLC 2017
• 2017, 程序委员会委员: SPLC 2017
• 2017, 程序委员会委员: ICSE 2017 NIER
• 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: 83