paperbot · PL 论文追踪

全部论文 待读 收藏

P2 REDSPY

REDSPY
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 3/10 · 该论文属于传统程序分析与编译优化，关注值冗余检测，未涉及 LLM/Agent、ML 系统、浮点程序分析或贝叶斯程序分析，与画像中 PL 与 AI 交叉的核心方向不直接匹配；仅在程序分析与抽象解释方法层面有弱关联。引用 42 inbox
Shasha Wen, Milind Chabbi, Xu Liu
程序分析与抽象解释
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：提出 REDSPY，用于检测复杂代码执行中的值冗余，弥补静态编译器优化的不足。

复杂代码库包含多层抽象，导致大量低效，其中值冗余指同一值在执行过程中被反复计算、存储或读取，直接影响执行时间。由于静态分析的固有限制，编译器优化 pass 难以检测或消除所有此类冗余。本文提出 REDSPY，旨在通过分析程序执行过程来发现值冗余，弥补静态优化的不足。摘要未具体说明 REDSPY 的实现技术、所针对的冗余类型细节以及实验评估结果。

问题
复杂代码库因多层抽象而存在大量低效，其中值冗余——相同值被重复计算、存储或读取——会拖慢执行；但静态分析的固有局限使编译器优化 pass 难以检测或消除所有冗余。
方法
提出 REDSPY，通过分析程序执行过程来检测值冗余，以发现静态分析无法覆盖的冗余；摘要未详细说明具体技术。
评估
摘要未提供实验评估信息。
原文摘要（Abstract）

Complex code bases with several layers of abstractions have abundant inefficiencies that affect the execution time. Value redundancy is a kind of inefficiency where the same values are repeatedly computed, stored, or retrieved over the course of execution. Not all redundancies can be easily detected or eliminated with compiler optimization passes due to the inherent limitations of the static analysis.

链接与引用

DOI 原文 · DBLP

BibTeX 
@inproceedings{WenCL17,
  title = {REDSPY},
  author = {Shasha Wen and Milind Chabbi and Xu Liu},
  booktitle = {ASPLOS},
  year = {2017},
  doi = {10.1145/3037697.3037729}
}