Francesco Logozzo

According to our database, Francesco Logozzo authored at least 49 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Sufficient Incorrectness Logic: SIL and Separation SIL.

Flavio Ascari, Roberto Bruni, Roberta Gori, Francesco Logozzo

CoRR, 2023

2019

Scaling static analyses at Facebook.

Dino Distefano, Manuel Fähndrich, Francesco Logozzo, Peter W. O'Hearn

Commun. ACM, 2019

2017

Automatic Contract Insertion with CCBot.

Scott A. Carr, Francesco Logozzo, Mathias Payer

IEEE Trans. Software Eng., 2017

2016

An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation.

Stefano Dissegna, Francesco Logozzo, Francesco Ranzato

ACM Trans. Program. Lang. Syst., 2016

2015

Analyzing Program Analyses.

Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

SAS2013 artifact submission experience report.

Manuel Fähndrich, Francesco Logozzo

ACM SIGPLAN Notices, 2014

Tracing compilation by abstract interpretation.

Stefano Dissegna, Francesco Logozzo, Francesco Ranzato

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Verification modulo versions: towards usable verification.

Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Automatic Repair of Overflowing Expressions with Abstract Interpretation.

Francesco Logozzo, Matthieu Martel

Proceedings of the Semantics, 2013

Automatic Inference of Necessary Preconditions.

Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo

Proceedings of the Verification, 2013

Technology for inferring contracts from code.

Francesco Logozzo

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Practical specification and verification with code contracts.

Francesco Logozzo

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012

Our Experience with the CodeContracts Static Checker - (Invited Tutorial).

Francesco Logozzo

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

A semantic integrated development environment.

Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot

Proceedings of the SPLASH'12, 2012

Modular and verified automatic program repair.

Francesco Logozzo, Thomas Ball

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

An abstract interpretation framework for refactoring with application to extract methods with contracts.

Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Integrating a set of contract checking tools into visual studio.

Manuel Fähndrich, Michael Barnett, Daan Leijen, Francesco Logozzo

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Inference of Necessary Field Conditions with Abstract Interpretation.

Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities.

Vincent Laviron, Francesco Logozzo

Int. J. Softw. Tools Technol. Transf., 2011

Checking Compatibility of Bit Sizes in Floating Point Comparison Operations.

Manuel Fähndrich, Francesco Logozzo

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk).

Francesco Logozzo

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.

Patrick Cousot, Radhia Cousot, Francesco Logozzo

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

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

Patrick Cousot, Radhia Cousot, Francesco Logozzo

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Pentagons: A weakly relational abstract domain for the efficient validation of array accesses.

Francesco Logozzo, Manuel Fähndrich

Sci. Comput. Program., 2010

Embedded contract languages.

Manuel Fähndrich, Michael Barnett, Francesco Logozzo

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

SPUR: a trace-based JIT compiler for CIL.

Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Static Contract Checking with Abstract Interpretation.

Manuel Fähndrich, Francesco Logozzo

Proceedings of the Formal Verification of Object-Oriented Software, 2010

RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization.

Francesco Logozzo, Herman Venter

Proceedings of the Compiler Construction, 19th International Conference, 2010

2009

Class invariants as abstract interpretation of trace semantics.

Francesco Logozzo

Comput. Lang. Syst. Struct., 2009

SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.

Vincent Laviron, Francesco Logozzo

Proceedings of the Verification, 2009

Inferring Dataflow Properties of User Defined Table Processors.

Songtao Xia, Manuel Fähndrich, Francesco Logozzo

Proceedings of the Static Analysis, 16th International Symposium, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.

Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann

Proceedings of the 31st International Conference on Software Engineering, 2009

Refining Abstract Interpretation-Based Static Analyses with Hints.

Vincent Laviron, Francesco Logozzo

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Safer unsafe code for .NET.

Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.

Francesco Logozzo, Manuel Fähndrich

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes.

Francesco Logozzo

Proceedings of the Verification, 2007

Formal Techniques for Java-Like Programs.

John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006

Semantic Hierarchy Refactoring by Abstract Interpretation.

Francesco Logozzo, Agostino Cortesi

Proceedings of the Verification, 2006

Program Analysis for Security and Privacy.

Marco Pistoia, Francesco Logozzo

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005

Abstract Interpretation and Object-oriented Programming: Quo Vadis?

Francesco Logozzo, Agostino Cortesi

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Preface.

Agostino Cortesi, Francesco Logozzo

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Abstract Interpretation-Based Verification of Non-functional Requirements.

Agostino Cortesi, Francesco Logozzo

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Loop Invariants on Demand.

K. Rustan M. Leino, Francesco Logozzo

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Analyse statique modulaire des langages à objet. (Modular static analysis of object-oriented languages).

Francesco Logozzo

PhD thesis, 2004

An Approach to Behavioral Subtyping Based on Static Analysis.

Francesco Logozzo

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Automatic Inference of Class Invariants.

Francesco Logozzo

Proceedings of the Verification, 2004

Approximating module semantics with constraints.

Francesco Logozzo

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Separate Compositional Analysis of Class-Based Object-Oriented Languages.

Francesco Logozzo

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Class-Level Modular Analysis for Object Oriented Languages.

Francesco Logozzo

Proceedings of the Static Analysis, 10th International Symposium, 2003