2024年6月15日上午，“CCF系统软件专委走进天津大学”活动在天津大学北洋园校区智能与计算学部成功举办。活动期间，CCF系统软件专委副主任、南京大学许畅教授，CCF系统软件专委常委、北京大学李戈教授，CCF系统软件专委常委、中国科学院信息工程研究所陈恺研究员分别进行了精彩的讲座，为与会师生带来了丰富的学术盛宴。

许畅教授的报告题目为《编译器测试：找寻测试预言之路》。许畅教授首先介绍软件测试和编译器测试的基础知识。他深入浅出地分析了测试过程中的种种挑战，让参会的同学们对编译器测试有了较为全面的了解。随后，许畅教授向参会的同学介绍了其团队在SOSP’23上的最新研究成果。该工作聚焦即时编译器的测试，针对编译空间中包含的大量即时编译方式，运用交叉验证的思想，验证即时编译的正确性。具体来说，该工作利用与即时编译紧密相关的代码结构，设计了多种程序变异策略，从而触发不同的即时编译方式。许畅教授的此次讲座不仅是一次深入浅出的科普讲解，更是一次对编译器测试领域前沿探索的生动展现。

李戈教授的报告题目为《基于大模型的软件自动化》。大模型技术作为近年来软件开发领域的一股新浪潮，已经对软件开发技术产生了广泛的影响。李戈教授从大模型的基础构造过程出发，同时通过一个大模型生成操作系统的生动案例，让同学们直观地感受到大模型的强大潜力和无限可能。随后，李戈教授结合了自己的研究经历，为同学们概述基于大模型的程序理解与生成方法的研究历程和当前的发展动态，并深入探讨大模型对软件开发自动化的深远影响。在李戈教授的讲解下，同学们不仅对大模型技术有更深入的了解，更对软件开发的未来趋势和前景有更加清晰的认识！

陈恺研究员的报告题目为《智能化漏洞发现与利用》。近年来，人工智能技术在安全领域的应用愈发广泛，尤其在漏洞发现与利用方面更是展现出了很大的潜力和价值。陈恺教授作为该领域的资深专家，在本次报告中深入剖析智能化漏洞发现与利用的前沿技术和实践案例。通过这些具体的案例分析和实践演示，陈恺研究员让同学们深刻感受到人工智能技术在安全领域的效果和应用，激发了同学们对安全领域的兴趣和热情！

本次活动由天津大学智能与计算学部党委书记魏建国教授致开幕词，天津大学软件工程团队负责人陈俊洁教授主持，同时软件工程团队王赞教授、姜佳君研究员、王栋研究员等深度参与。活动期间，同学们就感兴趣的话题积极提问，展现了对系统软件领域的深厚兴趣和求知欲。该活动不仅增强了学习的互动性，也进一步激发了师生们对前沿技术的探索和思考。此次活动不仅为广大师生提供了一个了解系统软件前沿技术的宝贵机会，更促进了学术思想的交流与碰撞，进一步推动了天津大学系统软件领域的研究与发展，为培养更多优秀人才、推动科技进步做出积极贡献。