超级:学习用 C/C++ 生成优化源代码

IF 6.5 1区 计算机科学 Q1 COMPUTER SCIENCE, SOFTWARE ENGINEERING
Zimin Chen;Sen Fang;Martin Monperrus
{"title":"超级:学习用 C/C++ 生成优化源代码","authors":"Zimin Chen;Sen Fang;Martin Monperrus","doi":"10.1109/TSE.2024.3423769","DOIUrl":null,"url":null,"abstract":"Software optimization refines programs for resource efficiency while preserving functionality. Traditionally, it is a process done by developers and compilers. This paper introduces a third option, automated optimization at the source code level. We present \n<small>Supersonic</small>\n, a neural approach targeting minor source code modifications for optimization. Using a seq2seq model, \n<small>Supersonic</small>\n is trained on C/C++ program pairs (\n<inline-formula><tex-math>$x_{t}$</tex-math></inline-formula>\n, \n<inline-formula><tex-math>$x_{t+1}$</tex-math></inline-formula>\n), where \n<inline-formula><tex-math>$x_{t+1}$</tex-math></inline-formula>\n is an optimized version of \n<inline-formula><tex-math>$x_{t}$</tex-math></inline-formula>\n, and outputs a diff. \n<small>Supersonic</small>\n's performance is benchmarked against OpenAI's GPT-3.5-Turbo and GPT-4 on competitive programming tasks. The experiments show that \n<small>Supersonic</small>\n not only outperforms both models on the code optimization task but also minimizes the extent of the change with a model more than 600x smaller than GPT-3.5-Turbo and 3700x smaller than GPT-4.","PeriodicalId":13324,"journal":{"name":"IEEE Transactions on Software Engineering","volume":"50 11","pages":"2849-2864"},"PeriodicalIF":6.5000,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10606318","citationCount":"0","resultStr":"{\"title\":\"Supersonic: Learning to Generate Source Code Optimizations in C/C++\",\"authors\":\"Zimin Chen;Sen Fang;Martin Monperrus\",\"doi\":\"10.1109/TSE.2024.3423769\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Software optimization refines programs for resource efficiency while preserving functionality. Traditionally, it is a process done by developers and compilers. This paper introduces a third option, automated optimization at the source code level. We present \\n<small>Supersonic</small>\\n, a neural approach targeting minor source code modifications for optimization. Using a seq2seq model, \\n<small>Supersonic</small>\\n is trained on C/C++ program pairs (\\n<inline-formula><tex-math>$x_{t}$</tex-math></inline-formula>\\n, \\n<inline-formula><tex-math>$x_{t+1}$</tex-math></inline-formula>\\n), where \\n<inline-formula><tex-math>$x_{t+1}$</tex-math></inline-formula>\\n is an optimized version of \\n<inline-formula><tex-math>$x_{t}$</tex-math></inline-formula>\\n, and outputs a diff. \\n<small>Supersonic</small>\\n's performance is benchmarked against OpenAI's GPT-3.5-Turbo and GPT-4 on competitive programming tasks. The experiments show that \\n<small>Supersonic</small>\\n not only outperforms both models on the code optimization task but also minimizes the extent of the change with a model more than 600x smaller than GPT-3.5-Turbo and 3700x smaller than GPT-4.\",\"PeriodicalId\":13324,\"journal\":{\"name\":\"IEEE Transactions on Software Engineering\",\"volume\":\"50 11\",\"pages\":\"2849-2864\"},\"PeriodicalIF\":6.5000,\"publicationDate\":\"2024-07-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10606318\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Transactions on Software Engineering\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10606318/\",\"RegionNum\":1,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Software Engineering","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10606318/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0

摘要

软件优化是对程序进行改进,在保留功能的同时提高资源效率。传统上,这是一个由开发人员和编译器完成的过程。本文介绍了第三种选择,即源代码级的自动优化。我们提出的 Supersonic 是一种神经方法,针对源代码的细微修改进行优化。Supersonic 使用 seq2seq 模型,对 C/C++ 程序对($x_{t}$, $x_{t+1}$)进行训练,其中$x_{t+1}$ 是$x_{t}$ 的优化版本,并输出差异。在竞争性编程任务上,Supersonic 的性能以 OpenAI 的 GPT-3.5-Turbo 和 GPT-4 为基准。实验结果表明,Supersonic 不仅在代码优化任务中的表现优于这两种模型,而且还能最大限度地减少变化程度,其模型比 GPT-3.5-Turbo 小 600 多倍,比 GPT-4 小 3700 多倍。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Supersonic: Learning to Generate Source Code Optimizations in C/C++
Software optimization refines programs for resource efficiency while preserving functionality. Traditionally, it is a process done by developers and compilers. This paper introduces a third option, automated optimization at the source code level. We present Supersonic , a neural approach targeting minor source code modifications for optimization. Using a seq2seq model, Supersonic is trained on C/C++ program pairs ( $x_{t}$ , $x_{t+1}$ ), where $x_{t+1}$ is an optimized version of $x_{t}$ , and outputs a diff. Supersonic 's performance is benchmarked against OpenAI's GPT-3.5-Turbo and GPT-4 on competitive programming tasks. The experiments show that Supersonic not only outperforms both models on the code optimization task but also minimizes the extent of the change with a model more than 600x smaller than GPT-3.5-Turbo and 3700x smaller than GPT-4.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering 工程技术-工程:电子与电气
CiteScore
9.70
自引率
10.80%
发文量
724
审稿时长
6 months
期刊介绍: IEEE Transactions on Software Engineering seeks contributions comprising well-defined theoretical results and empirical studies with potential impacts on software construction, analysis, or management. The scope of this Transactions extends from fundamental mechanisms to the development of principles and their application in specific environments. Specific topic areas include: a) Development and maintenance methods and models: Techniques and principles for specifying, designing, and implementing software systems, encompassing notations and process models. b) Assessment methods: Software tests, validation, reliability models, test and diagnosis procedures, software redundancy, design for error control, and measurements and evaluation of process and product aspects. c) Software project management: Productivity factors, cost models, schedule and organizational issues, and standards. d) Tools and environments: Specific tools, integrated tool environments, associated architectures, databases, and parallel and distributed processing issues. e) System issues: Hardware-software trade-offs. f) State-of-the-art surveys: Syntheses and comprehensive reviews of the historical development within specific areas of interest.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信