Tracing compilation by abstract interpretation. - Stefano Dissegna; Francesco Logozzo; Francesco Ranzato (POPL, 2014)

An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation. - Stefano Dissegna; Francesco Logozzo; Francesco Ranzato (ACM Trans. Program. Lang. Syst., 2016)