活动报名 | 2024 CCF中国软件大会:仓颉语言设计和实现前沿技术Tutorial

文摘   2024-11-07 19:45   英国  

仓颉编程语言现已开放下载,扫描二维码直达官网下载!

点击下方卡片报名活动,报名成功后将于1-2工作日内收到报名成功邮件




01

论坛简介


      仓颉编程语言的是一款面向全场景智能的新一代应用编程语言,主打原生智能化,天生全场景、高性能和强安全。作为鸿蒙应用编程语言,能够打造鸿蒙应用性能和开发体验竞争力,促进鸿蒙操作系统生态发展。同时作为通用的应用编程语言,可以支撑关基行业规模应用。解决关基行业编程语言供应安全问题,保障电信、金融、政务等关基行业编程语言供应安全。


      本次论坛将于11月16日西安高新国际会议中心举办,邀请来自华为的专家,围绕仓颉编程语言的最新技术进行专题报告,分享工业界和学术界研究与实践的最新发展,呼吁参会的工业界和学术界积极的参与到仓颉生态的建设中,通过产学术界合作攻关争取让国产编程语言仓颉追平甚至超越业界主流编程语言。


02

论坛议程



03

论坛报告嘉宾简介


冯新宇

报告题目:面向全场景应用的新一代编程语言-仓颉

报告摘要

整体介绍面向全场景应用的新一代编程语言-仓颉的发展历程、设计理念以及全场景、高性能、强安全等优秀特性。仓颉编程语言是华为针对全场景应用开发需求自主研发的新一代编程语言,其设计聚焦于提升开发体验、程序性能和安全性。随着其在金融、电信、政务、智能设备等多个领域的应用探索,仓颉正逐步构建起一个全面、高效、安全的编程语言生态体系,为开发者提供强大的工具支持和性能保障。


报告人简介

华为编程语言首席专家,仓颉编程语言首席架构师,南京大学教授。主要研究方向为程序设计语言的设计与实现、程序设计语言理论、以及形式化程序验证。主要工作包括仓颉编程语言、安全系统编程、操作系统内核验证、编译器验证、以及细粒度/无锁并发算法验证等。

董鑫

报告题目:仓颉-AI时代的应用编程语言

报告摘要

仓颉 for AI专注于智能应用开发的框架,旨在解决端侧智能应用的落地难题,包括数据隐私、接口标准不统一、算力与内存限制以及提高开发效率。该框架提供了一套 Agent DSL,简化了 Agent 的开发与交互并支持多 Agent 协同。仓颉框架支持大模型应用的 Agent 化,通过内置的提示词模式、交互方式和工具链,实现高效、个性化的开发体验。


报告人简介

华为中央软件院项目群总监,主要负责仓颉语言项目群的管理、仓颉生态的规划和建设工作。

徐潇 

报告题目:仓颉语言鸿蒙原生应用开发

报告摘要

介绍仓颉鸿蒙应用开发涉及到的关键技术,包括仓颉语言与鸿蒙OS集成,用于开发高性能、高并发的原生应用。ArkTS框架支持仓颉语言的开发,实现跨语言互操作性。混合UI开发,允许在ArkTS应用中嵌入仓颉UI组件,支持声明式UI设计。


报告人简介

华为编程语言实验室技术专家,主要从事编译器、领域DSL、IoT端侧轻量化引擎和框架等方向的设计和开发;当前主要负责仓颉编程语言面向移动应用开发的框架及DSL设计工作。

范长春

报告题目:仓颉原生轻量级线程技术介绍

报告摘要

整体介绍仓颉原生轻量级线程技术,包括线程创建通过spawn关键字与lambda表达式创建,返回Future对象。异步socket操作,非阻塞系统线程,仅阻塞轻量级线程。并行快速排序,利用spawn与递归实现多线程排序。原子操作,确保指令执行过程中的完整性,适用于多种数据类型。自动栈扩容,初始小栈,动态扩展以适应线程需求,防止栈溢出。


报告人简介

华为编程语言实验室技术专家,当前主要负责仓颉编程语言设计、编译器实现以及语言面向未来的实验性特性的设计工作。

杨勇勇

报告题目:仓颉全并发GC技术介绍

报告摘要

介绍仓颉全并发GC技术,包括高性能内存分配:动态选择小对象、固定对象和大对象区域进行高效分配。对象布局:优化64位平台的标记位和数据存储方式,减少内存占用和提高效率。全并发内存整理:通过安全点和读屏障实现轻量级全局暂停,提升整理效率。内存屏障优化:利用指针标记区分对象状态,减少屏障开销,提升性能。


报告人简介

华为语言虚拟机实验室技术专家,主要从事语言运行时、虚拟机、编译分析优化等领域,现担任Cangjie Native架构师,主要负责仓颉轻量运行时和并发GC的设计和开发。



04

论坛组织委员会简介


论坛主席:冯新宇

个人简介:

华为编程语言首席专家,仓颉编程语言首席架构师,南京大学教授。主要研究方向为程序设计语言的设计与实现、程序设计语言理论、以及形式化程序验证。主要工作包括仓颉编程语言、安全系统编程、操作系统内核验证、编译器验证、以及细粒度/无锁并发算法验证等。



点击下方阅读原文,下载仓颉公测版本

仓颉编程语言
仓颉编程语言官方公众号
 最新文章