paperbot · PL 论文追踪

全部论文 待读 收藏

MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification

MiniPoly:从语言规范中自动提取高效的 JavaScript Polyfill
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026引用 1 inbox
Jungwoong Kim, Youngmin Cho, Jihyeok Park
crossref: 2026-10-09

AI 速览

一句话:提出 MiniPoly,从 JavaScript 语言规范中自动提取高效 polyfill,免去手工实现旧引擎兼容代码。

论文关注新语言特性在旧 JavaScript 引擎上的兼容实现问题:通常需要开发者手工编写 polyfill,既容易与规范语义产生偏差,也难以保证执行效率。MiniPoly 的思路是以语言规范为唯一可信来源,自动从中提取出对应的 polyfill 实现,从而让兼容代码的语义与规范保持一致,并兼顾效率。作者随论文发布了配套 artifact(工具与实验材料),用于复现其自动提取流程。受限于仅有标题与 artifact 摘要,本文未在此给出具体的提取机制(如规范的形式化表示、代码生成策略)以及量化评估结果,需参见正文获取。

问题
新 JavaScript 语言特性在旧引擎上需要 polyfill,而手工编写既易偏离规范语义,又难以保证性能。
方法
以 JavaScript 语言规范为输入,自动提取(生成)对应的 polyfill 实现,使兼容代码与规范语义保持一致。
评估
论文附带可复现的 artifact(工具与实验材料);具体基准与量化结果需参见论文正文。
原文摘要(Abstract)

Artifact for the paper MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification

链接与引用

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

BibTeX
@inproceedings{paperbot12589,
  title = {MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification},
  author = {Jungwoong Kim and Youngmin Cho and Jihyeok Park},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3837549}
}