当前位置： 首页 > news >正文

ACM中国图灵大会专题 | 图灵奖得主Manuel Blum教授与仓颉团队交流 | 华为论坛：面向全场景应用编程语言精彩回顾

news 来源：原创 2024/9/20 14:47:27

图片

图片

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移动端技术经理 叶海健 

会议现场

图片

图片

仓颉编程语言通用版本SDK Beta试用报名链接

相关文章：

  • 北京网站建设多少钱？
  • 辽宁网页制作哪家好_网站建设
  • 高端品牌网站建设_汉中网站制作
  • arcgis紧凑型切片缓存(解决大范围切片，文件数量大的问题)
  • 三、初识C语言（3）
  • 【Apache Doris】周FAQ集锦：第 14 期
  • 第六章 Spring框架深入学习(2023版本IDEA)
  • ArcGIS Pro SDK （九）几何 8 线段
  • 十七、【机器学习】【非监督学习】- K-均值 (K-Means)
  • 综合性API数据流通服务商天聚地合于香港联合交易所主板成功上市
  • Java文件管理
  • 防火墙双机热备旁挂
  • 类和对象(二)
  • “社群+”生态下的开源AI智能名片源码：驱动商业与社会连接的新引擎
  • 对象存储解决方案：高性能分布式对象存储系统MinIO
  • ARP安全简介
  • 安卓自带camera hal3 实例README.md翻译
  • c语言之 *指针与 **指针
  • ➹使用webpack配置多页面应用(MPA)
  • Android框架之Volley
  • canvas绘制圆角头像
  • CNN 在图像分割中的简史：从 R-CNN 到 Mask R-CNN
  • IDEA常用插件整理
  • IOS评论框不贴底（ios12新bug）
  • Java读取Properties文件的六种方法
  • npx命令介绍
  • Python3爬取英雄联盟英雄皮肤大图
  • V4L2视频输入框架概述
  • webgl （原生）基础入门指南【一】
  • 安卓应用性能调试和优化经验分享
  • 分类模型——Logistics Regression
  • 前端相关框架总和
  • 设计模式（12）迭代器模式（讲解+应用）
  • 试着探索高并发下的系统架构面貌
  • 异步
  • 自制字幕遮挡器
  • 400多位云计算专家和开发者，加入了同一个组织 ...
  • C# - 为值类型重定义相等性
  • 如何用纯 CSS 创作一个菱形 loader 动画
  • # C++之functional库用法整理
  • # dbt source dbt source freshness命令详解
  • ###STL(标准模板库)
  • #NOIP 2014# day.2 T2 寻找道路
  • (2022 CVPR) Unbiased Teacher v2
  • （2024，Vision-LSTM，ViL，xLSTM，ViT，ViM，双向扫描）xLSTM 作为通用视觉骨干
  • (cos^2 X）的定积分,求积分 ∫sin^2(x) dx
  • （SERIES12）DM性能优化
  • （附源码）springboot美食分享系统 毕业设计 612231
  • （附源码）ssm基于微信小程序的疫苗管理系统 毕业设计 092354
  • （黑马点评）二、短信登录功能实现
  • (佳作)两轮平衡小车（原理图、PCB、程序源码、BOM等）
  • （九十四）函数和二维数组
  • （南京观海微电子）——示波器使用介绍
  • （四）c52学习之旅-流水LED灯
  • （心得）获取一个数二进制序列中所有的偶数位和奇数位， 分别输出二进制序列。
  • （原）Matlab的svmtrain和svmclassify
  • (转)MVC3 类型“System.Web.Mvc.ModelClientValidationRule”同时存在
  • (转)Oracle存储过程编写经验和优化措施