ACM 中国图灵大会(ACM Turing Award Celebration Conference TURC 2024)于2024年7月5日至7日在长沙举行。本届大会由ACM主办,in cooperation with CCF,互联网之父Vinton Cerf、中国计算机学会前理事长梅宏院士和廖湘科院士担任学术指导委员会主席,湖南省副省长、长沙市长周海兵和湖南大学副校长李肯立教授等担任大会共同主席。大会围绕“感联智信,数创未来!”主题,由包括 ACM 图灵奖获奖者在内的国内外学术专家和教授,分享他们对尖端技术和人工智能的看法,探讨计算科学的未来。
7月7日上午,图灵奖得主Manuel Blum教授亲临华为仓颉编程语言展台,同华为编程语言实验室专家徐潇、王学智、刘军,语言虚拟机实验室专家杨勇勇进行了深入交流和探讨。
在仓颉编程语言展台,Manuel Blum教授仔细聆听了仓颉编程语言相关特性介绍,以及鸿蒙生态下仓颉编程语言的应用场景进行了深入交流。
Manuel Blum教授对仓颉编程语言中所表现的高性能和强安全特性表示了高度的赞赏和肯定,对后续更多鸿蒙生态下智能产品表示期待。
7月7日下午13点30,华为论坛《面向全场景应用编程语言-仓颉》顺利举行,华为编程语言首席专家、仓颉编程语言首席架构师、南京大学教授冯新宇发表开场致辞,冯老师表示,自2019年立项研发以来,经过5年的研发沉淀,终于在华为HDC大会和广大开发者正式亮相,发布后得到了广大开发者的关注和讨论。仓颉作为新生语言在未来会有无限的发展可能与成长空间,同时对于新生语言的正式发布也仅是万里长征第一步,语言的特性的设计与实现以及语言生态建设,希望广大开发者可以多多支持仓颉编程语言,提供宝贵的建议,一起参与到仓颉编程语言生态建设中,将仓颉打造成开发者心中好用易用的编程语言。
随后华为中央软件院项目群总监 董鑫,华为编程语言实验室架构师 徐潇,华为编程语言实验室架构师 范长春,华为语言虚拟机实验室架构师 杨勇勇,华为软件IDE实验室智慧化专家 郭圆平 分享主题报告。
主题报告一: 面向全场景应用的新一代编程语言-仓颉
华为中央软件院项目群总监 董鑫
主题报告二:仓颉语言鸿蒙原生应用开发/并行并发/全并发 Compact GC 技术介绍及大模型辅助仓颉代码生成
华为编程语言实验室架构师 徐潇
华为编程语言实验室架构师 范长春
华为语言虚拟机实验室架构师 杨勇勇
华为软件IDE实验室智慧化专家 郭圆平
同时邀请到 湖南大学副教授 张羽丰,南京大学副教授 余萍, 北京大学博士研究生 张羿凡,北京航空航天大学教授 黎立,LeetCode移动端技术经理 叶海健 分别分享特邀报告。
特邀报告一: 约束求解增强的符号执行及仓颉语言应用实践
湖南大学副教授 张羽丰
特邀报告二:基于太阿的仓颉语言程序分析
南京大学副教授 余萍
特邀报告三:贝叶斯程序分析的发展及仓颉语言应用机会
北京大学博士研究生 张羿凡
特邀报告四:仓颉代码智慧化初探
北京航空航天大学教授 黎立
特邀报告五:力扣鸿蒙应用仓颉语言开发实践
LeetCode移动端技术经理 叶海健