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: Ranzato:Francesco
Contributed to:
20152014
2013
201120102008
20072006
2005
2004
2002200119981997
19961996
1996199519951994
20182019Wrote 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.