Jorge A. Navas, Ashish Gehani: OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization: Leveraging scalable pointer analysis, value analysis, and dynamic analysis. ACM Queue 20(5): 58-85 (2022)