Combining Static Analysis and Speculations in JIT Compilers |Aditya Anand | IICT'25

2025 Innovations In Compiler Technology Workshop, Bangalore, India
https://compilertech.org/
------------------------------------------------------------------------------------------------------------------
Just-in-time (JIT) compilers typically sacrifice the precision of program analysis for efficiency, but are capable of performing sophisticated speculative optimizations based on run-time profiles to generate code that is specialized to a given execution. On the contrary, ahead-of-time static compilers can often afford precise flow-sensitive interprocedural analysis, but produce conservative results in scenarios where higher precision could be derived from run-time specialization. In this paper, we propose the first-of-its-kind approach to enrich static analysis with the possibility of speculative optimization during JIT compilation, as well as its usage to perform aggressive stack allocation on a production Java Virtual Machine (JVM).

Видео Combining Static Analysis and Speculations in JIT Compilers |Aditya Anand | IICT'25 канала LLVM Social Bangalore