Francesco Logozzo

Registered user since Sat 28 Nov 2015

Name:Francesco Logozzo

I love static static program analysis. I’ve been designing and implementing widely used static analysis tools. I published papers in the most important research conferences and gave talks at main research and industrial conferences as e.g., Build.

Country:United States
Research interests:Abstract Interpretation, Static Analysis, Compilers, Optimization, Abstract domains, Contracts, Verification


SOAP 2022 Using static analysis to scale security at Meta
PLDI 2022 Meta Research and Opportunities
Show activities from other conferences

PLDI 2022-profile
View general profile