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

news2024/11/14 13:52:54

图片

图片

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试用报名链接

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1936274.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

linux进程——状态——linux与一般操作系统的状态

linux进程——状态——linux与一般操作系统的状态

前言：博主在之前的文章已经讲解了PCB里面的pid——主要讲解了父子进程PID， 以及fork的相关内容。 本节进入PCB的下一个成员——状态， 状态是用来表示一个进程在内存中的状态的， 进程在内存中肯能处于各种状态， 比如运行…
阅读更多...
十七、【机器学习】【非监督学习】- K-均值 (K-Means)

十七、【机器学习】【非监督学习】- K-均值 (K-Means)

系列文章目录 第一章 【机器学习】初识机器学习 第二章 【机器学习】【监督学习】- 逻辑回归算法 (Logistic Regression) 第三章 【机器学习】【监督学习】- 支持向量机 (SVM) 第四章【机器学习】【监督学习】- K-近邻算法 (K-NN) 第五章【机器学习】【监督学习】- 决策树…
阅读更多...
前端Vue组件化实践：自定义发送短信验证码弹框组件

前端Vue组件化实践：自定义发送短信验证码弹框组件

在前端开发中，随着业务逻辑的日益复杂和交互需求的不断增长，传统的整体式开发方式逐渐暴露出效率低下、维护困难等问题。为了解决这些问题，组件化开发成为了一种流行的解决方案。通过组件化，我们可以将复杂的系统拆分成多个独立的…
阅读更多...
使用 OpenCV 和 YOLO 模型进行实时目标检测并在视频流中显示检测结果

使用 OpenCV 和 YOLO 模型进行实时目标检测并在视频流中显示检测结果

文章目录 Github官网简介视频帧推理视频设备ID安装依赖 检测示例分类示例姿势估计 Github https://github.com/ultralytics/ultralytics 官网 https://docs.ultralytics.com/zhhttps://docs.ultralytics.com/zh/quickstart/ 简介 Ultralytics 是一个软件公司，专…
阅读更多...
深入浅出WebRTC—NACK

深入浅出WebRTC—NACK

WebRTC 中的 NACK（Negative Acknowledgment）机制是实时通信中处理网络丢包的关键组件。网络丢包是常见的现象，尤其是在无线网络或不稳定连接中。NACK 机制旨在通过请求重传丢失的数据包来减少这种影响，从而保持通信的连续性和质量…
阅读更多...
【VUE】v-if和v-for的优先级

【VUE】v-if和v-for的优先级

v-if和v-for v-if 用来显示和隐藏元素 flag为true时&#xff0c;dom元素会被删除达到隐藏效果 <div class"boxIf" v-if"flag"></div>v-for用来进行遍历&#xff0c;可以遍历数字对象数组&#xff0c;会将整个元素遍历指定次数 <!-- 遍…
阅读更多...
《数据结构：C语言实现双链表》

《数据结构：C语言实现双链表》

文章目录 一、链表的分类二、双向链表1、概念与结构 三、双向链表实现1、双向链表要实现的功能2、哨兵位初始化3、双链表头插数据4、判断链表是否为空5、打印链表数据6、尾插数据7、头删数据8、尾删数据9、寻找数据所在结点10、在任意结点之后插入数据11、删除任意结点12、销毁…
阅读更多...
debian 更新源

debian 更新源

前言 实现一键替换在线源 一键更新源 Debian 全球镜像站以下支持现有debian 11 12 echo "Delete the default source" rm -rf /etc/apt/sources.listecho "Build a new source" cat <<EOF>>/etc/apt/sources.list.d/debian.sources Types:…
阅读更多...
Shell的正确使用

Shell的正确使用

目录 shell 介绍 变量名的定义规则 变量名定义&#xff1a; 删除变量 特殊的变量名&#xff1a; 算术运算符 逻辑运算符&#xff1a; (1)整数之间比较 (2)按照文件权限进行判断 (3)按照文件类型判断 (4)多条件判断 常用的特殊字符&#xff1a; 条件选择、判断 if判…
阅读更多...
PHP上门按摩专业版防东郊到家系统源码小程序

PHP上门按摩专业版防东郊到家系统源码小程序

&#x1f486;‍♀️【尊享级体验】上门按摩专业版&#xff0c;告别东郊到家&#xff0c;解锁全新放松秘籍&#xff01;&#x1f3e0;✨ &#x1f525;【开篇安利&#xff0c;告别传统束缚】&#x1f525; 亲们&#xff0c;是不是厌倦了忙碌生活中的疲惫感&#xff1f;想要享…
阅读更多...
NET 语言识别，语音控制操作、语音播报

NET 语言识别，语音控制操作、语音播报

System.Speech. 》》System.Speech.Synthesis; 语音播报 》》System.Speech.Recognition 语音识别 using System; using System.Collections.Generic; using System.ComponentModel; using System.Data; using System.Drawing; using System.Linq; using System.Speech.Recog…
阅读更多...
[Redis]典型应用——分布式锁

[Redis]典型应用——分布式锁

什么是分布式锁&#xff1f; 在一个分布式系统中&#xff0c;也会涉及到多个节点访问同一个公共资源的情况。此时就需要通过锁来做互斥控制&#xff0c;避免出现类似于"线程安全"的问题 举个例子&#xff0c;在平时抢票时&#xff0c;多个用户可能会同时买票&#…
阅读更多...
Linux——多路复用之poll

Linux——多路复用之poll

目录 前言 一、poll的认识 二、poll的接口 三、poll的使用 前言 前面我们学习了多路复用的select&#xff0c;知道多路复用的原理与select的使用方法&#xff0c;但是select也有许多缺点&#xff0c;导致他的效率不算高。今天我们来学习poll的使用&#xff0c;看看poll较于…
阅读更多...
利用AI与数据分析优化招聘决策

利用AI与数据分析优化招聘决策

一、引言 在竞争激烈的职场环境中&#xff0c;招聘是组织获取人才、实现战略目标的关键环节。然而&#xff0c;传统的招聘方式往往依赖人力资源部门的主观经验和直觉&#xff0c;难以准确预测招聘效果&#xff0c;评估招聘渠道的效率。随着人工智能&#xff08;AI&#xff09;…
阅读更多...
Windows右键新建Markdown文件类型配置 | Typora | VSCode

Windows右键新建Markdown文件类型配置 | Typora | VSCode

&#x1f64b;大家好&#xff01;我是毛毛张! &#x1f308;个人首页&#xff1a; 神马都会亿点点的毛毛张 今天毛毛张分享的是如何在右键的新建菜单中添加新建MarkdownFile文件&#xff0c;这是毛毛张分享的关于Typora软件的相关知识的第三期 文章目录 1.前言&#x1f3dd;…
阅读更多...
Android车载MCU控制音量和ARM控制音量的区别和优缺点—TEF6686 FM/AM芯片

Android车载MCU控制音量和ARM控制音量的区别和优缺点—TEF6686 FM/AM芯片

不要嫌前进的慢&#xff0c;只要一直在前进就好 文章目录 前言一、系统架构图1.MCU控制音量的架构图&#xff08;老方法&#xff09;2.ARM控制音量的架构图&#xff08;新方法&#xff09; 二、为啥控制音量不是用AudioManager而是执着去直接控制TDA7729&#xff1f;三、MCU控制…
阅读更多...
[数据集][目标检测]婴儿车检测数据集VOC+YOLO格式1073张5类别

[数据集][目标检测]婴儿车检测数据集VOC+YOLO格式1073张5类别

数据集格式&#xff1a;Pascal VOC格式YOLO格式(不包含分割路径的txt文件&#xff0c;仅仅包含jpg图片以及对应的VOC格式xml文件和yolo格式txt文件) 图片数量(jpg文件个数)&#xff1a;1073 标注数量(xml文件个数)&#xff1a;1073 标注数量(txt文件个数)&#xff1a;1073 标注…
阅读更多...
Matlab基础语法篇（下）

Matlab基础语法篇（下）

Matlab基础语法&#xff08;下&#xff09; 一、逻辑基础&#xff08;一&#xff09;逻辑运算符&#xff08;二&#xff09;all、any、find函数&#xff08;三&#xff09;练习 二、结构基础&#xff08;一&#xff09;条件结构&#xff08;1&#xff09;if-elseif-else-end&am…
阅读更多...
通过albumentation对目标检测进行数据增强（简单直接）

通过albumentation对目标检测进行数据增强（简单直接）

albumentation官方文档看不懂&#xff1f;xml文件不知道如何操作&#xff1f;下面只需要修改部分代码即可上手使用 要使用这个方法之前需要按照albumentation这个库还有一些辅助库,自己看着来安装就行 pip install albumentation pip install opencv-python pip install json…
阅读更多...
＜数据集＞蛋壳裂缝检测数据集＜目标检测＞

＜数据集＞蛋壳裂缝检测数据集＜目标检测＞

数据集格式&#xff1a;VOCYOLO格式 图片数量&#xff1a;2520张 标注数量(xml文件个数)&#xff1a;2520 标注数量(txt文件个数)&#xff1a;2520 标注类别数&#xff1a;2 标注类别名称&#xff1a;[crack, egg] 序号类别名称图片数框数1crack245128352egg25142514 使…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023