Francesco Logozzo

发表

Inference of Necessary Field Conditions with Abstract Interpretation

Manuel Fähndrich, Mehdi Bouaziz, Francesco Logozzo, 2012, APLAS.

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

Francesco Logozzo, 2007, VMCAI.

Automatic Inference of Class Invariants

Francesco Logozzo, F. Logozzo, 2004, VMCAI.

Analyzing Program Analyses

Roberto Giacobazzi, Francesco Ranzato, Francesco Logozzo, 2015, POPL.

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

Francesco Logozzo, Francesco Logozzo, 2004 .

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

Francesco Ranzato, Francesco Logozzo, Stefano Dissegna, 2016, ACM Trans. Program. Lang. Syst..

Proceedings of the 1st Workshop on Abstract Interpretation of Object-oriented Languages

Agostino Cortesi, Francesco Logozzo, F. Logozzo, 2005 .

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

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011, POPL '11.

An Approach to Behavioral Subtyping Based on Static Analysis

Francesco Logozzo, F. Logozzo, 2005, TACoS.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Lenore D. Zuck, Doron Peled, Francesco Logozzo, 2008 .

Loop Invariants on Demand

K. Rustan M. Leino, Francesco Logozzo, K. Leino, 2005, APLAS.

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

Francesco Logozzo, Herman Venter, 2010, CC.

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

Manuel Fähndrich, Francesco Logozzo, Manuel Fähndrich, 2008, SAC '08.

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011, VMCAI.

Proceedings of the 20th Static Analysis Symposium

Manuel Fähndrich, Francesco Logozzo, Manuel Fähndrich, 2013 .

Contract Precondition Inference from Intermittent Assertions on Collections

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011 .

Formal Techniques for Java-Like Programs

John Tang Boyland, Gary T. Leavens, Arnd Poetzsch-Heffter, 2007, ECOOP Workshops.

Automatic Contract Insertion with CCBot

Mathias Payer, Francesco Logozzo, Scott A. Carr, 2017, IEEE Transactions on Software Engineering.

A semantic integrated development environment

Patrick Cousot, Radhia Cousot, Manuel Fähndrich, 2012, SPLASH '12.

Program Analysis for Security and Privacy

Marco Pistoia, Francesco Logozzo, 2006, ECOOP Workshops.

Semantic Hierarchy Refactoring by Abstract Interpretation

Agostino Cortesi, Francesco Logozzo, F. Logozzo, 2006, VMCAI.

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

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2012, OOPSLA '12.

Static Contract Checking with Abstract Interpretation

Manuel Fähndrich, Francesco Logozzo, Manuel Fähndrich, 2010, FoVeOOS.

Preface

Agostino Cortesi, Francesco Logozzo, 2005, Electron. Notes Theor. Comput. Sci..

Abstract Interpretation-Based Verification of Non-functional Requirements

Agostino Cortesi, Francesco Logozzo, F. Logozzo, 2005, COORDINATION.

Annotations for (more) Precise Points-to Analysis

Mike Barnett, Diego Garbervetsky, Manuel Fähndrich, 2007 .

Abstract Interpretation and Object-oriented Programming: Quo Vadis?

Agostino Cortesi, Francesco Logozzo, 2005, Electron. Notes Theor. Comput. Sci..

New Results - Underapproximation for Precondition Inference

Patrick Cousot, Radhia Cousot, Francesco Logozzo, 2011 .

Checking Compatibility of Bit Sizes in Floating Point Comparison Operations

Manuel Fähndrich, Francesco Logozzo, 2012, Electron. Notes Theor. Comput. Sci..

Automatic Repair of Overflowing Expressions with Abstract Interpretation

Matthieu Martel, Francesco Logozzo, 2013, Festschrift for Dave Schmidt.

Preface. Special Issue on Abstract Interpretation for Object Oriented Languages.

Agostino Cortesi, Francesco Logozzo, F. Logozzo, 2005 .

Verification of Non-functional Requirements by Abstract Interpretation

Agostino Cortesi, Francesco Logozzo, F. Logozzo, 2012 .

Refining Abstract Interpretation-Based Static Analyses with Hints

Francesco Logozzo, Vincent Laviron, F. Logozzo, 2009, APLAS.

SPUR: a trace-based JIT compiler for CIL

Nikolai Tillmann, Wolfram Schulte, Manuel Fähndrich, 2010, OOPSLA.

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

Manuel Fähndrich, Francesco Logozzo, 2008, SAC '08.

Technology for inferring contracts from code

Francesco Logozzo, 2013 .

Approximating module semantics with constraints

Francesco Logozzo, 2004, SAC '04.

Practical specification and verification with code contracts

Francesco Logozzo, 2013, HILT.

Tracing compilation by abstract interpretation

Francesco Ranzato, Francesco Logozzo, Stefano Dissegna, 2014, POPL.

Practical specification and verification with code contracts

Francesco Logozzo, 2013 .

Modular and verified automatic program repair

Thomas Ball, Francesco Logozzo, T. Ball, 2012, OOPSLA '12.

Class invariants as abstract interpretation of trace semantics

Francesco Logozzo, 2009, Comput. Lang. Syst. Struct..

Integrating a set of contract checking tools into Visual Studio

Daan Leijen, Manuel Fähndrich, Francesco Logozzo, 2012, 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI).

Safer unsafe code for .NET

Pietro Ferrara, Manuel Fähndrich, Francesco Logozzo, 2008, OOPSLA '08.

Verification modulo versions: towards usable verification

Sam Blackshear, Shuvendu K. Lahiri, Manuel Fähndrich, 2014, PLDI.

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

Manuel Fähndrich, Francesco Logozzo, Manuel Fähndrich, 2008 .

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

Nikolai Tillmann, Jonathan de Halleux, Manuel Fähndrich, 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

Scaling static analyses at Facebook

Peter W. O'Hearn, Manuel Fähndrich, Francesco Logozzo, 2019, Commun. ACM.

Class-Level Modular Analysis for Object Oriented Languages

Francesco Logozzo, F. Logozzo, 2003, SAS.

7th Workshop on Formal Techniques for Java-like Programs

Francesco Logozzo, 2006 .

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

Francesco Logozzo, Vincent Laviron, 2011, International Journal on Software Tools for Technology Transfer.

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

Francesco Logozzo, Vincent Laviron, 2009, VMCAI.

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis

Manuel Fähndrich, Francesco Logozzo, 2008, CC.

Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation

Lenore D. Zuck, Doron Peled, Francesco Logozzo, 2002 .

Program Analysis for Security and Privacy Report on the WS PASSWORD at ECOOP’06

Marco Pistoia, Francesco Logozzo, F. Logozzo, 2007 .

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

Francesco Logozzo, 2011, VMCAI.

Embedded contract languages

Manuel Fähndrich, Francesco Logozzo, Michael Barnett, 2010, SAC '10.

Technology for inferring contracts from code

Francesco Logozzo, 2013, HILT.

Automatic Inference of Necessary Preconditions

Patrick Cousot, Radhia Cousot, Manuel Fähndrich, 2013, VMCAI.

SAS2013 artifact submission experience report

Francesco Logozzo, Manuel Fähndrich, 2014, SIGP.

Clousot: Static Contract Checking with Abstract Interpretation

Manuel Fähndrich, Francesco Logozzo, 2010 .

Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Lenore D. Zuck, Doron Peled, Francesco Logozzo, 2008, VMCAI.

New Results - Analysis of Buffer Overruns

Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich, 2008 .

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

Francesco Logozzo, 2012, VSTTE.

Inferring Dataflow Properties of User Defined Table Processors

Songtao Xia, Manuel Fähndrich, Francesco Logozzo, 2009, SAS.

Separate Compositional Analysis of Class-Based Object-Oriented Languages

Francesco Logozzo, 2004, AMAST.

Semantic Class Hierarchies by Abstract Interpretation

Agostino Cortesi, Francesco Logozzo, 2004 .

Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings

Francesco Logozzo, Manuel Fhndrich, 2013 .