10月 17-18日, 2024
大会日程
参与六大主题分论坛,完整议程、会议时间、主题和发言人即将公布。别错过这些充满活力的会议!(更多会议信息将持续更新)
October 18
Time
Session
18
9:30
AIRSHIP: 以具身智能赋能智能机器人
AIRSHIP的开发旨在解决具身AI中的软件复杂性问题。其使命是提供一个易于部署的软件栈,赋能各种智能机器人,从而促进可扩展性并加速具身AI行业的商业化。AIRSHIP受到Android的启发,Android通过提供一个开源灵活的平台在移动计算革命中发挥了重要作用。Android使得多种设备制造商能够以不同价格点创造智能手机和平板电脑,催生了快速的创新和竞争,致使经济实惠且强大的移动设备的广泛普及。Android强大的生态系统,通过Google Play商店支持大量应用程序,允许开发者触及全球受众,显著推动了移动技术的采用。类似于Android,AIRSHIP提供软件和硬件规格,使机器人开发者能够为家庭、零售和仓储等多种场景开发完整的具身AI系统。
Time
9:30
18
9:30
vLLM:简单、快速且低成本的LLM服务解决方案
vLLM是一个快速易用的LLM推理和服务库。在本讲座中,我将简要介绍vLLM项目的发展历程、其背后的开源社区,并重点介绍许多用户感兴趣的一些功能。
Time
9:30
18
9:30
Eclipse SDV - 汽车行业的开放式协作
越来越多的相关企业将开放式合作视为成功之道,以应对现代汽车软件日益复杂的挑战。通过联合开发汽车软件堆栈中的非差异化部分,可以显著降低汽车生态系统需要应对的复杂性和变体数量。目前,Eclipse SDV 作组发展势头迅猛,经过2.5年的发展,本演讲将概述工作组目前的活动现状。
Time
9:30
18
9:30
Rust在嵌入式关键系统中的应用:从创新到生产的旅程
在关键系统上采用新技术的技术方面只是从可行性转向生产的一个考虑因素。Rust具有明显的技术优势,但将其应用于关键系统需要一个结构化的计划,涵盖工具、验证、可追溯性和认证。本次演讲将介绍英飞凌(Infineon)采用Rust 行生产所经历的步骤,以及行业和Rust项目仍需解决的差距。
Time
9:30
18
9:30
元宇宙标准论坛概览
元宇宙标准论坛是全球最重要的也是最大的专注于元宇宙标准制定的产业联盟之一。该组织致力于开放的元宇宙发展。本概览将为观众提供有关其历史和愿景的信息,以及其当前活动和进展的情况。
Time
9:30
18
9:30
Makepad:Rust 中的可视化应用程序设计
在本次演讲中,我将展示全新的、采用 MIT 许可证的可视化应用程序 IDE 和设计工具 Makepad Studio。我们将探讨基于本地模型的 AI 辅助编程,并抢先预览我们的可视化 UI 设计器。Makepad 是一个针对 Rust 的 UI 框架和 IDE/设计工具的组合。Makepad 利用 GPU 加速的技术栈,能够在 Web、Android、iOS、macOS、Linux 和 Windows 上原生运行。专注于保持轻量化,完整的应用程序在现代计算机上包含所有依赖项的情况下仍可在 10 秒内完成编译。
Time
9:30
18
9:30
Ferrocene - Rust在安全性方面的现状与未来
Rust 是一门相对较新的语言——2015年发布,却以惊人的速度席卷了软件编程界。 令人惊讶的是,在不到10年的时间里,我们在功能安全/SDV(Software Defined Vehicle,软件定义车辆)领域已经有了持续进行的项目和倡议。Rust甚至被视为开源安全倡议的领跑者。这一切是如何发生的? 本次演讲将提供当前正在进行的倡议概览,评估面临的挑战,并展望未来。
Time
9:30
18
9:30
Wasm 作为 API 优先和代理互联网的通用运行时
Wasm 已成为一种跨平台、硬件可移植且与语言无关的通用运行时环境。它可以作为小部件或扩展嵌入到许多不同类型的应用程序或 SaaS 中。在本次演讲中,我们将讨论 Wasm 在编程下一代互联网方面的常见用例,包括无服务器功能、工作流程自动化、web3 智能合约到 AI 代理。
Time
9:30
18
10:00
探索Autoware Open AD Kit
Open AD Kit 是一个旨在通过将云和边缘更紧密地结合来实现自动驾驶系统民主化的开发入门套件。演讲者将介绍 Open AD Kit 的架构及其当前状态。此套件致力于降低自动驾驶技术的门槛,使更多开发者和研究机构能够参与到这一前沿领域的探索与创新之中。通过整合云计算的强大处理能力和边缘计算的实时响应特性,Open AD Kit 为构建高效、可靠的自动驾驶解决方案提供了坚实的基础。
Time
10:00
18
10:00
busd: There is a New D-Bus Broker in Town
D-Bus is an IPC mechanism that is very ubiquitous on Linux systems everywhere (desktop, cloud and embedded). It is the mechanism you'd use to communicate with many of the core Linux userspace subsystems, such as systemd, NetworkManager etc. Traditionally, most of these services have been written in C, a language known for its lack of safety and expressiveness. In the past years, Zeeshan has developed a library, called zbus for enabling implementation of D-Bus services and clients in a programming language designed for safety: Rust. zbus has become the go-to library for writing D-Bus code in Rust. While that is major step forward, the communication typically still happens through a broker and the two major broker implementation are both are written in C and have been stagnating for years. This is why Zeeshan has recently started working on writing a D-Bus broker based on zbus, called busd, which not only aims provide a drop-in replacement for existing brokers, but also modernize the D-Bus space by providing new features needed by apps and services, such as systemd. In this talk, Zeeshan will walk us through a summary of his journey so far, the current state of busd and his plans and dreams for the future of D-Bus.
Time
10:00
18
10:10
用动作捕捉技术构建具身智能数据工厂
分享将从动作捕捉技术与具身智能机器人领域的关系切入,介绍应用于具身智能机器人领域的诺亦腾动作捕捉解决方案的工作流程,强调人体与机器人本体之间的映射在整体工作流程之中的重要性与挑战性;阐释四种主流机器人数据集生产方式的差异,并最终通过介绍诺亦腾与行业内合作伙伴的落地案例,再次强调建立大规模具身智能数据工厂(DataFactory)的重要性与可行性。
Time
10:10
18
10:10
Rust代码在Linux内核中的差异是什么?
Linux内核与普通软件项目有很大不同,因此你不应该期望内核Rust代码与你熟悉的Rust代码相似!在本讲座中,我将介绍Linux Rust的基本原语,将它们与用户空间的Rust进行比较,并深入探讨其设计原理。
Time
10:10
18
10:10
信任跨越协议及其在实现真实AI中的作用
缺乏真实性问题是当今互联网的一大顽疾。试想一个充斥着我们无法信任、更不用说控制的AGI代理的世界!现在是时候为AI和互联网的未来奠定坚实的信任基础了。没有一个能够让人们、组织和社会在技术和人性层面建立信任与控制的框架,AI的广泛应用将无从谈起。在本次演讲中,本议题将介绍围绕信任跨越协议(TSP)的前沿信息真实性技术,以及它在内容生成、推理和自主代理等领域实现真实AI方面所起的关键作用。
Time
10:10
18
10:10
OpenMind 应用程序支持套件为Ascend 开发带来了全新的训练和推理体验
Ascend 的持续发展离不开开源社区的合作。作为 Ascend 的生态窗口,OpenMind 工具套件专注于为开发人员提供从模型分发到集成模型训练和推理的轻量级功能,从而降低 NPU 的开发门槛。本次分享将为观众提供与 OpenMind 相关的专有功能,包括提高融合运算符的效率和容器的自适应版本管理、包括 Llama-Factory 在内的开源社区中第三方库的适配能力,以及与 Magic Leap 社区合作的进展。
Time
10:10
18
10:10
跨平台开发新选择:以 Kotlin Multiplatform 打造多平台应用
Kotlin Multiplatform 已逐渐成为跨平台开发的强大工具,开发者能用一个编程语言,开发支持移动端、桌面端、前端到服务端的多平台应用。本次分享中,将介绍 Kotlin 多平台的核心理念,演示其架构设计和开发流程中的实际应用,并介绍相关工具与生态,以及 Kotlin 学习资源及社区动态。通过本次演讲,将能了解 Kotlin Multiplatform 为何是跨平台开发的好选择及其潜力。
Time
10:10
18
10:10
OminiX:为不同硬件平台上的生成式 AI 模型迈向统一库和加速框架
在生成式 AI 时代,一般用户需要应用不同的基础模型、微调检查点和 LoRA。此外,数据隐私和实时性要求将有利于在设备上本地部署大规模生成式 AI 模型。开发一个“即插即用”框架是可取的,这样用户可以下载任何生成式 AI 模型,单击并在自己的设备上运行。这对当前的 AI 部署框架提出了重大挑战,这些框架通常很耗时,并且需要人类对硬件和代码生成的专业知识。我们介绍了 OminiX 的努力,这是朝着统一库和加速跨各种硬件平台的生成式 AI 模型迈出的第一步。结合我们独特的前端库和即将开源的后端即时加速技术,我们展示了即插即用的部署能力和各种生成式人工智能模型的最先进的加速能力,从图像生成、大型语言模型、多模型语言模型、语音生成和语音克隆、实时聊天引擎、实时翻译、视频生成、实时头像等等。这可以在没有服务器的情况下实现,只需在每个人自己的平台上即可。
Time
10:10
18
10:30
茶歇
30 分钟
Time
10:30
18
10:30
Flutter 动手工作坊
本次活动与北京谷歌开发者社区联合举办,适用于 Flutter 初学者,参与者将在现场通过 Google Codelabs 完成对 Flutter 的学习与了解。注意事项:参与本次工作坊,请携带个人电脑及电源线,确保可以访问 Google Codelabs。
Time
10:30
18
10:50
茶歇
20 分钟
Time
10:50
18
11:00
嵌入式Rust产品开发经验
针对两种主流的开发平台,分享嵌入式Rust产品开发的经验,并比较传统C/C++嵌入式开发中使用的编程范式的异同。
Time
11:00
18
11:00
以CARLA创建端到端自动驾驶解决方案
端到端解决方案正在逐渐成为自动驾驶领域的标准,超越了传统的模块化方法。在这次演讲中,我们将展示如何使用 CARLA 开源模拟器来训练和验证端到端的自动驾驶解决方案。CARLA 提供了一个多功能的平台,用于模拟各种场景,使研究人员和工程师能够在安全、受控的环境中开发和测试人工智能模型。此外,我们还将讨论将这些解决方案从模拟转移到现实车辆中的关键过程,探讨在弥合虚拟与物理自主性之间差距时遇到的挑战和成功案例。与会者将了解到 CARLA 如何加速自动驾驶的开发周期,并促进稳健的现实世界应用的部署。
Time
11:00
18
11:10
用dora-rs超简易调整机械臂AI模型
让机器人自主工作变得越来越容易。我们将了解如何通过几个步骤就能开始训练一个能自动执行任务的模型。要归功于dora-rs,它让人工智能模型的微调变得超级简单。
Time
11:10
18
11:10
用React Native征服多平台
React Native 已经超越了iOS和Android,开始支持更多平台,如Microsoft Windows和华为的OpenHarmony。让我们深入探讨React Native开源社区的努力,看看他们是如何实现的。
Time
11:10
18
11:10
百变大模型高效训练框架LLaMA Factory
LLaMA Factory是一个高效、易用、可扩展的开源大模型高效训练框架,在GitHub开源社区获得超过 3 万 Stars,得到多家国内外企业的关注或落地应用。本次分享将从大模型高效训练的角度详细剖析 LLaMA Factory 的构建动机与组成模块,包括上百种大模型的全栈微调适配原理,LoRA 算子优化加速方法,多种微调 Trick 集成思路等等。
Time
11:10
18
11:10
Rust项目新手指南
Rust项目在过去几年中无论是成员数量还是结构都得到了显著增长。本次演讲旨在从宏观角度概述构成当今Rust项目的团队和结构,介绍各团队如何沟通和做出协作决策,以及新成员和团体如何参与进来。
Time
11:10
18
11:10
The Global Acceptance Network: :大规模实施去中心化数字信任基础设施
The Global Acceptance Network(GAN)是互联网数字公共基础设施的新一层,某种程度上类似于目前互联网的域名系统(DNS)。GAN将使个人、组织和“事物”(如设备、软件、AI机器人)能够使用开放标准的数字钱包、数字凭证和信任注册表来建立和维护可持续的数字信任关系。这一新设施旨在解决互联网当前存在的诸多问题,包括垃圾邮件、网络钓鱼、欺诈、恶意软件、勒索软件以及其他长期存在的安全、隐私和信任问题,这些问题之所以出现是因为互联网最初的设计中并未包含信任层。通过引入GAN,旨在为用户提供更加安全、可信的网络环境,促进数字经济和社会的健康发展。
Time
11:10
18
11:10
神经手腕:可穿戴智能
神经手腕技术代表了可穿戴设备的一种创新方法,专门用于收集和分析生理电信号数据。这项先进的技术通常使用佩戴在手腕上的传感器来检测和记录各种生理参数,例如心率、血压和皮肤电活动。收集的数据为用户的健康状况提供了宝贵的见解,可用于多种应用,包括健康跟踪、医疗诊断和健康监测。
Time
11:10
18
11:30
智能驾驶操作系统的开源挑战
OpenSDV智能驾驶操作系统分发是一个旨在解决汽车行业基本系统需求的项目,是由汽车企业、开发者和大学共同开发的通用智能驾驶系统。
Time
11:30
18
11:30
HighTec Rust汽车行业解决方案
HighTec Rust汽车行业的解决方案介绍及RUST在汽车行业的使用潜力
Time
11:30
18
11:50
Rapier:向分布式物理仿真更进一步
Rapier是专为Rust设计的强大开源物理引擎。在本讲座中,将介绍我们在分布式物理仿真方面的最新研究成果,以及如何利用物理引擎特有的功能来提高其性能。
Time
11:50
18
11:50
构建高效且可扩展的分布式系统:基于Rust的Zenoh以应用于V2V、自主系统及机器人技术
在快速发展的V2V通信、自主系统和机器人技术领域,对高效、可扩展的分布式系统的需求至关重要。Zenoh是一种创新协议,它将运动和静止的数据整合在一起,再加上Rust的强大功能,为应对这些挑战提供了令人信服的解决方案。本讲座将探讨如何使用Rust有效地实现Zenoh,从而为边缘计算、物联网和实时应用带来新的可能性。
Time
11:50
18
11:50
基于XLang构建xMind AgentFlow框架:打造MoFA平台的底层逻辑
本次演讲将介绍MoFA平台及其底层框架 xMind — AgentFlow,这是一个基于XLang 构建的模块化AI代理框架,专为实现 LLM 的记忆、规划和代理管理而设计。通过会话记忆和灵活的数据流图,AgentFlow提供高效的多会话管理,以及复杂任务的分解与优化,为开发者打造可组合的AI操作系统提供了强大支持。
Time
11:50
18
11:50
可穿戴AI:无缝交互的未来
下一代可穿戴AI有望通过全天候舒适度和直观界面重新定义与技术的日常互动。这些设备将配备先进的显示技术,能够无缝融入用户的视野,以最少的侵入方式提供信息。与这些可穿戴设备的互动将如同人类对话一样自然,具备由AI驱动的个性化功能,能够适应个人偏好和行为。它们将充当中心节点,连接用户与智能设备网络,确保在生活各个方面的顺畅和集成体验。简而言之,下一波可穿戴AI将提供一种既不显突兀又紧密融入日常生活的个性化、互联体验。
Time
11:50
18
11:50
Quake: 桥接构建系统鸿沟
软件复杂性的增长速度已经超出了许多支持它的构建系统的能力范围。现代应用程序需要构建时功能,例如资产处理和跨平台、多语言编译,但用于这些任务的工具很少能适应如此广泛的范围。Quake 提供了一个与任何技术堆栈兼容的富有表现力的跨平台构建系统,从而正面解决了这个问题。我们还将探索其他流行的构建系统和技术,以及它们面临的挑战,以更好地了解我们当前的状况以及未来可能的发展方向。
Time
11:50
18
11:50
WebAssembly 组件是什么及为何使用
WebAssembly 组件,作为 WebAssembly 组件模型提案的一部分,承诺提供一个既能在浏览器内也能在浏览器外开发可移植和可组合应用程序的框架。组件保留了 WebAssembly 最优秀的特性,如其可移植性、安全性和性能,同时还将高级 API 设计和组合性的优势带给了应用程序。来了解组件模型以及它可能为您带来的好处吧!
Time
11:50
18
12:00
让我们试试RustSBI!
在本次研讨会中,我们将介绍 RustSBI 的一个新版本,这是一个在 RISC-V 架构上完整的安全启动固件环境。在简要介绍了通用的 RustSBI 和 RISC-V 背景知识之后,我们将构建并在不同的硬件或模拟器上运行 RustSBI,然后尝试使用它来引导加载不同的操作系统发行版。
Time
12:00
18
12:00
使用Eclipse Zenoh应对车辆到一切通信(V2X)挑战
Eclipse Zenoh被认定为汽车领域中的关键协议,从车内通信到车辆到一切(Vehicle-to-Everything, V2X)应用中都发挥着重要作用。本次演讲将突出介绍使其达到这一前沿位置的特点。
Time
12:00
18
12:30
AutoGen:以多智能体对话推动下一代LLM应用实现
AutoGen是一个用于具身人工智能的开源编程框架。它使得开发大型语言模型(LLM)应用成为可能,这些应用使用多个可以相互交谈以解决问题的智能体。在本次演讲中,演讲者将介绍AutoGen,并分享最新的更新和正在进行的研究工作,涵盖评估、接口、学习/优化/教学以及与现有 AI 技术无缝集成等关键方向。演讲者还将深入探讨围绕AutoGen的开放性问题和未来计划。(这将是一次预先录制的演讲)
Time
12:30
18
12:30
午餐
Time
12:30
18
14:00
具身协同导航与交互学习
当前,复杂高动态环境对机器人的感知与学习提出了更加迫切的需求。集群系统为多机器人协同应用带来了效能倍增与应用突破,同时也对群体智能的感知、学习的理论研究与工程应用带来了巨大的挑战。本报告面向态势理解在适应异构机器人平台感知、动作的能力差异,以及适应广域动态场景高效、鲁棒的感知这两大类多机器人协同任务需求,针对如何利用异构多机器人的感知与学习能力实现集群增效与行为涌现,介绍相关的研究进展。
Time
14:00
18
14:00
如何参与Rust编译器工作坊
为Rust编译器这样的项目做出贡献可能非常具有挑战性。欢迎加入,我们将通过资源、流程、文档和问题/代码来激励和指导您,帮助您开始为编译器做出贡献。
Time
14:00
18
14:00
开源教育在下一代互联网(NGI)中的作用
经管法高校开源人才培养
Time
14:00
18
14:00
Eclipse uProtocol:开源的软件定义车辆框架
在次演讲将讨论如何实现一个开源框架,使软件能够针对一组统一的API进行开发,并在其他车载、云端和移动设备上移植。我们设计了一套基本API,可以在几乎任何协议之上进行开发,以便灵活应对未来汽车及其他行业的需求,并内置了RPC、PubSub和通知的设计模式。
Time
14:00
18
14:00
驾驭开源AI治理:模型开放框架与欧盟AI法案
探索模型开放框架(MOF)及其在开源AI治理中的作用。了解MOF如何指导遵守新的法规,如AI法案,解决关于组件发布和开源AI系统中适当许可的关键问题。通过本演讲,您将了解到MOF如何帮助组织和开发者在确保技术创新的同时,满足法律要求,促进负责任的AI发展。
Time
14:00
18
14:00
SPAD图像传感器:2D与3D融合的基础
使用基于 SPAD(单光子雪崩二极管)检测器形式的传感器,可以同时输出点云(距离)和图像(RGB颜色),实现2D和3D的完美融合。
Time
14:00
18
14:00
Rust 操作系统的现状、挑战和关键技术
我们分析了基于 Rust 语言的操作系统内核的当前开发状态和面临的挑战。我们还介绍了清华大学操作系统实验室用 Rust 设计和实现的操作系统的开发历史,以及当前在基于组件的操作系统内核方面的工作。讨论还涵盖了在设计和实现组件化操作系统内核时遇到的困难,以及我们正在进行的技术尝试。此外,我们还介绍了我们在中国大学内组织操作系统内核竞赛和举办开源操作系统训练营方面的努力。
Time
14:00
18
14:00
全新跨平台解决方案:ArkUI-X
介绍基于鸿蒙原生范式的新一代跨平台框架ArkUI-X,基于ArkUI-X可以将鸿蒙原生应用快速部署至Android、iOS,实现一次开发多平台复用
Time
14:00
18
14:00
低级别编程:Rust教育的“下一件大事”
在这个实践实验室中,参与者将在嵌入式Rust开发板上进行操作。
Time
14:00
18
14:30
Dora:使用Apache Arrow实现跨语言零拷贝消息传递
Dora是一个用于开发基于数据流的机器人应用程序的框架。在本讲座中,我们将介绍Dora如何使用共享内存和Apache Arrow 据格式实现不同编程语言之间的零拷贝消息传递。
Time
14:30
18
14:40
以OpenXR赋能沉浸式混合现实体验
首先,介绍OpenXR的基础知识;其次,介绍MR(混合现实)的基础知识;最后,介绍如何使用OpenXR开发身临其境的MR体验。
Time
14:40
18
14:40
OpenCSG具身智能数据平台
OpenCSG推出了一款强大的具身智能数据平台产品:CSG DataFlow,旨在为数据科学家和开发者提供高效全面的具身智能应用场景数据集处理解决方案。
Time
14:40
18
14:40
基于Rust的原生HarmonyOS应用开发 + OHOS上的Makepad
两个简短的演讲: 1. Rust在原生HarmonyOS应用开发中的适配及使用经验分享。
2. OpenHarmony提供了XComonent组件用于图形绘制和媒体数据写入、同时也提供了界面操作相关事件的回调函数。使用这两项能力,可以将Makepad中生成的EGL指令输出到XComonent中完成图形的显示,同时通过注册XComonent操作事件回调函数,将屏幕操作事件以及屏幕坐标转换为Makepad内部事件和坐标。
Time
14:40
18
14:40
BlueOS中的Rust语言开发实践
Vivo BlueOS 使用 Rust 开发,这是一种内存安全的系统编程语言,以其高并发性、强大的安全性和高效而闻名。Rust 为操作系统提供了更稳定、更高效的运行时环境。通过利用 Rust,BlueOS 在处理复杂任务时可以实现更流畅的性能。本演示将演示 BlueOS 如何使用 Rust 语言实现核心系统服务,例如图形和多媒体。
Time
14:40
18
14:40
浏览器的定制与思考
探索构建小巧的浏览器内核
Time
14:40
18
14:40
AI Hub:面向中国开发者的下一代开源模型社区
AI Hub:为中国的开发者构建一站式 AI 生态系统,助力快速创新
Time
14:40
18
15:00
茶歇
30 分钟
Time
15:00
18
15:20
茶歇
30 分钟
Time
15:20
18
15:30
Dora在自动驾驶中的应用
本次报告主要介绍了将自动驾驶框架Autoware移植到Dora环境的过程,并在真实车辆上实现自动驾驶的情况。(https://github.com/dora-rs/autoware.universe/tree/feature/autoware_dora)
Time
15:30
18
15:50
下一代三维视频:挑战与实践
相较于传统二维视频, 三维视频可以实现 "照片级真实渲染" 与 "6DOF沉浸交互" . 本次分享对三维视频的采集重建、编码传输、交互渲染、质量评价等维度介绍, 按技术路线、研发实践、未来趋势三个部分展开, 共建技术交流与探讨
Time
15:50
18
15:50
Rust如何让开源嵌入式驱动变得简单
在C语言中为你的嵌入式外设添加一个现有的开源驱动程序是非常糟糕的体验。得益于Rust语言本身及其嵌入式生态系统,Rust使得开发开源嵌入式驱动变得轻松。
Time
15:50
18
15:50
OpenLoong社区:构建开放、协作的人形机器人开源生态
本演讲将深入探讨OpenLoong社区的成立、发展、成就以及未来展望。作为国内领先的人形机器人开源社区,OpenLoong致力于推动人形机器人具身智能技术的发展,促进开发者之间的交流与合作。演讲将分享社区的成功案例、面临的挑战以及如何通过开放协作构建一个更加繁荣的人形机器人开源生态系统。
Time
15:50
18
15:50
用Rust中的增量解析器进行结构化文本生成
大型语言模型(LLMs)是理解非结构化数据的强大工具。我们将探讨 Kalosm 如何利用 Rust 实现高性能的结构化生成,从模型输出中提取结构化数据。在此过程中,我们还将深入了解 LLM 的内部结构以及高性能增量解析器。
Time
15:50
18
15:50
XLang™:开启全新篇章
XLang™ 是一种为人工智能和物联网应用设计的下一代编程语言,旨在提供动态、高性能的计算能力。它在分布式计算方面表现出色,并且可以与C++、Python和JavaScript等流行语言无缝集成,使其成为跨多种操作系统的通用选择。
Time
15:50
18
15:50
使用(非)形式化方法在Servo中解决并发问题
Servo 是一个Web引擎,其中一个目标是实现并行处理,这带来了与并发相关的一系列挑战,而这些挑战是Rust编译器本身无法完全覆盖的。TLA+ 是一种用于建模并发算法的数学语言,使其成为提高Servo正确性的有力工具。在本次演讲中,我们将讨论最近的实际应用案例,展示TLA+如何帮助解决Servo中的并发问题,提升系统的稳定性和性能。通过这些案例,听众将了解到如何利用形式化方法在复杂的软件项目中确保逻辑的正确性。
Time
15:50
18
16:00
面向服务的SDV在自动驾驶与车载操作系统中的应用
本议题将介绍由IEEE-SA自动驾驶工作组(ADWG)发布的自动驾驶架构及其应用。
Time
16:00
18
16:30
打破边界——探索机器人终局
打破边界——探索机器人终局
Time
16:30
18
16:30
在Wasmtime中运用Rust的优势
Rust编程语言以其安全性保障而闻名,即使在项目被迫使用unsafe代码的情况下,它仍然提供了许多好处。此次演讲将深入探讨Wasmtime项目,这是一个独立的WebAssembly引擎,以及它如何利用Rust的优势来提供关键的安全保障。
Time
16:30
18
16:30
基于LLM的AI应用工作流编排系统
大型语言模型(LLMs)的快速发展催生了多种架构和框架,每种都引入了独特的AI工作负载和工作流。然而,高效编排、工作负载重用以及降低基于LLM的应用部署障碍等挑战仍然是企业面临的关键障碍。本议题将探讨英特尔的开源项目OPEA(企业AI开放平台)如何应对这些挑战。重点将放在GMC(GenAI微服务连接器)上,这是一种旨在优化AI工作负载的动态编排工具。
Time
16:30
18
16:30
Masonry:Rust 中的命令式控件工具包
通过将状态管理与底层行为脱钩,Masonry 可以开发高性能 GUI 框架。它的开放式控件集提供了比 Web DOM 更大的灵活性。
这将是一场带有远程问答的视频录制讲话。
Time
16:30
18
16:30
告别WebSockets和WebRTC!使用 Rust、QUIC、WebTransport 和 HTTP/3 提升网络通信
In this talk, we'll explore the future of real-time web communication by moving beyond WebSockets and WebRTC. Learn how Rust, QUIC, WebTransport, and HTTP/3 offer enhanced security, scalability, and performance. Using a videoconferencing system as a case study, we’ll demonstrate how these technologies can revolutionize modern web communication.
Time
16:30
18
18:00
Happy Hour
Time
18:00