Person: Francesco Logozzo

DBLP: Logozzo:Francesco

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2015

2014

2014

2013

2013

2012

2011

2011

2010

2010

2010

2009

2009

2008

2008

2008

2010

2007

2006

2004

2004

2003

Wrote 25 papers:

POPL-2015-GiacobazziLR #analysis #metaprogramming

Analyzing Program Analyses (RG, FL, FR), pp. 261–273.

PLDI-2014-LogozzoLFB #towards #verification

Verification modulo versions: towards usable verification (FL, SKL, MF, SB), p. 32.

POPL-2014-DissegnaLR #abstract interpretation #compilation

Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.

HILT-2013-Logozzo #contract #specification #verification

Practical specification and verification with code contracts (FL), pp. 7–8.

HILT-2013-Logozzo13a #contract

Technology for inferring contracts from code (FL), pp. 13–14.

VMCAI-2013-CousotCFL #automation

Automatic Inference of Necessary Preconditions (PC, RC, MF, FL), pp. 128–148.

OOPSLA-2012-CousotCLB #abstract interpretation #contract #framework #refactoring

An abstract interpretation framework for refactoring with application to extract methods with contracts (PC, RC, FL, MB), pp. 213–232.

OOPSLA-2012-LogozzoB #automation #composition #program repair

Modular and verified automatic program repair (FL, TB), pp. 133–146.

POPL-2011-CousotCL #analysis #array #automation #parametricity #scalability #segmentation

A parametric segmentation functor for fully automatic and scalable array content analysis (PC, RC, FL), pp. 105–118.

VMCAI-2011-CousotCL #contract

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (PC, RC, FL), pp. 150–168.

VMCAI-2011-Logozzo #abstract interpretation #verification

Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation — (FL), pp. 19–22.

CC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named #optimisation

RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.

OOPSLA-2010-BebenitaBFLSTV #compilation #jit #named

SPUR: a trace-based JIT compiler for CIL (MB, FB, MF, FL, WS, NT, HV), pp. 708–725.

SAC-2010-FahndrichBL #contract #embedded

Embedded contract languages (MF, MB, FL), pp. 2103–2110.

SAS-2009-XiaFL #data flow

Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.

VMCAI-2009-LavironL #approach #linear #named #scalability

SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities (VL, FL), pp. 229–244.

CC-2008-LogozzoF #analysis #bytecode #on the #source code

On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis (FL, MF), pp. 197–212.

OOPSLA-2008-FerraraLF #dot-net

Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.

SAC-2008-LogozzoF #abstract domain #array #named #performance #relational #validation

Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.

SAC-OOPS-J-2008-LogozzoF10 #abstract domain #array #named #performance #relational #validation

Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.

VMCAI-2007-Logozzo #abstract interpretation #analysis #composition #java #named #verification

Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (FL), pp. 283–298.

VMCAI-2006-LogozzoC #abstract interpretation #refactoring #semantics

Semantic Hierarchy Refactoring by Abstract Interpretation (FL, AC), pp. 313–331.

SAC-2004-Logozzo #approximate #constraints #semantics

Approximating module semantics with constraints (FL), pp. 1490–1495.

VMCAI-2004-Logozzo #automation #invariant

Automatic Inference of Class Invariants (FL), pp. 211–222.

SAS-2003-Logozzo #analysis #composition #object-oriented

Class-Level Modular Analysis for Object Oriented Languages (FL), pp. 37–54.