近年来，区块链、大模型等新型软件得到了快速的发展，诸多应用也已被应用在了诸如金融、医疗、软件开发、供应链等各个领域。然而新型软件的复杂性和动态性，使得其可靠性成为了研究和工业界关注的焦点。本论坛重点探讨区块链、大模型、云软件等新型软件的可靠性问题，包括新型软件中的软件测试、缺陷检测、监控、安全性分析等。论坛汇集软件工程、人工智能、网络安全等领域的多位专家学者共同讨论该领域的最新研究进展和成果，进一步推动新型软件的发展。提升新型软件的可靠性对于保障软件安全、信息安全、交易安全等具有重要意义。欢迎智能软件、软件可靠性、软件安全、人工智能等学科的专家和学者前来参加。
01
论坛组织委员会
郑子彬（中山大学）
michael r. lyu（香港中文大学）
李戈（北京大学）
王焱林 （中山大学）
02
论坛议程
03
论坛报告嘉宾简介
张芮恺
报告题目：ai辅助研发工具链与应用开发平台的进展、架构及安全挑战
报告摘要：
本报告详细介绍了ai辅助研发工具链和ai应用开发平台的业务功能、使用进展、架构设计，以及安全架构的设计与实施。同时，探讨了基于大模型的ai工具链和平台在安全方面面临的挑战，为ai研发提供了全面的技术视角和安全考量。
报告人简介：
张芮恺，华为智能化产品专家，2018年获得香港中文大学博士学位，2020年入职华为云，从事研发智能化相关研究和产品孵化。
刘烃
报告题目：协同演化—系统软件生态建设思考
报告摘要：
安卓系统与其凯发网址的合作伙伴在十多年的持续升级中，逐渐形成了“协同演化”体系，本报告回顾安卓及其合作厂商在升级过程中的技术和经验，分析上下游软件升级演化中面临的架构理解、冲突消除等痛点问题，讨论我国系统软件生态建设过程中上下游厂商的协作方式。
报告人简介：
刘烃，博士，教授，西安交通大学网络空间安全学院副院长。主要研究方向包括信息物理融合系统综合安全和软件安全。2003年和2010年分别获西安交通大学学士和博士学位；2016-2017年美国康奈尔大学访问教授。主持国家自然科学基金重大项目课题、重点项目、重点研发计划课题等科研项目30余项；发表高水平论文100余篇，获得2019 infocom、2016 issre等会议最佳论文奖7项；获得2017年国家科技进步二等奖，以及2022年教育部自然科学一等奖等省部级科技奖励6项；获得国家青年人才、陕西青年科技奖等荣誉。
彭鑫
报告题目：软件定义汽车发展趋势及质量保障挑战
报告摘要：
智能汽车电子电气架构正在逐渐向集中式和车路云一体化发展，软件定义汽车正在逐渐变成现实。包含操作系统、中间件、功能软件等在内的计算基础平台已经成为实现智能驾驶、智能座舱等智能化目标以及相应的新型产业生态的关键支撑。软件正在逐渐成为驾驭复杂性、重构整车架构的重要手段以及智能汽车价值实现的主要因素。在此基础上，智能汽车软件还在逐渐向服务化以及云原生化的方向发展。汽车领域传统的以硬件为主的供应体系正在向以软件为主的交付体系演变。然而，智能汽车高度的复杂性以及在可靠性、安全性等方面的高要求使得软件定义汽车也面临着巨大的技术和生态挑战。本次报告将在介绍软件定义汽车发展趋势的基础上，针对其中操作系统、中间件和应用层测试与验证等方面所面临的问题和挑战进行初步分析。
报告人简介：
彭鑫，复旦大学计算机科学技术学院副院长、教授，教育部长江学者特聘教授。中国计算机学会（ccf）杰出会员、软件工程专委会副主任、开源发展委员会常务委员，中国汽车工程学会汽车基础软件分会副主任，《journal of software: evolution and process》联合主编（co-editor），《acm transactions on software engineering and methodology》、《empirical software engineering》、《automated software engineering》、《软件学报》等期刊编委。2016年获得nasac青年软件创新奖，2023年入选上海市东方英才拔尖项目。主要研究方向包括软件智能化开发、云原生与智能化运维、泛在计算软件系统、智能网联汽车基础软件等。研究工作多次获得ieee transactions on software engineering年度最佳论文奖、icsm最佳论文奖、acm sigsoft杰出论文奖、ieee tcse杰出论文奖等奖项。担任2022年与2023年ccf中国软件大会（chinasoft）组织委员会主席与程序委员会共同主席，以及icse、fse、ase、issta、icsme、saner等会议程序委员会委员。
康昱
报告题目：基于大模型的云计算智能故障管理
报告摘要：
尽管在自动化故障管理方面取得了进展，但关键和复杂的故障往往难以通过自动化手段解决，仍需要人工干预。我们dki cloud intelligence/aiops研究团队多年来始终致力于利用ai技术来增强整个云计算服务质量，提升故障管理效能。大型语言模型（large language model, llm）在许多自然语言处理任务中展现了强大的能力，作为一个持续发展的趋势，它将重新定义我们的思维和工作方式。近年来我们也利用llm帮助云计算日常故障管理。在本次演讲中，我们将首先展示llm在aiops场景中的局限性。接着，我们会介绍我们用来弥补云使用和基础llm之间差距的创新框架。最后，我们将详细讲解如何利用llm增强整个故障管理生命周期，包括故障监测、评估、诊断、分诊和缓解。我们的方法在实际应用中已被证明有效，显著提升了微软在线服务的可靠性。
报告人简介：
康昱，微软dki（数据，知识，智能）团队的首席研究员。他还是复旦大学计算机科学学院的行业硕导。此外，他还是香港中文大学的名誉副研究员。他专注于为智能云服务提供数据驱动的智能化技术。他的研究将人工智能，大数据和云计算相结合，在云计算运行过程中产生的大数据上应用人工智能技术。他在软件工程（se）领域的顶级会议上发表过论文。他曾担任过多个产业和研究项目的负责人，包括国家自然科学基金（nsfc）项目。自2018年加入微软后，他参与并领导多个研究项目以提高云服务质量（例如可靠性、性能、软件开发质量）。这些研究技术已经融入了基础云平台服务，支持所有微软在线服务，包括azure，m365，teams等。
辛奇
报告题目：面向具有更好实用性的自动程序修复
报告摘要：
自动程序修复技术旨在无人为干预的情况下，自动修复软件漏洞，极大程度节约开发人员的时间和精力，提升软件的质量和可靠性。尽管有着较好的应用前景，当前的自动修复技术尚未在实际软件调试中发挥积极作用。这是由于它们大多依赖于较完备的测试用例集来制作修复补丁，有着较慢的修复速度，并且只能处理较简单的单位置漏洞。为推动具有更好实用性的程序修复，以辅助开发人员有效完成软件调试，报告人将重点介绍两项近期研究工作：（1）基于ide的交互式快速修复技术rose；（2）面向多位置不可分割漏洞的修复调研。最后，报告人将给出提升自动程序修复实用性的思考和展望。
报告人简介：
辛奇，武汉大学计算机学院副教授，博士生导师。研究领域为软件工程，方向为软件测试与调试、软件优化、程序分析。在相关领域发表论文20余篇。主持国家自然科学基金青年项目。入选湖北省创新人才计划，华为人才计划，获得过包括 acm-wuhan新星、武汉英才、武汉软件工程学会青年才俊等奖项。担任ccf系统软件专委会执行委员，icse、fse等会议程序委员会成员，tse、tosem等期刊审稿人，以及ause期刊特刊编辑。
王焱林
报告题目：trustedgpt：构建可信大模型评测平台
报告摘要：
随着大模型在各行各业的广泛应用，评估其可信性变得尤为关键。可信性评估不仅涉及模型的性能和安全性，还包括其对社会的影响和合规性。我们研发了trustedgpt评测平台，采用多维度、深度且适应性强的评测方法，从不同方面对大模型进行细致评估。基于这些评估，我们发布了大模型评测榜单，旨在为行业提供一个公正、透明的参考标准。我们的评测覆盖了30多个国内外主流大模型。报告还将介绍我们在代码智能子领域构建的几个关键数据集，包括代码翻译、演化感知的代码生成和代码搜索等，旨在推动llm在代码智能方面的研究和评估。
报告人简介：
王焱林，中山大学软件工程学院助理教授，2022年入选中山大学“百人计划”。2019年博士毕业于香港大学计算机系，2019~2022年在微软亚洲研究院任研究员、主管研究员。主要研究领域为智能软件工程，包括代码搜索、代码摘要、代码生成等。已在icse、issta、aaai、acl等软件工程及人工智能领域的高质量会议和期刊上发表三十余篇学术论文，获得了两次acm sigsoft杰出论文奖。在多个国际学术会议如icse，issta，fse industry等担任程序委员会委员，是tosem，tse，jss，emse等期刊的审稿人。
04
论坛组织委员会简介
论坛主席：郑子彬
个人简介：
郑子彬教授，中山大学软件工程学院副院长、中山大学计算机学院教授、ieee fellow、iet fellow、acm杰出科学家、全球高被引科学家、国家优秀青年科学基金获得者、国家数字家庭工程技术研究主心副主任、区块链与可信软件研究中心主任。主要研究方向包括区块链可靠性分析、智能合约漏洞挖掘、软件工程、程序分析等。发表论文200余篇，论文谷歌学术引用超过25,000次，h指数为74。主持国家重点研发计划项目、自然科学基金重点项目等多个项目；获得教育部自然科学二等奖、 吴文俊人工智能自然科学二等奖、 acm中国新星提名奖、ieee tcsvc rising star award、ccf服务计算专委会杰出青年奖、acm sigsoft distinguished paper award、icws最佳学生论文奖等奖项；担任tosem、tvt、ojcs等期刊的副编辑。
论坛主席：michael r. lyu
个人简介：
michael r. lyu教授，香港中文大学计算机科学与工程系教授、ieee fellow、acm fellow、hkaes fellow、aaas fellow、croucher senior research fellow。研究方向包括软件工程、可靠计算、分布式系统、云计算、移动网络、大数据和机器学习。参与相关领域的30多个工业项目并开发了许多商业系统和软件工具。发表论文700余篇，谷歌引用超过54,000次，h指数为115。发起第一届软件可靠性工程国际研讨会 (issre)。担任期刊ieee transactions on reliability、ieee transactions on knowledge and data engineering、ieee transactions on servicescomputing 和 journal of information science and engineering 等的副主编。担任期刊ieee access、wiley software testing、verification and reliability journal (stvr) 和 acm transactions on software engineering methodology (tosem) 等的编委会成员。
论坛主席：李戈
个人简介：
李戈，北京大学长聘教授，博雅特聘教授，博士生导师，教育部长江学者，北京大学软件与微电子学院软件工程与数据技术系主任，中国计算机学会（ccf）软件工程专业委员会副主任，系统软件专业委员会常委。研究方向：智能化软件开发、智能化系统关键技术、深度学习，是国际上 “基于深度学习的程序理解与生成”的先驱性研究者，在软件工程与人工智能领域的国内外顶级会议与期刊发表论文百余篇，多项成果被国际学者认为是“首创性成果”并被广泛引用。所带领的研究团队在该领域的多项研究任务中一直保持着国际领先成果，是该领域国际知名的研究团队。
论坛主席：王焱林
个人简介：
王焱林，中山大学软件工程学院助理教授，2022年入选中山大学“百人计划”。2019年博士毕业于香港大学计算机系，2019~2022年在微软亚洲研究院任研究员、主管研究员。主要研究领域为智能软件工程，包括代码搜索、代码摘要、代码生成等。已在icse、issta、aaai、acl等软件工程及人工智能领域的高质量会议和期刊上发表三十余篇学术论文，获得了两次acm sigsoft杰出论文奖。在多个国际学术会议如icse，issta，fse industry等担任程序委员会委员，是tosem，tse，jss，emse等期刊的审稿人。
