BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × India
1 × Poland
1 × Sweden
1 × Switzerland
2 × Germany
2 × Spain
2 × United Kingdom
4 × Italy
5 × USA
Collaborated with:
R.Giacobazzi F.Tapparo G.Filé F.Logozzo P.Cousot S.Crafa S.Dissegna O.Rossi-Doria F.Scozzari A.Cortesi C.Palamidessi
Talks about:
abstract (18) interpret (12) complet (5) algorithm (4) preserv (4) strong (4) complement (3) program (3) refin (3) model (3)

Person: Francesco Ranzato

DBLP DBLP: Ranzato:Francesco

Contributed to:

POPL 20152015
POPL 20142014
VMCAI 20132013
ICALP (2) 20112011
ICALP (2) 20102010
VMCAI 20082008
LICS 20072007
VMCAI 20062006
TACAS 20052005
ESOP 20042004
SAS 20022002
ESOP 20012001
SAS 19981998
ICALP 19971997
ALP 19961996
ESOP 19961996
JICSLP 19961996
ILPS 19951995
SAS 19951995
ILPS 19941994
CAV (2) 20182018
POPL 20192019

Wrote 23 papers:

POPL-2015-GiacobazziLR #analysis #metaprogramming
Analyzing Program Analyses (RG, FL, FR), pp. 261–273.
POPL-2014-DissegnaLR #abstract interpretation #compilation
Tracing compilation by abstract interpretation (SD, FL, FR), pp. 47–60.
VMCAI-2013-Ranzato #abstraction
Complete Abstractions Everywhere (FR), pp. 15–26.
ICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICALP-v2-2010-GiacobazziR #abstraction
Example-Guided Abstraction Simplification (RG, FR), pp. 211–222.
VMCAI-2008-RanzatoRT #abstraction #algorithm #refinement
A Forward-Backward Abstraction Refinement Algorithm (FR, ORD, FT), pp. 248–262.
LICS-2007-RanzatoT #algorithm #equivalence #performance #simulation
A New Efficient Simulation Equivalence Algorithm (FR, FT), pp. 171–180.
VMCAI-2006-RanzatoT #abstract interpretation
Strong Preservation of Temporal Fixpoint-Based Operators by Abstract Interpretation (FR, FT), pp. 332–347.
TACAS-2005-RanzatoT #abstract interpretation #algorithm #refinement
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation (FR, FT), pp. 140–156.
ESOP-2004-RanzatoT #abstract interpretation
Strong Preservation as Completeness in Abstract Interpretation (FR, FT), pp. 18–32.
SAS-2002-GiacobazziR #abstract interpretation #model checking
States vs. Traces in Model Checking by Abstract Interpretation (RG, FR), pp. 461–476.
SAS-2002-RanzatoT #model checking
Making Abstract Model Checking Strongly Preserving (FR, FT), pp. 411–427.
ESOP-2001-Ranzato #model checking #on the
On the Completeness of Model Checking (FR), pp. 137–154.
SAS-1998-GiacobazziRS #abstract interpretation #linear
Building Complete Abstract Interpretations in a Linear Logic-based Setting (RG, FR, FS), pp. 215–229.
ICALP-1997-GiacobazziR #abstract domain
Refining and Compressing Abstract Domains (RG, FR), pp. 771–781.
ALP-1996-GiacobazziR #logic programming #semantics
Complementing Logic Program Semantics (RG, FR), pp. 238–253.
ESOP-1996-GiacobazziR #abstract interpretation #composition #optimisation
Compositional Optimization of Disjunctive Abstract Interpretations (RG, FR), pp. 141–155.
JICSLP-1996-FileR #abstract domain
Complementation of Abstract Domains made Easy (GF, FR), pp. 348–362.
ILPS-1995-GiacobazziR #abstract interpretation #dependence #functional #semantics
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics (RG, FR), pp. 321–335.
SAS-1995-CortesiFGPR #abstract interpretation
Complementation in Abstract Interpretation (AC, GF, RG, CP, FR), pp. 100–117.
ILPS-1994-FileR #abstract interpretation #set
Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.
CAV-2018-CousotGR #perspective #program analysis #verification
Program Analysis Is Harder Than Verification: A Computability Perspective (PC, RG, FR), pp. 75–95.
POPL-2019-CousotGR #named
A²I: abstract² interpretation (PC, RG, FR), p. 31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.