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


✦ +
+
论坛巡礼
论坛名称:智慧化IDE论坛
时间: 2023年12月2日(星期六),14:00 – 18:00
地点: 上海国际会议中心,5A会议室
论坛简介:
IDE作为工具链的重要组成部分,围绕程序员的整个开发活动,重点关注工程创建,代码编写,编译构建,调试调优,缺陷检测,集成测试等全流程的效率和体验。随着以Copilot和ChatGPT为代表的AI大模型的普及,生成式AI已成为开发人员编写、调试和优化代码能力的必备工具。IDE智慧化已成为发展的必然道路。智慧化IDE论坛邀请工业界和学术界多位顶尖专家,聚焦产业生态和最新的理论研究进展,深度剖析业界IDE智慧化发展现状,探讨研发领域大模型的发展趋势及其在IDE上的智慧化应用成果、主要问题和挑战等。
日程安排
Schedule

论坛主席
Forum Chairmen

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

黎立
北京航空航天大学
北京航天航天大学教授,荣获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类期刊和国际会议的审稿人,多次受邀在国际会议上作特邀报告。

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

蒋奕
华为技术有限公司
现任华为公司软件IDE实验室主任,曾作为首席架构师主导华为第一个自研编译器HCC以及方舟编译器的架构设计与产品化研发。多次获得代表华为公司最高荣誉的金牌个人奖以及金牌团队奖。加入华为之前,先后在Intel,Nvidia,Apple等公司负责编译器、工具链、程序分析工具、调试工具等全栈设计和开发,涵盖GCC,LLVM,Open64,Intel Compiler等主流编译器。
报告题目:
模型时代的全流程智慧化IDE探索
报告摘要:
通过构建开发领域大模型Prompt增强能力、智慧开发交互及领域模型等开发领域智慧化IDE技术,打造全流程智慧化开发工具链(特性级代码生成、智慧编译优化、测试用例生成、智慧化调优辅助、缺陷实时预警),降低应用开发、问题定位门槛,助力开发效率及代码质量提升。

孙海龙
北京航空航天大学
北京航空航天大学教授,入选国家级青年人才计划,担任CCF协同计算专委副秘书长。主要研究群体智能、智能化软件方法和分布式系统等。主持多项国家重点研发计划项目、国家自然科学基金专项重点项目及面上项目等。在OSDI、ICSE、IJCAI和AAAI等发表论文130余篇,获得中国发明专利授权70余项、美国发明专利授权2项。曾获国家技术发明二等奖2项、教育部科技进步一等奖3项。
报告题目:
基于群智化方法的AI软件构建
报告摘要:
随着人工智能技术的广泛应用,AI模型逐渐成为软件系统的重要组成。以深度神经网络为代表的AI模型是典型的复杂软件系统,提高此类软件的构建效率和质量是一个难题。针对该问题,我们受经典软件复用方法的启发,提出了“分而治之,集成汇聚”的群智化方法,其核心是基于模块化分解和按需组合的模型复用。报告聚焦深度神经网络模型的高效复用问题,介绍模型复用的研究动机和意义,并分析所面临的挑战,进一步介绍基于群智化方法的模型复用的研究进展。

刘辉
北京理工大学
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,从而推动软件重构技术在工业界的进一步发展。

彭云鹏
百度
百度代码团队经理,负责百度代码智能化方向和产品、云IDE平台、代码托管平台、代码静态分析平台、代码搜索服务和效率云平台等业务和团队。在代码智能化、静态分析、开发工具、软件测试、研发数字化等领域申请国内外发明专利59个,已获授权专利29个国家重点研发计划『基于编程现场大数据的软件智能开发方法和环境』技术骨干OpenHarmony技术指导委员会IDE TSG成员。
报告题目:
编程现场现代化探索
报告摘要:
依托AI和云技术的高速发展,编程现场正发生着现代化变革,工具和理念的升级,带来了软件研发生产力的突破。现代化的编程现场是高效、智能、持续演进的,围绕这三个特征,软件工程领域也在在线化、一站式、数字化、智能化四个方向进行着大量的探索和实践,这些探索和实践也创造了软件研发的新范式。

高亮
华为终端有限公司
华为终端开源合规技术专家, 具有丰富的开源社区治理与开发经验,当前担任OpenHarmony社区合规SIG committer,OpenHarmony 安委会-供应链来源安全与可信工具组成员。
报告题目:
OpenHarmony软件开发代码合规工程实践
报告摘要:
随着开源软件的的兴起,开源协作开发,已经成为了软件开发的主流模式之一,然而开源开发的代码在合规要求上和闭源开发的要求有显著的不同,往往在新手提交的开源代码中存在着较大的违反许可证及版权侵权的风险,如何让开源开发者在向开源项目提交代码时,保证自身提交是符合对于许可证及版权等要求,本文主要介绍OpenHarmony社区是如何应对这些挑战以及对于的工程体系建设。

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

孙振俗
新加坡管理大学
新加坡管理大学博士,曾在上海科技大学、香港理工大学担任科研助理。以第一作者的身份在CCF-A会议ICSE、FSE、WWW上发表多篇文章,并获得ICSE2022最佳论文提名,研究兴趣包括构建安全、高效、可靠的代码生成系统。
报告题目:
大模型时代的无效代码补全初探
报告摘要:
大模型在代码补全领域引起了巨大的变革。在产出高质量补全代码的同时,大模型也带来了庞大的推理算力需求,这一问题在代码补全这种高频请求的场景下尤为突出,成为限制其商业化的一大因素。目前的主流代码补全应用在实际场景下有近 70% 的补全并没有被开发者采用,这些无效的补全带来了严重的算力浪费和对开发者生产力的干扰。报告将介绍基于大模型的代码补全系统在无效补全问题上的现状、成因和解决方案。

相关文章:
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捕获࿰…...
【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 进行了简单的介绍,可以发现,这几个容器有个共同点是:其底层都是按照二叉搜索树来实现的。 但是二叉搜索树有其自身的缺陷,假如往树中插入的元素有序或者接近有序,二叉搜索…...
阿里云ACP云计算备考笔记 (5)——弹性伸缩
目录 第一章 概述 第二章 弹性伸缩简介 1、弹性伸缩 2、垂直伸缩 3、优势 4、应用场景 ① 无规律的业务量波动 ② 有规律的业务量波动 ③ 无明显业务量波动 ④ 混合型业务 ⑤ 消息通知 ⑥ 生命周期挂钩 ⑦ 自定义方式 ⑧ 滚的升级 5、使用限制 第三章 主要定义 …...
什么是库存周转?如何用进销存系统提高库存周转率?
你可能听说过这样一句话: “利润不是赚出来的,是管出来的。” 尤其是在制造业、批发零售、电商这类“货堆成山”的行业,很多企业看着销售不错,账上却没钱、利润也不见了,一翻库存才发现: 一堆卖不动的旧货…...
SpringBoot+uniapp 的 Champion 俱乐部微信小程序设计与实现,论文初版实现
摘要 本论文旨在设计并实现基于 SpringBoot 和 uniapp 的 Champion 俱乐部微信小程序,以满足俱乐部线上活动推广、会员管理、社交互动等需求。通过 SpringBoot 搭建后端服务,提供稳定高效的数据处理与业务逻辑支持;利用 uniapp 实现跨平台前…...
QT: `long long` 类型转换为 `QString` 2025.6.5
在 Qt 中,将 long long 类型转换为 QString 可以通过以下两种常用方法实现: 方法 1:使用 QString::number() 直接调用 QString 的静态方法 number(),将数值转换为字符串: long long value 1234567890123456789LL; …...
CMake控制VS2022项目文件分组
我们可以通过 CMake 控制源文件的组织结构,使它们在 VS 解决方案资源管理器中以“组”(Filter)的形式进行分类展示。 🎯 目标 通过 CMake 脚本将 .cpp、.h 等源文件分组显示在 Visual Studio 2022 的解决方案资源管理器中。 ✅ 支持的方法汇总(共4种) 方法描述是否推荐…...
Rapidio门铃消息FIFO溢出机制
关于RapidIO门铃消息FIFO的溢出机制及其与中断抖动的关系,以下是深入解析: 门铃FIFO溢出的本质 在RapidIO系统中,门铃消息FIFO是硬件控制器内部的缓冲区,用于临时存储接收到的门铃消息(Doorbell Message)。…...
JAVA后端开发——多租户
数据隔离是多租户系统中的核心概念,确保一个租户(在这个系统中可能是一个公司或一个独立的客户)的数据对其他租户是不可见的。在 RuoYi 框架(您当前项目所使用的基础框架)中,这通常是通过在数据表中增加一个…...
力扣热题100 k个一组反转链表题解
题目: 代码: func reverseKGroup(head *ListNode, k int) *ListNode {cur : headfor i : 0; i < k; i {if cur nil {return head}cur cur.Next}newHead : reverse(head, cur)head.Next reverseKGroup(cur, k)return newHead }func reverse(start, end *ListNode) *ListN…...
【Android】Android 开发 ADB 常用指令
查看当前连接的设备 adb devices 连接设备 adb connect 设备IP 断开已连接的设备 adb disconnect 设备IP 安装应用 adb install 安装包的路径 卸载应用 adb uninstall 应用包名 查看已安装的应用包名 adb shell pm list packages 查看已安装的第三方应用包名 adb shell pm list…...
MySQL 索引底层结构揭秘:B-Tree 与 B+Tree 的区别与应用
文章目录 一、背景知识:什么是 B-Tree 和 BTree? B-Tree(平衡多路查找树) BTree(B-Tree 的变种) 二、结构对比:一张图看懂 三、为什么 MySQL InnoDB 选择 BTree? 1. 范围查询更快 2…...
