CCF 218Club

本论坛由CCF 218 Club发起。CCF 218 CIub主要由入选“CCF青年人才发展计划”的学者组成。“CCF青年人才发展计划”旨在支持一批已经取得较优秀成绩、具有较强创新能力的青年学者，入选者年龄在32岁以下，因此本论坛主要关注青年学者的发展。当前，青年学者在发展方面面临许多挑战，包括:如何成长为独立的P1?如何组建团队等。本论坛一方面邀请了资深学者进行经验分享，另一方面也邀请青年学者汇报自己的科研成绩和困惑，请资深学者进行点评。同时，也邀请资深学者和青年学者通过panel形式进行深入探讨。论坛希望通过报告和研讨形式形成对青年学者发展有益的建议。

谢涛北京大学讲席教授，CCF会士CCF软件工程专委会副主任

讲者

谢涛

段润尧

张姗姗

陈俊洁

文明

嘉宾

段润尧百度量子计算研究所所长

报告题目:青年人才发愿目标与途径的思考报告摘要:青年学者在人才发展进程中需要思考和回答多方面的问题。比如中长期职场发展目标是什么? 如何指导和培养高质量的研究生? 如何在展示独立PI的实力和成就的同时去开展与外部的合作? 如何规划和开展好和产业界的合作? 如何为研究社区做好服务贡献? 如何树立好在研究同行中的声望? 如何让自己的研究工作有高的影响力?本报告将分享对这些问题的思考

报告题目: 与量子计算共同成长报告摘要:人生最幸运的事情莫过于可以在年轻时遇见可以为之奋斗终生的心仪事业。量子计算毫无征兆地在2001年的夏天走进我的生活，从此使与我形影不离。从最开始沉迷于量子纠缠奇特性质的基础研究，到逐渐过渡到量子程序软件的基础研发，最后则从学术界转型到产业界致力于实现“人人皆可量子”的愿景，在这二十多年的科研经历之中，我不仅真真切切地感受到了量子计算这一前瞻性方向逐步迈向产业化的必然趋势，更庆幸在其中获得了长足的成长。个人简介:段润尧博士自2001年起致力于量子信息科学的研究，现任百度量子计算研究所所长，负责百度量子战略的制定和实施。曾任悉尼科技大学终身教授和量子软件与信息中心创办主任、ARC Future Fellow。近年来携团队先后推出量子时代的操作系统百度量子平台、产业级超导量子计算机乾始、以及全球首个全平台量子软硬一体化解决方率量羲等核心产品

个人简介:谢涛，北京大学讲席教授，计算机学院软件科学与工程系主任，高可信软件技术教育部重点实脸室(北京大学]副主任，国家高等学校学科创新引智(“111”计划)基地负责人，中国科协海智计划特聘专家。曾任美国伊利诺伊大学香核分校(UIUC)计算机科学系正教授。当选欧洲科学院外铂院士、国际计算机学会(ACM)会士、电气电子工程师学会(IEEE) 会士、美国科学促进会(AAAS)会士、中国计算机学会(CCF)会士。曾获科学探索奖，国家自然科学基金委海外杰青及其延续资助，美国自然科学基金会职业发展奖(NSFCAREER Award)，ACM软件工程领域(SIGSOFT)三大奖项中的两项(有影响力教育工作者奖、杰出服务奖]，IEEE软件工程领域(TCSE)杰出服务奖，软件仓库挖掘奠基性责献奖，软件工程顶级国际会议ASE2021最有影响力论文奖等。担任CCF软件工程专委会副主任，2020年中国计算机大会程序委员会主席，软件工程顶级国际会议ICSE2021程序委员会共同主席，《软件测试、验证与可靠性(STVR)》Wiley期刊联合主编等。主要研究领域包括软件工程，系统软件，软件安全可信人工智能。

嘉宾

嘉宾

张姗姗教授，博士生导师

陈俊洁长聘副教授，特聘研究员，博士生导师

报告题目:人体视觉感知:研究进展与心得体会报告题目: 数据驱动的JVM测试方法报告摘要:人体视觉感知，是计算机视觉领域的重要研究方向，相关技术在自报告摘要:为了保障JVM这一类基础软件的质量，本项研究提出数据驱动的主智能系统中应用广泛，因此备受研究者的关注。讲者国绕这一主题，针对人JVM测试方法，通过细粒度地挖掘与分析历史揭示JVM缺陷的测试程序特体形态多变、人体所处的环境干扰严重和多重任务难协同带来的挑战开展了系性，构建代码语义理解模型，进而利用语义多样性引导生成合法且多样的新没列研究，并在行人检测、行人搜索、人体语义解析、密集人群计数等多种人体试程序。该种方式显著提升JVM测试效果与效率，已在广泛使用的JVM视觉感知任务上对研究成果进行了验证。讲者将介绍近年来在人体视觉感知领姐: HotSpot、OpenJ9、Bisheng JDK，检测到数十个真实未知缺陷域的研究工作和成果，并结合自身研究经历分享自己在科研道路上的心得体显著优于领域先进技术会。个人筒介:陈傻洁，天津大学智能与计算学部特聘研究员，博士生导师，软件个人简介:张姗姗，南京理工大学计算机学院(人工智能学院]教授、博士生工程团队负责人，国家优青项目获得者;研究方向主要为基础软件测试、可信导师，国家优青获得者。研究方向为计算机规觉，特别关注人体视觉数据分析人工智能、数据驱动的软件工程等。荣获中国科协青年托举人才、CCF优博与理解。博士毕业于锦国波恩大学，博士论文获大德语区( 德瑞奥三国)计算电子学会自然科学一等奖等奖项。近年共发表学术论文70篇，其中CCF A洪机学会最佳博士论文提名;博士毕业后曾在德国马普计算机研究所担任博士后论文50余篇，获六项最佳论文奖 ( 包括五项CCF-A类会议ACM SIGSOFT研究员。2018年入选中国科协“青年人才托举工程”微软“铸星学者”计Distinguished Paper Award，以及一项CCF-B类会议ISSRE的Best划等; 2021年获得中国国象圆形学学会石肯云女科学家奖。以第一/通讯作者Research PaperAward)。成果在华为、百度等多家知名企业落地。担身份在TPAMI、IJCV、CVPR、ICCV、ECCV、NeurIPS等顶级国际斯任CCF-A类会议ASE 2021评审过程主席，Daastuhl研讨会联合主席，以刊和会议上发表论文四十余篇，谷歌学术引用4000余次。目前担任模式识另及软件工程领域全部CCF-A类会议的程序委员会成员等。权威期刊Pattern Recognition编委、中国人工智能学会模式识别专委会哥秘书长、江苏省“社会安全国像与视频理解”重点实脸室副主任、VALSE常务领域主席。

嘉宾文明副教授

报告题目: 程序补丁的正确性验证与存在性测试报告摘要:程序自动修复技术在过去的十几年时间里吸引了来自工业界和学术界的大量关注。尽管基于鹅索的、基于语义的以及基于学习的修短方法奶黑现了不销的热果，并且工业界也开始逐渐部署相关的补丁推荐系统，已有技术都面临一个共同的挑战，即补丁的正确性验证问题。由于缺乏完备的程序规范，基于已有测试衰件来评估补丁正确性的方法往往会退成补丁过拟合问题。针对该问题，我们对已有最斯的20余种程序自动修复技术进行了系统调研与分析，部析出了过拟合补丁形成的根源，并对心了一个了正增性强近历法的有双任可同限任。至于欧听为的及现难，步能击了至于往序给传的上下又燃知的代们又更表示子引方法来能开补了正偏连强证的注能验证准确率高达了92.9%。当正确的补丁被部署到目标系统中之后，由于开源生态系统的成熟以及第三方库的广泛使用，补丁的存在性检验变得至关雨要，尤其是对于助等级高的缺陷或者漏洞。补丁的存在性检验是为了验证已知缺陷或者满洞的补丁化码在目标软件系统中是否存在。目标软件可能是源代码或者二进制，也有可能是被税消或者优化过后的程序。因此，补丁存在性的精确判定是一项十分挑战的任务。我们针对漏洞补丁的存在性测试开展了研究，抽取了基于程序路径的细粒度语义特征，大大提升了已有方法抵抗代码混淆和优化的能力，并且其抵抗能力分别达到了92.9%和87.3%个人简介:文明，华中科技大学网络空间安全学院副教授，硕土生导师。文明博土于2014年从浙江大学计算机科学与技术学院获得本科学位，2019年6月在香港科技大学计算机科学与工程学院取得博土学位，师从张成志教授。2017年7月至2018年1月，在美国加州大学戴维斯分校苏振东教授课题组担任访I者。2019年6月至2019年11月，在香港科技大学全职任职博士后研究员。2019年12月，加入华中科技大学网络空间安全学院，聘为副教授，主要聚焦软件安:软件测试与分析、以及代码大模型安全等研究，在软件工程领域累计发表了CCF-A炎推荐会议或期刊40余篇，其他高水平论文10余篇。其中，以第一作者或通讯作者身份发表和录用的CCF-A类论文共计20余骗。主持国家自然科学基金青年项目、面上项目、以及包括华为胡杨林基金系统软件专项在内的多项企业合作项目，湖北省重点研发项目等重要课稿人，以及CCF-A/B类会议题，担任了中国计算机学会系统软件、以及软件工程专委会委员。文明博士常年担任TSE，TOSEM，TDSC等CCF-A类国际期刊全国大学生ASE 2021/2023 ESEC/FSE 20222024 SANER 022SSRE 2022/2023的程序委员会委员。同时也荣获了lntern2023出论文奖、信息安全作品赛优秀指导教师奖等荣誉、以及入选了第七届中国科协青年人才托举工程计划。

主席

马胜教授

共同主席

唐博

副研究员，博士生导师

个人简介:唐博博士是南方科技大学副研究博士生导师。研究方向为数拒个人简介:国防科技大学教授，博士生导师。青年长江学者、湖南省科技创新库系统和大数据技术，2017年加入南方科技大学并创建数据库研究团队，团领军人才、湖南省杰青、湖湘青年英才。获计算机学会优秀博士论文奖、全军队研究成果一贯发表于数据工程与数据管理顶尖国际会议和期刊上(如优秀博士论文奖。获军队科技进步一等奖1项，教育部自然科学二等奖1项( 排他曾获得ACM SIGMOD中国新星奖、名1)、湖南省自然科学二等奖1项。获评校优秀教师，入选省优秀研究生导师SIGMOD，PVLDB，TKDE等荣誉。他2022年入选CCF青年团队。近年来在权威期刊或会议发表高水平论文60余篇《包括十余篇A类论三次获得华为火花奖、以及漂文》，6篇论文获顶级期刊特色论文等奖励人才