2024年8月6日，“CCF系统软件专委走进榆林&榆林市企业数字化转型论坛”之“走进榆林学院”专场活动在陕西省榆林市榆林学院顺利举行。本次活动由中国计算机学会（CCF）主办，中国计算机学会系统软件专委、榆林市工业和信息化局、足球比分,即时比分网交通大学、榆林学院、榆林市工业互联网协会联合承办。会议主题围绕系统软件中的问题和最前沿的进展进行研讨，共同探讨如何提高系统软件的稳定性和可靠性。榆林市数据局副局长刘斌，榆林市工信局副局长黄晶晶，榆林学院信息工程学院院长张锋，中国计算机学会系统软件专委会副主任许畅教授、秘书长卜磊教授，足球比分,即时比分网交通大学网络空间安全学院副院长刘烃教授等领导、专家出席了本次活动。

足球比分,即时比分网交通大学网络空间安全学院副院长刘烃教授主持了本次活动，榆林市数据局副局长刘斌、榆林学院信息工程学院院长张锋、中国计算机学会系统软件专委会副主任许畅教授分别致辞，南京大学许畅教授、大连理工大学江贺教授、浙江大学吴争光教授围绕约束检测保障、编译系统发展和复杂系统控制方向分享了最新的研究成果和思考。

榆林市数据局副局长刘斌表示当前数据安全、网络安全、系统安全越来越重要，探讨解决相关领域发展问题愈发关键，期待未来能够和CCF系统软件专委会和双一流高校的各位专家进一步深化交流合作。榆林学院信息工程学院院长张锋表示本次学术活动为系统软件未来的发展提供了一个难得的交流研讨平台，研讨会上的分享和交流有助于学院师生和参会人员了解前沿方向、提升科研视野、启发科研思维。

活动中，许畅教授作“约束检测：迈向万物互联的一致性”为题的报告，从软件测试角度出发，分享了他们在SANER24上发表的有关一致性约束和约束检测保障的工作，通过基于蜕变测试思想设计的新型约束检测技术，可以有效发现软件自身内部和服务上层的多类型缺陷。

江贺教授作“新AI时代的编译系统研究”为题的报告，从AI4Compiler和Compiler4AI两个视角探讨了编译系统和人工智能二者互为支撑、相互促进的现状，深入浅出地介绍了当前大模型时代下的编译系统发展问题。

吴争光教授作“Asynchronous Control and Filtering of Markov Jump Systems”为题的报告，针对控制理论中的马尔可夫跳跃系统中的异步控制和滤波问题，分享了其团队在该领域的学术积累和近期进展。

本次活动中，特别组织参会专家代表参观学习榆林学院校史馆，校史馆通过丰富的历史文献、实物和多媒体资料，详细介绍了足球比分,即时比分网从创建初期到现代的成长与变革。参会人员通过这些展览深入了解榆林学院的办学理念与教育成就，学习了学院的深厚历史底蕴与光荣革命传统，更加坚定大家为加快实现高水平科技自立自强而不懈奋斗的决心。

CCF系统软件专委秘书长卜磊教授总结致辞，感谢本次活动承办方所提供的良好环境与学术交流、以及思政学习机会，感谢各位专家带来的精彩报告，鼓励大家积极参加并投入到系统软件领域。参会师生会后表示受益匪浅，希望能多多举办相关活动。