一句话：提出首个将 JavaScript 系统化降级为结构化中间表示以支持静态分析与优化的框架。
JavaScript 因动态类型、特殊作用域规则和普遍副作用而难以静态分析，且缺乏如 LLVM、Soot 般成熟的统一基础设施。本文提出 IRIDIUM，一个面向 JavaScript 静态优化的框架。它系统地将 JavaScript 降级为结构化中间表示 IRI，显式建模绑定、环境与控制流，从而提升可分析性与可变换性。基于该表示，IRIDIUM 支持数据流跟踪、优化遍以及面向现有运行时的可执行代码生成，缓解了表层语法与静态分析需求之间的鸿沟。摘要未报告具体基准与量化结果，但将 IRIDIUM 定位为可有效推理现代 JavaScript 应用的新一代工具基础。
Static analysis of JavaScript remains notoriously difficult due to the language’s dynamically typed nature, unconventional scoping rules, and pervasive side effects. Unlike mature infrastructures such as LLVM for C/C++ or Soot for Java, comparable frameworks for JavaScript are fragmented and limited in scope. In this paper, we introduce IRIDIUM, a first-of-its-kind framework to statically optimize JavaScript programs. IRIDIUM systematically lowers JavaScript into a structured intermediate representation (called IRI) that models bindings, environments, and control flow explicitly. The resultant expressiveness enables more predictable analyses and transformations, ranging from dataflow tracking to optimization passes to executable code generation for existing runtimes, that are otherwise hindered by the language’s complexity. By bridging the gap between JavaScript’s surface syntax and the requirements of static analysis, IRIDIUM, thus, lays the foundation for a new generation of tools that can reason effectively about modern JavaScript applications.
@article{paperbot3837,
title = {IRIDIUM: A Framework for Statically Optimizing JavaScript Programs},
author = {Meetesh Kalpesh Mehta and Anirudh Garg and Aneeket Yadav and Manas Thakur},
journal = {Proceedings of the ACM on Programming Languages},
volume = {10},
number = {OOPSLA1},
year = {2026},
doi = {10.1145/3798273}
}