Roberto Giacobazzi

144 papers A* 11A 4B 30C 5Misc 3Journal 53Unranked 35
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Logic for the Imprecision of Abstract Interpretations.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2025 B ed.
Static Analysis - 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
SAS
Roberto Giacobazzi, Alessandra Gorla
2025 J jnl
The Best of Abstract Interpretations.
Proc. ACM Program. Lang.
Roberto Giacobazzi, Francesco Ranzato
2024 J jnl
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation.
ACM Trans. Program. Lang. Syst.
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
2024 — conf
Fairness of AI Systems in the Legal Context.
ECCV Workshops (21)
Veronica Paternolli, Mila Dalla Preda, Roberto Giacobazzi
2024 J jnl
Monotonicity and the Precision of Program Analysis.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2023 J jnl
A Correctness and Incorrectness Program Logic.
J. ACM
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
2023 B conf
A Formal Framework to Measure the Incompleteness of Abstract Interpretations.
SAS
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
2023 — ed.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro López-García, John P. Gallagher, Roberto Giacobazzi
2023 B conf
How Fitting is Your Abstract Domain?
SAS
Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
2023 — ch.
Local Completeness in Abstract Interpretation.
Challenges of Software Verification
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
2022 A* conf
Abstract interpretation repair.
PLDI
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
2022 J jnl
History of Abstract Interpretation.
IEEE Ann. Hist. Comput.
Roberto Giacobazzi, Francesco Ranzato
2022 — conf
On the Properties of Partial Completeness in Abstract Interpretation.
ICTCS
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2022 J jnl
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2022 B conf
Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation.
SAS
Roberto Giacobazzi, Isabella Mastroeni
2021 A* conf
A Logic for Locally Complete Abstract Interpretations.
LICS
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
2021 J jnl
Data augmentation and transfer learning to classify malware images in a deep learning context.
J. Comput. Virol. Hacking Tech.
Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
2021 J jnl
Learning metamorphic malware signatures from samples.
J. Comput. Virol. Hacking Tech.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2020 J jnl
Abstract extensionality: on the properties of incomplete abstract interpretations.
Proc. ACM Program. Lang.
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic
2020 B conf
Formal Framework for Reasoning About the Precision of Dynamic Analysis.
SAS
Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni
2019 B conf
Abstract Interpretation of Indexed Grammars.
SAS
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2019 J jnl
A²I: abstract² interpretation.
Proc. ACM Program. Lang.
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
2019 C conf
Computing Abstract Distances in Logic Programs.
LOPSTR
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
2018 — conf
A deep learning approach to program similarity.
MASES@ASE
Niccolò Marastoni, Roberto Giacobazzi, Mila Dalla Preda
2018 J jnl
Abstract Non-Interference: A Unifying Framework for Weakening Information-flow.
ACM Trans. Priv. Secur.
Roberto Giacobazzi, Isabella Mastroeni
2018 B conf
Code Obfuscation Against Abstract Model Checking Attacks.
VMCAI
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
2018 J jnl
Code obfuscation against abstraction refinement attacks.
Formal Aspects Comput.
Roberto Bruni, Roberto Giacobazzi, Roberta Gori
2018 J jnl
Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1).
NII Shonan Meet. Rep.
Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi
2018 — conf
Program Analysis Is Harder Than Verification: A Computability Perspective.
CAV (2)
Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato
2018 A* conf
Sound up-to techniques and Complete abstract domains.
LICS
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
2018 J jnl
Sound up-to techniques and Complete abstract domains.
CoRR
Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic
2017 J jnl
Maximal incompleteness as obfuscation potency.
Formal Aspects Comput.
Roberto Giacobazzi, Isabella Mastroeni, Mila Dalla Preda
2017 J jnl
SEA: String Executability Analysis by Abstract Interpretation.
CoRR
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
2016 — conf
Active Android malware analysis: an approach based on stochastic games.
SSPREW@ACSAC
Riccardo Sartea, Mila Dalla Preda, Alessandro Farinelli, Roberto Giacobazzi, Isabella Mastroeni
2016 B conf
Completeness in Approximate Transduction.
SAS
Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
2016 J jnl
Making abstract models complete.
Math. Struct. Comput. Sci.
Roberto Giacobazzi, Isabella Mastroeni
2016 J jnl
Weakening Additivity in Adjoining Closures.
Order
Isabella Mastroeni, Roberto Giacobazzi
2015 A* conf
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables.
POPL
Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni
2015 A* conf
Analyzing Program Analyses.
POPL
Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato
2015 J jnl
Unveiling metamorphism by abstract interpretation of code properties.
Theor. Comput. Sci.
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray
2014 — conf
Analyzing program dependencies for malware detection.
PPREW@POPL
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
2014 J jnl
Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241).
Dagstuhl Reports
Roberto Giacobazzi, Axel Simon, Sarah Zennou
2014 J jnl
Correctness kernels of abstract interpretations.
Inf. Comput.
Roberto Giacobazzi, Francesco Ranzato
2014 C conf
Unveiling and Veiling Information in Programs.
PPDP
Roberto Giacobazzi
2013 B conf
A Formal Framework for Property-Driven Obfuscation Strategies.
FCT
Mila Dalla Preda, Isabella Mastroeni, Roberto Giacobazzi
2013 — conf
Fast location of similar code fragments using semantic 'juice'.
PPREW@POPL
Arun Lakhotia, Mila Dalla Preda, Roberto Giacobazzi
2013 J jnl
Principles of POPL.
ACM SIGPLAN Notices
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
2013 A* ed.
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013
POPL
Roberto Giacobazzi, Radhia Cousot
2013 B ed.
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
VMCAI
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
2012 B conf
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation.
SAS
Roberto Giacobazzi, Isabella Mastroeni
2012 C conf
Obfuscation by partial evaluation of distorted interpreters.
PEPM
Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni
2012 — conf
Software Security by Obscurity - A Programming Language Perspective.
ICISTM
Roberto Giacobazzi
2012 Misc conf
Strong Preservation by Model Deformation.
TASE
Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic
2012 — conf
Twisting Additivity in Program Obfuscation.
ICISTM
Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie, Arun Lakhotia
2011 J jnl
An abstract interpretation-based model for safety semantics.
Int. J. Comput. Math.
Isabella Mastroeni, Roberto Giacobazzi
2011 J jnl
Foreword: programming language interference and dependence.
Math. Struct. Comput. Sci.
David Clark, Roberto Giacobazzi, Chunyan Mu
2011 J jnl
Toward Digital Asset Protection.
IEEE Intell. Syst.
Christian S. Collberg, Jack W. Davidson, Roberto Giacobazzi, Yuan Xiang Gu, Amir Herzberg, Fei-Yue Wang
2010 J jnl
A Proof System for Abstract Non-interference.
J. Log. Comput.
Roberto Giacobazzi, Isabella Mastroeni
2010 B conf
Abstract Interpretation-Based Protection.
VMCAI
Roberto Giacobazzi
2010 J jnl
Adjoining classified and unclassified information by abstract interpretation.
J. Comput. Secur.
Roberto Giacobazzi, Isabella Mastroeni
2010 — conf
Example-Guided Abstraction Simplification.
ICALP (2)
Roberto Giacobazzi, Francesco Ranzato
2010 B conf
Modelling Metamorphism by Abstract Interpretation.
SAS
Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend
2010 — ch.
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.
25 Years GULP
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato
2009 J jnl
Abstract interpretation of resolution-based semantics.
Theor. Comput. Sci.
Patrick Cousot, Radhia Cousot, Roberto Giacobazzi
2009 J jnl
Abstraction-Guided Abstraction Simplification
CoRR
Roberto Giacobazzi, Francesco Ranzato
2009 J jnl
Semantics-based code obfuscation by abstract interpretation.
J. Comput. Secur.
Mila Dalla Preda, Roberto Giacobazzi
2008 B conf
Abstract Interpretation in Code Security.
SEFM
Roberto Giacobazzi
2008 B conf
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking.
SEFM
Roberto Giacobazzi
2008 B conf
Hiding Software Watermarks in Loop Structures.
SAS
Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini
2008 B conf
Transforming Abstract Interpretations by Abstract Interpretation.
SAS
Roberto Giacobazzi, Isabella Mastroeni
2007 B conf
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.
SAS
Francesco Banterle, Roberto Giacobazzi
2007 J jnl
Foreword.
Sci. Comput. Program.
Roberto Giacobazzi
2007 J jnl
Special issue on Programming Language Interference and Dependence.
J. Log. Algebraic Methods Program.
David Clark, Sebastian Danicic, Roberto Giacobazzi
2007 B conf
What You Lose is What You Leak: Information Leakage in Declassification Policies.
MFPS
Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni
2006 J jnl
Incompleteness of states w.r.t. traces in model checking.
Inf. Comput.
Roberto Giacobazzi, Francesco Ranzato
2006 — conf
Opaque Predicates Detection by Abstract Interpretation.
AMAST
Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi
2005 A conf
Adjoining Declassification and Attack Models by Abstract Interpretation.
ESOP
Roberto Giacobazzi, Isabella Mastroeni
2005 B conf
Control Code Obfuscation by Abstract Interpretation.
SEFM
Mila Dalla Preda, Roberto Giacobazzi
2005 — conf
Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata.
MMM-ACNS
Roberto Giacobazzi, Isabella Mastroeni
2005 J jnl
Making abstract domains condensing.
ACM Trans. Comput. Log.
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
2005 A* conf
Semantic-Based Code Obfuscation by Abstract Interpretation.
ICALP
Mila Dalla Preda, Roberto Giacobazzi
2005 — conf
Timed Abstract Non-interference.
FORMATS
Roberto Giacobazzi, Isabella Mastroeni
2005 J jnl
Transforming semantics by abstract interpretation.
Theor. Comput. Sci.
Roberto Giacobazzi, Isabella Mastroeni
2004 A* conf
Abstract non-interference: parameterizing non-interference by abstract interpretation.
POPL
Roberto Giacobazzi, Isabella Mastroeni
2004 J jnl
Incompleteness of States w.r.t. Traces in Model Checking
CoRR
Roberto Giacobazzi, Francesco Ranzato
2004 B conf
Proving Abstract Non-interference.
CSL
Roberto Giacobazzi, Isabella Mastroeni
2004 B ed.
Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
SAS
Roberto Giacobazzi
2003 B conf
Domain Compression for Complete Abstractions.
VMCAI
Roberto Giacobazzi, Isabella Mastroeni
2003 J jnl
Non-Standard Semantics for Program Slicing.
High. Order Symb. Comput.
Roberto Giacobazzi, Isabella Mastroeni
2002 C conf
Compositionality in the puzzle of semantics.
PEPM
Roberto Giacobazzi, Isabella Mastroeni
2002 J jnl
Making Abstract Domains Condensing
CoRR
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
2002 B conf
States vs. Traces in Model Checking by Abstract Interpretation.
SAS
Roberto Giacobazzi, Francesco Ranzato
2001 B conf
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking.
SAS
Roberto Giacobazzi, Elisa Quintarelli
2001 — conf
Refining and Compressing Abstract Model Checking.
APPIA-GULP-PRODE
Agostino Dovier, Roberto Giacobazzi, Elisa Quintarelli
2000 C conf
A characterization of symmetric semantics by domain complementation.
PPDP
Roberto Giacobazzi, Isabella Mastroeni
2000 J jnl
Making abstract interpretations complete.
J. ACM
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1999 J jnl
The Reduced Relative Power Operation on Abstract Domains.
Theor. Comput. Sci.
Roberto Giacobazzi, Francesco Ranzato
1998 J jnl
A Logical Model for Relational Abstract Domains.
ACM Trans. Program. Lang. Syst.
Roberto Giacobazzi, Francesca Scozzari
1998 B conf
A Tutorial on Domain Theory in Abstract Interpretation.
SAS
Roberto Giacobazzi
1998 J jnl
Abductive Analysis of Modular Logic Programs.
J. Log. Comput.
Roberto Giacobazzi
1998 — conf
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
APPIA-GULP-PRODE
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1998 B conf
Building Complete Abstract Interpretations in a Linear Logic-based Setting.
SAS
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1998 B conf
Complete Abstract Interpretations Made Constructive.
MFCS
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
1998 J jnl
Optimal Domains for Disjunctive Abstract Intepretation.
Sci. Comput. Program.
Roberto Giacobazzi, Francesco Ranzato
1998 J jnl
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements.
Inf. Comput.
Roberto Giacobazzi, Francesco Ranzato
1997 J jnl
Abstracting Synchronization in Concurrent Constraint Programming.
J. Funct. Log. Program.
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
1997 J jnl
Complementation in Abstract Interpretation.
ACM Trans. Program. Lang. Syst.
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1997 — conf
Completeness in Abstract Interpretation: A Domain Perspective.
AMAST
Roberto Giacobazzi, Francesco Ranzato
1997 — conf
Intuitionistic Implication in Abstract Interpretation.
APPIA-GULP-PRODE
Roberto Giacobazzi, Francesca Scozzari
1997 — conf
Intuitionistic Implication in Abstract Interpretation.
PLILP
Roberto Giacobazzi, Francesca Scozzari
1997 A* conf
Refining and Compressing Abstract Domains.
ICALP
Roberto Giacobazzi, Francesco Ranzato
1997 — conf
Systematic design of abstract interpretations.
APPIA-GULP-PRODE
Roberto Giacobazzi
1996 A conf
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
STACS
Roberto Giacobazzi
1996 J jnl
A Unifying View of Abstract Domain Design.
ACM Comput. Surv.
Gilberto Filé, Roberto Giacobazzi, Francesco Ranzato
1996 — conf
Complementing Logic Program Semantics.
ALP
Roberto Giacobazzi, Francesco Ranzato
1996 A conf
Compositional Optimization of Disjunctive Abstract Interpretations.
ESOP
Roberto Giacobazzi, Francesco Ranzato
1996 — conf
Optimization of Disjunctive Abstract Interpretations.
APPIA-GULP-PRODE
Roberto Giacobazzi, Francesco Ranzato
1995 B conf
Complementation in Abstract Interpretation
SAS
Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1995 — conf
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics.
ILPS
Roberto Giacobazzi, Francesco Ranzato
1995 J jnl
Generalized Semantics and Abstract Interpretation for Constraint Logic Programs.
J. Log. Program.
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
1995 — conf
Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics.
GULP-PRODE
Roberto Giacobazzi
1995 J jnl
Oracle Semantics for Prolog.
Inf. Comput.
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
1994 — conf
Abductive Analysis of Modular Logic Programs.
ILPS
Roberto Giacobazzi
1994 Misc conf
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.
SAC
Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi
1994 — conf
Abstracting Synchronization in Concurrent Constraint Programming.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi
1994 — conf
Abstracting Synchronization in Concurrent Constraint Programming.
PLILP
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
1994 — conf
Characterizing Abstract Program Properties by Abduction.
GULP-PRODE (1)
Roberto Giacobazzi
1994 Misc conf
Goal independency and call patterns in the analysis of logic programs.
SAC
Maurizio Gabbrielli, Roberto Giacobazzi
1994 — conf
On the Collecting Semantics for Logic Programs.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
Roberto Giacobazzi
1993 J jnl
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs.
ACM Trans. Program. Lang. Syst.
Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi
1993 A* conf
Compositional Analysis of Modular Logic Programs.
POPL
Michael Codish, Saumya K. Debray, Roberto Giacobazzi
1993 — conf
Joining Abstract and Concrete Computations in Constraint Logic Programming.
AMAST
Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray
1993 — conf
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
GULP
Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi
1993 J jnl
Modelling Prolog Control.
J. Log. Comput.
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
1993 — conf
Modular Logic Programs on Finite Domains.
GULP
Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi
1992 J jnl
A Bottom-Up Polymorphic Type Inference in Logic Programming.
Sci. Comput. Program.
Roberto Barbuti, Roberto Giacobazzi
1992 — conf
A Generalized Semantics for Constraint Logic Programs.
FGCS
Roberto Giacobazzi, Saumya K. Debray, Giorgio Levi
1992 A conf
Detecting Determinate Computations by Bottom-up Abstract Interpretation.
ESOP
Roberto Giacobazzi, Laura Ricci
1992 A* conf
Modeling Prolog Control.
POPL
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
1992 — conf
Oracle Semantics for Prolog.
ALP
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
1992 — conf
Static Analysis of CLP Programs over Numeric Domains.
WSA
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
1991 — conf
Modelling Prolog Control.
JTASPEFT/WSA
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
1990 B conf
Pipeline Optimizations in AND-Parallel Logic Programs.
ICLP
Roberto Giacobazzi, Laura Ricci