当前位置: 首页 > news >正文

ChinaSoft 论坛巡礼 | 智慧化 IDE 论坛

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!

目前大会火热报名中!

CCF ChinaSoft 2023官方首页:

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”或扫描下方二维码进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

fb8e94be7edd2a52ce0e6370084b205e.png

4dae394207088a5b956dbf23dbd36d89.jpeg

✦  +

+

论坛巡礼

论坛名称:智慧化IDE论坛

时间: 2023年12月2日(星期六),14:00 – 18:00

地点: 上海国际会议中心,5A会议室

论坛简介:

   IDE作为工具链的重要组成部分,围绕程序员的整个开发活动,重点关注工程创建,代码编写,编译构建,调试调优,缺陷检测,集成测试等全流程的效率和体验。随着以Copilot和ChatGPT为代表的AI大模型的普及,生成式AI已成为开发人员编写、调试和优化代码能力的必备工具。IDE智慧化已成为发展的必然道路。智慧化IDE论坛邀请工业界和学术界多位顶尖专家,聚焦产业生态和最新的理论研究进展,深度剖析业界IDE智慧化发展现状,探讨研发领域大模型的发展趋势及其在IDE上的智慧化应用成果、主要问题和挑战等。

日程安排

Schedule

dbf2784aaef50d83b213f0425dcb204d.png

论坛主席

Forum Chairmen

f0f2f7b37b4e5e8897590a1465f63e5b.png

蒋奕

华为技术有限公司

现任华为公司软件IDE实验室主任,曾作为首席架构师主导华为第一个自研编译器HCC以及方舟编译器的架构设计与产品化研发。多次获得代表华为公司最高荣誉的金牌个人奖以及金牌团队奖。加入华为之前,先后在Intel,Nvidia,Apple等公司负责编译器、工具链、程序分析工具、调试工具等全栈设计和开发,涵盖GCC,LLVM,Open64,Intel Compiler等主流编译器。

20224b4e13d696e99eb1c6289f47491b.png

黎立

北京航空航天大学

北京航天航天大学教授,荣获MSR 2023 Ric Holt青年研究成就奖,入选澳大利亚2020年优秀青年基金(DECRA),曾被评为全球前三最有影响力的青年软件工程研究人员。主要研究方向为AI安全、智能软件工程和移动软件工程,累计发表高水平期刊和会议论文150余篇,谷歌学术引用超6500次(H-index为39),荣获10项最佳/杰出论文奖励,包括2项IEEE TCSE杰出论文奖、2项ACM SIGSOFT杰出论文奖、1项ACM SIGPLAN杰出论文奖以及等。受邀担任中科院一区期刊(ACM Computing Survey)编委以及包括TOSEM、TSE、ICSE、 ESEC/FSE、ASE、ISSTA在内的CCF A类期刊和国际会议的审稿人,多次受邀在国际会议上作特邀报告。

6a168c2afeddc837936bc6d428a5b300.png

娄一翎

复旦大学

复旦大学计算机科学技术学院青年副研究员,2016年毕业于北京大学信息科学技术学院,获理学学士学位,2021年毕业于北京大学信息科学技术学院,获理学博士学位,博士毕业后在美国普渡大学计算机系任博后研究员。主要研究方向包括软件工程、软件测试与分析、智能化软件开发等。目前已在ICSE、FSE、ASE、ISSTA、TSE等软件工程国际高水平会议和期刊上发表论文二十余篇,获ACM SIGSOFT Distinguished Paper Award、IEEE TCSE Distinguished Paper Award,并担任ICSE、FSE、ASE、ISSTA等国际会议程序委员会委员。

论坛嘉宾

Forum Guests

8d50a01d267d049c975e83677274f832.png

蒋奕

华为技术有限公司

现任华为公司软件IDE实验室主任,曾作为首席架构师主导华为第一个自研编译器HCC以及方舟编译器的架构设计与产品化研发。多次获得代表华为公司最高荣誉的金牌个人奖以及金牌团队奖。加入华为之前,先后在Intel,Nvidia,Apple等公司负责编译器、工具链、程序分析工具、调试工具等全栈设计和开发,涵盖GCC,LLVM,Open64,Intel Compiler等主流编译器。

报告题目:

模型时代的全流程智慧化IDE探索

报告摘要:

通过构建开发领域大模型Prompt增强能力、智慧开发交互及领域模型等开发领域智慧化IDE技术,打造全流程智慧化开发工具链(特性级代码生成、智慧编译优化、测试用例生成、智慧化调优辅助、缺陷实时预警),降低应用开发、问题定位门槛,助力开发效率及代码质量提升。

085ad85eabfed0551f0093b2f81effed.png

孙海龙

北京航空航天大学

北京航空航天大学教授,入选国家级青年人才计划,担任CCF协同计算专委副秘书长。主要研究群体智能、智能化软件方法和分布式系统等。主持多项国家重点研发计划项目、国家自然科学基金专项重点项目及面上项目等。在OSDI、ICSE、IJCAI和AAAI等发表论文130余篇,获得中国发明专利授权70余项、美国发明专利授权2项。曾获国家技术发明二等奖2项、教育部科技进步一等奖3项。

报告题目:

基于群智化方法的AI软件构建

报告摘要:

随着人工智能技术的广泛应用,AI模型逐渐成为软件系统的重要组成。以深度神经网络为代表的AI模型是典型的复杂软件系统,提高此类软件的构建效率和质量是一个难题。针对该问题,我们受经典软件复用方法的启发,提出了“分而治之,集成汇聚”的群智化方法,其核心是基于模块化分解和按需组合的模型复用。报告聚焦深度神经网络模型的高效复用问题,介绍模型复用的研究动机和意义,并分析所面临的挑战,进一步介绍基于群智化方法的模型复用的研究进展。

a29cea2d6842de8d3fb337344b453255.png

刘辉

北京理工大学

CCF杰出会员,北京理工大学教授/博导,智能软件与软件工程研究所副所长。长期从事软件开发环境方面的研究工作,在ICSE、ESEC/FSE、ASE、ISSTA、IEEE TSE、ACM TOSEM等发表录用三十余篇学术论文,部分成果被Eclipse等主流IDE采纳集成。获得ICSE 2022杰出论文奖、RE 2021最佳论文奖、IET Premium Award(2016) 、北京市技术发明二等奖。

报告题目:

面向IDE的软件重构

报告摘要:

软件重构是提高软件质量的一个重要手段,也是迭代式软件开发的核心支持技术。为此,几乎所有主流集成开发环境(IDE)为软件重构的实施提供了自动或半自动的工具支持。本报告重点介绍IDE对软件重构的支持以及学术界和工业界对软件重构的不同理解,重点探讨软件重构领域的学术研究如何与IDE相结合,如何将研究成果集成到IDE,从而推动软件重构技术在工业界的进一步发展。

2f5b2ae2431c5235fc2fdae8b5781f54.png

彭云鹏

百度

百度代码团队经理,负责百度代码智能化方向和产品、云IDE平台、代码托管平台、代码静态分析平台、代码搜索服务和效率云平台等业务和团队。在代码智能化、静态分析、开发工具、软件测试、研发数字化等领域申请国内外发明专利59个,已获授权专利29个国家重点研发计划『基于编程现场大数据的软件智能开发方法和环境』技术骨干OpenHarmony技术指导委员会IDE TSG成员。

报告题目:

编程现场现代化探索

报告摘要:

依托AI和云技术的高速发展,编程现场正发生着现代化变革,工具和理念的升级,带来了软件研发生产力的突破。现代化的编程现场是高效、智能、持续演进的,围绕这三个特征,软件工程领域也在在线化、一站式、数字化、智能化四个方向进行着大量的探索和实践,这些探索和实践也创造了软件研发的新范式。

55a4ad4b07fe382f272bc4ec93ce929b.png

高亮

华为终端有限公司

华为终端开源合规技术专家, 具有丰富的开源社区治理与开发经验,当前担任OpenHarmony社区合规SIG committer,OpenHarmony 安委会-供应链来源安全与可信工具组成员。

报告题目:

OpenHarmony软件开发代码合规工程实践

报告摘要:

随着开源软件的的兴起,开源协作开发,已经成为了软件开发的主流模式之一,然而开源开发的代码在合规要求上和闭源开发的要求有显著的不同,往往在新手提交的开源代码中存在着较大的违反许可证及版权侵权的风险,如何让开源开发者在向开源项目提交代码时,保证自身提交是符合对于许可证及版权等要求,本文主要介绍OpenHarmony社区是如何应对这些挑战以及对于的工程体系建设。

739cee478a2154b7f53c3244fef036cb.png

向邦宇

阿里巴巴

高级专家,担任阿里代码平台负责人,代码智能负责人,在代码管理、代码数据处理、代码搜索和编辑器方向有深厚的积累和经验。

报告题目:

LLM在提升阿里内部开发者效率方面的应用

报告摘要:

本次报告将重点介绍LLM在提升阿里内部开发者效率方面的应用。LLM作为一种基于自然语言处理和机器学习的代码智能化技术,具有强大的代码理解和生成能力。在阿里内部,LLM已经成功应用于开发者工具和代码平台,为开发者提供了高效、智能的编码体验。报告将首先介绍LLM的基本原理和工作方式,解释其如何通过学习代码库中的大量代码样例来理解和生成代码。然后,报告将详细阐述LLM在阿里内部的具体应用场景,包括代码自动补全、错误修复、代码重构等。通过这些应用案例的展示,我们可以清晰地看到LLM在提升开发者效率方面的巨大潜力和实际效果。报告还将讨论LLM在代码提效上的优势和挑战,并探讨如何进一步优化和改进该技术。最后,报告将总结LLM在提升阿里内部开发者效率方面的应用并展望未来的发展方向。通过本报告,听众将了解LLM在阿里内部的成功应用案例以及其对提升开发者效率的重要作用,对代码智能化技术的发展趋势和前景有更深入的理解。

8fe6f92a6599f5c10de6b4d3d9db86ac.png

孙振俗

新加坡管理大学

新加坡管理大学博士,曾在上海科技大学、香港理工大学担任科研助理。以第一作者的身份在CCF-A会议ICSE、FSE、WWW上发表多篇文章,并获得ICSE2022最佳论文提名,研究兴趣包括构建安全、高效、可靠的代码生成系统。

报告题目:

大模型时代的无效代码补全初探

报告摘要:

大模型在代码补全领域引起了巨大的变革。在产出高质量补全代码的同时,大模型也带来了庞大的推理算力需求,这一问题在代码补全这种高频请求的场景下尤为突出,成为限制其商业化的一大因素。目前的主流代码补全应用在实际场景下有近 70% 的补全并没有被开发者采用,这些无效的补全带来了严重的算力浪费和对开发者生产力的干扰。报告将介绍基于大模型的代码补全系统在无效补全问题上的现状、成因和解决方案。

146f97522b66c128d436b97533d6aa9f.png

相关文章:

ChinaSoft 论坛巡礼 | 智慧化 IDE 论坛

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日在上海国际会议中心举行。 本次大会主题是“智能化软件创新推动数字经济与社…...

数字孪生智慧工厂三维可视化系统解决方案,打造新一代智慧工厂

在制造业的快速发展和数字化转型的时代,智慧工厂已经成为制造企业前进的必经之路。数字孪生技术,作为工业数字化转型的核心动力,为打造智慧工厂提供了关键支持。其中,数字孪生智慧工厂三维可视化系统解决方案无疑是制造企业的得力…...

并查集学习心得

int find(int x)//并查集找父亲 {if(x!fa[x]) fa[x]find(fa[x]);return fa[x]; } void add(int x,int y)//合并 {int fxfind(x);int fyfind(y);if(x!y) fa[fx]fy; } P1197 [JSOI2008] 星球大战 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn) 洛谷p1197星球大战 :并查集逆向…...

自动驾驶之—LaneAF学习相关总结

0.前言: 最近在学习自动驾驶方向的东西,简单整理一些学习笔记,学习过程中发现宝藏up 手写AI 1. 概述 Laneaf思想是把后处理放在模型里面。重点在于理解vaf, haf,就是横向聚类:中心点,纵向聚类&…...

软考系统架构之案例篇(Redis相关概念)

案例篇-Redis相关概念 1. Redis与Memcache能力对比2. Redis集群切片的常见方式3. Redis分布式存储方案4. Redis数据分片方案5. Redis持久化 1. Redis与Memcache能力对比 工作MemCacheRedis数据类型简单 key/value 结构丰富的数据结构持久性不支持支持分布式存储客户端哈希分片…...

黑客入门指南,学习黑客必须掌握的技术

黑客一词,原指热心于计算机技术,水平高超的电脑专家,尤其是程序设计人员。是一个喜欢用智力通过创造性方法来挑战脑力极限的人,特别是他们所感兴趣的领域,例如电脑编程等等。 提起黑客,总是那么神秘莫测。在…...

定档11月2日,YashanDB 2023年度发布会完整议程公布

数据库作为支撑核心业务的关键技术,对数字经济的发展有着重要的支撑作用,随着云计算、AI等技术的迅猛发展和数据量的爆发式增长,推动着数据库技术的加速创新。 为了应对用户日益复杂的数据管理需求,赋能行业国产化建设和数字化转型…...

composer安装thinkphp6报错

composer安装thinkphp6报错, 查看是否安装了对应的PHP扩展,我这边使用的是宝塔的环境,全程可以可视化操作 这样就可以安装完成了...

此页面不能正确地重定向

这种是由于条件判断有误,程序不断的重定向到一个页面,而造成的死循环的情况 下面列举一个常出现的场景之一 1、使用过滤器实现登录验证错误处理 解释:当用户访问login.jsp进行登录的时候,这个时候请求会被Filter捕获&#xff0…...

【Apache Flink】实现有状态函数

文章目录 在RuntimeContext 中声明键值分区状态通过ListCheckPonitend 接口实现算子列表状态使用CheckpointedFunction接口接收检查点完成通知参考文档 在RuntimeContext 中声明键值分区状态 Flink为键值分区状态(Keyed State)提供了几种不同的原语&…...

Android原生项目集成uniMPSDK(Uniapp)遇到的报错总结

uni小程s序SDK 集成到Android原生项目:老项目中用到的库较多,会出现几种冲突问题,总结如下: 报错1: Execution failed for task :app:processDebugManifest. > Manifest merger failed with multiple errors, see logs Andro…...

Linux redis 安装

1、解压 tar -zxvf redis-5.0.10.tar.gz 2、cd /data/redis-5.0.10 文件夹 3、make 等待make命令执行完成即可。 make命令报错:cc 未找到命令,系统中缺少gcc,执行命令安装 gcc: yum -y install gcc automake autocon…...

在Win11上部署ChatGLM3详细步骤

023年10月27日,智谱AI于2023中国计算机大会(CNCC)上,推出了全自研的第三代基座大模型ChatGLM3及相关系列产品,这也是智谱AI继推出千亿基座的对话模型ChatGLM和ChatGLM2之后的又一次重大突破。此次推出的ChatGLM3采用了…...

系列七、动态代理

一、概述 二、Jdk动态代理案例 2.1、Star /*** Author : 一叶浮萍归大海* Date: 2023/10/27 17:16* Description:*/ public interface Star {/*** 唱歌* param name 歌曲名字* return*/String sing(String name);/*** 跳舞*/void dance(); } 2.2、BigStar /*** Author : 一叶…...

Kafka集群搭建与SpringBoot项目集成

本篇文章的目的是帮助Kafka初学者快速搭建一个Kafka集群,以及怎么在SpringBoot项目中使用Kafka。 kafka集群环境包地址:百度网盘 请输入提取码 提取码:x9yn 一、Kafka集群搭建 1、准备环境 (1)准备三台…...

一个简单的注册的页面,如有错误请指正;(3.JavaScript)

这段代码是一个JavaScript函数,实现了用户登录和上传图片的功能,并包含了一些辅助函数。让我一一解释: 1. login():这个函数用于登录操作。首先,通过$(#name).val()来获取ID为name的元素的值,同理获取其他…...

selenium (自动化概念 测试环境配置)

什么是自动化测试 自动化测试介绍 自动化测试指软件测试的自动化,在预设状态下运行应用程序或者系统. 预设条件包括正常和异常,最后评估运行结果。   自动化测试,就是将人为驱动的测试行为转化为机器执行的过程。 【机器 代替 人工】 自动化…...

Mybatis-Plus(企业实际开发应用)

一、Mybatis-Plus简介 MyBatis-Plus是MyBatis框架的一个增强工具,可以简化持久层代码开发MyBatis-Plus(简称 MP)是一个 MyBatis 的增强工具,在 MyBatis 的基础上只做增强不做改变,为简化开发、提高效率而生。 官网&a…...

Spring Web MVC入门

一:了解Spring Web MVC (1)关于Java开发 🌟Java开发大多数场景是业务开发 比如说京东的业务就是电商卖货、今日头条的业务就推送新闻;快手的业务就是短视频推荐 (2)Spring Web MVC的简单理解 💗Spring Web MVC:如何使…...

【C++】mapset的底层结构 -- AVL树(高度平衡二叉搜索树)

前面我们对 map / multimap / set / multiset 进行了简单的介绍,可以发现,这几个容器有个共同点是:其底层都是按照二叉搜索树来实现的。 但是二叉搜索树有其自身的缺陷,假如往树中插入的元素有序或者接近有序,二叉搜索…...

吴恩达《机器学习》1-4:无监督学习

一、无监督学习 无监督学习就像你拿到一堆未分类的东西,没有标签告诉你它们是什么,然后你的任务是自己找出它们之间的关系或者分成不同的组,而不依赖于任何人给你关于这些东西的指导。 以聚类为例,无监督学习算法可以将数据点分成…...

一个简单的注册页面,如有错误请指正(2.css)

这段CSS代码定义了页面的样式,让我逐个解释其功能: 1. * {}:通配符选择器,用于将页面中的所有元素设置统一的样式。这里将margins和paddings设置为0,以去除默认的边距。 2. div img {}:选择页面中所有div…...

【Unity精华一记】特殊文件夹

👨‍💻个人主页:元宇宙-秩沅 👨‍💻 hallo 欢迎 点赞👍 收藏⭐ 留言📝 加关注✅! 👨‍💻 本文由 秩沅 原创 👨‍💻 收录于专栏:uni…...

Node.js中的单线程服务器

为了解决多线程服务器在高并发的I/O密集型应用中的不足,同时避免早期简单单线程服务器的性能障碍,Node.js采用了基于"事件循环"的非阻塞式单线程模型,实现了如下两个目标: (1)保证每个请求都可以…...

如何删除数组中的某个元素?

如何删除数组中的某个元素? 例:给你一个数组 nums 和一个值 val,你需要移除所有数值等于 val 的元素,并返回移除后数组的新长度。 三种方法 1.元素前移(时间复杂度:O(N^2),空间复杂度&#x…...

Apache ActiveMQ RCE漏洞复现(CNVD-2023-69477)

0x01 产品简介 ActiveMQ是一个开源的消息代理和集成模式服务器,它支持Java消息服务(JMS) API。它是Apache Software Foundation下的一个项目,用于实现消息中间件,帮助不同的应用程序或系统之间进行通信。 0x02 漏洞概述 Apache ActiveMQ 中存…...

【BUG】Nginx转发失败解决方案

最近在做项目的时候出现了一个问题,琢磨了好久,来浅浅记录一下。 这个项目后端使用的是gateway网关和nacos实现动态的路由,前端使用nginx来管理前端资源,大体流程:浏览器发起请求,经过nginx代理&#xff0c…...

综合OA管理系统源码 OA系统源码

综合OA管理系统源码 OA系统源码 功能介绍: 编号:LQ10 一:系统管理 系统配置,功能模块,功能节点,权限角色,操作日志,备份数据,还原数据 二:基础数据 审批…...

9-MySQL提高数据管理效率(分库分表实践)

MySQL提高数据管理效率(分库分表实践) 在当今的互联网时代,随着业务规模的不断扩大,数据量也呈现出爆炸性的增长。如何有效地管理和存储这些数据,以及提高数据库的性能和可扩展性,成为了一个迫切需要解决的…...

经典卷积神经网络 - NIN

网络中的网络,NIN。 AlexNet和VGG都是先由卷积层构成的模块充分抽取空间特征,再由全连接层构成的模块来输出分类结果。但是其中的全连接层的参数量过于巨大,因此NiN提出用1*1卷积代替全连接层,串联多个由卷积层和“全连接”层构成…...