LogozzoFrancesco

Class invariants as abstract interpretation of trace semantics

LogozzoFrancesco, 2009 .

Scaling static analyses at Facebook

W O'HearnPeter, DistefanoDino, LogozzoFrancesco, 2019 .

Safer unsafe code for .NET

LogozzoFrancesco, FähndrichManuel, FerraraPietro, 2008 .

An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation

LogozzoFrancesco, RanzatoFrancesco, DissegnaStefano, 2016 .

Modular and verified automatic program repair

BallThomas, LogozzoFrancesco, 2012 .

Analyzing Program Analyses

GiacobazziRoberto, LogozzoFrancesco, RanzatoFrancesco, 2015 .

A parametric segmentation functor for fully automatic and scalable array content analysis

CousotPatrick, CousotRadhia, LogozzoFrancesco, 2011 .