亚洲情色 2024 CCF中国软件大会操办责任鼓吹系列【十二】：并行论坛巡礼之“SE4AI：面向东说念主工智能的软件工程格局与时期论坛”
跟着东说念主工智能时期的赶紧发展，软件工程正资历着前所未有的变革。畴昔稳固发展的东说念主工智能和软件工程两个学科，正逐渐走向交织并形成新的盘考规模。跟着AI时期的崛起，咱们见证着软件工程技能的变革亚洲情色，同期也在面对着其所带来的问题和挑战。
SE4AI（Software Engineering for Artificial Intelligence）主要波及冒昧东说念主工智能实质诈欺的挑战所需要的软件工程格局与时期。SE4AI提供了一个框架，确保AI系统的开荒和珍贵过程中大概诈欺软件工程的原则和最好实践，使得AI系统既能知足功能需求，又具有高度的可靠性、可珍贵性和可扩张性。跟着AI时期的不休越过和诈欺的不休扩张，SE4AI的盘考和实践将对确保AI系统的质地和可靠性阐扬环节作用，同期推动AI时期的健康发展和日常诈欺。
论坛要点体恤冒昧东说念主工智能实质诈欺的挑战时可能遴荐的时期和格局，以及东说念主工智能和软件工程交叉规模的表面、时期或实验等方面革命性、糟塌性的高水平盘考后果，琢磨其产业界的诈欺案例与发展出路。接待软件工程、信息安全、东说念主工智能等学科的民众和学者以及所有感趣味趣味的同业们前来干与。
01
偷拍英文论坛组织委员会
邢颖（北京邮电大学）
石川（北京邮电大学）
张涛（澳门科技大学）
孙小兵（扬州大学）
李戈（北京大学）
02
论坛议程
03
论坛汇报嘉宾简介
沈超
汇报题目：AI测评与建筑：从智能到智能供应链安全
汇报摘抄：
跟着智能化及大模子软件与系统的蕃昌发展，其依靠的智能供应链安全隐患日益突显。关联词，传统测评格局无法有用冒昧复杂安全挑战时。举例，决策机理的不透明性导致模子解释性差，高置信度下的过失闪现了系统在环节任务中的脆弱性。本汇报将从智能供应链的组件结构开拔，从底层智能组件到表层任务数据，围绕守密性、完好性与诡秘性的安全维度，全经由分析智能供应链安全与诡秘保护所濒临的安全隐患和挑战。本汇报聚焦于智能供应链底层框架的间隙发掘、智能模子的评估建筑、模子分发的质地测试、智能软件的安全攻防、以及任务数据的生成筛选。旨在发现并分析智能供应链安全和诡秘风险，推动智能化及大模子软件系统的安全诈欺与可捏续发展。
汇报东说念主简介：
沈超，西安交通大学东说念主才办副处长、二级解说，培植部长江学者特聘解说，培植部革命团队谨慎东说念主，信息物理系统培植部工程中心主任，国度优秀后生科学基金获取者，国度要点研发野心首席科学家，国防基础加强野心首席科学家，要点研发野心“先进忖度与新兴软件”要点专项指南民众构成员。主要从事智能系统委果、安全、戒指与测试的盘考责任，发表安全四大、AI、戒指等规模刊物180余篇，获最好论文奖9次。牵头获2项省部级科学时期一等奖、科学探索奖、达摩院青橙奖、霍英东后生西宾一等奖、MIT TR35 China、IEEE SMC Early Career Award等。主捏国度首要、要点、国外(地区)联结等名堂30余项，制定国表里要领5项，多份建言被中央办公厅等袭取。担任IEEE TDSC、TCYB汇刊等10余个国外期刊编委、IEEE Xi'an SMC&CS主席、ACM SIGSAC China副主席、中国东说念主工智能学会组织工委副主任等。
裴丹
汇报题目：智能化软件中的时辰序列智能
汇报摘抄：
在“软件界说一切”时期，智能化软件环节挑战之一是何如有用聚拢“白盒”的软件与“黑盒”的东说念主工智能。时辰序列智能，算作感知、瓦解真正天下的开动气象、并决策的通用东说念主工智能时期的一部分，是处治上述挑战的一个环节时期。可是，它具有多规模、多任务（展望、极度检测、分类、因果推断等）、多细分模态（一元、多元、图结构、表结构等）的特色，对传统时序机器学习格局带来广大挑战亚洲情色，导致其在施行中通常无法即插即用、落地贫寒。本汇报将共享软件工程规模的时辰序列智能“小模子”和基础模子的近期盘考进展和落地诈欺，并琢磨何如试验面向通用规模的、即插即用、低老本推理的时辰序列基础模子，以更好支捏“软件界说一切”。
汇报东说念主简介：
裴丹，清华大学忖度机系长聘副解说、博士生导师。主要盘考标的是基于机器学习的智能运维（AIOps)和收集时辰序列智能。在智能运维规模发表了200余篇学术论文和30多项专利授权，Google学术援用过万次。获中国电子学会科技越过一等奖。他是CCF国外AIOps挑战赛的创办者和CCF OpenAIOps社区发起东说念主，其中挑战赛已成效举办七届。担任忖度机收集规模旗舰期刊IEEE/ACM Transactions on Networking 编委，并曾担任IEEE忖度机收集规模旗舰会议ICNP 2022的时期要道委员会主席。
黎立
汇报题目：大模子推理优化初探
汇报摘抄：
诳言语模子受到学术界和工业界的日常体恤，在多数规模展现出超强的后劲并被日常诈欺。关联词，诳言语模子的落地诈欺受到其较大的挑战，尤其是在推理侧濒临推理资源支出为止、推理时延为止、安全风险等问题。本次共享从软件工程格局角度动手，琢磨处治前述挑战问题的前沿想路，共享普及大模子推明智商的初步实践收场。
汇报东说念主简介：
黎立，北京航空航天大学解说，国度级后生东说念主才，荣获2024IEEE TCSE新星奖（首位华东说念主），2023年ACM北京新星奖，2023年MSR Ric Holt后生盘考确立奖，2020年澳大利亚优秀后生盘考奖（DECRA），曾被评为寰球前三最具影响力的后生软件工程盘考东说念主员。盘考趣味趣味为智能要道分析与出动软件工程，累计发表高水平期刊融会论说文150余篇，谷歌学术援用超8500次（H-index为46），获取最好/凸起论文奖励10项，包括2项ACM SIGSOFT凸起论文奖、2项IEEE TCSE凸起论文奖、1项ACM SIGPLAN凸起论文奖等。受邀担任中科院一区期刊（ACM Computing Survey）编委以及包括TOSEM、TSE、ICSE、ESEC/FSE、ASE、ISSTA在内的CCF A类期刊和国外会议的审稿东说念主，屡次受邀在国外会议上作特邀汇报。
陈俊洁
汇报题目：深度学习系统回首过失的检测与建筑
汇报摘抄：
与传统软件开荒相似，深度学习系统的开荒相通是一个捏续不休的过程。开荒者需要不休迭代升级系统，以知足日益增长的用户需求并不休适配新的诈欺场景，这一过程也被称作软件系统的演化。深度学习系统的演化仍是成为常态，值得肃肃的是，在演化过程中也有可能引入回首过失，从而影响模子的性能。回首过失频繁被开荒者忽视，却有可能变成严重的影响。针对这一问题，高效地检测并建筑深度学习系统在演化过程中引入的回首过失至关遑急。基于此，本次汇报将先容深度学习系统的演化以及回首过失联系内容，涵盖深度学习系统的回首过失检测时期DRFuzz，以及回首过失建筑时期FeaProtect。
汇报东说念主简介：
陈俊洁，天津大学智能与忖度学部解说，软件工程团队谨慎东说念主，博士生导师，国度优青名堂获取者，博士毕业于北京大学；盘考标的主要为基础软件测试、委果东说念主工智能、数据驱动的软件工程等；入选中国科协后生东说念主才托举工程、斯坦福大学发布的寰球前2%顶尖科学家年度榜单，荣获CCF优博、电子学会当然科学一等奖、六项最好/凸起论文奖等奖项；后果在华为、百度等多家有名企业落地；担任CCF系统软件专委常委，CCF 218club副主席，CCF 118club实践委员，以及CCF-A类会议ASE评审过程主席，ICSE、FSE、ASE、ISSTA等顶会PC。
黄延胜
汇报题目：大模子的测试与测评
汇报摘抄：
跟着东说念主工智能的发展，万般大模子层出叠现，智商也各有千秋，何如评估这些大模子的智商是一个行业里宽阔喜欢的问题。海表里有十分多的测试测评器具，智商各有不同，枯竭要领与明晰的定制体系。本汇报将先容行业里流行的大模子测试测评体系，先容其中的数据珍贵、考据要领和优流毒。并忽视一种通用的大模子测试测评格局与器具。汇报将对大模子的测试测评格局进行总结，并忽视纠正的想象有筹划，匡助行业愈加准确的完成大模子系统的测试与测评。
汇报东说念主简介：
黄延胜，霍格沃兹测试开荒学社首创东说念主，测吧（北京）科技有限公司CTO。15年以上软件测试从业训诲的，先后责任于阿里巴巴、百度等名企。主要盘考标的为自动化测试、AI测试诈欺、AI系统测试。在公司里面谨慎开荒自动化测试智能体、AI测试平台、AI测试测评体系，所开荒的有筹划在多家公司完成了名堂诈欺并获取了精致的效果。
邢颖
汇报题目：大模子安全评估时期盘考：从教导词迂回激发的大模子系统及诈欺安全风险
汇报摘抄：
跟着大模子的快速发展，教导词算作大模子的输入神志，成为盘考要点。构造好的教导词，不错普及大模子使用效果，使大模子大概更好的完成特定任务。关联词，迂回者通过用心想象坏心教导词，不错指点大模子输出不正确或不妥当的内容，影响集成大模子的诈欺要道正常开动，致使会线路遑急数据，影响系统安全。因此，通过教导词对大模子进行安全测评很有必要。本汇报将共享通过系统性地构建安全风险教导词，进行大模子安全评估的盘考进展，并琢磨何如有用评测大模子面对坏心教导词时的安全性，从而发现大模子濒临的安全问题，促进大模子安全性的普及。
汇报东说念主简介：
邢颖，北京邮电大学副解说、博士生导师，CCF高等会员、软件工程专委会实践委员。主要盘考标的为软件质地保证、收集空间安全、东说念主工智能安全。主捏国度当然科学基金、CCF-绿盟科技“鲲鹏”科研基金名堂偏激他部委名堂多项，并承担了多个国度要点研发野心、国度当然科学基金等国度及省部级名堂，请求专利10余项，出书专著《源代码分析》、《面向对象软件工程》等。在信息安全和东说念主工智能规模有名期刊融会议上发表论文80余篇。2022、2023先后在中国软件大会“面向可解释东说念主工智能的软件工程格局与时期”、“生成式AI与软件自动化”论坛担任主席。
04
论坛组织委员会简介
论坛主席：邢颖
个东说念主简介：
邢颖，北京邮电大学副解说、博士生导师，CCF高等会员、软件工程专委会实践委员。主要盘考标的为软件质地保证、收集空间安全、东说念主工智能安全。主捏国度当然科学基金、CCF-绿盟科技“鲲鹏”科研基金名堂偏激他部委名堂多项，并承担了多个国度要点研发野心、国度当然科学基金等国度及省部级名堂，请求专利10余项，出书专著《源代码分析》、《面向对象软件工程》等。在信息安全和东说念主工智能规模有名期刊融会议上发表论文80余篇。2022、2023先后在中国软件大会“面向可解释东说念主工智能的软件工程格局与时期”、“生成式AI与软件自动化”论坛担任主席。
论坛主席：石川
个东说念主简介：
石川，北京邮电大学忖度机学院解说、培植部长江学者特聘解说。主要盘考标的: 数据挖掘、机器学习、东说念主工智能和大数据分析。近5年以第一作家或通信作家在CCF A类期刊融会议发表论文60余篇，中英文专著六部，连气儿入选爱想唯尔高被引学者；授权发明专利30余项，联系盘考后果诈欺于阿里、蚂蚁、腾讯、华为、好意思团等公司。盘考后果获取电子学会科技越过一等奖和北京市当然科学二等奖等奖项。
论坛主席：张涛
个东说念主简介：
张涛博士，澳门科技大学忖度机科学与工程学院副解说、ACM/IEEE/CCF高等会员，粤港澳高校区块链定约布告长。主要盘考标的包括智能化软件工程、软件安全、智能合约间隙检测等。发表论文100余篇，论文谷歌学术援用越过2600次，H指数为30。主捏国度当然科学基金、澳门科学时期发展基金等多个名堂。担任软件工程规模有名国外会议SANER 2023的大会主席和Internetware 2024的要道委员会主席。担任软件工程规模巨擘国外期刊TSE， EMSE， JSS，SCP的编委。担任软件工程规模四大顶级会议（即ICSE， FSE， ASE，ISSTA）的常驻要道委员会委员。
论坛主席：孙小兵
个东说念主简介：
孙小兵，博士，解说，博士生导师。现任扬州大学信息工程学院（东说念主工智能学院）院长。中国忖度机学会软件工程专科委员会实践委员，江苏省东说念主工智能学会常务理事，江苏省东说念主工智能学会常识工程与智能职业专委主任。盘考趣味趣味包括智能软件工程、软件与智能安全等。主捏国度及部省级万般课题10余项，在ICSE、S&P、TOSEM、TDSC等会议和期刊上发表论文100余篇。联系后果获培植部当然科学二等奖等，承担的名堂获蚂围聚团科研后果优秀诈欺名堂奖，入选江苏省“333”工程中后生科学时期带头东说念主，巴渝学者讲座解说等。担任ICSE、FSE、AAAI等会议要道委员会委员。
论坛主席：李戈
个东说念主简介：
李戈，CCF凸起会员，北京大学忖度机学院长聘解说（博雅特聘解说）亚洲情色，培植部长江学者，博士生导师，软件与微电子学院软件工程与数据时期系主任，中国忖度机学会（CCF）软件工程专委会副主任，CCF系统软件专科委员会常委，CCF大模子论坛常委。盘考标的：软件工程、东说念主工智能、智能化软件开荒。国外上 “基于深度学习的要道相连与生成”的前驱性盘考者，多项后果被国外学者觉得是“始创性后果”并被日常援用。所率领的盘考团队在多项盘考任务中一直保捏着国外最初收场，是该规模国外有名的盘考团队。