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

SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
N40AI 2017Presenter of Abstract Interpretation in Facebook within the Next 40 years of Abstract Interpretation-track
Committee Member in Organizer within the Next 40 years of Abstract Interpretation-track
CurryOn 2016Speaker of Static analysis for security at the Facebook scale within the CurryOn -track
POPL 2017ERC member in External Review Committee within the POPL-track
Session Chair of Program Analysis (part of POPL)
PLDI 2017Session Chair of Functional Programming and Correctness (part of PLDI Research Papers)
Committee Member in Program Committee
VMCAICommittee Member in Program Committee
ECOOP 2016Workshops Co-Chair in Organizing Committee within the Workshops-track
Workshops Co-Chair in Organizing Committee
SPLASH 2015Committee Member in Organizing Committee within the Demos-track
ECOOP 2015Session Chair of Analysis II (part of Research Track)
Committee Member in Programme Committee within the Research Track-track
SPLASH 2013Committee Member in Committee within the ACM SRC-track
SPLASH 2012Author 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