BibSLEIGH — Roberto

Travelled to:

1 × Denmark
1 × India
1 × Israel
1 × Poland
1 × Portugal
1 × South Africa
1 × Sweden
2 × Germany
4 × Italy
4 × Spain
4 × United Kingdom
5 × France
7 × USA

Collaborated with:

I.Mastroeni F.Ranzato ∅ M.D.Preda G.Levi M.Codish L.Ricci F.Scozzari R.Barbuti P.Cousot S.K.Debray F.Banterle E.Quintarelli M.Gabbrielli F.Logozzo N.D.Jones E.Visentini E.Zaffanella B.Chang K.Choe R.Bagnara A.Lakhotia M.J.Maher K.Coogan G.M.Townsend A.Cortesi G.Filé C.Palamidessi R.Bruni R.Gori Isabel Garcia-Contreras D.Pavlovic

Talks about:

abstract (32) interpret (22) program (11) semant (7) model (7) logic (7) analysi (6) domain (6) obfusc (5) complet (4)

Person: Roberto Giacobazzi

DBLP: Giacobazzi:Roberto

Facilitated 3 volumes:

Contributed to:

2015

2014

2012

2010

2008

2007

2005

2004

2003

2002

2001

2000

1998

1997

1996

1995

1994

1993

1992

1991

1990

2018

2019

2020

Wrote 45 papers:

POPL-2015-GiacobazziLR #analysis #metaprogramming: Analyzing Program Analyses (RG, FL, FR), pp. 261–273.
POPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity: Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
PPDP-2014-Giacobazzi #source code: Unveiling and Veiling Information in Programs (RG), pp. 211–212.
PEPM-2012-GiacobazziJM #obfuscation #partial evaluation: Obfuscation by partial evaluation of distorted interpreters (RG, NDJ, IM), pp. 63–72.
SAS-2012-GiacobazziM #abstract interpretation #modelling #obfuscation: Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation (RG, IM), pp. 129–145.
ICALP-v2-2010-GiacobazziR #abstraction: Example-Guided Abstraction Simplification (RG, FR), pp. 211–222.
SAS-2010-PredaGDCT #abstract interpretation #modelling #morphism: Modelling Metamorphism by Abstract Interpretation (MDP, RG, SKD, KC, GMT), pp. 218–235.
VMCAI-2010-Giacobazzi #abstract interpretation: Abstract Interpretation-Based Protection (RG), pp. 23–24.
SAS-2008-GiacobazziM #abstract interpretation: Transforming Abstract Interpretations by Abstract Interpretation (RG, IM), pp. 1–17.
SAS-2008-PredaGV: Hiding Software Watermarks in Loop Structures (MDP, RG, EV), pp. 174–188.
SEFM-2008-Giacobazzi #abstract interpretation #security: Abstract Interpretation in Code Security (RG), p. 3.
SEFM-2008-Giacobazzi08a #obfuscation: Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking (RG), pp. 7–18.
SAS-2007-BanterleG #abstract domain #hardware #implementation #performance: A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
ESOP-2005-GiacobazziM #abstract interpretation #classification #modelling: Adjoining Declassification and Attack Models by Abstract Interpretation (RG, IM), pp. 295–310.
ICALP-2005-PredaG #abstract interpretation #obfuscation #semantics: Semantic-Based Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 1325–1336.
SEFM-2005-PredaG #abstract interpretation #obfuscation: Control Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 301–310.
CSL-2004-GiacobazziM #proving: Proving Abstract Non-interference (RG, IM), pp. 280–294.
POPL-2004-GiacobazziM #abstract interpretation: Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.
VMCAI-2003-GiacobazziM #abstraction: Domain Compression for Complete Abstractions (RG, IM), pp. 146–160.
PEPM-2002-GiacobazziM #composition #semantics: Compositionality in the puzzle of semantics (RG, IM), pp. 87–97.
SAS-2002-GiacobazziR #abstract interpretation #model checking: States vs. Traces in Model Checking by Abstract Interpretation (RG, FR), pp. 461–476.
SAS-2001-GiacobazziQ #model checking: Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking (RG, EQ), pp. 356–373.
PPDP-2000-GiacobazziM #semantics #symmetry: A characterization of symmetric semantics by domain complementation (RG, IM), pp. 115–126.
SAS-1998-Giacobazzi #abstract interpretation #tutorial: A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.
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.
PLILP-1997-GiacobazziS #abstract interpretation: Intuitionistic Implication in Abstract Interpretation (RG, FS), pp. 175–189.
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.
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-Giacobazzi #abduction #analysis #composition #logic programming #source code: Abductive Analysis of Modular Logic Programs (RG), pp. 377–391.
PLILP-1994-ZffanellaGL #concurrent #constraints #programming: Abstracting Synchronization in Concurrent Constraint Programming (EZ, RG, GL), pp. 57–72.
SAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code: Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.
SAC-1994-GabbrielliG #analysis #logic programming #source code: Goal independency and call patterns in the analysis of logic programs (MG, RG), pp. 394–399.
POPL-1993-CodishDG #analysis #composition #logic programming #source code: Compositional Analysis of Modular Logic Programs (MC, SKD, RG), pp. 451–464.
ALP-1992-BarbutiCGM #prolog #semantics: Oracle Semantics for Prolog (RB, MC, RG, MJM), pp. 100–114.
ESOP-1992-GiacobazziR #abstract interpretation #bottom-up #detection: Detecting Determinate Computations by Bottom-up Abstract Interpretation (RG, LR), pp. 167–181.
POPL-1992-BarbutiCGL #modelling #prolog: Modeling Prolog Control (RB, MC, RG, GL), pp. 95–104.
WSA-1992-BagnaraGL #source code #static analysis: Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.
WSA-1991-BarbutiCGL #modelling #prolog: Modelling Prolog Control (RB, MC, RG, GL), pp. 117–124.
CLP-1990-GiacobazziR90 #logic programming #optimisation #pipes and filters #source code: Pipeline Optimizations in AND-Parallel Logic Programs (RG, LR), pp. 291–305.
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.
POPL-2020-BruniGGGP #abstract interpretation: Abstract extensionality: on the properties of incomplete abstract interpretations (RB, RG, RG, IGC, DP), p. 28.