Meetesh Kalpesh Mehta

[OOPSLA 2026] IRIDIUM: A Framework for Statically Optimizing JavaScript Programs

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.

PhD @ IIT Bombay, completed two years

Our research has been submitted and is under review. Fingers Crossed :)

[Presentation] Presented at IICT-2025 (What does an IR for JS static analysis look like?)

IICT = Innovations In Compiler Technology workshop

[Presentation] Annual Progress Report

APS report - 2

PhD @ IIT Bombay, completed one year

I am working on static analysis of JavaScript Programs. Dr Manas and I are actively working on Iridium (our secret framework) for JavaScript Static Analysis 🤞

[Presentation] Presented at IICT-2024

IICT = Innovations In Compiler Technology workshop

[Service] Part of OOPSLA 24 Artifact Evaluation Committee

Evaluated six artifacts

PhD Seminar Report

It was an interesting sem, learnt about a lot about type systems and had fun comparing different language implementations.

[MS Thesis] Reusing Contextually Specialized JIT Precompiled Units

Highlights

Working with Dr. Manas Thakur and the CompL group has been the most rewarding and fulfilling part of my life :) I am proud of.

[OOPSLA 2023] Reusing Just-in-Time Compiled Code

Most code is executed more than once. If not entire programs then libraries remain unchanged from one run to the next. Just-in-time compilers expend considerable effort gathering insights about code they compiled many times, and often end up generating the same binary over and over again. We explore how to reuse compiled code across runs of different programs to reduce warm-up costs of dynamic languages. We propose to use speculative contextual dispatch to select versions of functions from an off-line curated code repository. That repository is a persistent database of previously compiled functions indexed by the context under which they were compiled. The repository is curated to remove redundant code and to optimize dispatch. We assess practicality by extending Ř, a compiler for the R language, and evaluating its performance. Our results suggest that the approach improves warmup times while preserving peak performance.

[VMIL 2023] Debugging Dynamic Language Features in a Multi-tier Virtual Machine

Research Interests

Compilers, JITs, Programming Languages, Security

Quote

Logic processed infinitely is emotion.