paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Carbon-Taxed Transformers: Efficient, Accurate, and Sustainable LLMs

碳税化 Transformer:高效、准确且可持续的 LLM
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 1/10 · 该论文关注 LLM 压缩与可持续性,目标是提升 LLM 自身效率,而非将其用于静态分析、程序验证或程序分析。虽然涉及软件工程任务,但未触及用户研究的 PL→AI、AI→PL、浮点程序分析或贝叶斯程序分析等核心方向。引用 0 inbox
Ajmain Inqiad Alam, Palash Roy, Chanchal Roy, Banani Roy, Kevin Schneider
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出碳税启发的 LLM 压缩流水线 CTT,集成 NAS、结构化剪枝、量化与蒸馏,大幅降内存、提速并减碳且保持精度。

LLM 在软件工程中的广泛使用带来不可持续的计算与环境成本。本文受经济碳税启发提出 Carbon-Taxed Transformers(CTT)压缩流水线,按原则顺序集成神经架构搜索、结构化剪枝、量化与知识蒸馏,并泛化到 encoder-only、encoder-decoder 与 decoder-only 架构。在代码克隆检测、摘要与生成任务上评估,CTT 实现最高 49× 内存降低、10× 加速与 81% CO2 减排,同时保留 98% 克隆检测、89% 摘要与最高 91% 生成精度;消融研究验证流水线顺序与各组件均必要。

问题
LLM 在软件工程任务中的广泛部署带来了高昂且不可持续的计算开销与环境成本。
方法
提出受经济碳税启发的 CTT 压缩流水线,按原则顺序组合神经架构搜索、结构化剪枝、量化与知识蒸馏,并适配多种 Transformer 架构。
评估
在代码克隆检测、摘要与生成任务上评估压缩效果、精度保持与 CO2 减排,并通过消融研究验证流水线顺序和各组件的作用。
原文摘要(Abstract)

The growing adoption of Large Language Models in software engineering has introduced unsustainable computational and environmental costs. We propose Carbon-Taxed Transformers (CTT), a compression pipeline inspired by economic carbon taxation, integrating Neural Architecture Search, structured pruning, quantization, and knowledge distillation in a principled sequence. CTT generalizes across encoder-only, encoder-decoder, and decoder-only architectures, and is evaluated on code clone detection, summarization, and generation. Results show up to 49× memory reduction, 10× speedup, and an 81% reduction in CO2 emissions, while retaining 98% accuracy in clone detection, 89% in summarization, and up to 91% in generation. Ablation studies confirm both the pipeline ordering and each component are essential.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{AlamRRRS26,
  title = {Carbon-Taxed Transformers: Efficient, Accurate, and Sustainable LLMs},
  author = {Ajmain Inqiad Alam and Palash Roy and Chanchal Roy and Banani Roy and Kevin Schneider},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3807387}
}