Francesco Logozzo

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 5

Top Venues

HILT

CoRR

POPL

VMCAI

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo
Sufficient Incorrectness Logic: SIL and Separation SIL. CoRR (2023)
Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn
Scaling static analyses at Facebook. Commun. ACM 62 (8) (2019)
Scott A. Carr, Francesco Logozzo, Mathias Payer
Automatic Contract Insertion with CCBot. IEEE Trans. Software Eng. 43 (8) (2017)
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation. ACM Trans. Program. Lang. Syst. 38 (2) (2016)
Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato
Analyzing Program Analyses. POPL (2015)
Manuel Fähndrich, Francesco Logozzo
SAS2013 artifact submission experience report. ACM SIGPLAN Notices 49 (4S) (2014)
Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
Verification modulo versions: towards usable verification. PLDI (2014)
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
Tracing compilation by abstract interpretation. POPL (2014)
Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
An Abstract Interpretation-based Model of Tracing Just-In-Time Compilation. CoRR (2014)
Francesco Logozzo
Technology for inferring contracts from code. HILT (2013)
Francesco Logozzo, Matthieu Martel
Automatic Repair of Overflowing Expressions with Abstract Interpretation. Festschrift for Dave Schmidt (2013)
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
Automatic Inference of Necessary Preconditions. VMCAI (2013)
Francesco Logozzo
Practical specification and verification with code contracts. HILT (2013)
Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA (2012)
Francesco Logozzo, Thomas Ball
Modular and verified automatic program repair. OOPSLA (2012)
Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo
Integrating a set of contract checking tools into visual studio. TOPI@ICSE (2012)
Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot
A semantic integrated development environment. SPLASH (2012)
Manuel Fähndrich, Francesco Logozzo
Checking Compatibility of Bit Sizes in Floating Point Comparison Operations. Electron. Notes Theor. Comput. Sci. 288 (2012)
Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich
Inference of Necessary Field Conditions with Abstract Interpretation. APLAS (2012)
Francesco Logozzo
Our Experience with the CodeContracts Static Checker - (Invited Tutorial). VSTTE (2012)
Patrick Cousot, Radhia Cousot, Francesco Logozzo
A parametric segmentation functor for fully automatic and scalable array content analysis. POPL (2011)
Vincent Laviron, Francesco Logozzo
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities. Int. J. Softw. Tools Technol. Transf. 13 (6) (2011)
Patrick Cousot, Radhia Cousot, Francesco Logozzo
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI (2011)
Francesco Logozzo
Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). VMCAI (2011)
Francesco Logozzo, Herman Venter
RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. CC (2010)
Francesco Logozzo, Manuel Fähndrich
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75 (9) (2010)
Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
SPUR: a trace-based JIT compiler for CIL. OOPSLA (2010)
Manuel Fähndrich, Michael Barnett, Francesco Logozzo
Embedded contract languages. SAC (2010)
Manuel Fähndrich, Francesco Logozzo
Static Contract Checking with Abstract Interpretation. FoVeOOS (2010)
Vincent Laviron, Francesco Logozzo
Refining Abstract Interpretation-Based Static Analyses with Hints. APLAS (2009)
Francesco Logozzo
Class invariants as abstract interpretation of trace semantics. Comput. Lang. Syst. Struct. 35 (2) (2009)
Songtao Xia, Manuel Fähndrich, Francesco Logozzo
Inferring Dataflow Properties of User Defined Table Processors. SAS (2009)
Vincent Laviron, Francesco Logozzo
SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. VMCAI (2009)
Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion (2009)
Francesco Logozzo, Manuel Fähndrich
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. CC (2008)
Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich
Safer unsafe code for .NET. OOPSLA (2008)
Francesco Logozzo, Manuel Fähndrich
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. SAC (2008)
John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter
Formal Techniques for Java-Like Programs. ECOOP Workshops (2007)
Francesco Logozzo
Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. VMCAI (2007)
Marco Pistoia, Francesco Logozzo
Program Analysis for Security and Privacy. ECOOP Workshops (2006)
Francesco Logozzo, Agostino Cortesi
Semantic Hierarchy Refactoring by Abstract Interpretation. VMCAI (2006)
Francesco Logozzo
An Approach to Behavioral Subtyping Based on Static Analysis. Electron. Notes Theor. Comput. Sci. 116 (2005)
Francesco Logozzo, Agostino Cortesi
Abstract Interpretation and Object-oriented Programming: Quo Vadis? Electron. Notes Theor. Comput. Sci. 131 (2005)
Agostino Cortesi, Francesco Logozzo
Abstract Interpretation-Based Verification of Non-functional Requirements. COORDINATION (2005)
Agostino Cortesi, Francesco Logozzo
Preface. Electron. Notes Theor. Comput. Sci. 131 (2005)
K. Rustan M. Leino, Francesco Logozzo
Loop Invariants on Demand. APLAS (2005)
Francesco Logozzo
Automatic Inference of Class Invariants. VMCAI (2004)
Francesco Logozzo
Separate Compositional Analysis of Class-Based Object-Oriented Languages. AMAST (2004)
Francesco Logozzo
Approximating module semantics with constraints. SAC (2004)
Francesco Logozzo
Class-Level Modular Analysis for Object Oriented Languages. SAS (2003)

Francesco Logozzo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francesco Logozzo