pengxin_ce的博客

转载 活动预告｜CodeWisdom 软件智能化开发与运维学术系列报告 第16期：大模型时代下移动计算范式变迁

主要研究领域为移动/边缘计算和系统软件，近些年专注于边缘场景下的机器学习系统构建与优化，相关成果发表于ACM MobiCom/MobiSys/ASPLOS /IEEE TMC/软件学报等国内外顶级会议期刊，获USENIX ATC 2024最佳论文奖。大语言模型（LLM）及相关多模态变体正在彻底改变移动设备的能力，有望将移动计算产业和学术研究带向下一个黄金时代。相较传统端侧智能算法，大模型赋能移动设备不仅是智能能力的提升，而是对应用-系统-硬件的全栈整合，是对人机交互、系统设计、软硬协同的整体范式颠覆。

转载 智能化软件开发微访谈·第三十八期Agent进化论：大模型驱动的智能应用创新-活动预告

获得上海市“晨光计划”人才计划、复旦大学“卓越2025”人才培育计划等支持，获得钱伟长中文信息处理科学技术一等奖、汉王青年创新一等奖、上海市科技进步二等奖、教育部科技进步二等奖、ACM 上海新星提名奖、IBM Faculty Award等奖项。相关的开发、测试、运维以及安全、隐私和可靠性保障等方面面临着什么样的新的问题和挑战？曾就职于中国科学院，主持研制全行业事理图谱、360百科图谱、知识图谱平台、360版式分析模型等项目，360智脑大模型前核心成员，申请发明专利十余项、论文数篇，对外开源项目70余项。

转载 2025（上海）服务机器人产业创新峰会暨长三角智能机器人生态论坛

2025年4月2日13:00-17:30在上海新国际博览中心N3馆---浦东新区龙阳路2345号。2025（上海）服务机器人产业创新峰会暨长三角智能机器人生态论坛将于。《神经符号融合的智能机器人系统：探索个体自主与协作规程的黄金分割点》“AI赋能服务机器人—应用创新与全球化发展”彭鑫老师将作分享报告。

转载 2025全国高校计算机类课程教学高峰论坛日程

（教育部高等学校计算机类专业教学指导委员会委员兼副秘书长，国防科技大学计算机学院教授、国防科技大学教学督导组组长）、（教育部高等学校计算机类专业教学指导委员会委员兼副秘书长，国防科技大学计算机学院教授、国防科技大学教学督导组组长）（国家教学名师奖获得者，教育部高等学校计算机类专业教学指导委员会委员，浙江工业大学教授）（教育部长江学者特聘教授，复旦大学计算机科学技术学院副院长、教授）大会主持人：蒙祖强（广西大学计算机与电子信息学院副院长、教授）主持人：郑嘉利（广西大学计算机与电子信息学院副院长、教授）

转载 Claude 3.7与DeepSeek R1软件开发能力评测

Claude 3.7与DeepSeek R1软件开发能力评测引言 Anthropic推出最新的Claude 3.7 Sonnet 模型之后，引起了业界的广泛关注。官方报告显示该模型在编码能力上有了显著提升，各方面用户对此评价也很高。此外，近期我们刚经历过DeepSeek的爆火，其在慢思考和强推理方面的表现令人印象深刻。同时，马斯克旗下人工智能公司xAI推出的Grok-3也引发了很大反响。为此...

转载 CCF Talk活动预告：大模型时代的软件工程:那些变的和不变的

转载 复旦大学CodeWisdom团队著作《软件开发大数据分析研究与实践》出版

复旦大学CodeWisdom团队编写的学术著作《软件开发大数据分析研究与实践》近期由电子工业出版社出版。本书是在团队近些年围绕软件开发数据分析及其应用所开展的研究与实践基础上编写而成的，其中大部分研究成果已在企业应用。本书由彭鑫、吴毅坚、陈碧欢三位老师领衔，李弋、董震、娄一翎、刘名威、黄凯锋等老师和博士后以及王翀、周捷、宋学志等几位博士生和科研助理参与编写。1写作背景“软件定义一切”的发展趋势正日...

转载 智能化软件开发微访谈·第三十七期 DeepSeek火爆出圈对于软件产业影响几何？...

CodeWisdomDeepSeek火爆出圈对于软件产业影响几何？微访谈 · 第三十七期背景介绍 近期，DeepSeek推出的R1版本凭借其卓越的推理能力和创新的技术架构在智能助手领域迅速崭露头角，在春节期间成为各方关注和热议的焦点。很多人认为DeepSeek高效处理复杂任务的能力、显著的成本效益以及所采取的开源路线有望带来大模型部署及应用的普适化，由此对各行各业带来重要的影响。那么，Dee...

转载 智能化软件开发微访谈·第三十七期 DeepSeek火爆出圈对于软件产业影响几何？-活动预告...

CodeWisdomDeepSeek火爆出圈对于软件产业影响几何？微访谈 · 活动预告背景介绍近期，DeepSeek推出的R1版本凭借其卓越的推理能力和创新的技术架构在智能助手领域迅速崭露头角，在春节期间成为各方关注和热议的焦点。很多人认为DeepSeek高效处理复杂任务的能力、显著的成本效益以及所采取的开源路线有望带来大模型部署及应用的普适化，由此对各行各业带来重要的影响。那么，DeepSeek...

转载 智能化软件开发微访谈·第三十六期 具身智能系统：从逻辑程序到神经网络

CodeWisdom具身智能系统：从逻辑程序到神经网络微访谈· 第三十六期背景介绍具身智能（Embodied Artificial Intelligence，EAI）在物理实体的基础上，通过智能体与环境的交互来获取信息、理解问题、做出决策并执行行动，从而展现出智能行为和适应性。随着大语言模型以及多模态大模型的发展，具身智能和机器人技术也迈入了快速发展期并正在成为新的热点领域。然而，具身智能...

转载 智能化软件开发微访谈·第三十六期 具身智能系统：从逻辑程序到神经网络·活动预告...

CodeWisdom具身智能系统：从逻辑程序到神经网络微访谈 · 活动预告背景介绍具身智能（Embodied Artificial Intelligence，EAI）在物理实体的基础上，通过智能体与环境的交互来获取信息、理解问题、做出决策并执行行动，从而展现出智能行为和适应性。随着大语言模型以及多模态大模型的发展，具身智能和机器人技术也迈入了快速发展期并正在成为新的热点领域。然而，具身智能要从小范...

转载 开源风险治理平台“伏羲”在同源漏洞检测中取得重要进展，助力开源软件安全治理...

研究背景：开源软件漏洞威胁软件供应链安全随着开源软件的快速发展，代码重用已经成为加速软件开发的常见手段。但是，如果被重用的代码中包含漏洞，则这些漏洞可能会被继承传播到其他软件中，从而导致下游软件出现同源漏洞。根据新思科技2024年的供应链安全报告显示[1]，96%的代码库中包含开源代码，而84%的代码库中包含开源漏洞。因此，及时发现并识别同源漏洞对于开发者迅速采取补救措施、从而降低安全风险至关重要...

转载 开源风险治理平台“伏羲”在漏洞传播影响分析中取得重要进展，助力开源软件安全治理...

研究背景：开源组件漏洞威胁软件供应链安全开源软件已成为现代软件生态系统中不可或缺的基础构件。然而，随着组件库规模的持续扩大，其潜在的漏洞问题日益突显，对软件供应链安全构成了重大威胁。以Maven Central仓库为例，作为Java生态系统中使用最为广泛的组件库管理平台，其月度下载量达到37.8亿次，其中约3.97亿次的下载组件中存在漏洞。这些漏洞可能通过组件依赖链传播至下游项目，进而引发大规模的...

原创 “车用基础软件技术及生态发展”专题论坛在复旦大学成功举行

龙蜥社区系统运维联盟Meetup暨中国汽车工程学会汽车基础软件分会iAutoBASE专题论坛“车用基础软件技术及生态发展”于12月27日下午在复旦大学江湾校区举行。本次论坛邀请了蔚来汽车副总裁吴杰、中兴通讯操作系统产品部副部长蒋学鑫、映驰科技CTO段勃勃、长安汽车系统软件副总工程师文洋、上汽创新研发总院软件架构师张毅峰、零束科技软件架构高级主任工程师侍兴华六位嘉宾进行引导报告。在此基础上，与会者围...

转载 开源风险治理平台“伏羲”在开源生态投毒检测中取得进一步重要进展，助力开源软件安全治理...

研究背景：恶意代码威胁软件供应链安全开源软件已成为现代软件生态中不可或缺的一部分。然而，随着开源软件的普及，软件供应链安全问题日益突出，给开源软件生态系统带来了重大威胁[1]。在软件供应链安全风险中，恶意软件包投毒是一种常见的攻击手段，即将恶意代码注入到托管在软件包仓库中的软件包中，并伪装成合法的软件包，进而诱导开发人员下载和调用，从而感染用户主机，达到执行恶意行为的目的。近年来，两个被广泛使用的...

转载 活动预告｜CodeWisdom 软件智能化开发学术系列报告 第14期：重新定义团队协作-面向下一代软件工程的LLM Agents...

Tse-Hsun (Peter) ChenLeader of the Software PErformance, Analysis, and Reliability (SPEAR) lab at Concordia University.SummaryTitleRedefining Team Collaboration:Harnessing LLM Agents for Next-Gen Sof...

转载 活动预告 | CodeWisdom软件智能化开发与运维学术系列报告 第15期：利用大语言模型进行可靠的代码转换和软件规范生成...

Danning XiePhD candidate in the Computer Science Department at Purdue University‍SummaryTitleHarnessing Large Language Models for Reliable Code Transformation and Software Specification GenerationAbst...

转载 第一届软件基因组研讨会SWGeno@FSE25征稿通知

第一届软件基因组研讨会SWGeno@FSE25征稿通知2025年6月23~27日， 特隆赫姆，挪威Mon 23 - Fri 27 June 2025 Trondheim, Norway1简介开源软件（OSS）在现代软件开发中发挥了至关重要的作用。然而，开源软件生态系统的迅速扩张和日益增长的复杂性也给开发者和组织带来了显著的挑战。现代软件系统通常包含众多相互依赖的开源软件模块，而这些模块...

转载 开源风险治理平台“伏羲”在漏洞影响组件识别中取得重要进展，助力开源漏洞质量增强...

研究背景：开源漏洞质量至关重要目前开源软件基数大、使用范围广，开发人员能够通过拷贝、二次开发源代码以及引入依赖组件等方式复用其它开源软件，构成了复杂且庞大的开源软件供应链。开源软件给开发人员带来便利的同时也引入了安全风险。根据新思科技2024年的供应链安全报告显示[1]，96%的代码库中包含开源代码，而84%的代码库中包含开源漏洞。图1 新思科技 2024年度供应链安全报告软件成分分析（SCA）技...

转载 基于LLM的库API输入空间划分测试

基于LLM的库API输入空间划分测试基于大语言模型的库API输入空间划分测试的研究工作《LLM Based Input Space Partitioning Testing for Library APIs》（作者：Jiageng Li，Zhen Dong，Chong Wang，Haozhen You，Cen Zhang，Yang Liu，Xin Peng）被CCF-A类国际会议ICSE 2025...

转载 活动预告｜CodeWisdom 智能汽车基础软件学术报告系列 第5期：融合网关车控域基础软件平台化思考...

陈立冲合众新能源汽车智能平台开发部副高级总监内容简介题目融合网关车控域基础软件平台化思考摘要融合网关车控域系统作为电动汽车核心零部件，其融合了整车控制、电池管理系统、增程控制、车身控制、网关、OTA、远程诊断等等，在整车系统中需要匹配不同的动总组合同时还需兼容纯电和增程架构的车型，从而使基础软件平台带来较大挑战和需要解决的痛点，所以对基础软件平台化进行深度思考，打造平台化架构和集成开发效率。报告人...

转载 CodeWisdom可信AI系统学术系列报告：第11期（谢肖飞，新加坡管理大学）

谢肖飞内容简介题目迈向安全可信AI: 测试视角下的挑战与机遇摘要在当前AI技术快速发展的背景下，安全与可信性已成为AI系统落地应用的关键挑战。测试作为软件质量保障的重要手段，在AI系统的开发与部署中扮演了不可或缺的角色。然而，与传统软件不同，AI系统的复杂性、数据依赖性和非确定性为其测试过程带来了独特的挑战。本报告将从AI系统测试的视角出发，探过如何通过全面的测试方法发现潜在问题、提升系统可靠性，...

转载 活动预告 | CodeWisdom软件智能化开发与运维学术系列报告 第13期：利用符号有限自动机自动验证表示不变量...

ZheZhouPh.D. candidate in Computer Science at Purdue UniversitySummaryTitleA HAT Trick: Automatically Verifying Representation InvariantsUsing Symbolic Finite AutomataAbstractFunctional programs typ...

转载 华科团队发表LLM应用商店研究指南，首届国际研讨会明年挪威启航！

华科团队发表LLM应用商店研究指南，首届国际研讨会明年挪威启航！论文题目：LLM App Store Analysis: A Vision and Roadmap论文作者：赵彦杰，侯心怡，王申奥，王浩宇（通讯作者）作者单位：华中科技大学Security PRIDE团队（Security, Privacy, and Dependability in Emerging Software Systems...

转载 AIOps@ICSE 2025征文截止时间推迟到11月18日（AOE时间）

20256th International Workshop on Cloud Intelligence / AIOpsAI/ML for Efficient and Manageable Cloud Service关于AIOps‘25数字化转型正在所有行业中发生。基于云服务（如SaaS、PaaS、IaaS）运行业务是数字化转型的核心。然而，云服务的复杂性也带来了许多挑战。运行大规模云服务，需要大...

转载 AIOps Workshop 2025征文

20256th International Workshop on Cloud Intelligence / AIOpsAI/ML for Efficient and Manageable Cloud Service关于AIOps‘25数字化转型正在所有行业中发生。基于云服务（如SaaS、PaaS、IaaS）运行业务是数字化转型的核心。然而，云服务的复杂性也带来了许多挑战。运行大规模云服务，需要大...

转载 智能化软件开发微访谈·第三十四期 基于大模型的软件智能化开发实践

CodeWisdom基于大模型的软件智能化开发实践微访谈·第三十四期背景介绍 自从ChatGPT于2022年底横空出世，大语言模型（简称“大模型”）在软件工程领域学术和产业界都得到了广泛关注。当前，基于大模型的代码补全、推荐、解释和问答等智能化支持得到了广泛应用。然而，当前这种智能化开发支持很大程度上仍然是局部性的，而企业在开发质量和效率上并未感觉到显著提升。另一方面，大模型的出现加剧了...

转载 IEEE发布软件工程知识体系SWEBOK V4.0

近日，由IEEE组织编写的《Guide to the Software Engineering Body of Knowledge 4.0》（《软件工程知识体系指南4.0版》，即SWEBOK V4.0）正式发布。SWEBOK反映了软件工程理论与实践中已经被广泛接受的共识性知识。SWEBOK V4.0包含18个知识领域（Knowledge Area，简称KA），对于各个方面的关键概念进行了归纳总结，...

转载 智能化软件开发微访谈·第三十四期 基于大模型的软件智能化开发实践·活动预告...

CodeWisdom基于大模型的软件智能化开发实践微访谈 · 活动预告背景介绍自从ChatGPT于2022年底横空出世，大语言模型（简称“大模型”）在软件工程领域学术和产业界都得到了广泛关注。当前，基于大模型的代码补全、推荐、解释和问答等智能化支持得到了广泛应用。然而，当前这种智能化开发支持很大程度上仍然是局部性的，而企业在开发质量和效率上并未感觉到显著提升。另一方面，大模型的出现加剧了开...

转载 大模型时代的软件智能化开发：我们在哪里？该往何处走？

从去年4月至今，我已经写了多篇关于大模型时代软件工程的文章，包括《智能化时代的软件工程：拥抱大模型的正确姿势》、《迈向更高层次智能化开发之路：写给大模型的2023总结》、《当“低代码”遇上“大模型”：兼谈人机物融合应用场景下的应用开发》等。这主要是因为大模型的到来对于软件工程研究与实践都是一股强大的冲击波，我们需要想清楚大模型的到来改变了什么、没有改变什么，以及我们未来的软件工程研究与实践之路应该...

转载 “智能化软件工程与系统”高端论坛

当前，软件正以越来越快的速度渗透到社会经济生活的方方面面，“软件决定一切”的时代正在到来。另一方，以大模型为代表的人工智能技术正在引发新一轮智能化变革。在此背景下，软件定义的智能化系统正在成为赋能千行百业、推动新型数字化建设的重要基础，由此也为其所依赖的软件工程和系统软件方法与技术带来了新的机遇与挑战。本次论坛围绕“智能化软件工程与系统”这一主题邀请了四位软件领域国内知名专家进行专题报告并开展Pa...

转载 CNCC 2024智能汽车基础软件技术与生态论坛日程

CNCC 2024（中国计算机大会）网址：https://ccf.org.cn/cncc2024智能汽车基础软件技术与生态论坛将于2024年10月25日（周五）13:30-17:30在横店圆明新园秋苑-小吃街一楼（宏宝楼）举行敬请光临！论坛简介智能网联汽车已经成为全球汽车产业转型升级的战略方向，并呈现“电动化、网联化、智能化”的发展趋势。汽车电子电气架构也正在从分布式架构向域集中式、中央集中式和车...

转载 浅谈LLM时代下的REST API自动化测试

引言 如今API（Application Interface）作为现代软件架构中各个组件通信的基础设施，已经成为软件工程架构组织的重要组成部分。相应的，这一发展趋势也对软件工程的质量保障体系提出了新的要求，尤其是在确保通过API通信组织的微服务后端和web系统的平稳运行方面。因此，测试人员能够基于API接口规范，设计并执行有效的API测试任务尤为重要。在工业界和学术界，相关的技术人员和研究人员都...

转载 【LLM4Code@ICSE’25】第二届代码大模型国际研讨会将于明年5月加拿大与软工顶会ICSE一同举办！ 征稿进行中！...

LLM4Code 20252025年5月3日@ICSE 2025加拿大 渥太华01 关于LLM4Code Workshop第二届代码大模型国际研讨会（The Second International Workshop on Large Language Models for Code , 简称LLM4Code）将于明年5月与软件工程旗舰会议ICSE’25一同在加拿大渥太华举办。LLM4Cod...

转载 2024 CCF中国软件大会筹办工作推进系列【二十二】：并行论坛巡礼之软件定义汽车：基础软件与开发实践“...

软件及人工智能技术已经深入渗透到汽车产业中，成为智能网联汽车技术的重要支撑，也使得软件定义汽车逐渐成为现实。当前，包含操作系统、中间件、功能软件等多个层次的基础软件已经成为百年汽车变革的新引擎以及构建汽车产业新生态的关键。另一方面，智能汽车软件开发过程也在向更加现代化的方向发展，开发运维一体化（DevOps）以及容器化等新的技术和开发实践也在一些企业逐渐应用。本次论坛将围绕智能汽车基础...

转载 回归设计的质量属性，来看“复用是美好的还是邪恶的”

本周阿里技术公众号发表了率鸽老师的文章《架构设计的悖论，复用是美好的还是邪恶的》，文章提到：“错误的抽象、错误的代码复用，所引发的复杂性无限蔓延，对系统的危害比面条代码强大一百倍”。我赞同这个观点。不过，究竟什么是“错误的抽象”，什么又是“正确的抽象”呢？什么时候的复用是正确的，什么时候的复用又是不正确的呢？是不是“抽象层次越高，表达能力越低，越难以理解”？我也来写篇文章，说一下我的理解，希望...

转载 活动预告 | 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 CCF中国软件大会筹办工作推进系列【十八】：并行论坛巡礼之“云原生与智能化运维论坛”...

包含容器化、微服务、开发运维一体化、服务网格等技术在内的云原生已经成为新的技术浪潮，深刻地改变着软件开发、维护和运行的方式，同时也带来了新的机遇和挑战。当前，我们已经进入万物智能互联与软件定义一切的新时代，云计算与云原生软件技术和开发实践也逐渐在智能制造、智能汽车、智慧农业等领域应用，由此带来了很多新的机遇和挑战。围绕这些问题，我们邀请了多位来自学术界和工业界的专家进行专题报告和交流讨...

转载 2024 CCF中国软件大会筹办工作推进系列【十五】：软件供应链安全论坛

本文转载自2024 CCF中国软件大会筹办工作推进系列【十五】：软件供应链安全论坛 by 智能软件工程重点实验室原文链接：https://mp.weixin.qq.com/s/tOdim08a_W3sk6hbg3XoOQ 软件已经渗透到国民经济和国防建设的各个领域，成为了当代信息社会的重要基础设施。然而，复杂的软件供应链引入了一系列安全问题，软件供应链安全事故频频发生。目前，软件供应链...

转载 面向软件工程的AI智能体最新进展，复旦、南洋理工、UIUC联合发布全面综述

面向软件工程的AI智能体最新进展，复旦、南洋理工、UIUC联合发布全面综述本文转载自 面向软件工程的AI智能体最新进展，复旦、南洋理工、UIUC联合发布全面综述 by 机器之心原文链接：https://mp.weixin.qq.com/s/FxKYq6KO7rLZeT3yNBIsdAAIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，覆盖全...