Pipeline Optimizations in AND-Parallel Logic Programs. - Roberto Giacobazzi; Laura Ricci (ICLP, 1990)

Detecting Determinate Computations by Bottom-up Abstract Interpretation. - Roberto Giacobazzi; Laura Ricci (ESOP, 1992)

A Generalized Semantics for Constraint Logic Programs. - Roberto Giacobazzi; Saumya K. Debray; Giorgio Levi (FGCS, 1992)

Modeling Prolog Control. - Roberto Barbuti; Michael Codish; Roberto Giacobazzi; Giorgio Levi (POPL, 1992)

Static Analysis of CLP Programs over Numeric Domains. - Roberto Bagnara; Roberto Giacobazzi; Giorgio Levi (WSA, 1992)

A Bottom-Up Polymorphic Type Inference in Logic Programming. - Roberto Barbuti; Roberto Giacobazzi (Sci. Comput. Program., 1992)

La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. - Roberto Barbuti; E. Bellugi; Mauro Gaspari; Roberto Giacobazzi (GULP, 1993)

Modular Logic Programs on Finite Domains. - Maurizio Gabbrielli; Roberto Giacobazzi; Danilo Montesi (GULP, 1993)

Joining Abstract and Concrete Computations in Constraint Logic Programming. - Roberto Giacobazzi; Giorgio Levi; Saumya K. Debray (AMAST, 1993)

Compositional Analysis of Modular Logic Programs. - Michael Codish; Saumya K. Debray; Roberto Giacobazzi (POPL, 1993)

Modelling Prolog Control. - Roberto Barbuti; Michael Codish; Roberto Giacobazzi; Giorgio Levi (J. Log. Comput., 1993)

A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. - Roberto Barbuti; Roberto Giacobazzi; Giorgio Levi (ACM Trans. Program. Lang. Syst., 1993)

Characterizing Abstract Program Properties by Abduction. - Roberto Giacobazzi (GULP-PRODE (1), 1994)

On the Collecting Semantics for Logic Programs. - Roberto Giacobazzi (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. - Byeong-Mo Chang; Kwang-Moo Choe; Roberto Giacobazzi (SAC, 1994)

Goal independency and call patterns in the analysis of logic programs. - Maurizio Gabbrielli; Roberto Giacobazzi (SAC, 1994)

Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. - Roberto Giacobazzi (GULP-PRODE, 1995)

Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. - Roberto Giacobazzi; Francesco Ranzato (ILPS, 1995)

Oracle Semantics for Prolog. - Roberto Barbuti; Michael Codish; Roberto Giacobazzi; Michael J. Maher (Inf. Comput., 1995)

Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. - Roberto Giacobazzi; Saumya K. Debray; Giorgio Levi (J. Log. Program., 1995)

Optimization of Disjunctive Abstract Interpretations. - Roberto Giacobazzi; Francesco Ranzato (APPIA-GULP-PRODE, 1996)

Complementing Logic Program Semantics. - Roberto Giacobazzi; Francesco Ranzato (ALP, 1996)

Compositional Optimization of Disjunctive Abstract Interpretations. - Roberto Giacobazzi; Francesco Ranzato (ESOP, 1996)

A Unifying View of Abstract Domain Design. - Gilberto Filé; Roberto Giacobazzi; Francesco Ranzato (ACM Comput. Surv., 1996)

Systematic design of abstract interpretations. - Roberto Giacobazzi (APPIA-GULP-PRODE, 1997)

Intuitionistic Implication in Abstract Interpretation. - Roberto Giacobazzi; Francesca Scozzari (APPIA-GULP-PRODE, 1997)

Completeness in Abstract Interpretation: A Domain Perspective. - Roberto Giacobazzi; Francesco Ranzato (AMAST, 1997)

Refining and Compressing Abstract Domains. - Roberto Giacobazzi; Francesco Ranzato (ICALP, 1997)

Abstracting Synchronization in Concurrent Constraint Programming. - Enea Zaffanella; Roberto Giacobazzi; Giorgio Levi (J. Funct. Log. Program., 1997)

Complementation in Abstract Interpretation. - Agostino Cortesi; Gilberto Filé; Roberto Giacobazzi; Catuscia Palamidessi; Francesco Ranzato (ACM Trans. Program. Lang. Syst., 1997)

Building Complete Abstract Interpretations in a Linear Logic-based Setting. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (APPIA-GULP-PRODE, 1998)

Complete Abstract Interpretations Made Constructive. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (MFCS, 1998)

A Tutorial on Domain Theory in Abstract Interpretation. - Roberto Giacobazzi (SAS, 1998)

Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. - Roberto Giacobazzi; Francesco Ranzato (Inf. Comput., 1998)

Abductive Analysis of Modular Logic Programs. - Roberto Giacobazzi (J. Log. Comput., 1998)

Optimal Domains for Disjunctive Abstract Intepretation. - Roberto Giacobazzi; Francesco Ranzato (Sci. Comput. Program., 1998)

A Logical Model for Relational Abstract Domains. - Roberto Giacobazzi; Francesca Scozzari (ACM Trans. Program. Lang. Syst., 1998)

The Reduced Relative Power Operation on Abstract Domains. - Roberto Giacobazzi; Francesco Ranzato (Theor. Comput. Sci., 1999)

A characterization of symmetric semantics by domain complementation. - Roberto Giacobazzi; Isabella Mastroeni (PPDP, 2000)

Making abstract interpretations complete. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (J. ACM, 2000)

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. - Roberto Giacobazzi; Elisa Quintarelli (SAS, 2001)

Refining and Compressing Abstract Model Checking. - Agostino Dovier; Roberto Giacobazzi; Elisa Quintarelli (APPIA-GULP-PRODE, 2001)

Compositionality in the puzzle of semantics. - Roberto Giacobazzi; Isabella Mastroeni (PEPM, 2002)

States vs. Traces in Model Checking by Abstract Interpretation. - Roberto Giacobazzi; Francesco Ranzato (SAS, 2002)

Domain Compression for Complete Abstractions. - Roberto Giacobazzi; Isabella Mastroeni (VMCAI, 2003)

Non-Standard Semantics for Program Slicing. - Roberto Giacobazzi; Isabella Mastroeni (High. Order Symb. Comput., 2003)

Proving Abstract Non-interference. - Roberto Giacobazzi; Isabella Mastroeni (CSL, 2004)

Abstract non-interference: parameterizing non-interference by abstract interpretation. - Roberto Giacobazzi; Isabella Mastroeni (POPL, 2004)

Adjoining Declassification and Attack Models by Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni (ESOP, 2005)

Timed Abstract Non-interference. - Roberto Giacobazzi; Isabella Mastroeni (FORMATS, 2005)

Semantic-Based Code Obfuscation by Abstract Interpretation. - Mila Dalla Preda; Roberto Giacobazzi (ICALP, 2005)

Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. - Roberto Giacobazzi; Isabella Mastroeni (MMM-ACNS, 2005)

Control Code Obfuscation by Abstract Interpretation. - Mila Dalla Preda; Roberto Giacobazzi (SEFM, 2005)

Transforming semantics by abstract interpretation. - Roberto Giacobazzi; Isabella Mastroeni (Theor. Comput. Sci., 2005)

Making abstract domains condensing. - Roberto Giacobazzi; Francesco Ranzato; Francesca Scozzari (ACM Trans. Comput. Log., 2005)

Opaque Predicates Detection by Abstract Interpretation. - Mila Dalla Preda; Matias Madou; Koen De Bosschere; Roberto Giacobazzi (AMAST, 2006)

Incompleteness of states w.r.t. traces in model checking. - Roberto Giacobazzi; Francesco Ranzato (Inf. Comput., 2006)

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. - Francesco Banterle; Roberto Giacobazzi (SAS, 2007)

What You Lose is What You Leak: Information Leakage in Declassification Policies. - Anindya Banerjee 001; Roberto Giacobazzi; Isabella Mastroeni (MFPS, 2007)

Special issue on Programming Language Interference and Dependence. - David Clark 001; Sebastian Danicic; Roberto Giacobazzi (J. Log. Algebraic Methods Program., 2007)

Foreword. - Roberto Giacobazzi (Sci. Comput. Program., 2007)

Transforming Abstract Interpretations by Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni (SAS, 2008)

Hiding Software Watermarks in Loop Structures. - Mila Dalla Preda; Roberto Giacobazzi; Enrico Visentini (SAS, 2008)

Abstract Interpretation in Code Security. - Roberto Giacobazzi (SEFM, 2008)

Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. - Roberto Giacobazzi (SEFM, 2008)

Abstraction-Guided Abstraction Simplification - Roberto Giacobazzi; Francesco Ranzato (CoRR, 2009)

Semantics-based code obfuscation by abstract interpretation. - Mila Dalla Preda; Roberto Giacobazzi (J. Comput. Secur., 2009)

Abstract interpretation of resolution-based semantics. - Patrick Cousot; Radhia Cousot; Roberto Giacobazzi (Theor. Comput. Sci., 2009)

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. - Giorgio Delzanno; Roberto Giacobazzi; Francesco Ranzato (25 Years GULP, 2010)

Example-Guided Abstraction Simplification. - Roberto Giacobazzi; Francesco Ranzato (ICALP (2), 2010)

Modelling Metamorphism by Abstract Interpretation. - Mila Dalla Preda; Roberto Giacobazzi; Saumya K. Debray; Kevin Coogan; Gregg M. Townsend (SAS, 2010)

Abstract Interpretation-Based Protection. - Roberto Giacobazzi (VMCAI, 2010)

Adjoining classified and unclassified information by abstract interpretation. - Roberto Giacobazzi; Isabella Mastroeni (J. Comput. Secur., 2010)

A Proof System for Abstract Non-interference. - Roberto Giacobazzi; Isabella Mastroeni (J. Log. Comput., 2010)

Toward Digital Asset Protection. - Christian S. Collberg; Jack W. Davidson; Roberto Giacobazzi; Yuan Xiang Gu; Amir Herzberg; Fei-Yue Wang 001 (IEEE Intell. Syst., 2011)

An abstract interpretation-based model for safety semantics. - Isabella Mastroeni; Roberto Giacobazzi (Int. J. Comput. Math., 2011)

Foreword: programming language interference and dependence. - David Clark 001; Roberto Giacobazzi; Chunyan Mu (Math. Struct. Comput. Sci., 2011)

Software Security by Obscurity - A Programming Language Perspective. - Roberto Giacobazzi (ICISTM, 2012)

Twisting Additivity in Program Obfuscation. - Mila Dalla Preda; Wu Feng; Roberto Giacobazzi; Richard Greechie; Arun Lakhotia (ICISTM, 2012)

Obfuscation by partial evaluation of distorted interpreters. - Roberto Giacobazzi; Neil D. Jones; Isabella Mastroeni (PEPM, 2012)

Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation. - Roberto Giacobazzi; Isabella Mastroeni (SAS, 2012)

Strong Preservation by Model Deformation. - Roberto Giacobazzi; Isabella Mastroeni; Durica Nikolic (TASE, 2012)

A Formal Framework for Property-Driven Obfuscation Strategies. - Mila Dalla Preda; Isabella Mastroeni; Roberto Giacobazzi (FCT, 2013)

Fast location of similar code fragments using semantic 'juice'. - Arun Lakhotia; Mila Dalla Preda; Roberto Giacobazzi (PPREW@POPL, 2013)

Principles of POPL. - Derek Dreyer; John Field; Roberto Giacobazzi; Michael Hicks 001; Suresh Jagannathan; Mooly Sagiv; Peter Sewell; Philip Wadler (ACM SIGPLAN Notices, 2013)

Analyzing program dependencies for malware detection. - Mila Dalla Preda; Isabella Mastroeni; Roberto Giacobazzi (PPREW@POPL, 2014)

Unveiling and Veiling Information in Programs. - Roberto Giacobazzi (PPDP, 2014)

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). - Roberto Giacobazzi; Axel Simon; Sarah Zennou (Dagstuhl Reports, 2014)

Correctness kernels of abstract interpretations. - Roberto Giacobazzi; Francesco Ranzato (Inf. Comput., 2014)

Analyzing Program Analyses. - Roberto Giacobazzi; Francesco Logozzo; Francesco Ranzato (POPL, 2015)

Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. - Mila Dalla Preda; Roberto Giacobazzi; Arun Lakhotia; Isabella Mastroeni (POPL, 2015)

Unveiling metamorphism by abstract interpretation of code properties. - Mila Dalla Preda; Roberto Giacobazzi; Saumya K. Debray (Theor. Comput. Sci., 2015)

Active Android malware analysis: an approach based on stochastic games. - Riccardo Sartea; Mila Dalla Preda; Alessandro Farinelli; Roberto Giacobazzi; Isabella Mastroeni (SSPREW@ACSAC, 2016)

Completeness in Approximate Transduction. - Mila Dalla Preda; Roberto Giacobazzi; Isabella Mastroeni (SAS, 2016)

Making abstract models complete. - Roberto Giacobazzi; Isabella Mastroeni (Math. Struct. Comput. Sci., 2016)

Weakening Additivity in Adjoining Closures. - Isabella Mastroeni; Roberto Giacobazzi (Order, 2016)

SEA: String Executability Analysis by Abstract Interpretation. - Vincenzo Arceri; Mila Dalla Preda; Roberto Giacobazzi; Isabella Mastroeni (CoRR, 2017)

Maximal incompleteness as obfuscation potency. - Roberto Giacobazzi; Isabella Mastroeni; Mila Dalla Preda (Formal Aspects Comput., 2017)

Program Analysis Is Harder Than Verification: A Computability Perspective. - Patrick Cousot; Roberto Giacobazzi; Francesco Ranzato (CAV (2), 2018)

A deep learning approach to program similarity. - Niccolò Marastoni; Roberto Giacobazzi; Mila Dalla Preda (MASES@ASE, 2018)

Sound up-to techniques and Complete abstract domains. - Filippo Bonchi; Pierre Ganty; Roberto Giacobazzi; Dusko Pavlovic (LICS, 2018)

Code Obfuscation Against Abstract Model Checking Attacks. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori (VMCAI, 2018)

Code obfuscation against abstraction refinement attacks. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori (Formal Aspects Comput., 2018)

Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). - Roberto Giacobazzi; Dusko Pavlovic; Tachio Terauchi (NII Shonan Meet. Rep., 2018)

Abstract Non-Interference: A Unifying Framework for Weakening Information-flow. - Roberto Giacobazzi; Isabella Mastroeni (ACM Trans. Priv. Secur., 2018)

Computing Abstract Distances in Logic Programs. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Roberto Giacobazzi; Manuel V. Hermenegildo (LOPSTR, 2019)

Abstract Interpretation of Indexed Grammars. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (SAS, 2019)

A²I: abstract² interpretation. - Patrick Cousot; Roberto Giacobazzi; Francesco Ranzato (Proc. ACM Program. Lang., 2019)

Formal Framework for Reasoning About the Precision of Dynamic Analysis. - Mila Dalla Preda; Roberto Giacobazzi; Niccolò Marastoni (SAS, 2020)

Abstract extensionality: on the properties of incomplete abstract interpretations. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Isabel Garcia-Contreras; Dusko Pavlovic (Proc. ACM Program. Lang., 2020)

A Logic for Locally Complete Abstract Interpretations. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (LICS, 2021)

Learning metamorphic malware signatures from samples. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (J. Comput. Virol. Hacking Tech., 2021)

Data augmentation and transfer learning to classify malware images in a deep learning context. - Niccolò Marastoni; Roberto Giacobazzi; Mila Dalla Preda (J. Comput. Virol. Hacking Tech., 2021)

On the Properties of Partial Completeness in Abstract Interpretation. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (ICTCS, 2022)

Abstract interpretation repair. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (PLDI, 2022)

Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni (SAS, 2022)

History of Abstract Interpretation. - Roberto Giacobazzi; Francesco Ranzato (IEEE Ann. Hist. Comput., 2022)

Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi (Proc. ACM Program. Lang., 2022)

A Formal Framework to Measure the Incompleteness of Abstract Interpretations. - Marco Campion; Caterina Urban; Mila Dalla Preda; Roberto Giacobazzi (SAS, 2023)

How Fitting is Your Abstract Domain? - Roberto Giacobazzi; Isabella Mastroeni; Elia Perantoni (SAS, 2023)

Local Completeness in Abstract Interpretation. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (Challenges of Software Verification, 2023)

A Correctness and Incorrectness Program Logic. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Francesco Ranzato (J. ACM, 2023)

Fairness of AI Systems in the Legal Context. - Veronica Paternolli; Mila Dalla Preda; Roberto Giacobazzi (ECCV Workshops (21), 2024)

Monotonicity and the Precision of Program Analysis. - Marco Campion; Mila Dalla Preda; Roberto Giacobazzi; Caterina Urban (Proc. ACM Program. Lang., 2024)

Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni; Elia Perantoni (ACM Trans. Program. Lang. Syst., 2024)

The Best of Abstract Interpretations. - Roberto Giacobazzi; Francesco Ranzato (Proc. ACM Program. Lang., 2025)