Write a Blog >>
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

PLDI 2017 Session Chair of Functional Programming and Correctness (part of PLDI Research Papers)
Committee Member in Program Committee
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile