6 citations · 9 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2014
An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
Tracing just-in-time compilation is a popular compilation technique for the efficient implementation of dynamic languages, which is commonly used for JavaScript, Python and PHP. We…
cs.PL2013★ 6 cited
Automatic Repair of Overflowing Expressions with Abstract Interpretation
Francesco Logozzo, Matthieu Martel
We consider the problem of synthesizing provably non-overflowing integer arithmetic expressions or Boolean relations among integer arithmetic expressions. First we use a numerical…