Concepedia

Francesco Logozzo

FL

26

Publications

1.3K

Citations

18

H-Index

2003

Active since

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

Rows per page

1–5 of 26