主页
学术服务
- 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