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

图片

图片

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.rhkb.cn/news/380006.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【雷丰阳-谷粒商城 】【分布式高级篇-微服务架构篇】【26】【内网穿透】cpolar

持续学习&持续更新中… 守破离 【雷丰阳-谷粒商城 】【分布式高级篇-微服务架构篇】【27】【内网穿透】cpolar 内网穿透cpolar内网穿透联调配置练习—使用公网地址访问gulimall.com参考 内网穿透 正常的外网需要访问我们项目的流程是: 买服务器并且有公网固定…

系统架构设计师教程 第3章 信息系统基础知识-3.7 企业资源规划(ERP)-解读

系统架构设计师教程 第3章 信息系统基础知识-3.7 企业资源规划(ERP) 3.7.1 企业资源规划的概念3.7.2 企业资源规划的结构3.7.2.1 生产预测3.7.2.2 销售管理(计划)3.7.2.3 经营计划(生产计划大纲)3.7.2.4 …

小白新手搭建个人网盘

小白新手搭建个人网盘 序云服务器ECS重置密码远程连接ECS实例 安装OwnCloud安装Apache服务PHP运行环境NAS挂载挂载验证操作体验 序 阿里云文件存储NAS(Apsara File Storage NAS)是一个可大规模共享访问,弹性扩展的分布式文件系统。本文主要是…

好玩的调度技术-场景编辑器

好玩的调度技术-场景编辑器 文章目录 好玩的调度技术-场景编辑器前言一、演示一、代码总结好玩系列 前言 这两天写前端写上瘾了,顺手做了个好玩的东西,好玩系列也好久没更新,正好作为素材写一篇文章,我真的觉得蛮好玩的&#xff…

免费视频批量横转竖

简介 视频处理器 v1.3 是一款由是貔貅呀开发的视频编辑和处理工具,提供高效便捷的视频批量横转竖,主要功能: 导入与删除文件:轻松导入多个视频文件,删除不必要的文件。暂停与继续处理:随时暂停和继续处理。…

【JavaEE进阶】——Spring AOP

目录 🚩Spring AOP概述 🚩Spring AOP快速⼊⻔ 🎓引入AOP依赖 🎓编写AOP程序 🚩Spring AOP 详解 🎓Spring AOP核⼼概念 🎓通知类型 🎓PointCut 🎓切⾯优先级 Ord…

泰迪科技2024年高校(本科/职业院校)大数据实验室建设及大数据实训平台整体解决方案

高校大数据应用人才培养目标 大数据专业是面向信息技术行业,培养德智体美劳全面发展的大数据领域的高素质管理型专门人才,毕业生具备扎实的管理学、经济学、自然科学、技术应用、人文社科的基本理论, 系统深入的大数据管理专业知识和实践能力&#xff0c…

如何学习Spark:糙快猛的大数据之旅

作为一名大数据开发者,我深知学习Spark的重要性。今天,我想和大家分享一下我的Spark学习心得,希望能够帮助到正在学习或准备学习Spark的朋友们。 目录 Spark是什么?学习Spark的"糙快猛"之道1. 不要追求完美,在实践中学习2. 利用大模型作为24小时助教3. 根据自己的节…

宠物空气净化器哪款品牌好?口碑好的猫用空气净化器排名

猫咪每年掉毛两次,一次掉半年的现象真让人头疼。作为一位5年资深铲屎官,特别是在掉毛季节,猫毛无处不在,对此深有体会。宠物空气净化器已成为铲屎官们的救星,能迅速清理家中的宠物毛发和异味,是养猫家庭的必…

四个节点即可实现的ComfyUI批量抠图工作流

原文链接:ComfyUI面部修复完全指南 (chinaz.com) 下图就是批量抠图的工作流 虽然工作流很简单,但是我们前提还是需要安装好我们的节点 首先安装我们的抠图节点 安装 BiRefNet 所需依赖:timm,如已安装无需运行 requirements.txt…

【最新发布】生成式人工智能全球研究报告

7月10日,美国著名的大数据分析平台和全球最大的数据分析公司之一SAS在其官网发布了一份关于生成式人工智能(AIGC)深度应用的调查报告。 本次的报告主要对以美国、中国、英国、法国、巴西、日本等为主的北美、拉美、欧洲、亚太地区主要国家的1…

云计算实训09——rsync远程同步、自动化推取文件、对rsyncd服务进行加密操作、远程监控脚本

一、rsync远程同步 1.rsync基本概述 (1)sync同步 (2)async异步 (3)rsync远程同步 2.rsync的特点 可以镜像保存整个目录树和文件系统 可以保留原有权限,owner,group,时间,软硬链…

vue3 + antd vue 纯前端 基于xlsx 实现导入excel 转 json,将json数据转换XLSX并下载(下载模版)

一、导入 0、关键代码 // 安装插件 npm i xlsx/yarn add xlsx // 导入xlsx import * as XLSX from xlsx; 点击提交的时候才整理数据。上传的时候文件保存在 state.form.file[0] 中的 // 定义字段映射关系 const fieldMap {sheet2json: {技能名称: skill_name,技能等级: …

AI 绘画|Midjourney设计Logo提示词

你是否已经看过许多别人分享的 MJ 咒语,却仍无法按照自己的想法画图?通过学习 MJ 的提示词逻辑后,你将能够更好地理解并创作自己的“咒语”。本文将详细拆解使用 MJ 设计 Logo 的逻辑,让你在阅读后即可轻松上手,制作出…

机器学习-18-统计学与机器学习中回归的区别以及统计学基础知识

参考通透!一万字的统计学知识大梳理 参考3万字长文!手把手教你学会用Python实现统计学 参考统计学的回归和机器学习中的回归有什么差别? 1 研究对象 一维:就是当前摆在我们面前的“一组”,“一批数据。这里我们会用到统计学的知识去研究这类对象。 二维:就是研究某个“事…

【性能优化】在大批量数据下使用 HTML+CSS实现走马灯,防止页面卡顿

切换效果 页面结构变化 1.需求背景 项目首页存有一个小的轮播模块,保密原因大概只能这么展示,左侧图片右侧文字,后端一次性返回几百条数据(开发环境下,生产环境只会更多).无法使用分页解决,前端需要懒加载防止页面卡顿 写个小demo演示,如下 2.解决思路 获取到数据后,取第一…

【electron6】浏览器实时播放PCM数据

pcm介绍:PCM(Puls Code Modulation)全称脉码调制录音,PCM录音就是将声音的模拟信号表示成0,1标识的数字信号,未经任何编码和压缩处理,所以可以认为PCM是未经压缩的音频原始格式。PCM格式文件中不包含头部信…

【Langchain大语言模型开发教程】模型、提示和解析

🔗 LangChain for LLM Application Development - DeepLearning.AI 学习目标 1、使用Langchain实例化一个LLM的接口 2、 使用Langchain的模板功能,将需要改动的部分抽象成变量,在具体的情况下替换成需要的内容,来达到模板复用效…

AIoTedge 智能边缘物联网平台

AIoTedge智能边缘物联网平台是一个创新的边云协同架构,它为智能设备和系统提供了强大的数据处理和智能决策能力。这个平台的核心优势在于其边云协同架构设计,它优化了数据处理速度,提高了系统的可靠性和灵活性,适用于多种场景&…

NVIDIA 完全过渡到开源 GPU 内核模块

目录 支持的 GPU安装程序更改将包管理器与 CUDA 元包配合使用使用 runfile使用安装帮助程序脚本包管理器详细信息apt:基于 Ubuntu 和 Debian 的发行版dnf:Red Hat Enterprise Linux、Fedora、Kylin、Amazon Linux 或 Rocky Linuxzypper:SUSE …