CCF@U第1129场：CCF系统软件专委走进上海第二工业大学
2024年9月11日下午，“CCF系统软件专委走进上海第二工业大学”报告活动“人工智能时代的系统软件”在上海第二工业大学计算机与信息工程学院举办。本次活动作为上海第二工业大学64周年校庆系列活动、师德师风建设月系列活动之教师赋能提升主题活动等的重要安排之一，取得圆满成功。
活动期间，CCF系统软件专委副主任、南京大学计算机学院教授许畅老师，CCF系统软件专委常委、上海交通大学计算机科学与工程系副系主任陈雨亭老师，CCF系统软件专委委员、华东师范大学软件工程学院教授苏亭老师分别做了精彩的讲座，为与会师生带来了丰富的学术盛宴。
许畅老师首先介绍了CCF走进高校的初衷与历史活动，并鼓励同学们通过专业学会多了解中国计算机技术的发展，接着做主题报告“约束检测：迈向万物互联的一致性”。报告首先介绍一致性、约束检测和软件测试的模型、思想和应用等，分析其中的发展历程和新的挑战，然后介绍如何对约束检测自身的一致性进行保障。该工作基于蜕变测试的思想，分析并提出了一系列针对约束检测实现进行有效测试的蜕变关系，通过细粒度控制和输入转换，遵循敏感性原则和多样性原则，在无需手动标注结果的前提下，实现了约束检测实现的自动化测试。最后介绍和展望可靠约束检测在各方面的应用场景。
陈雨亭老师的报告题目为“面向低内存的AI编译优化编排技术”。报告首先介绍科研界和工业界在开发优化技术方面的大量工作及如何编排这些优化技术存在的挑战——大多数编译器仍然在采用一个固定优化序列。接着介绍介绍陈老师团队近期在面向低内存的AI编译优化编排方面的突破性工作。一方面，研发针对计算图的静态内存计算技术HMCOS。另一方面，研发了用于TVM 优化序列的编排技术OPass，以降低计算图内存使用，并允许计算图在内存受限的设备上运行。最后用实验结果说明HMCOS提供了告诉的计算图调度方式，OPass大大减少计算图