Francesco Logozzo

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Sufficient Incorrectness Logic: SIL and Separation SIL.
CoRR, 2023

2019
Scaling static analyses at Facebook.
Commun. ACM, 2019

2017
Automatic Contract Insertion with CCBot.
IEEE Trans. Software Eng., 2017

2016
An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation.
ACM Trans. Program. Lang. Syst., 2016

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

2014
SAS2013 artifact submission experience report.
ACM SIGPLAN Notices, 2014

Tracing compilation by abstract interpretation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Verification modulo versions: towards usable verification.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
Automatic Repair of Overflowing Expressions with Abstract Interpretation.
Proceedings of the Semantics, 2013

Automatic Inference of Necessary Preconditions.
Proceedings of the Verification, 2013

Technology for inferring contracts from code.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Practical specification and verification with code contracts.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012
Our Experience with the CodeContracts Static Checker - (Invited Tutorial).
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

A semantic integrated development environment.
Proceedings of the SPLASH'12, 2012

Modular and verified automatic program repair.
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.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Integrating a set of contract checking tools into visual studio.
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

Inference of Necessary Field Conditions with Abstract Interpretation.
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.
Int. J. Softw. Tools Technol. Transf., 2011

Checking Compatibility of Bit Sizes in Floating Point Comparison Operations.
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).
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

A parametric segmentation functor for fully automatic and scalable array content analysis.
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.
Sci. Comput. Program., 2010

Embedded contract languages.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

SPUR: a trace-based JIT compiler for CIL.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Static Contract Checking with Abstract Interpretation.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization.
Proceedings of the Compiler Construction, 19th International Conference, 2010

2009
Class invariants as abstract interpretation of trace semantics.
Comput. Lang. Syst. Struct., 2009

SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities.
Proceedings of the Verification, 2009

Inferring Dataflow Properties of User Defined Table Processors.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.
Proceedings of the 31st International Conference on Software Engineering, 2009

Refining Abstract Interpretation-Based Static Analyses with Hints.
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008
Safer unsafe code for .NET.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis.
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.
Proceedings of the Verification, 2007

Formal Techniques for Java-Like Programs.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

2006
Semantic Hierarchy Refactoring by Abstract Interpretation.
Proceedings of the Verification, 2006

Program Analysis for Security and Privacy.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005
Abstract Interpretation and Object-oriented Programming: Quo Vadis?
Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

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

Abstract Interpretation-Based Verification of Non-functional Requirements.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Loop Invariants on Demand.
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).
PhD thesis, 2004

An Approach to Behavioral Subtyping Based on Static Analysis.
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Automatic Inference of Class Invariants.
Proceedings of the Verification, 2004

Approximating module semantics with constraints.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Separate Compositional Analysis of Class-Based Object-Oriented Languages.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Class-Level Modular Analysis for Object Oriented Languages.
Proceedings of the Static Analysis, 10th International Symposium, 2003


  Loading...