CCF CED 2024｜分论坛前瞻之生产力革新的AI工具

臧志

百度Comate总经理

论坛主席说：

在这里，你将见证 AI 如何重塑研发流程，提升研发效率，为工程师带来满满的幸福感。专家们将带来前沿的应用案例，分享宝贵的经验与前瞻视角，为工程师和企业管理者拥抱 AI 原生时代搭建一个思考与实践并重的平台。

具体而言，百度的专家将分享大模型驱动下的软件研发范式变革，展示在智能研发中的创新思考与实践成果，以及人机协同新范式的探索心得。商汤科技的专家则聚焦大模型助力团队提效，剖析其能力特质对生产力革新的本源，展望大模型产品落地的广阔前景。新浪微博的专家会以 Wecode 代码助手为例，阐述如何借助开源大模型建设高效的代码辅助生成助手，提升研发效率。亚马逊云科技的专家将深入讲解生成式 AI 如何赋能云上开发的各个环节，为开发者提供全新的思路和解决方案。蚂蚁数字科技的专家将分享大模型在智能合约代码安全领域的应用经验，提升合约安全工具的效能。

这不仅是一场技术的盛宴，更是一次见证 AI 驱动生产力飞跃的历史时刻。让我们一同加入这场盛会，探索 AI 的无限可能，共同开创工程生产力的新纪元！

李辉

百度工程效能部主任架构师

百度工程效能部主任架构师、TC主席，百度CMC、DevOps TOC秘书长。毕业于北京邮电大学信息科学专业，20年工程架构与应用经验，DevOps领域资深专家，百度DevOps研发工具产品线整体技术负责人，百度工程能力地图、工程效能评估体系、AI原生研发范式等核心发起人。现专注于AI研发工具的设计与构建，深入探索AI时代软件研发中人机协同方面的变化和演进趋势。

《大模型驱动下的研发工具应用实践与人机协同探索》

随着生成式AI与大模型应用的迅猛发展，各行各业都在积极拥抱AI技术。软件研发作为大模型应用的重要领域，也将其视为划时代的生产力工具。本次分享将介绍在大模型技术驱动下，软件研发范式所经历的变革，结合百度在智能研发中的思考与深度实践，充分挖掘并释放大模型的生产力，为研发团队与工程师提效。

我们将深入浅出地说明大模型技术为软件工程领域带来的变革，并分享AI技术如何重塑现有的DevOps流程与工具。结合百度内部的深入实践与探索，我们将分享百度在智能化研发工具建设与应用落地的宝贵经验。

对于AI时代的人机协同新范式，行业仍在持续探索中。本次分享也将介绍百度在这一领域的最新探索心得与落地成果，并通过实际场景案例来说明如何更有效地使用这些生产力工具，以激发创意、加速创新。

张涛

商汤科技Copilot 应用技术负责人

毕业于北京邮电大学通信工程专业，拥有16年先进技术工程应用经验。他先后在视频通信、计算机视觉、CV异构推理框架以及大语言模型应用等领域主导过大型软件架构的设计和研发工作。目前，张涛专注于AI应用产品的研发，带领团队开发并上线了商汤AI Native生产力系列工具“代码小浣熊”和“办公小浣熊”，为数十万开发者提供编程辅助服务。

《基石、路径、远山——大模型助力团队提效的技术探索》

不同于以往的技术革新，大模型的智能涌现开拓了人类的想象力边界，让许多之前因机器智能水平限制而无法实现的设想开始蹒跚起步。

社会生产力的提升是人类文明进步的主要推动力。大模型和生成式AI技术的飞速发展，让许多先行者开始关注AI在切实提升生产力方面的潜力。本次分享的主要内容为：

• 基石——大模型能力特质是带来生产力革新的本源

• 路径——在研发与数据分析场景中，大模型发挥作用的方式

• 远山——目前大模型产品落地中的限制，以及前景展望

我将通过以上内容对技术原理和产品实践体验进行深入拆解，与大家一起探讨当前的大模型如何为提升生产力助力；同时，共同畅想强人工智能在未来如何重塑我们的世界。

李庆丰

新浪微博研发中心高级总监

作为微博研发中心的高级总监，他负责微博基础架构和流媒体等相关技术平台的研发工作。在高可用架构、云原生、混合云架构以及流媒体架构技术方向，他拥有丰富的研发及管理经验，并积极推动AI技术提效的实践与探索。作为技术社区的积极拥护者，他多次担任业界前沿技术大会的讲师及出品人。

《AI助力研发提效-Wecode代码助手架构实践》

大模型和AIGC技术正在深刻地改变着各个行业，AI辅助代码生成提升研发效率也成为行业内的重要探索方向。

本次分享将以新浪微博的代码助手Wecode为例，介绍如何利用开源大模型快速且安全地构建适合自己团队的代码辅助生成助手；并通过合适的架构设计，实现快速迭代优化，提升代码辅助效果，帮助团队提升研发效率。

希望通过这个案例分享，让大家更好地理解，在大模型时代，研发方式已经逐渐发生改变；AI在研发提效方面将扮演越来越重要的角色。大模型时代给研发人员带来了新的挑战和机遇，我们必须拥抱AI，走在大模型技术的前沿。

郑予彬

亚马逊云科技资深开发者布道师

软件工程硕士，拥有超过20年ICT行业及数字化转型实践经验。目前担任亚马逊云科技资深开发者布道师，专注于云原生、开发运维以及生成式AI的市场内容创造与推广。作为亚马逊云科技首位专注于开发者的女性技术布道者，她在全球化的中文开发者社区中非常活跃。凭借18年的架构师经验，她专注于为金融、教育、制造以及世界500强企业客户提供数据中心建设、软件定义数据中心等解决方案的咨询和技术落地。她以丰富的行业经验为开发者提供技术辅导，寻求共同成功。

《生成式人工智能赋能云上开发全流程》

我们将深入探讨如何利用生成式AI技术提升云开发的各个环节。随着云计算的普及，开发者面临着效率和创新的双重挑战。生成式AI为代码生成、测试自动化、性能优化甚至故障诊断等提供了革命性的解决方案。

我将以亚马逊云科技为例，展示在云平台上如何通过使用生成式AI助力的工具和服务，实现智能化的代码补全和错误检测、文档和代码注释的智能生成，从而帮助开发者减少工作时间。同时，我还将探讨AI在自动化测试中的作用，展示如何通过生成虚拟测试环境和自动化测试案例，提升软件的可靠性。

此外，演讲还将介绍如何利用生成式AI进行性能优化，通过分析大量日志数据，找出系统瓶颈并提供优化建议。通过自然语言开发新应用，以及增添新功能。这些技术不仅提高了开发效率，还帮助开发者专注于创新和更具战略意义的任务。

通过实际案例和演示，希望启发开发者在自己的项目中应用生成式AI，实现更加智能高效的云端开发流程。准备好迎接AI驱动开发的新纪元吧！

周维

蚂蚁数字科技合约安全负责人

蚂蚁数字科技的智能合约安全与虚拟机负责人，长期致力于智能合约底层技术研究，是智能合约语言编译器、虚拟机和合约安全领域的专家。自加入蚂蚁链以来，作为核心成员参与并主导了区块链合约语言编译器、即时编译（JIT）虚拟机以及AI合约审计平台的开发。他带领团队将大模型应用于多种智能合约审计工具，所研发的AI合约审计平台不仅服务于内部用户，还为数十家外部客户提供支持。他不断探索AI技术在提升安全工具能力边界、辅助人工审计、提高审计效率等方面的应用，致力于将大模型技术应用于专业工具的开发与实践。

《大模型助力合约安全工具能力提升的探索》 

在智能合约安全性评估与代码审查领域，静态分析和形式化验证等技术常被用来辅助人工审计。然而，这些方法在实际应用中存在一定的局限性，例如使用门槛高、漏洞解释过于泛化缺乏针对性，以及在分析复杂逻辑漏洞时表现不足。 

我将分享如何将大模型这一创新技术融入智能合约代码安全领域工具中，以提高其效能。我将详细介绍大模型在传统安全工具中的应用与实现，以及训练合约审计大模型的经验。希望为相关从业者提供大模型在高度复杂技术工具中应用的实践经验和案例。