- 博客(310)
- 收藏
- 关注
RSS订阅转载 活动预告 | CodeWisdom软件智能化开发与运维学术系列报告：第12期（佘东冬，HKUST）...
Dongdong SheAssistant professor at the Hong Kong University of Science and Technology, CSE departmentSummaryTitleUnlock the Potential of General-purpose Fuzzing: An Optimization ApproachAbstractBased ...
2024-09-20 08:03:49
45
转载 2024 CCF中国软件大会筹办工作推进系列【十八】：并行论坛巡礼之“云原生与智能化运维论坛”...
包含容器化、微服务、开发运维一体化、服务网格等技术在内的云原生已经成为新的技术浪潮，深刻地改变着软件开发、维护和运行的方式，同时也带来了新的机遇和挑战。当前，我们已经进入万物智能互联与软件定义一切的新时代，云计算与云原生软件技术和开发实践也逐渐在智能制造、智能汽车、智慧农业等领域应用，由此带来了很多新的机遇和挑战。围绕这些问题，我们邀请了多位来自学术界和工业界的专家进行专题报告和交流讨...
2024-09-19 08:00:13
503
转载 2024 CCF中国软件大会筹办工作推进系列【十五】：软件供应链安全论坛
本文转载自2024 CCF中国软件大会筹办工作推进系列【十五】：软件供应链安全论坛 by 智能软件工程重点实验室原文链接：https://mp.weixin.qq.com/s/tOdim08a_W3sk6hbg3XoOQ 软件已经渗透到国民经济和国防建设的各个领域，成为了当代信息社会的重要基础设施。然而，复杂的软件供应链引入了一系列安全问题，软件供应链安全事故频频发生。目前，软件供应链...
2024-09-15 08:01:15
318
转载 面向软件工程的AI智能体最新进展，复旦、南洋理工、UIUC联合发布全面综述
面向软件工程的AI智能体最新进展，复旦、南洋理工、UIUC联合发布全面综述本文转载自 面向软件工程的AI智能体最新进展，复旦、南洋理工、UIUC联合发布全面综述 by 机器之心原文链接：https://mp.weixin.qq.com/s/FxKYq6KO7rLZeT3yNBIsdAAIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，覆盖全...
2024-09-14 08:00:49
97
转载 从0到1、从需求到上线：我如何结合大模型和专业素养来完成一个实际项目
多年来，我一直想写一个完整的案例，融入现代软件工程实践，便于那些没有机会做过完整大项目的大学生、或者是想对现代软件工程方法有深入了解的初中级工程师有一个参考。不过，想归想，能不能拿出足够的时间和精力来做这个事就是另外一回事了。一个完整案例的工作量很大，我也只熟悉少量技术栈，不少东西也得现学。但是，机会还是来了，去年ChatGPT的发布，让我原本觉得很难短期内完成的演示项目，有了非常不一样的新的可能...
2024-08-30 13:00:48
166
转载 活动预告｜A Decade of Research and Teaching on Flaky Tests
Darko MarinovProfessor in the Siebel School of Computing and Data Science at the University of Illinois Urbana-Champaign, USASummaryTitleA Decade of Research and Teaching on Flaky TestsAbstractRegress...
2024-08-27 16:00:47
98
原创 智能化软件开发微访谈·第三十三期 智能CPS系统可信构造
CodeWisdom“智能化软件开发沙龙是由CodeWisdom团队组织的围绕智能化软件开发、数据驱动的软件开发质量与效能分析、云原生与智能化运维等相关话题开展的线上沙龙，通过微信群访谈交流等线上交流方式将学术界与工业界专家学者汇聚起来，共同分享前沿研究进展与业界实践，共同探讨未来技术发展方向。”智能CPS系统可信构造智能化软件开发微访谈·第三十三期背景介绍当前，智能CPS系统已成为智能汽车、智...
2024-08-18 16:36:33
834
转载 智能化软件开发微访谈·第三十三期 智能CPS系统可信构造·活动预告
CodeWisdom智能CPS系统可信构造微访谈 · 活动预告背景介绍当前，智能CPS系统已成为智能汽车、智能机器人、智能制造等多个领域的研究热点。智能CPS系统在感知、决策、控制方面通过应用先进的人工智能技术，如深度学习和计算机视觉，使得CPS系统能够更准确感知周围的环境、智能决策、实时控制，大幅度提高了系统的自主性，已成为未来智能化系统发展的重要方向。与此同时，AI模型的不确定性、不可解释性等...
2024-08-14 17:01:34
218
转载 活动预告丨CodeWisdom软件智能化开发与运维学术系列报告：第11期（张令明，美国UIUC)...
张令明内容简介题目完全开源透明的代码大模型：构建和应用摘要大语言模型（如GPT-4和Claude-3.5等）在包括软件工程在内的各个领域下游应用中表现出色。近年来也涌现出了一批非常优秀的开源代码大模型。但绝大多数开源模型仅仅公布模型参数、而非训练数据集、过程和实现细节。长远来看这将限制代码大模型领域的进步和发展，比如模型的复现、增强、可解释性、去污、质量保证等问题。在本次报告中，我将讨论我们组近几...
2024-07-20 08:00:31
235
转载 活动预告丨CodeWisdom可信AI系统学术系列报告：第10期（林云, 上海交通大学)
林云内容简介题目模型的解释与解释的模型摘要神经网络的决策基于概率性的数据归纳。然而，当我们训练神经网络及语言模型来解决在偏于逻辑的决策场景（比如代码编辑、自动调试、智能运维等），该种归纳法式的回答往往无法满足很多现实的决策解释与验证需求。从开发和训练的角度，我们难以溯源数值型的概率到底从何而来；从使用的角度，我们难以从数据归纳的结论中建立真正的信任。在本次报告从模型的解释与解释的模型两个角度来介绍...
2024-07-19 22:55:00
137
原创 自动驾驶系统开发与调试：车路云一体化无人驾驶挑战赛参赛体验
点击蓝字 关注我们 在过去的几年里，自动驾驶技术在全球范围内吸引了大量关注。其潜力不仅在于提升行车安全，而且还可以改变我们的出行方式和城市规划，提高交通运输效率。国际汽车工程师学会（SAE）根据不同自动驾驶程度（从人工驾驶到完全自动驾驶）提出了正式的自动驾驶等级分类系统，即L0到L5。 近几年来，自动驾驶技术飞速发展：2023年7月21日，比亚迪在深圳市获得全国首张高快...
2024-07-18 19:49:11
982
转载 登顶开源AI软件工程师榜首，UIUC无Agent方案轻松解决SWE-bench真实编程问题
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术交流与传播。如果您有优秀的工作想要分享，欢迎投稿或者联系报道。投稿邮箱：liyazhou@jiqizhixin.com；zhaoyunfeng@jiqizhixin.com这篇论文的作者均来自伊利诺伊大学香槟分校（UIUC）张令明老师团队，...
2024-07-15 16:24:55
102
转载 智能化软件开发微访谈·第三十二期“Rust语言与系统及生态发展”
CodeWisdom“智能化软件开发沙龙是由CodeWisdom团队组织的围绕智能化软件开发、数据驱动的软件开发质量与效能分析、云原生与智能化运维等相关话题开展的线上沙龙，通过微信群访谈交流等线上交流方式将学术界与工业界专家学者汇聚起来，共同分享前沿研究进展与业界实践，共同探讨未来技术发展方向。”Rus t语言与系统及生态发展智能化软件开发微访谈·第三十二期背景介绍Rust语言作为一种注重内存安...
2024-07-06 14:12:20
289
转载 活动预告｜CodeWisdom 软件智能化开发与运维学术报告系列 第10期：基于大模型与静态分析的实用软件开发...
王翀内容简介题目Leveraging Code LLMs and Static Analysis for Practical Software Development摘要Recent code large language models (LLMs) have shown promising performance in solving software development tasks suc...
2024-07-05 20:25:56
61
转载 智能化软件开发微访谈·第三十二期 Rust语言与系统及生态发展·活动预告
CodeWisdomRust语言与系统及生态发展微访谈 · 活动预告背景介绍Rust语言作为一种注重内存安全、并发性能强大的系统编程语言已经受到了广泛的关注，并在系统编程、Web开发、嵌入式开发、人工智能等领域得到越来越多的应用。当前Rust语言国际开源社区与软件生态快速发展，但作为一种新生代语言还没有在国内得到广泛的了解和接受，同时在技术和生态发展上还有很多挑战和机遇。为此，本次微访谈邀请了多位...
2024-07-03 08:02:11
161
转载 活动预告｜CodeWisdom 智能汽车基础软件学术报告系列 第3期： “车路云”一体化中的软件定义汽车——从标准演进到量产实践...
侍兴华内容简介题目“车路云”一体化中的软件定义汽车——从标准演进到量产实践摘要在刚刚过去的2024年上半年，随着特斯拉FSD“入华”进入倒计时以及国内的“车路云”一体化政策层出不穷，车辆的智能化已经超越了汽车行业的话题，成为国家层面综合统筹，多行业共同参与的热门技术方向。智能化的发展首先对车辆的软件带来了颠覆性的要求，也将“软件定义汽车”的愿景推进实现。在此背景之下，汽车软件的定义范围和开发模式也...
2024-07-02 08:01:53
65
转载 活动预告｜CodeWisdom 智能汽车基础软件学术报告系列 第4期： 智能汽车时代下的基础软件变革...
张毅峰内容简介题目智能汽车时代下的基础软件变革摘要汽车继电动化之后的智能化对软件定义汽车的技术底座——基础软件也产生了深远的影响，因为基础软件是与整车电子电器架构和高性能处理单元的体系结构高度相关的。本次分享的内容将由：从分散到集中、从ECU到XPU、从RTOS到GPOS、从MDV到SDV这四个方面的的内容组成。希望能够帮助听众较为全面的了解智能汽车基础软件的发展趋势和内在逻辑。报告人张毅峰，软件...
2024-07-02 08:01:53
90
转载 活动预告｜CodeWisdom 软件智能化开发与运维学术报告系列 第9期：蜕变关系的自动推导与合成...
许聪颖内容简介题目Advancements in Metamorphic Testing: Automated Deduction and Synthesis of Metamorphic Relations摘要Metamorphic Testing (MT) has proven invaluable in overcoming the oracle and test case generati...
2024-06-27 17:32:02
72
原创 智能化软件开发微访谈·第三十一期 代码大模型训练、微调与增强
CodeWisdom“智能化软件开发沙龙是由CodeWisdom团队组织的围绕智能化软件开发、数据驱动的软件开发质量与效能分析、云原生与智能化运维等相关话题开展的线上沙龙，通过微信群访谈交流等线上交流方式将学术界与工业界专家学者汇聚起来，共同分享前沿研究进展与业界实践，共同探讨未来技术发展方向。”代码大模型训练、微调与增强智能化软件开发微访谈·第三十一期背景介绍当前，基于大模型的软件智能化开发已...
2024-06-16 10:35:14
849
转载 智能化软件开发微访谈·第三十一期 代码大模型训练、微调与增强·活动预告...
CodeWisdom代码大模型训练、微调与增强微访谈 · 活动预告背景介绍当前，基于大模型的软件智能化开发已经成为学术界和产业界共同关注的热点话题。商业及开源大模型本身已经将代码生成作为一个重要的基本能力，同时还有大量在通用大模型基础上通过代码数据强化训练获得的代码大模型。另一方面，大量软件企业也在积极探索如何在开源代码大模型基础上加入特定领域的私有代码及文档数据，从而得到更加适应特定企业和领域特...
2024-06-11 18:01:22
176
转载 活动预告丨CodeWisdom软件供应链系列学术报告：第9期（谢肖飞 新加坡管理大学）...
谢肖飞内容简介题目Non-Termination Detection in Real-World Programs摘要Ensuring the correctness and safety of programs, especially in preventing issues like denial-of-service attacks, necessitates the crucial tas...
2024-05-22 10:14:15
134
原创 软件定义的车辆（SDV）技术深入研析（二）
点击蓝字 关注我们在软件定义的车辆（SDV）技术深入研析（一）中，我们介绍了什么是SDV，以及汽车SOA化能给我们带来的好处。今天我们将把目光转移到目前汽车行业SDV/SOA化的进展方面，关注目前出现并被积极讨论的SOA解决方案。汽车E/E架构变迁史SDV概念的提出是随着E/E架构的不断演进而诞生的，由过去的分布式ECU架构在向域集中式架构进化过程中形成的，因此简要回顾一下E/E架构的变迁史就显得...
2024-04-20 16:35:04
1076
转载 当“低代码”遇上“大模型”：兼谈人机物融合应用场景下的应用开发
点击蓝字 关注我们低代码开发在过去十多年中逐渐发展成熟，虽然不能说给软件工程领域带来颠覆性的影响，但在企业应用市场中确实扎下了根，成为定制化应用开发的利器。低代码开发一般认为是一种可视化的快速应用开发方法，无需编码或者仅通过少量的人工编码就可以实现完整的软件应用，其实现应用开发的主要手段就是可视化的应用逻辑建模和配置加上自动化的代码生成。直观上看，低代码开发的一般模式就是通过可视化的拖拉拽和配置操...
2024-04-16 08:03:56
473
转载 活动预告 | CodeWisdom 智能汽车基础软件学术报告系列 第1期：智能汽车基础软件技术杂谈...
游昌海内容简介题目智能汽车基础软件技术杂谈摘要探讨智能汽车基础软件技术的发展路径、现状、问题以及潜在趋势等。报告人游昌海，黑芝麻智能系统软件副总裁，历任中兴操作系统总工、VR创业公司CTO等，曾在Linux Foundation、GCC、Linaro等多个全球性开源社区担任TSC技术代表，参与及主导研发了多项操作系统相关的核高基重大专项。时间安排❖时间：2024/04/22（周一） 21:00-2...
2024-04-12 21:42:08
143
转载 《ChatGPT协作开发实录：编程新手的试验探索》
点击蓝字 关注我们张刚老师在《ChatGPT结对编程实录：提升生产力，还是被代替？》一文中，在没有编写任何一行代码的情况下自己指导ChatGPT实现了俄罗斯方块这个游戏。在看完整篇文章后我们深刻感受到了ChatGPT在其中体现的代码生成的能力，于是抱着下面的一些疑问也开始了我们关于ChatGPT结对编程的探索：1、如果是对于完全没有开发俄罗斯方块游戏经验的人来说，ChatGPT真的可以提供端到端的...
2024-03-20 08:03:01
160
原创 智能化软件开发微访谈讨论汇编合集（第1-30期）
SOFTWARE DEVELOPMENT2024智能化软件开发微访谈汇编第三十期2024.03智能汽车基础软件讨论汇编https://mp.weixin.qq.com/s/nRDZc5Axb2nDuky8mGrTGg嘉宾列表彭鑫复旦大学教授朱西产同济大学汽车学院教授张文杰国家智能网联汽车创新中心副主任罗蕾电子科技大学教授/博导杨子江深信科创创始人钟卫东中瓴智行(成都)科技有限公司首...
2024-03-19 09:45:55
1169
原创 开源生态与软件供应链研讨会
✦++日程安排开源生态与软件供应链研讨会时间:2024年3月12日（星期二）13:30 – 17:00地点:复旦大学江湾校区二号交叉学科楼E1021联系人:陈碧欢（bhchen@fudan.edu.cn）点击文末“阅读原文”或扫描下方二维码进入报名通道:https://www.wjx.cn/vm/es1SNgR.aspx#论坛议程Schedule论坛嘉宾Forum Guest...
2024-03-11 15:09:48
1209
转载 活动预告 | CodeWisdom 软件智能化开发与运维学术报告系列 第8期：AIGC在低代码领域的应用与实践...
赵雨森内容简介题目AIGC在低代码领域的应用与实践摘要 以低代码为主传统软件工程提效技术与新兴的AIGC智能提效技术达到了一个交汇点，如何设计AI友好型的编程体验，将页面、逻辑、样式、数据建模等跨领域场景编程与智能生成有效结合，是当前各大低代码厂商面临的主要问题。 本次报告主要会分享网易在低代码领域和自研编程语言的设计经验，以及融合AIGC技术在生成代码、解读逻辑、D2C等智能编程的场...
2024-03-10 23:27:33
94
原创 浅谈人机物融合智能化系统的多重含义
人类正在进入一个人机物融合的万物智能互联时代，很多物理设施设备都实现了网络化接入和通信，而各类用户也通过智能手机和可穿戴设备实现了在线互联和协作。与此同时，各种智能化系统层出不穷，小到智能冰箱、智能小车，大到智能家居、智慧园区、智慧牧场。这些智能化系统有一些共同的特点和趋势：一是“软件定义”，软件随着计算、存储和网络资源在人机物三元空间中的不断普及而四处渗透（像水和空气一样，无处不在而又无迹可寻）...
2024-03-08 15:41:11
927
转载 智能化软件开发微访谈·第三十期 智能汽车基础软件
CodeWisdom智能汽车基础软件微访谈 · 活动预告背景介绍当前，智能网联汽车已成为带动车辆控制、信息通信、云计算、大数据、AI等发展的战略制高点。而智能网联汽车控制系统正从分布式电子电气架构向域集中电子电气架构演进，并将进一步向车辆中央集中电子电气架构发展，体现了分层解耦、跨域融合的趋势。在此过程中，软件扮演着越来越重要的角色并成为汽车产品差异化竞争的关键。在这一“软件定义汽车”的发展浪潮中...
2024-02-28 08:03:43
183
原创 软件定义车辆(SDV)技术深入研析（一）
点击蓝字 关注我们今天，曾经以“排气管数量”、“发动机动力”为荣的汽车行业终于站到了转型的前夜，特斯拉、理想、蔚来、小鹏、零跑等造车新势力们纷纷推出了有着可交互大屏、万物互联、软件功能持续更新、堪称“车轮上的智能手机”的新汽车。许多互联网大厂也以身入局，比如华为、小米、百度，或端上自己的造车方案，或拿出这样那样的自动驾驶技术。与此同时，许多仍然购买并使用着传统汽车的消费者开始思考一个尴尬的问题：在...
2024-02-27 15:35:48
1310
原创 OpenHarmony生态如何建？北航牵头发布《面向OpenHarmony的软件工程研究路线图》
CODEWISDOM2023年10月26日，OpenHarmony的4.0版本正式上线，引发了用户，开发者和学术圈广泛讨论。作为新兴的移动端平台，OpenHarmony以其突破性的创新频频“出圈”，至今已经走过三载春秋。以史为鉴，可以知兴替。为了更好地了解OpenHarmony平台的特点和优势，现有移动平台的不足之处，以及如何在OpenHarmony平台上进行移动软件工程相关的开发和研究，北京航空...
2024-01-15 16:32:18
1174
转载 智能化软件开发微访谈·第二十九期：开源软件供应链风险分析与治理
2024Happy New Year!CodeWisdom智能化软件开发沙龙是复旦大学CodeWisdom团队参与组织的专注于代码大数据与智能化软件开发的学术和技术沙龙，面向相关领域的学术界研究者和工业界实践者，通过各种线上和线下交流活动促进学术研究与实践技术的发展。微访谈是智能化软件开发沙龙依托沙龙微信群开展的线上交流活动，其形式是围绕某一具体话题邀请嘉宾进行在线访谈并与微信群成员互动。开源软件...
2024-01-14 20:37:47
424
转载 智能化软件开发微访谈 · 第二十九期 开源软件供应链风险分析与治理 · 活动预告...
2024Happy New Year!Code WisdomCodeWisdom“智能化软件开发沙龙是由CodeWisdom团队组织的围绕智能化软件开发、数据驱动的软件开发质量与效能分析、云原生与智能化运维等相关话题开展的线上沙龙，通过微信群访谈交流等线上交流方式将学术界与工业界专家学者汇聚起来，共同分享前沿研究进展与业界实践，共同探讨未来技术发展方向。”开源软件供应链风险分析与治理智能化软件开...
2024-01-05 15:35:00
276
原创 迈向更高层次智能化开发之路：写给大模型的2023总结
2024新年快乐！由ChatGPT引爆的大模型浪潮从2023年年头热到了年尾，各种学术和行业技术大会的话题几乎都绕不开“大模型”。在软件工程领域，“大模型”话题也是热得发烫，各种代码大模型层出不穷，相关论文如雨后春笋般喷涌而出。街头巷尾、线上线下都在热议大模型是不是要颠覆软件工程了，CTO们和研发效能部都在思考如何回答老板诸如“开发人员能减少百分之几十”、“研发效能能有几倍提升”这样的灵魂拷问。大...
2023-12-31 20:40:01
996
转载 CodeWisdom团队研究论文获得ACM SIGSOFT Distinguished Paper Award
复旦大学计算机科学技术学院CodeWisdom团队（复旦大学软件工程实验室）的研究论文《Recommending Analogical APIs via Knowledge Graph Embedding》近日在美国旧金山举办的国际会议ACM Joint Meeting on European Software Engineering Conference and Symposium on the...
2023-12-17 09:00:31
202
转载 活动预告丨CodeWisdom可信AI系列学术报告：第9期（杜晓宁, Monash University)
杜晓宁内容简介题目更加绿色高效的代码生成范式初探摘要代码大模型在代码生成，代码补全等任务上展现出空前的卓越表现。这很大程度上得益于模型巨大的参数量。大参数量也意味着更高的计算开销，成本投入，以及环境代价。本次报告将关注模型部署后，推理阶段的计算资源浪费问题，并提出可用于推理前及推理中的提升资源利用率和推理效率的策略，旨在减少计算开销，避免不必要的资源浪费，更好地推进代码大模型的商业化与落地。报告人...
2023-12-16 09:00:30
227
原创 ChinaSoft 展商风采 | 蚂蚁CodeFuse：开源介绍与论文解读
2023年CCF中国软件大会（CCF ChinaSoft 2023）由CCF主办，CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办，于2023年12月1-3日在上海国际会议中心举行。本次大会主题是“智能化软件创新推动数字经济与社会发展”，学术、工业、教育、竞赛等分论坛活动40余场。目前大会已圆满结束！CCF ChinaSoft 2023官方首页：http://chinas...
2023-12-11 18:42:05
1015
原创 2023 CCF中国软件大会（CCF ChinaSoft）“面向复杂软件的缺陷检测与修复技术”论坛成功召开...
2023年12月2日下午，2023年度CCF中国软件大会面向复杂软件的缺陷检测与修复技术论坛在上海国际会议中心5B+C会议室成功召开。本次论坛由北京大学张路、北京理工大学刘辉、天津大学姜佳君、北京交通大学王博四位老师联合组织举办。论坛主要关注软件缺陷的自动发现、自动定位以及自动修复等相关技术的最新进展，包含10篇《软件学报》专刊论文报告。此外，论坛还邀请了美国伊利诺伊大学香槟分校...
2023-12-10 17:57:09
209
原创 2023 CCF中国软件大会（CCF ChinaSoft）“软件研发效能前沿技术”论坛成功召开
2023年度CCF中国软件大会的“软件研发效能前沿技术”论坛于12月1日下午成功召开。本次论坛由南京大学张贺教授，同济大学朱少民教授，复旦大学彭鑫教授联合发起组织，并邀请了业界知名专家来自优川信息的何勉和来自OPPO的归雪峰两位嘉宾作特邀专题报告。论坛在中国软件大会会场（上海国际会议中心3I+J会议室）举办，除了业界专家的特邀报告外，论坛主要交流分享了国内学术界提升软件研发效能多个主题的最...
2023-12-10 17:57:09
191
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人