南开新闻网讯（通讯员 范玲玲 过辰楷）12月1日，由南开大学网络空间安全学院、计算机学院主办的“软件与系统研究前沿论坛”在南开大学津南校区业务东楼举行。此次论坛汇聚了国内软件与系统研究领域的众多顶尖专家学者，共同分享和探讨该领域的前沿课题，为南开师生奉献了一场精彩纷呈的学术盛宴。
论坛由网络空间安全学院副教授范玲玲主持。首先，南开大学计算机学院、网络空间安全学院副院长刘哲理教授发表了热情洋溢的欢迎辞。他回顾了学院的发展历程和学术成果，对各位专家的到来表示衷心感谢，并表达了通过此次论坛打造国内软件与系统学科高水平学术平台的期望，进一步推动新工科建设，提升学科的学术影响力。
国家杰青、南京大学徐宝文教授带来了题为“程序设计语言安全性与Rust类型系统”的报告。在报告中，徐教授详细介绍了Rust语言的发展历程及其在现代软件开发中的广泛应用。他重点强调了Rust语言在内存安全和线程安全方面的突出优势，并深入分析了系统安全性与软件性能之间的关系和矛盾。
国家杰青、北京大学计算机学院副院长周明辉教授带来了题为“开源数字社会学：开源生态的度量和智能化支持”的精彩演讲。周教授深入探讨了全球化开源生态系统的复杂性，重点分析了个体激励、社区汇聚以及可信软件供应链构建等关键挑战。同时，她分享了如何通过精细度量和智能化技术应对这些挑战的策略，为开源生态的可持续发展提供了宝贵的经验。
国家杰青、北京大学刘譞哲教授带来了题为“大模型时代的系统软件：挑战、机遇与实践”的报告。在报告中，刘教授分析了大模型、大数据和大算力对系统软件的深远影响，指出传统系统软件的假设正在被颠覆。他深入探讨了系统软件在资源管理、任务调度等方面所面临的挑战与机遇，并分享了应对这些挑战的实践经验和前瞻性思考。
CCF软件工程专委会常委、中科院软件所魏峻研究员带来了题为“验证导向的分布式系统测试”的报告。魏研究员介绍了分布式系统在云计算和机器学习等领域的重要性，并分享了融合形式验证与软件测试的新方法，旨在提升系统的可靠性。他还深入探讨了分布式系统所面临的挑战，包括多线程并发和非确定性请求等问题，并提出了相应的解决思路。
国家重点研发计划项目首席科学家、中科院软件所苏璞睿研究员带来了“基于数据流的漏洞挖掘新进展”的报告，详细讲解了动态数据流分析在软件漏洞挖掘中的重要性，并展示了团队在提高数据流分析性能和准确性方面的创新方法。
国家高层次人才、大连理工大学江贺教授的报告主题为“新AI时代的编译系统研究”，他从AI4Compiler和Compiler4AI的视角，分析了编译系统在AI技术支持中的重要角色，探讨了人工智能技术发展对编译系统带来的新机遇和新挑战。
清华大学网络研究院副院长、国家级青年人才张超老师带来了“高效智能化二进制软件供应链分析”的报告。张教授介绍了二进制软件供应链分析的独特挑战，并分享了团队提出的机器语言大模型解决方案，以提高大规模代码检测的精度和效率。
本次论坛吸引了来自全国多所知名高校的百余名师生参会，现场讨论气氛热烈，学术氛围浓厚。与会者积极互动，交流深入，展现了浓厚的学术探讨精神。论坛为软件工程领域提供了一个开放的交流平台，启发了与会师生在科研工作中的新思路和新方法，进一步推动了软件与系统研究领域的创新与发展。
|
