| 2015 | POPL | Analyzing Program Analyses. | Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato |
| 2014 | PLDI | Verification modulo versions: towards usable verification. | Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fhndrich, Sam Blackshear |
| 2014 | POPL | Tracing compilation by abstract interpretation. | Stefano Dissegna, Francesco Logozzo, Francesco Ranzato |
| 2013 | VMCAI | Automatic Inference of Necessary Preconditions. | Patrick Cousot, Radhia Cousot, Manuel Fhndrich, Francesco Logozzo |
| 2012 | APLAS | Inference of Necessary Field Conditions with Abstract Interpretation. | Mehdi Bouaziz, Francesco Logozzo, Manuel Fhndrich |
| 2012 | ICSE | Integrating a set of contract checking tools into visual studio. | Manuel Fhndrich, Michael Barnett, Daan Leijen, Francesco Logozzo |
| 2012 | OOPSLA | An abstract interpretation framework for refactoring with application to extract methods with contracts. | Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett |
| 2012 | OOPSLA | Modular and verified automatic program repair. | Francesco Logozzo, Thomas Ball |
| 2012 | OOPSLA | A semantic integrated development environment. | Francesco Logozzo, Michael Barnett, Manuel Fhndrich, Patrick Cousot, Radhia Cousot |
| 2011 | POPL | A parametric segmentation functor for fully automatic and scalable array content analysis. | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
| 2011 | VMCAI | Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
| 2011 | VMCAI | Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk). | Francesco Logozzo |
| 2010 | CC | RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. | Francesco Logozzo, Herman Venter |
| 2010 | OOPSLA | SPUR: a trace-based JIT compiler for CIL. | Michael Bebenita, Florian Brandner, Manuel Fhndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter |
| 2010 | SAC | Embedded contract languages. | Manuel Fhndrich, Michael Barnett, Francesco Logozzo |
| 2009 | APLAS | Refining Abstract Interpretation-Based Static Analyses with Hints. | Vincent Laviron, Francesco Logozzo |
| 2009 | ICSE | Exploiting the synergy between automated-test-generation and programming-by-contract. | Michael Barnett, Manuel Fhndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann |
| 2009 | SAS | Inferring Dataflow Properties of User Defined Table Processors. | Songtao Xia, Manuel Fhndrich, Francesco Logozzo |
| 2009 | VMCAI | SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities. | Vincent Laviron, Francesco Logozzo |
| 2008 | CC | On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. | Francesco Logozzo, Manuel Fhndrich |
| 2008 | OOPSLA | Safer unsafe code for .NET. | Pietro Ferrara, Francesco Logozzo, Manuel Fhndrich |
| 2008 | SAC | Pentagons: a weakly relational abstract domain for the efficient validation of array accesses. | Francesco Logozzo, Manuel Fhndrich |
| 2007 | VMCAI | Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes. | Francesco Logozzo |
| 2006 | VMCAI | Semantic Hierarchy Refactoring by Abstract Interpretation. | Francesco Logozzo, Agostino Cortesi |
| 2005 | APLAS | Loop Invariants on Demand. | K. Rustan M. Leino, Francesco Logozzo |
| 2005 | Coordination | Abstract Interpretation-Based Verification of Non-functional Requirements. | Agostino Cortesi, Francesco Logozzo |
| 2004 | SAC | Approximating module semantics with constraints. | Francesco Logozzo |
| 2004 | VMCAI | Automatic Inference of Class Invariants. | Francesco Logozzo |
| 2003 | SAS | Class-Level Modular Analysis for Object Oriented Languages. | Francesco Logozzo |