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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/124679.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

中文编程开发语言工具系统化教程零基础入门篇和初级1专辑课程已经上线,可以进入轻松学编程

中文编程开发语言工具系统化教程零基础入门篇和初级1专辑课程已经上线,可以进入轻松学编程 学习编程捷径:(不论是正在学习编程的大学生,还是IT人士或者是编程爱好者,在学习编程的过程中用正确的学习方法 可以达到事半…

SSH 无密登录设置

1 ) 配置 ssh (1)基本语法 ssh 另一台电脑的 IP 地址(2)ssh 连接时出现 Host key verification failed 的解决方法 [libaihadoop102 ~]$ ssh hadoop103 ➢ 如果出现如下内容 Are you sure you want to continue c…

基于物联网、大数据、云计算、人工智能等技术的智慧工地源码(Java+Spring Cloud +UniApp +MySql)

智慧工地是指利用物联网、大数据、云计算、人工智能等技术手段,为建筑施工现场提供智能硬件及物联网平台的解决方案,实现建筑工地的实时化、可视化、多元化、智慧化、便捷化。智慧工地的建设目标是实现全天候的管理监控,提高施工效率和质量&a…

电子电器架构 —— 车载网关初入门(二)

我是穿拖鞋的汉子,魔都中坚持长期主义的汽车电子工程师。 PS:小细节,本文字数5000+,详细描述了网关在车载框架中的具体性能设置。 老规矩,分享一段喜欢的文字,避免自己成为高知识低文化的工程师: 没有人关注你。也无需有人关注你。你必须承认自己的价值,你不能站在他…

SV-10A-4G IP网络报警非可视终端 (4G版)

SV-10A-4G IP网络报警非可视终端 (4G版) https://item.taobao.com/item.htm?spma21dvs.23580594.0.0.621e3d0dpv5knb&ftt&id745728046948 产品简介: 通过局域网/广域网网组网的网络报警系统,改变传统局域网组网…

算法通关村第四关-黄金挑战栈的经典问题

括号匹配问题 描述 : 给定一个只包括 (,),{,},[,] 的字符串 s ,判断字符串是否有效。 有效字符串需满足: 左括号必须用相同类型的右括号闭合。左括号必须以正确的顺序闭合。每个右括号都有…

Kubernetes Service 详解

Author:rab 目录 前言一、ClusterIP1.1 简介1.2 案例 二、NodePort2.1 简介2.2 案例 三、LoadBalancer3.1 简介3.1.1 MetalLB 简介3.1.2 MetalLB 部署3.1.3 MetalLB 配置3.1.3.1 Layer 2 模式3.1.3.2 BGP 模式 3.2 案例3.2.1 部署3.2.2 验证 四、ExternalName4.1 简…

【c++|opencv】一、基础操作---1.图像读取

every blog every motto: You can do more than you think. https://blog.csdn.net/weixin_39190382?typeblog 0. 前言 有关c操作opencv记录 1. 正文 1.1 图像读取、显示、保存 // 读取、显示、保存图像#include <opencv2/opencv.hpp> #include <iostream>us…

【uniapp】uniapp实现input输入显示数字键盘:

文章目录 一、官网文档&#xff1a;二、文档&#xff1a;三、效果&#xff1a;【1】number&#xff1a;iPhone原生数字键盘不显示小数点【2】digit&#xff1a;【3】digit和inputmode&#xff1a; 一、官网文档&#xff1a; input | uni-app官网 二、文档&#xff1a; 三、效果…

软考网工历年简答题汇总(2016下半年~2023年上半年)

目录 2016年下半年 2018年上半年 2018年下半年 2021年上半年 2022年上半年 2022年下半年 2023年上半年 2016年下半年 试题一&#xff1a; 【问题 3】若地址规划如图 1-1 所示&#xff0c;从IP 规划方案看该地址的配置可能有哪些方面的考虑&#xff1f; 答案&#xff…

python excel接口自动化测试框架

前言 前些天写了pytestyamlallure接口自动化测试框架这篇文章。 今天采用Excel继续写一个接口自动化测试框架。 设计流程图 这张图是我的excel接口测试框架的一些设计思路。 首先读取excel文件&#xff0c;得到测试信息&#xff0c;然后通过封装的requests方法&#xff0c…

38基于matlab的期货预测,利用PSO优化SVM和未优化的SVM进行对比,得到实际输出和期望输出结果。

基于matlab的期货预测&#xff0c;利用PSO优化SVM和未优化的SVM进行对比&#xff0c;得到实际输出和期望输出结果。线性核函数、多项式、RBF核函数三种核函数任意可选&#xff0c;并给出均方根误差&#xff0c;相对误差等结果&#xff0c;程序已调通&#xff0c;可直接运行。 3…

公网远程访问macOS本地web服务器

# 公网访问macOS本地web服务器【内网穿透】 文章目录 1. 启动Apache服务器2. 公网访问本地web服务2.1 本地安装配置cpolar2.2 创建隧道2.3 测试访问公网地址3. 配置固定二级子域名3.1 保留一个二级子域名3.2 配置二级子域名4. 测试访问公网固定二级子域名 以macOS自带的Apache…

【C++进阶】pair容器

&#x1f466;个人主页&#xff1a;Weraphael ✍&#x1f3fb;作者简介&#xff1a;目前学习C和算法 ✈️专栏&#xff1a;C航路 &#x1f40b; 希望大家多多支持&#xff0c;咱一起进步&#xff01;&#x1f601; 如果文章对你有帮助的话 欢迎 评论&#x1f4ac; 点赞&#x1…

react中的useState和useImmer的用法

文章目录 一、useState1. 更新基本类型数据2. 更新对象3. 更新嵌套对象4. 更新数组5.更新数组对象 二、Immer1. 什么是Immer2. 使用use-immer更新嵌套对象3. 使用useImmer更新数组内部的对象 一、useState react中文官网教程 1. 更新基本类型数据 在函数式组件中&#xff0c…

正则表达式引擎比较(翻译自:A comparison of regex engines)

原文&#xff1a; A comparison of regex engines – Rust Leipzig 引言 正则表达式&#xff08;或简称regex&#xff09;通常用于模式搜索算法。 有许多不同的正则表达式引擎提供不同的表达式支持、性能约束和语言绑定。 基于 John Maddock 之前的工作 (regex comparison)和…

优化改进YOLOv5算法:加入SPD-Conv模块,让小目标无处遁形——(超详细)

1 SPD-Conv模块 论文:https://arxiv.org/pdf/2208.03641v1.pdf 摘要:卷积神经网络(CNNs)在计算即使觉任务中如图像分类和目标检测等取得了显著的成功。然而,当图像分辨率较低或物体较小时,它们的性能会灾难性下降。这是由于现有CNN常见的设计体系结构中有缺陷,即使用卷积…

UE5实现相机水平矫正

UE5实现相机水平矫正 思路&#xff0c;用HIT获得基于相机视角的 离散采样点&#xff0c;然后根据距离相机距离进行权重分析。 距离越近&#xff0c;采样约中心&#xff0c;即越接近人眼注意点&#xff0c;最后算出加权平均高度&#xff0c;赋予给相机&#xff0c;相机将水平旋…

聚观早报 |2024款飞凡R7官宣;小米14新配色材质

【聚观365】10月27日消息 2024款飞凡R7官宣 小米14新配色材质 金山办公2023第三季度业绩 IBM2023第三季度业绩 新东方2024财年第一季度业绩 2024款飞凡R7官宣 飞凡汽车官宣&#xff0c;2024款飞凡R7将于11月上市&#xff0c;新车将搭载飞凡巴赫座舱&#xff0c;同时超过1…

【Linux】——使用yum进行软件安装和卸载Win和Linux文件交互

个人主页点击直达&#xff1a;小白不是程序媛 Linux系列专栏&#xff1a;Linux被操作记 目录 前言&#xff1a; Linux软件包管理器yum 什么是软件包 ​编辑软件查找 如何安装软件 如何卸载软件 lrzsz的使用 将Windows的文件传送到Linux 将Linux的文件传送到Windows …