CCF@U1122：CCF系统软件专委走进榆林学院

CCF走进高校第1122场

敬请关注

由中国计算机学会（CCF）主办，CCF系统软件专委、榆林市工业和信息化局、西安交通大学、榆林学院、榆林市工业互联网协会承办的CCF走进高校活动，将于2024年8月5日在榆林学院召开，敬请关注。

活动时间：2024年8月5日（周一）14:30-18:00

活动地点：陕西省榆林市榆林学院逸夫楼一楼报告厅

报告信息：

报告题目：约束检测：迈向万物互联的一致性

报告摘要：这是一个关于用约束检测实现一致性的科普报告。首先我们介绍一致性、约束检测和软件测试的一般知识（模型、思想和应用等），分析其中的发展历程和新的挑战，然后汇报我们的SANER’24工作。该工作着眼于各类约束检测技术，其在保障运行在动态变化环境中的智能适应软件的可靠性上扮演着重要作用，也可被广泛用于保障软件构件在开发和演化过程中的一致性。当前，虽然研究界已经提出并实现了各种高效和可扩展的约束检测技术，但由于其固有的测试预言问题，即无法有效确认在给定任意数据和一致性约束情况下的检测结果应该是什么，这些实现远未经过充分测试。对此，我们基于蜕变测试的思想，分析并提出了一组针对约束检测实现进行测试的蜕变关系，通过细粒度控制和输入转换，以敏感性原则和多样性原则，在无需任何手动标注的前提下，实现了约束检测实现的系统测试。实验表明，该方法可有效发现约束检测实现的深层软件缺陷，揭示了80％的变异错误和多个隐藏多年的真实缺陷。最后，我们介绍和展望可靠约束检测在各方面的应用场景。

嘉宾简介：

许畅，南京大学计算机学院教授、博士生导师，国家级人才计划入选者，ACM杰出会员、CCF系统软件专委副主任。从事开放环境软件质量保障理论、方法与技术研究，在TOSEM、TSE、ICSE、ESEC/FSE和《中国科学》等国内外重要期刊和会议上发表论文多篇，曾获ACM SIGSOFT杰出论文奖四次、国际会议最佳论文奖三次、国家科技进步二等奖、CCF青年科学家奖和中创软件人才奖等。

报告题目：新AI时代的编译系统研究

报告摘要： 编译系统是连接硬件和软件的核心系统软件。随着以大模型为标志的人工智能技术的演进，编译系统面临全新的机遇和挑战。在本报告中，我们首先讨论AI4Compiler，探讨人工智能为解决编译系统发展带来的新机会和研究问题。其次，我们将从Compiler4AI的视角，探讨编译系统为人工智能发展提供的技术支撑。

嘉宾简介：

江贺，教授、博导，大连理工大学人工智能大连研究院院长，全国编译技术虚拟教研室副主任委员。研究兴趣为软件开发工具和环境，面向通用、内嵌式和场景编译系统开展了设计、实现、优化、测试等系列工作，在航空航天、自动驾驶等领域广泛应用。主持国家自然科学基金重点项目、重点研发课题等10多项课题，在ACM/IEEE汇刊, 中国科学等期刊及ICSE, FSE等国际会议发表论文70余篇。获国家优青、CCF优博指导教师、NASAC青年软件奖、辽宁省自然科学二等奖、国际软件工程大会ACM SIGSOFT 杰出论文奖等。

报告题目：Asynchronous Control and Filtering of Markov Jump Systems

报告摘要：The issues of asynchronous control and filtering are addressed for Markov jump systems. The asynchronization phenomenon appears between the system modes and controller modes, which is described by a hidden Markovian model (HMM). Accordingly, an HMM is used to name the resultant closed-loop system. By utilizing the matrix inequality technique, necessary and sufficient conditions are obtained, which can guarantee the hidden Markov jump systems to be stochastically stable. Based on the established conditions, the design of asynchronous controller, which covers the well-known mode-independent controller and synchronous controller as special cases, is addressed. The results on asynchronous filtering are also established for complex Markov jump systems.

嘉宾简介：

吴争光，浙江大学长聘教授/求是特聘教授，博士生导师，在2019年和2022年分别入选国家“万人计划”青年拔尖人才和科技创新领军人才。主要开展Markov跳变系统、网络化系统与智能电网的研究。主持国家自然科学基金重点项目两项。自2014年起连续入选Elsevier中国高被引学者，自2017年起连续入选Clarivate Analytics全球高被引科学家。在IEEE系列汇刊和Automatica上发表（含录用）论文200余篇，论文引用2万多次，2篇论文入选中国百篇最具影响国际学术论文（2013年和2014年）。曾获得IEEE SMC学会2022年 Andrew P. Sage Best Transactions Paper Award、多项省部级和中国自动化学会科学技术一等奖，担任多个学术期刊编委。指导的学生两次获得中国自动化学会优秀博士学位论文奖（2021年和2022年）。

CCF微信公众号，欢迎关注