Francesco Logozzo
Meta (United States)(US)Seattle University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Software Engineering Research, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Scaling static analyses at Facebook(2019)193 cited
- → Static Contract Checking with Abstract Interpretation(2011)138 cited
- → A parametric segmentation functor for fully automatic and scalable array content analysis(2011)126 cited
- → Embedded contract languages(2010)118 cited
- → SPUR(2010)114 cited
- → Automatic Inference of Necessary Preconditions(2013)99 cited
- → Modular and verified automatic program repair(2012)79 cited
- → Pentagons(2008)74 cited
- → Loop Invariants on Demand(2005)72 cited