6 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 3 cited
Sufficient Incorrectness Logic: SIL and Separation SIL
Flavio Ascari, Roberto Bruni, Roberta Gori +1
Sound over-approximation methods have been proved effective for guaranteeing the absence of errors, but inevitably they produce false alarms that can hamper the programmers. Conver…
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…