Francesca Scozzari

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 13

Top Topics

Artificial Intelligence

Optimal Matching

Analytically Derived

Top Venues

Electron. Notes Theor. Comput. Sci.

Sci. Comput. Program.

Publications

Gianluca Amato, Francesca Scozzari
Optimal matching for sharing and linearity analysis. CoRR (2024)
Ijaz Ahmad, Alessia Amelio, Arcangelo Merla, Francesca Scozzari
A survey on the role of artificial intelligence in managing Long COVID. Frontiers Artif. Intell. 6 (2023)
Gianluca Amato, Francesca Scozzari
JGMP: Java bindings and wrappers for the GMP library. SoftwareX 23 (2023)
Gianluca Amato, Francesca Scozzari
The ScalaFix Equation Solver. FM (2023)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
The role of linearity in sharing analysis. Math. Struct. Comput. Sci. 32 (1) (2022)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
On the Need for a Common API for Abstract Domains of Object-Oriented Programs. FTfJP@ECOOP (2022)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
On collecting semantics for program analysis. Theor. Comput. Sci. 823 (2020)
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Descending chains and narrowing on template abstract domains. Acta Informatica 55 (6) (2018)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
A Taxonomy of Program Analyses. ICTCS (2018)
Francesca Scozzari
Preface. Electron. Notes Theor. Comput. Sci. 334 (2018)
Gianluca Amato, Marco Rubino, Francesca Scozzari
Inferring linear invariants with parallelotopes. Sci. Comput. Program. 148 (2017)
Gianluca Amato, Maria Chiara Meo, Francesca Scozzari
Exploiting Linearity in Sharing Analysis of Object-oriented Programs. Electron. Notes Theor. Comput. Sci. 322 (2016)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. Sci. Comput. Program. 120 (2016)
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
Sum of Abstract Domains. NFM (2015)
Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari
Narrowing Operators on Template Abstract Domains. FM (2015)
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
Efficiently intertwining widening and narrowing. CoRR (2015)
Gianluca Amato, Francesca Scozzari, Enea Zaffanella
Efficient Constraint/Generator Removal from Double Description of Polyhedra. Electron. Notes Theor. Comput. Sci. 307 (2014)
Gianluca Amato, Francesca Scozzari
Optimal multibinding unification for sharing and linearity analysis. Theory Pract. Log. Program. 14 (3) (2014)
Gianluca Amato, Francesca Scozzari
Optimal multi-binding unification for sharing and linearity analysis. CoRR (2013)
Gianluca Amato, Francesca Scozzari
Localizing Widening and Narrowing. SAS (2013)
Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari
Numerical static analysis with Soot. SOAP@PLDI (2013)
Gianluca Amato, Francesca Scozzari
The Abstract Domain of Parallelotopes. Electron. Notes Theor. Comput. Sci. 287 (2012)
Gianluca Amato, Maurizio Parton, Francesca Scozzari
Discovering invariants via simple component analysis. J. Symb. Comput. 47 (12) (2012)
Gianluca Amato, Francesca Scozzari
Random: R-Based Analyzer for Numerical Domains. LPAR (2012)
Gianluca Amato, Francesca Scozzari
Analysis and Verification of Navigation Strategies by Abstract Interpretation of Cellular Automata. MIG (2012)
Gianluca Amato, Francesca Scozzari
Observational Completeness on Abstract Interpretation. Fundam. Informaticae 106 (2-4) (2011)
Gianluca Amato, Francesca Scozzari
On the interaction between sharing and linearity. Theory Pract. Log. Program. 10 (1) (2010)
Gianluca Amato, Maurizio Parton, Francesca Scozzari
A Tool Which Mines Partial Execution Traces to Improve Static Analysis. RV (2010)
Gianluca Amato, Maurizio Parton, Francesca Scozzari
Deriving Numerical Abstract Domains via Principal Component Analysis. SAS (2010)
Gianluca Amato, Francesca Scozzari
Observational Completeness on Abstract Interpretation. WoLLIC (2009)
Gianluca Amato, Francesca Scozzari
Optimality in goal-dependent analysis of Sharing. Theory Pract. Log. Program. 9 (5) (2009)
Gianluca Amato, Francesca Scozzari
On the interaction between sharing and linearity CoRR (2007)
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
Modeling Web Applications by the Multiple Levels of Integrity Policy. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making abstract domains condensing. ACM Trans. Comput. Log. 6 (1) (2005)
Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini
Modeling Web Applications by the Multiple Levels of Integrity Policy. WWV (2005)
Gianluca Amato, Francesca Scozzari
Optimality in Goal-Dependent Analysis of Sharing CoRR (2005)
Francesca Scozzari
Logical optimality of groundness analysis. Theor. Comput. Sci. 277 (1-2) (2002)
Gianluca Amato, Francesca Scozzari
Optimality in Goal-Dependent Analysis of Sharing. APPIA-GULP-PRODE (2002)
Gianluca Amato, Francesca Scozzari
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. LOPSTR (2002)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making Abstract Domains Condensing CoRR (2002)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Making abstract interpretations complete. J. ACM 47 (2) (2000)
Francesca Scozzari
Abstract Domains for Sharing Analysis by Optimal Semantics. SAS (2000)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Building Complete Abstract Interpretations in a Linear Logic-based Setting. APPIA-GULP-PRODE (1998)
Roberto Giacobazzi, Francesca Scozzari
A Logical Model for Relational Abstract Domains. ACM Trans. Program. Lang. Syst. 20 (5) (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Building Complete Abstract Interpretations in a Linear Logic-based Setting. SAS (1998)
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Complete Abstract Interpretations Made Constructive. MFCS (1998)
Francesca Scozzari
Logical Optimality of Groundness Analysis. SAS (1997)
Roberto Giacobazzi, Francesca Scozzari
Intuitionistic Implication in Abstract Interpretation. APPIA-GULP-PRODE (1997)
Roberto Giacobazzi, Francesca Scozzari
Intuitionistic Implication in Abstract Interpretation. PLILP (1997)
Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE (1996)
Giorgio Levi, Francesca Scozzari
Contributions to a Theory of Existential Termination for Definite Logic Programs. GULP-PRODE (1995)