西安市智能软件工程重点实验室围绕软件工程学科内涵，以智能的软件工程和智能软件的工程为主要研究内容，致力于提升软件设计、实现、运维等环节的智能化水平，突破面向特定行业和领域的智能软件关键技术，拓展“智能软件 x”前沿交叉研究及领域应用。同时，结合西安市“硬科技之都”建设和软件相关产业发展需求，着力于智能软件工程技术落地与自主可控系统研发。为紧跟智能软件工程学术发展前沿，加强软件工程领域青年教师学术交流，促进实验室高质量学术梯队建设，进而推动我校软件工程学科持续发展，智能软件工程重点实验室主任李青山教授特此邀请华东师范大学万成城副教授到访实验室开展学术报告，报告将于2024年1月19日上午10点通过线下形式开展。

一、报告安排

报告时间

2024年1月19日10点

报告地点

西安电子科技大学网安大楼a1-623

二、报告内容

报告简介

软件是人工智能的使能和应用支撑技术，集成了人工智能组件的软件被称为智能化软件。然而，由于人工智能组件往往缺乏明确的、详尽的高质量的接口规范，智能化软件开发面临着巨大的集成挑战。即使软件各组件均被正确实现，当人工智能组件的输出与软件不兼容时，仍可能导致严重的故障。针对这一问题，在软件层面，我们提出了一种智能化软件的运行时故障修复方法smartgear,它在人工智能组件和软件之间增加了一个中间层，在运行时动态地对人工智能组件的输出进行自动化检测和兼容适配，从而避免集成故障的发生。在人工智能组件层面，我们提出了一个全新的人工智能接口框架chameleonapi，它自动化地分析人工智能模块的输出如何影响软件决策过程，并通过低开销的微调技术对人工智能算法进行本地化定制。针对开源软件的实验结果表明，smartgear和chameleonapi在不修改修改软件代码的同时，能有效地改善智能化软件质量，减少潜在故障。

报告人简介

万成城，华东师范大学软件工程学院副教授。2022年在芝加哥大学计算机系获博士学位。主要研究方向为智能软件系统优化。多项研究成果发表于icse、fse、tosem、dac、atc、vldb、icml等国际顶级会议和期刊。曾获siebel 学者、eecs rising star、icse的杰出论文奖等荣誉与奖项。报告人凯发k8登录主页：https://chengcheng-wan.github.io