OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization. - NAVAS, JORGE A.; GEHANI, ASHISH (Communications of the ACM, 2023)