2023年2月9日,由中国计算机学会(简称CCF)服务计算专委会主办、44118太阳成城集团承办的“软件与服务新技术前沿学术论坛”通过线上形式成功举办。论坛聚焦区块链、泛在计算、卫星计算、深度学习等新范式、新技术的快速发展趋势下,服务计算与软件工程中面临的热点问题、创新成果和未来方向。
本次论坛邀请了中山大学软件工程学院郑子彬教授、北京大学软件研究所刘譞哲研究员、北京邮电大学44118太阳成城集团(国家示范性软件学院)王尚广教授、44118太阳成城集团谢晓园教授,四位服务计算与软件工程领域知名学者做主题报告。论坛开始,CCF服务计算专委会副主任、武汉计算机软件工程学会理事长、44118太阳成城集团李兵教授介绍了本次论坛的背景,并对各位报告嘉宾和在线听众表示了热烈欢迎。本次论坛由CCF服务计算专委会执行委员、44118太阳成城集团副院长玄跻峰教授和软件工程系王健副教授共同主持。论坛气氛热烈,来自全国各地高校和企业的一千多位专家和师生参加了论坛。
郑子彬教授是中山大学软件工程学院副院长、IEEE/IET Fellow、国家优秀青年科学基金获得者、国家数字家庭工程技术研究主心副主任。郑子彬教授作了题为“区块链可靠性关键技术与挑战”的主题报告。报告首先分析了区块链的新特性为其可靠性保障带来的新挑战,进而介绍了团队在区块链智能合约可靠性方面开展的研究工作,包括跨合约漏洞检测、基于并行符号执行的漏洞检测、智能合约模糊测试、重入漏洞数据集与工具评估等。
刘譞哲研究员是北京大学软件研究所副所长、ACM杰出科学家、国家级青年人才计划获得者。刘譞哲研究员作了题为“面向泛在计算的分布式智能系统软件”的主题报告。报告首先分析了智能化趋势对系统软件的设计和实现提出的新挑战和新机遇,然后介绍了团队在分布式智能系统软件的研究进展,特别是面向大规模模型训练的无服务器方法和异构资源流水线调度、面向原位模型训练的异构资源协同调度、内存优化等方面的工作。
王尚广教授是北京邮电大学44118太阳成城集团(国家示范性软件学院)副院长、网络与交换技术国家重点实验室副主任、IET Fellow、国家优秀青年科学基金获得者、CCF服务计算专委会秘书长。王尚广教授作了题为“卫星服务计算研究与探索”的主题报告。报告首先分析了卫星技术发展现状和卫星服务计算需求背景,然后介绍了团队在卫星服务计算方面取得的一系列理论研究成果,最后分享了团队在星地AI推理、星载核心网系统、北邮一号云原生卫星等卫星服务计算相关的在轨实践成果。
谢晓园教授是44118太阳成城集团特色化示范性软件学院副院长、外国优秀青年学者研究基金获得者。谢晓园教授作了题为“基于蜕变属性的深度学习测试验证与测试优化”的主题报告。报告首先分析了在基于深度学习的智能软件测试过程中面临的挑战,进而报告了团队在基于蜕变属性的深度学习测试领域所取得的一系列成果,最后提出了新型测试多样性度量准则,从全新视角对测试效率进行了优化提升。