9月23日，第一届可重构与智能计算论坛在 顺利召开。昆山杜克大学协理副校长李昕教授，同济大学软件学院副院长江建慧教授，东南大学李必信教授，南京大学聂长海教授，我校计算机学院副院长王勇及陈乃金教授出席本次论坛，来自计算机与信息学院十余名骨干教师代表、全体研究生成员和部分本科拔尖班学生代表参加了此次论坛。论坛由计算机与信息学院副院长王勇教授主持。
李昕教授做了题为《Robust Wafer Classification with Imperfectly Labeled Data》的主旨报告，他在报告中指出，晶片分类是半导体制造的一项关键任务。大多数传统算法都需要一个大规模的完全标记的数据集来训练准确的分类器。在实践中，通常很难甚至不可能在没有错误的情况下收集到完美的标签，并且在存在不完美标签数据的情况下，分类精度可能会显著降低。通过一些新技术，可以以促进具有噪声标签的稳健晶圆分类。这些技术可以分为三大类：（1）数据清理方法，（2）基于损失函数的方法，以及（3）互学习方法。稳健的晶圆分类的有效性已通过相关工业数据集得到了验证。
江建慧教授指出，随着计算机和软件在国民经济各行各业中的广泛应用，其可靠性问题越来越引起人们的普遍关注。江建慧教授结合同济大学软件学院相关课题组的科研工作，介绍了计算机系统和软件的故障模式及影响分析、运行时故障诊断、故障容忍、故障安全、故障测评等技术的原理、方法和案例，并讨论了这些技术当前所面临的挑战和机遇。
李必信教授以《软件架构能力提升的几个关键问题》为题，围绕软件架构（也称软件体系结构software architecture）的能力提升的几个方面展开介绍，重点介绍对软件架构的理解和做法以及企业合作应用情况。
聂长海教授指出，随着软件，特别是人工智能软件对经济和社会生活影响的日益渗透,软件测试作为软件质量保障的一个重要环节，越来越受到人们的重视：软件测试已不仅是软件人才培养的专门课程，也已成为软件产业中的一个重要职业，同时也是学术界一个热门研究领域。本报告首先分析组合测试、故障注入测试、基于搜索的测试、变异测试、蜕变测试等若干有过研究的软件测试方法所对应的科学问题（源）和针对相应科学问题而展开的研究（流）,说明该领域发展的动力,然后由此浅谈软件测试的理论、方法和未来发展趋势，特别是对人工智能软件的测试、区块链软件系统的测试等新型软件测试理论和方法的发展。
报告结束后，陈乃金教授主持了论坛闭幕式，专家们就可重构与智能计算等方面的研究、专业学习方法等方面的问题和师生们进行了交流，最后，全体与会专家及师生代表一起合影并留念。
（文：石建国；图：陈乃金、唐肝翌；审核：王勇）