Concepedia

Francesco Logozzo

FL

Statistics

Publications

26

Citations

1.3K

H-Index

18

Active since

2003

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

Laboratoire de Géologie de l’École Normale Supérieure

New York University

University of Colorado Boulder

Francesco Logozzo is an author at Microsoft (United States) specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSoftware DesignSoftware TestingVerification

Publications per year

2003–2019

26

Publications

26

Scaling static analyses at Facebook

Dino Distefano, Manuel Fähndrich, Francesco Logozzo et al. · Communications of the ACM · 2019 · 193 citations · Full text

Software Maintenance, Social Data Analysis, Engineering +24

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

Patrick Cousot, Radhia Cousot, Francesco Logozzo · ACM SIGPLAN Notices · 2011 · 126 citations

Engineering, Compiler Technology, Software Engineering +27

Embedded contract languages

Manuel Fähndrich, Michael P. Barnett, Francesco Logozzo · 2010 · 118 citations

Engineering, Own Specification Language, Software Engineering +23

Michael Bebenita, Florian Brandner, Manuel Fähndrich et al. · 2010 · 114 citations

Engineering, Compiler Technology, Machine Code +18

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

Patrick Cousot, Radhia Cousot, Francesco Logozzo · 2011 · 86 citations

Engineering, Software Analysis, Formal Verification +22

1–5 of 26