“人机物”三元融合使得人与传统计算设备（“机”）和新兴物联设备（“物”）紧密互动，通过泛在智能软件将智能技术融入到各个应用场景中，为用户提供高质量的个性化服务。泛在智能软件造福广大用户的前提是“有智”且“智”得可信，建设可信的泛在智能软件已成为推动经济社会发展和产业深刻变革的关键。

可信泛在智能软件系统论坛旨在探讨该类软件系统在需求工程、软件架构设计、验证、开发流程、devops/ mlops/ mlsecops/ llmops、可信保障等方面的最新进展和发展现状。论坛汇集risc-v软件供应链、软件供应链建设、软件供应链落地实践及人工智能融合方法等的发展趋势和潮流。欢迎软件工程、系统软件、信息安全、人工智能等学科的专家和学者前来参加。

01

论坛组织委员会

刘譞哲（北京大学）

王 璐（西安电子科技大学）

万成城（华东师范大学）

陈震鹏（南洋理工大学）

娄一翎（复旦大学）

02

论坛议程

03

论坛报告嘉宾简介

王尚广

报告题目：面向卫星计算的系统软件设计与应用探索

报告摘要：

目前人类社会在自然科学上仍然没有较大的突破，“上天、入地和下海”可能是当前很多技术拓展研究和应用领域的新场景，相比“入地和下海”的需求，以卫星为代表的“上天”可能会为计算机领域的发展提供新的增长空间和应用场景。为了应对上述需求，我们近几年围绕卫星计算领域开展了多项研究探索，本次汇报主要围绕面向卫星计算的系统软件需求，以太空服务器研制为背景，介绍我们在操作系统，容器虚拟化，星地协同，大数据等方面的研究成果及心得分享。

报告人简介：

王尚广、北京邮电大学特聘教授、计算机学院（国际示范性软件学院）院长、网络与交换技术全国重点实验室副主任、国家杰出青年科学基金获得者、天算星座发起人、北邮一号卫星负责人。研究方向包括：卫星计算、服务计算、边缘智能、核心网系统、卫星操作系统等，先后主持/完成包括国家重点研发计划、国家自然科学基金重点项目在内的各类项目50余项，获得usenix atc、ieee icws等多个国际会议最佳论文奖以及中国电子学会科技进步一等奖等多项科技奖励。

刘杨

报告题目：a road towards an interaction between cyber security and aigc

报告摘要：

aigc and cyber security entails the systematic integration of security testing throughout all phases of the software development process. the objective is to automate the security expertise of human professionals by employing tools, thereby enabling early identification and resolution of security concerns during the early phase of the development life cycle. however, its effectiveness greatly relies on the capabilities of intelligent tools to simulate or potentially replace security experts. with the emergence of llm, a new means to accomplish this objective is now available. in this presentation, i will discuss recent endeavors in utilizing llm within the realm of application security, to cover the complete life cycle of the vulnerability analysis: vulnerability detection, diagnosis, poc generation and repair.

on the other hand, llm’s security is equally important to make sure the successful deployment of the ai applications. in this direction, we will demonstrate the latest research works regarding the attack surface of llm, blackbox/whitebox attack generation for prompt injection, attacks for multi-modality models, backdoor attacks, and possible defense mechanism.

finally, we are looking at the integration of the two aspects to develop an ai-enabled platform for application security analysis.

报告人简介：

刘杨博士现任新加坡南洋理工大学（ntu）计算机学院教授，ntu网络安全研究中心主任，新加坡网络安全研究办公室主任，并于2019年荣获大学领袖论坛讲席教授，在2024年荣获校长讲席教授。

刘杨博士专攻软件工程，网络安全和人工智能，其研究填补了软件分析中理论和实际应用之间的空白，研发了多款高效的软件质量和安全检测平台并成功商业化。到目前为止，他已经在顶级会议和顶级期刊上发表了超过500篇文章，并在顶级软件工程会议上获得28项最佳论文奖以及最具影响力软件奖。他还同时负责多个重要研究中心，包括新加坡网络安全研究办公室（crpo）、南洋理工大学可信ai研究中心（taicen）以及与icl合作的医疗设备安全create中心。他还获得多项著名奖项，包括msra fellowship，trf fellowship, 南洋助理教授，tan chin tuan fellowship，nanyang research award 2019， acm杰出演讲人，新加坡杰青和ntu创新者（创业）奖。

玄跻峰

报告题目：基于测试的泛在软件质量保障：实践与思考

报告摘要：

人、机、物融合的泛在软件的建模和评估极具挑战。现有的质量保障技术可以应用于泛在软件环境，但其应用受限于人、机、物融合系统的复杂性。本报告围绕泛在软件，介绍基于测试的软件质量保障技术实践及近期的浅显思考。

报告人简介：

玄跻峰，武汉大学教授、博士生导师，计算机学院副院长，ccf软件工程专委会常务委员。主要研究领域为软件分析与测试，包括软件测试调试、软件数据分析、软件系统优化等方向。担任plos one期刊编委、science china information science期刊客座编辑、第七届全国演化计算与学习会议（ecole）主席。获得acm sigsoft杰出论文奖、入选esi高被引论文。获得中国计算机学会优秀博士论文奖（ccf优博）；ieee icsme杰出服务奖；入选首批中国科协青年人才托举工程。

王竟亦

报告题目：深度学习系统的可信保障

报告摘要：

近年来，深度学习技术（如深度神经网络、大语言模型等）飞速发展且在许多领域广泛应用。然而，深度学习模型被证明存在各类安全性、公平性隐患，使其可信保障问题成为近年来软件工程学界前沿的重大基础性问题。本报告将试图阐释深度学习系统的质量保障问题，并简要介绍报告人近年来在深度学习系统鲁棒性、公平性测试及修复加固等基础问题上的相关工作。

报告人简介：

浙江大学百人计划研究员，博导。博士毕业于新加坡科技设计大学，新加坡国立大学博士后。主要研究兴趣是智能软件工程、形式化方法与安全。在多个相关领域国际顶级会议和期刊如s&p、ccs、icse、tse、fm、tacas等发表论文40余篇，获得了两次acm sigsoft杰出论文奖（icse 2018和icse 2020)，并入选acm sigsoft research highlights。担任icse、issta、issre、atva等程序委员会委员及tse、tosem、tdsc等审稿人。主持了国家重点研发子课题、浙江省 “尖兵”课题、nsfc青年基金、ccf-华为胡杨林基金、蚂蚁金服/华为产业课题等。获2024年中国指挥与控制学会科技进步一等奖。

张圣林

报告题目：运维大模型的应用和展望

报告摘要：

运用大模型解决运维难题已成为学术界和工业界追逐的热点。本报告将讨论智能运维大模型的必要性和挑战，探讨运维大模型的整体架构，介绍我们与国内外it企业合作的运维大模型案例，展望运维大模型的发展路径。

报告人简介：

张圣林，南开大学副教授、博士生导师，入选南开大学“百青计划”。主要研究方向为智能运维。在atc, www, vldb, kdd, ase, fse等国际会议和jsac, tc, tsc等国际期刊发表高水平论文60余篇。主持国家自然科学基金项目2项，横向项目14项（与华为、字节跳动、腾讯等合作）。获中国电子学会科技进步一等奖（第3完成人）、issre 2023/2018最佳学术论文奖、清华大学优秀博士学位论文、华为“最佳技术合作教授”、南开大学“良师益友”、麒麟软件“校企合作突出贡献”奖、天津市科技进步一等奖等荣誉。担任ccf a/b类国际会议程序委员会委员12次。中国计算机学会高级会员，yocsef天津ac副主席，互联网专委常委，软件工程专委、服务计算专委执行委员。

顾晓东

报告题目：大模型与代码的可信性挑战

报告摘要：

在智能化软件工程领域，大模型的应用正迅速扩展，随之而来的是软件代码可信性的严峻挑战。如何验证代码的来源？如何保护代码隐私以及如何借助大模型提升代码的可信度？本次报告将分享我们在代码大模型可信性问题上的一系列探索，包括大模型生成代码的溯源技术、针对大模型的代码隐私保护，以及运用大模型合成恶意代码样本的技术。为构建更加安全可靠的软件生态系统提供新的视角和实践方案。

报告人简介：

顾小东，上海交通大学软件学院副教授，博士生导师。长期从事智能软件工程领域的研究工作，包括代码大模型、程序自动生成、代码搜索等。在icse、fse、ase、tosem等顶级学术会议和期刊上发表学术论文30余篇，主持和参与多项国家自然科学基金、国家重点研发计划、国防课题等。并与华为、宁德时代、腾讯等企业开展广泛的产学研合作。

文明

报告题目：面向开源软件及生态的智能化安全威胁分析

报告摘要：

近年来，随着开源技术的快速发展以及开源生态系统的繁荣，开源软件已经成为构建软件信息系统的重要选择，也是当今数字经济发展的重要基础。然而，开源软件中被披露的各种安全漏洞数量一直在持续增长，对整个开源生态系统都造成了巨大的威胁。本报告将针对该问题展开深入讨论，并介绍一系列智能化安全威胁分析方法，包含面向已知开源漏洞的安全威胁评估、漏洞函数智能化定位、以及漏洞补丁代码智能化匹配等多个维度。以上研究成果陆续被软件工程领域ccf-a类会议icse、ase、issta等收录，对于维护开源软件及其生态的安全可靠性具有重要的意义。

报告人简介：

文明，华中科技大学网络空间安全学院副教授，，硕士生/博士生导师，毕业于香港科技大学计算机科学与工程学院，主要聚焦开源软件安全、基础软件测试与分析等方面研究，在软件工程领域累计发表了ccf-a类推荐会议或期刊50余篇，包括eurosys、asplos、oopsla、icse、esec/fse、issta等。主持了国家自然科学基金青年项目、面上项目、以及多项企业合作项目。文明博士担任了中国计算机学会系统软件、软件工程专委会委员、以及多项ccf-a类国际会议的程序委员会委员，并获得了“华中学者”卓越青年学者，acm 新星奖 2023（武汉分会），以及入选了第七届中国科协青年人才托举工程计划。

凌祥

报告题目：面向智能恶意软件检测模型的对抗攻击方法研究

报告摘要：

恶意软件是当前网络空间安全领域面临最严重威胁之一。为了有效且快速的检测出恶意软件，安全研究人员利用机器学习或者深度学习强大的学习能力提出并研发了大量的智能恶意软件检测模型，不仅在检测性能和效率上表现优异，而且广泛地应用于商业杀毒软件中。然而，机器学习或者深度学习已经被证明容易收到对抗攻击的影响，因此评估智能恶意软件检测模型的鲁棒性对于其可靠部署和广泛应用至关重要。本报告重点介绍一种面向智能恶意软件检测模型的实用的黑盒对抗攻击方法malguise（usenix security 2024），该方法不仅有效地评估当前智能恶意软件检测方法的安全性，还为研发更加鲁棒的智能恶意软件检测模型提供了指导建议。

报告人简介：

凌祥，现任中国科学院软件研究所副研究员，获浙江大学计算机科学与技术专业博士学位，入选中国科学院软件研究所优秀青年科技人才计划，主要研究方向为智能软件安全，主持及骨干参与国家自然科学基金青年项目、中国科学院先导项目、科技部攻关工程等重点项目，在ieee s&p、usenix security、infocom、ase、black hat asia、tifs、软件学报等国内外权威会议和期刊上发表论文近30篇，担任开放原子基金会开源漏洞共享平台工作组组长，并在cybersecurity、信息安全学报、网络空间安全科学学报等学术期刊担任青年编委。

04

论坛组织委员会简介

论坛主席：刘譞哲

个人简介：

刘譞哲，北京大学博雅特聘教授，北京大学计算机学院长聘教授，北京大学人工智能研究院双聘教授，国家杰出青年科学基金获得者，国际计算机学会（acm）杰出科学家。主要研究方向为系统软件，近年来主要研究兴趣是大规模分布式智能计算系统，包括大模型系统、泛在智能体系统、云计算系统等。在sosp/osdi/asplos/sigcomm/ nsdi/mobicom/mobisys/icse/fse/www/imc/sigmetrics等发表论文80余篇，获国际万维网大会www最佳论文奖（中国首个）、《science china information science》5年高影响力论文奖、icsoc杰出论文奖等10余次国际期刊/会议优秀论文荣誉。曾获国家技术发明一等奖、教育部“青年科学奖”、教育部科技进步一等奖等科技奖励；获ccf-ieee cs“青年科学家奖”、ieee tcsc可扩展计算职业中期卓越研究成就奖、ieee tcsvc新星奖、北京大学“十佳教师”、北京大学“教学卓越奖”等荣誉。

论坛主席：王璐

个人简介：

王璐，博士，西安电子科技大学计算机科学与技术学院副教授，博士生导师，陕西省青托、陕西省优博、西电“华山人才”，ccf 高级会员，ccf 软件工程专委会秘书、系统软件专委会执行委员，ccf 首批传播大使。主要研究方向包括微服务与云原生软件、智能化运维aiops与软件测试，主持国家自然科学基金面上项目、国防预研、中科院点亮计划、航空工业集团机载专项、航天科技集团星载专项等国家级、省部级项目20余项，在icse、fse等国内外期刊与会议上发表论文40余篇，并多个会议pc及期刊审稿人，获省部级以上教学/科技奖励3项。

论坛主席：万成城

个人简介：

万成城，华东师范大学软件工程学院研究员，博导。博士毕业于芝加哥大学计算机系。主要研究方向为智能软件系统优化和智能化软件工程。多项研究成果发表于icse、fse、tosem、dac、atc、vldb、icml等国际顶级会议和期刊。曾获siebel 学者、eecs rising star、icse的杰出论文奖等荣誉与奖项。

论坛主席：陈震鹏

个人简介：

陈震鹏，新加坡南洋理工大学研究员，英国伦敦大学学院荣誉研究员。于2016年和2021年在北京大学分别获得学士学位和博士学位。主要研究方向为软件工程、人工智能和万维网等。在icse、fse、www、tosem等ccf-a类会议和期刊发表论文30余篇，曾获www最佳论文奖（中国首个）、acm sigsoft杰出论文奖、微软学者、ccf优博、北京市优博等荣誉。研究成果被acm通讯、new scientist等媒体广泛报道。受邀担任icse、ase、www、kdd等国际会议程序委员会委员和tse、tosem、tmc等国际期刊审稿人，获得ase 2023、internetware 2024杰出程序委员会委员及tosem、tweb杰出审稿人等荣誉。

论坛主席：娄一翎

个人简介：

娄一翎，复旦大学计算机科学技术学院青年副研究员，分别于2016年和2021年在北京大学获得学士和博士学位，并曾于美国普渡大学计算机系任博后研究员。主要研究方向包括软件测试与分析、智能化软件开发等。在icse、fse、ase、issta、tse、tosem等软件工程国际高水平会议和期刊上发表论文30余篇，并多次获得acm sigsoft distinguished paper award和ieee tcse distinguished paper award。担任icse、fse、ase、issta等国际会议程序委员会委员和tse、tosem等国际期刊审稿人，以及多个会议和workshop的程序委员会共同主席（如llm4code 2024 和aiware 2025）。