首页 > 传媒 > 关键词  > 编译器最新资讯  > 正文

第三届OpenHarmony技术大会编译器与编程语言分论坛成功

2024-10-15 09:29 · 稿源: 站长之家用户

随着应用需求的多样化和复杂性增加,现代编译器通过支持高档语言、优化编译过程和提供多平台兼容性,使得开发者能够更有效地构建高质量的软件产品。在 2024 年 10 月 12 日第三届OpenHarmony技术大会编译器与编程语言分论坛上,众多行业专家齐聚一堂,围绕编译器与编程语言技术的前沿研究,聚焦编译器、编程语言、工具链、编译器测试、GC测评等方面展开比较新技术和案例分享,探讨了如何提升应用开发效率和性能,以及如何增强系统的健壮性与安全性等相关议题。

image.png

OpenHarmony编程语言TSG主任、华为编程语言首席专家、仓颉编程语言首席架构师、南京大学教授冯新宇;北京师范大学人工智能学院副院长、教授计卫星作为出品人出席该分论坛。OpenHarmony编程语言TSG成员、华为编程语言实验室技术专家王学智担任分论坛总主持。华为编程语言佼佼者技术专家董鑫;中国科学院软件研究所博士生汪钇丞;北京大学博士张星;南京大学助理教授、博士生导师谭添;华为语言虚拟机实验室架构师王亚东;华为ArkTS语言技术专家陈庭威;华为编译器实验室架构师俞超;天津大学教授、国家优青项目获得者陈俊洁出席论坛并发表演讲。

(OpenHarmony编程语言TSG主任、华为编程语言首席专家、仓颉编程语言首席架构师、

南京大学教授、本次分论坛出品人冯新宇发言)

华为编程语言佼佼者技术专家董鑫向与会者介绍了面向全场景应用开发的新一代编程语言——仓颉的主要特点。董鑫指出,仓颉编程语言是一款面向全场景智能的新一代编程语言,主打原生智能化、天生全场景、高性能、强安全。所谓原生智能化,是指仓颉提供了一套原生AI应用框架与Agent DSL来提升OpenAtom OpenHarmony(以下简称OpenHarmony)智能应用开发效率和智能化水平。所谓天生全场景,是指语言支持定制扩展,通过元编程等能力为不同场景定制方言,提升复杂场景的开发和维护效率;以及提供可伸缩的轻量运行,在面向不同场景可以进行量体裁衣、有效适配。高性能,主要是基于静态编译优化、原生协程和全并发 GC 等技术,确保仓颉应用程序全周期流畅运行。强安全,则是源于全方位的安全特性设计。

image.png

(华为编程语言佼佼者技术专家董鑫发言)

以Java、Go、C#为代表的托管语言(Managed Language)已广泛应用于现代大型软件项目。这些语言的运行时通过垃圾回收机制(Garbage Collector, GC)自动管理内存,但这种低效的垃圾回收机制显著影响了应用程序性能,目前缺乏有效的跨语言运行时GC性能评测方法。中国科学院软件研究所博士生汪钇丞就跨语言运行时的垃圾回收机制评测方法提出了解决办法,他分享了一种新的跨语言运行时GC性能评测方法,一套与运行时无关的内存操作原语,以这些原语为桥梁,构建或生成面向多语言运行时的一致GC负载。

image.png

(中国科学院软件研究所博士汪钇丞发言)

北京大学博士张星介绍了一种新型的基于操作的双向实时编程框架。该双向实时编程系统(BLP)允许开发人员通过直接操作程序输出来修改程序,使得更新后的程序能生成所需的输出,它能够自动将直接操作融入源代码,支持扩展性强且对源代码不敏感的操作。同时,该系统将可操作输出从静态值扩展到具有运行时交互功能的软件,进一步提升了双向实时编程的实用性。

(北京大学博士张星发言)

南京大学助理教授、博士生导师谭添分析了基于太阿(Tai-e)研发的面向仓颉的Tai-e-Cangjie程序分析框架的优势和其对促进仓颉语言生态发展的贡献。他指出:“太阿”作为全自研的新一代Java程序分析框架,相较于国际上峰行的同类分析框架,具有易学易用、可扩展性强和运行效率高等优势,填补了仓颉语言相关生态的空白。

(南京大学助理教授,博士生导师谭添发言)

JavaScript/WASM是Web领域唯二的生态语言,拥有最为庞大的程序员基础。JavaScript/WASM引擎被广泛地嵌入到浏览器、小程序、RN等框架中,其性能会直接影响手机应用的用户体验。华为语言虚拟机实验室架构师王亚东在《HarmonyOS NEXT系统JSVM优化实践与思考》的演讲中提出,基于OpenHarmony提供的系统级JSVM,可以构筑具备竞争力的JS体验。

image.png

(华为语言虚拟机实验室架构师王亚东发言)

ArkTS具有更强的静态检查和分析能力,更高的开发效率和运行性能,更便利的高性能并发模型。华为ArkTS语言技术专家陈庭威就ArkTS开发者生态信息、挑战与技术演进等话题发表演讲。他指出ArkTS提供了声明式UI范式、状态管理支持等相应的能力,让开发者可以以更简洁、更自然的方式开发应用。同时,它在保持TypeScript(简称TS)基本语法风格的基础上,进一步通过规范强化静态检查和分析,使得在程序运行之前的开发期能检测更多错误,提升代码健壮性,并实现更好的运行性能。

(华为ArkTS语言技术专家陈庭威发言)

毕昇编译器作为华为自研的编译器工具链,在HarmonyOS NEXT系统侧优化中发挥了重要的作用。华为编译器实验室架构师俞超在《毕昇编译器在HarmonyOS NEXT 的应用实践》主题演讲介绍了毕昇编译器为生态伙伴带来了面向CPU、GPU等不同体系架构的先进编译优化技术,并分享了毕昇编译器与生态伙伴紧密合作的优秀实践。

image.png

(华为编译器实验室架构师俞超发言)

天津大学教授、国家优青项目获得者陈俊洁介绍了天津大学创新性提出的基于程序综合的测试程序生成思路,以及据此设计的一系列技术。据称,这些该技术体系已经被逐步推向实用,它可以从历史测试程序中抽象出关键特征,并通过语义分析等策略进行特征重组,以有效获取更多样的测试程序,并进一步设计程序修复策略,以保证综合后的程序合法性。

(天津大学教授、国家优青项目获得者陈俊洁发言)

通过实际的技术分享和案例展示,编译器与编程语言分论坛致力于帮助开发者在OpenHarmony生态中找到系统性的编译器与编程语言技术,从而提升应用的开发效率、性能和安全性。OpenHarmony项目技术指导委员会致力于构建一个开放且技术领先的编译器与编程语言交流平台,为系统及应用开发者提供技术交流服务。未来,委员会将联合国内外先进技术专家、学者以及经验丰富的工业界工程师,为OpenHarmony生态带来在编译器与编程语言技术上的创新思考及工程实践案例。

推广

特别声明:以上内容(如有图片或视频亦包括在内)均为站长传媒平台用户上传并发布,本平台仅提供信息存储服务,对本页面内容所引致的错误、不确或遗漏,概不负任何法律责任,相关信息仅供参考。站长之家将尽力确保所提供信息的准确性及可靠性,但不保证有关资料的准确性及可靠性,读者在使用前请进一步核实,并对任何自主决定的行为负责。任何单位或个人认为本页面内容可能涉嫌侵犯其知识产权或存在不实内容时,可及时向站长之家提出书面权利通知或不实情况说明,并提供身份证明、权属证明及详细侵权或不实情况证明(点击查看反馈联系地址)。本网站在收到上述法律文件后,将会依法依规核实信息,沟通删除相关内容或断开相关链接。

  • 相关推荐
  • 大家在看
  • Grounding with Google Search:利用Google搜索提升AI模型的准确性和信息新鲜度

    Gemini API和Google AI Studio现在提供与Google Search结合的Grounding功能,使开发者能够获得更准确、更新的响应,这些响应由Google搜索辅助的Gemini模型提供。此功能不仅可以提供更准确的响应,还能返回支持链接和搜索建议,引导用户找到与响应相对应的搜索结果。这一技术的应用,可以减少AI应用的虚构信息,提供最新的信息,增强AI应用的可信度,并且通过提供支持链接,增加发布者网站的流量。

  • Fish Agent V0.1 3B:高精度环境音频信息捕捉与生成的语音转语音模型

    Fish Agent V0.1 3B是一个开创性的语音转语音模型,能够以前所未有的精确度捕捉和生成环境音频信息。该模型采用了无语义标记架构,消除了传统语义编码器/解码器的需求。此外,它还是一个尖端的文本到语音(TTS)模型,训练数据涵盖了700,000小时的多语言音频内容。作为Qwen-2.5-3B-Instruct的继续预训练版本,它在200B语音和文本标记上进行了训练。该模型支持包括英语、中文在内的8种语言,每种语言的训练数据量不同,其中英语和中文各约300,000小时,其他语言各约20,000小时。

  • Wonder Animation:Autodesk推出的AI解决方案,将视频转换为3D场景的动画制作工具。

    Wonder Animation是Autodesk旗下的一款创新产品,它利用尖端的视频到3D场景技术,将任何视频序列转换成3D动画场景,加速动画电影制作流程。这项技术能够处理包含多个剪辑和不同镜头(广角、中景、特写)的影片和编辑序列,然后使用AI在3D空间中重建场景,并匹配每个摄像机与角色和环境的位置和动作关系。Wonder Animation的主要优点在于它能够为艺术家提供完全的创意控制权,与市场上其他依赖自动化输出的生成性AI工具不同,它赋予艺术家塑造自己愿景的能力。

  • cofounder:AI生成的应用,全栈+生成式UI

    cofounder是一个全栈AI生成的应用,它结合了后台、数据库和有状态的web应用。它基于应用架构的生成式UI,拥有AI引导的草图设计和模块化设计系统。这个项目还处于早期alpha阶段,但已经展现出强大的潜力,尤其是在快速原型设计和开发方面。它的目标是提供一个完整的本地、基于浏览器的开发环境,支持多种框架,并且通过集成的AI插件提供生成式设计系统。

  • LaunchGun:AI驱动的分析平台,优化产品在Product Hunt上的发布。

    LaunchGun是一个AI驱动的分析平台,旨在帮助独立制作者通过数据驱动的洞察和聚类分析来优化他们在Product Hunt上的发布。该平台通过聚合和分析Product Hunt上的公共数据,为用户在产品发布领域提供宏观视角。LaunchGun的主要优点包括聚类基础的产品分析、数据可视化、成功率跟踪、性能指标跟踪和时间序列分析,帮助用户识别趋势和最佳发布时机。产品背景信息显示,LaunchGun由一群对数据和产品发布充满热情的开发者创建,旨在通过最新的实时数据提供深入的分析和见解。

  • MeetingMind:AI会议记录分析应用

    MeetingMind是一个AI驱动的会议助理,帮助用户轻松捕捉、分析和执行会议洞察。该项目使用Langflow、Next.js和基于Groq的快速转录服务来分析会议并生成洞察。产品背景信息显示,MeetingMind旨在提高会议效率,通过自动化提取会议中的关键信息,如任务、决策、问题等,减少人工记录和后续整理的时间。产品的主要优点包括AI转录、关键信息自动提取和易于使用的界面。目前,该产品在GitHub上开源,用户可以免费使用。

  • Kiwi Fitness:AI驱动的个性化健身训练APP

    Kiwi Fitness是一款结合AI技术和健身训练的应用程序,它通过个性化的健身计划和游戏化元素,帮助用户提高体能和健康。产品背景信息显示,Kiwi Fitness利用研究支持的训练方法和引人入胜的内容,创建能够有效提升力量、耐力、灵活性和整体健康的健身程序。此外,它还提供了一个社交网络,让用户可以分享健身成果,跟随朋友的进步,并在支持性的社区中庆祝成就。Kiwi Fitness的价格定位是免费试用,用户可以通过应用商店下载体验。

  • MobileLLM:优化的小型语言模型,适用于移动设备

    MobileLLM是一种针对移动设备优化的小型语言模型,专注于设计少于十亿参数的高质量LLMs,以适应移动部署的实用性。与传统观念不同,该研究强调了模型架构在小型LLMs中的重要性。通过深度和薄型架构,结合嵌入共享和分组查询注意力机制,MobileLLM在准确性上取得了显著提升,并提出了一种不增加模型大小且延迟开销小的块级权重共享方法。此外,MobileLLM模型家族在聊天基准测试中显示出与之前小型模型相比的显著改进,并在API调用任务中接近LLaMA-v2 7B的正确性,突出了小型模型在普通设备用例中的能力。

  • Note This Down:AI智能转录手写笔记应用

    Note This Down是一款利用人工智能技术将手写笔记数字化的应用,它通过连接用户的Notion账户,上传手写笔记的照片,自动将手写文字转换成电子文本,并保存到Notion的新页面中。这款应用的主要优点包括高准确率的转录、直接与Notion集成、无限上传和转录、以及7天免费试用。Note This Down的背景信息显示,它旨在帮助那些喜欢手写笔记但又需要数字组织便利的用户。产品价格分为月付和年付两种,月付16美元,年付79美元,均提供7天免费试用。

  • KlipLab:AI名人语音生成器,创建逼真的配音和视频。

    KlipLab是一个利用人工智能技术的平台,允许用户使用名人、公众人物和虚构角色的声音来创建配音和唇形同步视频。用户只需选择一个声音,输入文本,KlipLab就能生成一个唇形同步的视频。这个技术的重要性在于它能够为视频内容创作者提供一种快速、高效的方式来制作高质量的视频内容,同时增加视频的吸引力和互动性。KlipLab提供了多种声音选择,并且支持高清视频输出,适合社交媒体和内容创作者使用。

  • Data Formulator:AI驱动的数据可视化工具

    Data Formulator 是微软研究团队开发的一款AI驱动的数据可视化工具,它通过结合用户界面交互和自然语言输入,帮助用户快速创建丰富的数据可视化图表。该工具可以自动处理数据转换,使用户能够专注于图表设计。Data Formulator 支持通过Python安装并本地运行,也可以在GitHub Codespaces中快速启动。它代表了数据分析和可视化领域的技术进步,通过AI技术提高了数据可视化的效率和易用性。

  • Syrnyk:一个拥有食谱生成器的美食博客。

    Syrnyk是一个美食博客网站,它不仅提供各种美食食谱,还拥有自己的食谱生成器应用。用户可以通过这个平台找到各种风格的食谱,包括早餐、午餐、晚餐和甜点等,满足不同用户的烹饪需求。Syrnyk的食谱生成器可以帮助用户根据口味和烹饪时间快速生成个性化食谱,创造自己的烹饪书。这个平台以其丰富的食谱内容和便捷的食谱生成功能,为用户提供了一个有趣的烹饪体验。

  • Zefi AI:将用户反馈转化为价值

    Zefi AI是一个商业产品,专注于将用户反馈集中化、分析并提取洞察,以指导更好的产品决策。它通过集成多种工具,提供一个统一的反馈概览,帮助企业理解用户反馈背后的原因和趋势,从而推动业务增长。Zefi AI以其企业级安全性、自动化反馈收集和标记、以及基于数据的产品决策支持而受到客户信赖。

  • D-FINE:重新定义DETRs中的回归任务为细粒度分布细化。

    D-FINE是一个强大的实时目标检测模型,它通过将DETRs中的边界框回归任务重新定义为细粒度分布细化(FDR),并引入全局最优定位自蒸馏(GO-LSD),在不增加额外推理和训练成本的情况下,实现了出色的性能。该模型由中国科学院的研究人员开发,旨在提高目标检测的精度和效率。

  • Font Guesser:字体识别游戏,挑战你的字体知识

    Font Guesser是一个在线互动游戏,旨在通过趣味的方式测试和提升用户对不同字体的识别能力。用户需要根据展示的字体样本猜测其类型,包括Display、Serif、Sans-Serif、Monospace、Handwriting和Decorative等。这个游戏不仅增加了用户对字体的认识,还能提升设计感和审美能力。产品背景信息显示,该游戏由Nitin设计并制作,旨在以趣味的方式教育用户识别和了解不同的字体。目前该游戏是免费的,适合所有对字体设计感兴趣的用户。

  • Personas:个性化音乐创作平台

    Suno是一个音乐创作平台,通过其最新功能Personas,用户可以捕捉并保存任何曲目的独特氛围,赋予其生命。Personas允许用户保存歌曲的本质——其人声、风格和氛围,并在新的创作中重新想象它。这就像是给曲目一个独特的身份,随时准备激发你的创造力。Personas让用户以音乐的本质为基础,创造新的音乐声音,这些声音承载着他们最喜欢的曲目的灵魂。通过公开Personas,不仅是关于你的音乐——它是一个邀请他人加入和协作的邀请。

  • MLX-Auto-Subtitled-Video-Generator:基于 Apple MLX 框架的视频字幕生成工具

    一款基于 Apple MLX 框架构建的开源字幕生成工具,针对苹果硅芯片 Mac 优化,高效且成本效益高。

  • Blendbox:AI艺术创作平台,让创意不受限制。

    Blendbox是一个基于AI的艺术创作平台,它通过提供非破坏性编辑、层级编辑和重组等功能,增强用户的创造力。用户可以轻松地对作品的各个层进行编辑和调整,实现前所未有的创作自由度。Blendbox的背景信息显示,它是由Blockade Labs开发的,旨在推动AI技术在艺术创作领域的应用。产品定位于专业设计师和艺术创作者,价格方面提供试用,具体定价未在页面中明确。

  • MimicTalk:快速生成个性化和富有表现力的3D会说话面部模型

    MimicTalk是一种基于神经辐射场(NeRF)的个性化三维说话面部生成技术,它能够在几分钟内模仿特定身份的静态外观和动态说话风格。这项技术的主要优点包括高效率、高质量的视频生成以及对目标人物说话风格的精确模仿。MimicTalk通过一个通用的3D面部生成模型作为基础,并通过静态-动态混合适应流程来学习个性化的静态外观和面部动态,同时提出了一种上下文风格化的音频到运动(ICS-A2M)模型,以生成与目标人物说话风格相匹配的面部运动。MimicTalk的技术背景是基于深度学习和计算机视觉领域的最新进展,特别是在人脸合成和动画生成方面。目前,该技术是免费提供给研究和开发社区的。

  • Agent S::一个开放的代理框架,让计算机像人类一样使用计算机。

    Agent S是一个开放的代理框架,旨在通过图形用户界面(GUI)实现与计算机的自主交互,通过自动化复杂多步骤任务来转变人机交互。它引入了经验增强的分层规划方法,利用在线网络知识和叙事记忆,从过去的交互中提取高级经验,将复杂任务分解为可管理的子任务,并使用情景记忆进行逐步指导,Agent S不断优化其行动并从经验中学习,实现适应性强且有效的任务规划。Agent S在OSWorld基准测试中的表现超过了基线9.37%的成功率(相对提高了83.6%),并在WindowsAgentArena基准测试中展示了广泛的通用性。

今日大家都在搜的词: