conf.researchr.org / Francesco Logozzo
Registered user since Sat 28 Nov 2015
Name:Francesco Logozzo
Bio:
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
Affiliation:Facebook
Research interests:Abstract Interpretation, Static Analysis, Compilers, Optimization, Abstract domains, Contracts, Verification
Contributions
2023
Static Analysis Symposium
2022
2021
Static Analysis Symposium
2020
Static Analysis Symposium
2017
PLDI
POPL
2016
ECOOP
2015
2012
SPLASH
- Author of Modular and verified automatic program repair within the OOPSLA Research Papers-track
- Author of A semantic integrated development environment within the Demos-track
- Author of An abstract interpretation framework for refactoring with application to extract methods with contracts within the OOPSLA Research Papers-track