一、实验室主办、承办国际国内会议
序 号 |
会议名称 |
日期 |
人数 |
国内或国际 |
承办人 |
备注 |
1 |
The 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021) |
2021.11.15- 20 |
100 |
国际 |
郝丹 |
澳大利亚 |
2 |
The 1st International Workshop on Reliable System Software (RESS 2021) |
2021.10.24 |
100 |
国际 |
郝丹 |
武汉 |
3 |
ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) |
2021.10.10- 15 |
470 |
国际 |
胡振江
|
Online |
二、互访情况 |
|||
日 期 |
地点 |
访问方（单位）→接待方(单位) |
|
2021.4.15 |
北京 |
重点实验室←西安电子科技大学计算机科学与技术学院蒋志平助理教授 |
|
2021.04.15 |
北京 |
重点实验室←美国华盛顿大学徐栩海博士 |
|
2021.04.20 |
北京 |
重点实验室←美国麻省大学Amherst分校熊杰教授 |
|
2021 9.22 |
北京 |
重点实验室←阿里达摩院周畅研究员 |
|
2021.10.13 |
北京 |
重点实验室←北京邮电大学崔原豪博士 |
|
|
|||
三、学术报告 |
|||||
序 号 |
日 期 |
报告内容 |
报告人 |
地 点 |
|
1 |
2021.3.19 |
Type-based Language Design |
Ningning Xie， 香港大学 |
北京大学 +线上会议 |
|
2 |
2021.4.15 |
Understanding Human Behavior Through The Lens of Longitudinal Passive Sensing 基于时序普适传感的人类行为理解和建模 |
徐栩海华盛顿大学(University of Washington)三年级博士生 |
北京 |
|
3 |
2021.04.15 |
揭秘Wi-Fi基带设计并介绍PicoScenes Wi-Fi综合感知平台 |
蒋志平助理教授， 西安电子科技大学计算机科学与技术学院 |
北京大学 |
|
4 |
2021.4.20 |
Pushing the limits of acoustic sensing |
Jie xiong College of information and Computer Sciences,University of Massachusetts Amherst |
北京 |
|
5 |
2021.9.17 |
QDiff: Differential Testing of Quantum Software Stacks |
Jiyuan Wang， 加州大学洛杉矶分校 |
北京大学 +线上会议 |
|
6 |
2021 9.22 |
预训练大模型系统与应用 |
周畅研究员，阿里达摩院 |
北京大学 |
|
7 |
2021.10.13 |
Integrating Sensing and Communications for Future Cellular and Vehicle Network |
崔原豪博士， 北京邮电大学 |
北京大学 |
|
8 |
2021.10.29 |
Openwifi—开源WiFi芯片项目及其科研应用 |
焦现军高级研究员 比利时微电子研究中心 |
线上 |
|
四、特邀报告
序 号 |
报告名称 |
报告人 |
会议名称 |
日期 |
地点 |
1 |
多源大数据新冠疫情研判系统 |
陈薇 |
第三届中国计算社会科学高端论坛 |
2021.1.14 |
北京 |
2 |
Constructive Bidirectional Programming |
胡振江 |
22nd International Smposium on Trends in Functiona Programming, |
2021.2.17 |
Online |
3 |
Mutation for Compiler Testing |
郝丹 |
The 16th International Workshop on Mutation Analysis (Mutation 2021) |
2021.4.12 |
Virtual Conference |
4 |
矽璓工业物联操作系统 XiUOS |
曹东刚 |
2021 CCF青年精英大会 |
2021.5.14 |
沈阳 |
5 |
Smart Space Service Modeling and Deploying- An Environment Modeling based Perspective |
金芝 |
CCF ICSS 2021 |
2021.5.15 |
Xian, China |
6 |
从参数化到概率化 |
熊英飞 |
软件全方位检测论坛 |
2021.6.21 |
南京 |
7 |
归纳程序合成 |
熊英飞 |
中国计算机学会ADL 118软件自动化:从低代码到无代码开发 |
2021.7.23 |
北京 |
8 |
河图：面向超大模型的分布式深度学习框架 |
崔斌 |
ACM SIGMOD China 2021 |
2021.7.30 |
合肥 |
9 |
数联网：数字空间基础设施 |
黄罡 |
黄罡 |
2021.8.2 |
深圳 |
10 |
深度学习使能的程序理解 |
金芝 |
全国智能信息处理大会 |
2021.8.15 |
在线 |
11 |
双方向変換による自律分散データの相互運用 |
胡振江 |
DBS/IFAT/DE合同研究会, 2021.9.16 |
2021.9.16 |
Online |
12 |
Deep Learning Enabled Program Understanding |
金芝 |
PAKDD Workshop |
2021.9.17 |
Online |
13 |
Dependable Bidirectional Programming |
胡振江 |
Huawei STW 2021 |
2021.10.15 |
深圳 |
14 |
Growing and Specializing Programming Languages |
胡振江 |
Huawei STW 2021 |
2021.10.15 |
深圳 |
15 |
面向泛在计算的智能系统软件 |
刘譞哲 |
刘譞哲 |
2021.10.16 |
烟台 |
16 |
迈向毫米级的WiFi/4G/5G无线非接触感知：理论与应用 |
张大庆 |
北航未来通信与网络论坛 |
2021.10.30 |
线上报告 |
17 |
Safety the first-class concern on the dependability of autonomous systems |
金芝 |
Workshop of Dependability Modeling and Design@ ISRRE2021 |
2021.10.25 |
Wuhan, China |
18 |
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric case 10 years after |
熊英飞 |
MODELS'2021 |
2021.10.13 |
Online |
19 |
聚焦顶会——学术科研实践的一点认识 |
郝丹 |
Chinasoft 2021顶会论坛 |
2021.11.20 |
西安 |
20 |
软件定义时代的软件智能化创建 |
谢涛 |
云栖大会（主会场）主旨报告 |
2021.10.23 |
杭州 |
21 |
Engineering Trustworthy Data-Centric Software: Intelligent Software Engineering and Beyond |
谢涛 |
2021 International Conference on Information and Communications Security (ICICS 2021)主旨报告 |
2021.11.20 |
线上 |
22 |
Intelligent Software Engineering Toward High Confidence Software: Working at the Intersection of AI and Software Engineering |
谢涛 |
2021 International Symposium on Software Reliability Engineering (ISSRE) 主旨报告 |
2021.10.26 |
线上 |
23 |
Intelligent Software Engineering: Working at the Intersection of AI and Software Engineering |
谢涛 |
2021 Dependable and Secure Machine Learning Workshop (DSML 2021) 主旨报告 |
2021.6.21 |
线上 |
24 |
软件定义时代的软件智能化创建及可信保障 |
谢涛 |
2021阿里巴巴质量创新大会主旨报告 |
2021.12 |
线上 |
25 |
Device-free Wireless Sensing with Wi-Fi Signals: Theory and Applications |
张大庆 |
The 21st International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2021) |
2021.12.3 -5 |
厦门 |
26 |
Continuous Daily Status Monitoring of Elders with Commodity Wi-Fi Devices |
张大庆 |
The First International Workshop on Cyber-Physical-Human System Design and Implementation(CPHS21) |
2021.05.18 |
线上 |
27 |
泛在无线感知: 理论与应用 |
张大庆 |
ACM 中国图灵大会 |
2021.07.31 |
合肥 |
28 |
WiFi-based Contactless Human Sensing:Theory and Healthcare Applications |
张大庆 |
IEEE International Conference on Digital Health(IEEE ICDH 2021) |
2021.09.05-09.10 |
线上 |
29 |
UbiComp/ISWC 30th Anniversary of Weiser article |
张大庆 |
Ubicomp三十周年大会论坛 |
2021.09.22 |
线上 |
30 |
从面向重大应用到兼顾基础理论创新的计算机系统研究 |
张大庆 |
北大计算机新工科国际论坛 |
2021.10.22 |
北京 |
31 |
Continuous Daily Status Monitoring of Elders with Commodity Wi-Fi Devices |
张大庆 |
UrbComp 2021 |
2021.11.01 |
线上 |
32 |
泛在无线感知: 理论与智慧城市应用 |
张大庆 |
29th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems |
2021.11.03 |
线上 |
33 |
Towards Millimeter-scale Contactless Sensing with Wi-Fi/4G/5G Signals: Theory and Applications |
张大庆 |
The 2021 CIE International Conference on Radar (Radar 2021) |
2021.12.15-19 |
海口 |
五、国际期刊任职
序 号 |
任职人 |
期刊名称 |
任职类型 |
1 |
崔斌 |
Distributed and Parallel Databases |
Editorial Board Member |
2 |
崔斌 |
Information Systems |
Editorial Advisory Board Member |
3 |
郝丹 |
IEEE Transactions on Software Engineering |
Associate Editor |
4 |
郝丹 |
Journal of Empirical Software Engineering |
Associate Editor |
5 |
郝丹 |
Journal of Software Testing, Verification &Reliability |
Associate Editor |
6 |
胡振江 |
Science of Computer Programming |
Editorial Board Member |
7 |
胡振江 |
Software and Systems Modeling |
Editorial Board Member |
8 |
胡振江 |
National Science Review |
Editorial Board Member |
9 |
胡振江 |
SCIENCE CHINA Information Sciences |
Editorial Board Member |
10 |
胡振江 |
New Generation Computing |
Planning Committe Member |
11 |
胡振江 |
Journal of Object Technology |
Editorial Board Member |
12 |
熊英飞 |
Review Board Member |
|
13 |
黄罡 |
ACM Transactions on Internet Technology |
Associate Editor |
14 |
黄罡 |
Journal of Internet Services and Applications |
Editor |
15 |
刘譞哲 |
ACM Transactions on Intelligent Systems |
Associate Editor |
16 |
周明辉 |
Journal of Systems & Software |
Associate Editor |
17 |
周明辉 |
Empirical software engineering |
Associate Editor |
18 |
金芝 |
IEEE Transactions on Software Engineering |
Associate Editor |
19 |
金芝 |
Requirements Engineering Journal |
Editorial Board Member |
20 |
金芝 |
Empirical Software Engineering |
Editorial Board Member |
21 |
金芝 |
IEEE Transactions on Reliability |
Associate Editor |
22 |
张路 |
Software Testing, Verification and Reliability |
Editorial Board |
23 |
谢涛 |
Journal of Software Testing, Verification and Reliability（STVR) Wiley期刊（2019至今） |
联合主编 |
24 |
谢涛 |
Communications of ACM (CACM) |
编委 |
25 |
谢涛 |
ACM Transactions on Software Engineering and Methodology (TOSEM) |
编委 |
26 |
谢涛 |
ACM Transactions on Internet Technology (TOIT) |
编委 |
27 |
谢涛 |
IEEE Software杂志 |
指导委员会委员及奖励项目主席 |
28 |
张大庆 |
IEEE Pervasive Computing |
Associate Editor |
29 |
张大庆 |
ACM Transactions on Intelligent System and Technology |
Associate Editor |
30 |
张大庆 |
ACM IMWUT |
Advisory Board Member |
六、国际会议任职情况
序 号 |
任职人 |
会议名称 |
任职类型 |
1 |
崔斌 |
KDD 2021 |
PC 高级委员 |
2 |
崔斌 |
ICDE、ICML |
PC 委员 |
3 |
郝丹 |
ASE 2021 |
PC Co-chair |
4 |
郝丹 |
SANER 2022 |
PC Co-chair |
5 |
郝丹 |
ICSE 2022 Demo Track |
PC Co-chair |
6 |
郝丹 |
ICSE 2023 NIER Track |
PC Co-chair |
7 |
郝丹 |
FSE 2022 Demo Track |
PC Co-chair |
8 |
郝丹 |
ICSE 2022 |
PC |
9 |
郝丹 |
FSE 2022 |
PC |
10 |
郝丹 |
SPLC |
Steering Committee Member |
11 |
郝丹 |
A SE、Steering Committee |
Member |
12 |
胡振江 |
MODELS 2021 |
General Co-Chair |
13 |
胡振江 |
ECMFA 2021 |
PC Member |
14 |
熊英飞 |
ESEC/FSE 2021 |
PC Member |
15 |
胡振江 |
ESOP 2021 |
PC Member |
16 |
胡振江 |
SEAMS 2021 |
PC Member |
17 |
金鑫 |
ACM SIGCOMM 2021 |
PC Member |
18 |
金鑫 |
ACM SOSR 2021 |
PC Member |
19 |
金鑫 |
ACM HotNets 2021 |
PC Member |
20 |
金鑫 |
ACM APNet 2021 |
PC Member |
21 |
金鑫 |
MLSys 2021 |
PC Member |
22 |
金鑫 |
IEEE INFOCOM 2021 |
PC Member |
23 |
金鑫 |
IEEE ICDCS 2021 |
PC Member |
24 |
黄罡 |
BlockSys 2021 |
General Chair |
25 |
刘譞哲 |
2021 IEEE SERVICES Congress |
Track Chair |
26 |
刘譞哲 |
ICWS 2021 |
Track Chair |
27 |
刘譞哲 |
ICSE 2021 |
PC Member |
28 |
刘譞哲 |
SIGIR 2021 |
PC Member |
29 |
刘譞哲 |
WWW 2021 |
PC Member |
30 |
孙艳春 |
IEEE ICWS 2021 |
PC member |
31 |
孙艳春 |
SEKE 2021 |
PC member |
32 |
孙艳春 |
IEEE SMDS 2021 |
PC member |
33 |
孙艳春 |
ACM TURC 2021 |
PC member |
34 |
马郓 |
WWW 2021 |
PC Member |
35 |
张昕 |
PLDI 2021 |
PC 程序委员 |
36 |
张昕 |
IJCAI 2021 |
PC 程序委员 |
37 |
张昕 |
APLAS 2021 |
PC 程序委员 |
38 |
周明辉 |
FSE 2021 |
PC |
39 |
周明辉 |
FSE 2021 Industry showcase |
PC co-chair |
40 |
赵海燕 |
MODELS 2021 |
Poster Chair |
41 |
金芝 |
The 32nd International Symposium on Software Reliability Engineering (ISSRE 2021) |
大会共同主席 |
42 |
张路 |
36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021) |
PC Member |
43 |
郭耀 |
WWW 2022 |
PC委员 |
44 |
郭耀 |
AAAI 2021 |
PC委员 |
45 |
郭耀 |
MobileCloud 2021 |
PC委员 |
46 |
谢涛 |
International Conference on Software Engineering (ICSE 2021) |
程序委员会共同主席 |
47 |
李戈 |
The AAAI Conference on Artificial Intelligence |
PC |
48 |
李戈 |
The IEEE/ACM International Conference on Automated Software Engineering |
PC |
49 |
李戈 |
The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) |
PC |
50 |
李戈 |
The International Conference on Knowledge Science, Engineering and Management (KSEM) |
PC |
51 |
李戈 |
The International Conference on Deep Learning Theory and Applications (DeLTA) |
PC |
52 |
李戈 |
ICSE Software Engineering in Practice-track |
PC |
53 |
张大庆 |
IEEE ICDH 2021 |
大会主席 |
54 |
谢涛 |
MSR 2021大会最有影响力论文奖评选委员会 |
共同主席 |
七、国内期刊任职情况
序 号 |
任职人 |
期刊名称 |
任职类型 |
1 |
崔斌 |
软件学报、中国科学 信息科学、JCST |
编委 |
2 |
吴中海 |
电子学报 |
编委 |
3 |
许进 |
电子与信息学报 |
副主编 |
4 |
许进 |
计算机学报 |
编委 |
5 |
金芝 |
计算机学报 |
副主编 |
6 |
张路 |
软件学报 |
编委 |
7 |
张路 |
计算机研究与发展 |
编委 |
8 |
张路 |
中国科学 |
编委 |
9 |
谢涛 |
信息安全学报 |
编委 |
10 |
谢涛 |
SCIENCE CHINA Information Sciences (SCIS) |
青年科学家委员会委员 |
11 |
谢涛 |
Journal of Computer Science and Technology (JCST) |
领域Leading Editor |
12 |
谢涛 |
Cybersecurity |
编委 |
13 |
谢涛 |
国家科学评论（NSR）学科 |
编辑工作组成员 |
14 |
张大庆 |
CCF Transactions Pervasive Comp. Interact. |
Associate Editor |
八、国内会议任职情况
序 号 |
任职人 |
会议名称 |
任职类型 |
1 |
熊英飞 |
中国软件大会 2021 (形式化方法与应用) |
程序委员会委员 |
2 |
孙艳春 |
NCSC 2021 |
程序委员会委员 |
3 |
金芝 |
2021年中国软件大会 |
大会共同主席 |
4 |
谢涛 |
CCF中国计算机大会（CNCC 2021） |
指导委员会委员 |
5 |
谢涛 |
2021 CCF“计算之美”学术大会 |
程序委员会共同主席 |
6 |
李戈 |
2021 CCF中国软件大会（ChinaSoft 2021） |
程序委员会共同主席 |
7 |
张大庆 |
人机和谐年会 （HHME 2021） |
指导委员会 |
九、国内外学术机构任职情况
序 号 |
姓名 |
任职机构或组织 |
职务 |
1 |
崔斌 |
VLDB Endowment |
理事 |
2 |
胡振江 |
IFIP Working Group 2.1 |
member |
3 |
胡振江 |
Asian Association for Foundation of Software |
Executive Committee Member , co-chair |
4 |
胡振江 |
Bidirectional Transformation |
Advisory Board Member |
5 |
胡振江 |
International Conference on Model Transformations |
Steering Committee Member |
6 |
熊英飞 |
Bidirectional Transformation |
Advisory Board Member |
7 |
黄罡 |
ATSD Digital Object Interface Protocol (DOIP) Standard Development & Application Task Group |
Co-Chair |
8 |
刘譞哲 |
IEEE Technical Committee on Services Compuitng |
Vice Chair |
9 |
孙艳春 |
ACM SIGCSE China |
理事 |
10 |
郭耀 |
AAAI 2021 |
PC委员 |
11 |
郭耀 |
MobileCloud 2021 |
PC委员 |
12 |
谢涛 |
ACM-W Rising Star奖评奖委员会（2020-2021年） |
成员 |
13 |
谢涛 |
IEEE Software最佳论文奖评奖委员会（2019至今） |
委员 |
14 |
谢涛 |
ACM SIGSOFT |
历史联络员, 执委会委员 |
15 |
谢涛 |
ACM U.S. Public Policy Council (USACM) |
委员 |
16 |
谢涛 |
北美计算机华人学者协会软件工程专业委员会 |
联席主席 |
17 |
谢涛 |
ACM-W Rising Star奖评奖委员会 |
委员 |
18 |
谢涛 |
ACM中国理事会奖励委员会 |
委员 |
19 |
谢涛 |
ACM中国理事会 |
常务理事 |
20 |
谢涛 |
IEEE Software最佳论文奖评奖委员会 |
委员 |
21 |
谢涛 |
IEEE计算机学会Publications Board |
Member at Large |
22 |
刘譞哲 |
IEEE服务计算技术委员会（TCSVC） |
副主席 |
23 |
胡振江 |
日本国立信息学研究所 |
特任教授 |
24 |
胡振江 |
日本学术振兴会（JSPS） |
基础研究S（类似于中国的973项目）的首席 |
25 |
胡振江 |
日本先端科学技术大学 |
客座教授 |
26 |
谢涛 |
香港研究资助局协作研究金委员会（2020-2021年） |
成员 |
27 |
谢涛 |
香港研究资助局工程学学科小组（合作研究计划） |
成员 |
29 |
崔斌 |
中国计算机学会数据库专委会 |
秘书长 |
30 |
孙艳春 |
CCF 软件工程专委会 |
委员 |
31 |
孙艳春 |
CCF 服务计算专委会 |
委员 |
32 |
王腾蛟 |
国家统计专家咨询委员会 |
委员 |
33 |
王腾蛟 |
国家外交部大数据专委会 |
委员 |
34 |
王腾蛟 |
中国计算机学会数据库专委会 |
委员 |
35 |
王腾蛟 |
中国计算机学会大数据专家委员会 |
委员 |
36 |
王腾蛟 |
中国软件行业协会数据与智能专委会 |
委员 |
37 |
陈薇 |
中国计算机学会大数据专家委员会 |
通讯委员 |
38 |
刘譞哲 |
CCF学术工作委员会 |
秘书、委员 |
39 |
刘譞哲 |
服务计算专委会 |
副秘书长 |
40 |
金芝 |
CCF常务理事、系统软件专委会主任 |
理事、主任 |
41 |
崔斌 |
中国计算机学会数据库专委会 |
副主任 |
42 |
黄罡 |
中国电子学会青年科学家俱乐部副主席，轮值主席，理事 |
副主席，理事 |
43 |
黄罡 |
中国电子学会云计算与大数据青年科学家专委会 |
主任 |
44 |
黄罡 |
中国计算机学会专委工作委员会副主任、青工委委员、ADL工委委员 |
副主任、委员 |
45 |
黄罡 |
北京大数据先进技术研究院 |
首席科学家 |
46 |
孙艳春 |
中国计算机学会软件工程专委会、服务计算专委会 |
委员 |
47 |
吴中海 |
教育部软件工程教学指导委员会 |
副主任委员 |
48 |
张大庆 |
CCF 普适计算专委会 |
主任 |
49 |
许进 |
中国电子学会生物计算与生物处理专业委员 |
理事长 |
50 |
李戈 |
中国计算机学会软件工程专业委员会 |
秘书长 |
51 |
许进 |
中国电路与系统学会 |
副主任委员 |
52 |
许进 |
中国网络空间安全协会 |
委员 |
53 |
谢涛 |
CCF软件工程专委会 |
副主任 |
54 |
谢涛 |
CCF系统软件专委会 |
专委 |
55 |
谢涛 |
CCF大数据专家委员会 |
专委 |
56 |
谢涛 |
CCF女计算机工作者委员会 |
执委 |
57 |
谢涛 |
CCF CTO俱乐部 |
创始成员 |
58 |
谢涛 |
“中国计算机学会-IEEE计算机青年科学家奖” |
奖励委员会主席 |
61 |
谢涛 |
北京软件和信息服务协会 |
专家 |
62 |
谢涛 |
中国计算机学会计算机企业核心技术丛书编委会 |
委员 |
63 |
谢涛 |
中国计算机学会ADL工作组 |
成员 |