paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Making data-driven porting decisions with Tuscan

利用 Tuscan 做出数据驱动的移植决策
ISSTA Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis2018匹配度 2/10 · 该论文关注软件移植与构建过程对编译器/标准库平台敏感性的数据驱动决策,属于软件工程/开发者工具,并未涉及用户核心方向(静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析)。摘要中也没有体现与这些方向的理论、工具或基准交叉,因此匹配度较低。引用 3 inbox
Kareem Khazem, Earl T. Barr, Petr Hosek
crossref: 2026-09-12

AI 速览

一句话:提出/讨论用 Tuscan 基于数据辅助软件移植决策,以应对构建过程对编译器与标准库实现的高度平台敏感性。

软件的生命周期往往长于其最初面向的平台;为顺利迁移到新工具与新平台,程序应尽量减少对底层平台的依赖。然而实际中构建过程对构建平台高度敏感,尤其是编译器与标准库的实现,这使得将成熟软件移植到 WebAssembly、资源受限的 IoT 环境或 Fuchsia 等新型操作系统变得困难。标题表明 Tuscan 旨在以数据驱动的方式辅助此类移植决策,但给出的摘要仅集中描述移植困难,未交代 Tuscan 的具体技术方案、数据来源、算法或实验评估。因此,其核心贡献可概括为面向平台移植决策的数据驱动工具/方法,但细节有待全文确认。

问题
软件构建过程对平台(尤其编译器与标准库实现)高度敏感,使成熟软件难以移植到 WebAssembly、IoT、Fuchsia 等新平台。
方法
标题表明 Tuscan 用于支持数据驱动的移植决策,但摘要未说明其具体方法或工具实现。
评估
摘要未报告评估方式或结果。
原文摘要(Abstract)

Software typically outlives the platform that it was originally written for. To smooth the transition to new tools and platforms, programs should depend on the underlying platform as little as possible. In practice, however, software build processes are highly sensitive to their build platform, notably the implementation of the compiler and standard library. This makes it difficult to port existing, mature software to emerging platforms---web based runtimes like WebAssembly, resource-constrained environments for Internet-of-Things devices, or innovative new operating systems like Fuchsia.

链接与引用

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

BibTeX
@inproceedings{paperbot4811,
  title = {Making data-driven porting decisions with Tuscan},
  author = {Kareem Khazem and Earl T. Barr and Petr Hosek},
  booktitle = {ISSTA},
  year = {2018},
  doi = {10.1145/3213846.3213855}
}