Papers of Francesca Scozzari

G. Amato, F. Scozzari, E. Zaffanella. Efficient constraint/generator removal from double description of polyhedra. Electronic Notes in Theoretical Computer Science 307, pp. 3-15.
G. Amato, F. Scozzari. Optimal multibinding unification for sharing and linearity analysis. Theory and Practice of Logic Programming 14 (3), pp. 379-400.
G. Amato, F. Scozzari. Localizing widening and narrowing. In Proceedings of SAS 2013, pp. 25-42. LNCS 7935, 2013. (preprint pdf)
G. Amato, S. Di Nardo Di Maio, F. Scozzari. Numerical static analysis with soot. In Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the Art in Java Program Analysis, SOAP 2013, pp. 25-30. ACM 2013.
G. Amato, F. Scozzari. The abstract domain of parallelotopes. 4th Intl. Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012). Deauville, France. Electronic Notes in Theoretical Computer Science 287, pp. 17-28, Elsevier 2012. (preprint PDF)
G. Amato, F. Scozzari. Analysis and verification of navigation strategies by abstract interpretation of cellular automata. 5th International Conference on Motion in Games (MIG 2012). Rennes, France. LNCS 7660, pp. 378–381, 2012.
G. Amato, F. Scozzari. Random: R-based Analyzer for Numerical DOMains. In Proceedings of LPAR 2012, pp. 375-382. LNCS 7180, 2012. (preprint pdf)
G. Amato, M. Parton, F. Scozzari. Discovering invariants via simple component analysis. Journal of Symbolic Computation 47(12), pp. 1533–1560, Elsevier 2012. (preprint pdf)
G. Amato, F. Scozzari. Observational Completeness on Abstract Interpretation. Fundamenta Informaticae 106(2-4), pp.149-173, ©IOS Press 2011. (pdf)
G. Amato, M. Parton, F. Scozzari. A Tool Which Mines Partial Execution Traces to Improve Static Analysis. In Proceedings of RV 2010, LNCS 6418, 2010. (pdf)
G. Amato, M. Parton, F. Scozzari. Deriving numerical abstract domains via Principal Component Analysis. In Proceedings of SAS 2010, LNCS 6337, 2010.(pdf)
G. Amato, F. Scozzari. On the interaction between sharing and linearity.
Theory and Practice of Logic Programming, Volume 10, Issue 01, Jan 2010 pp 49-112
(Abstract)
G. Amato, F. Scozzari. Optimality in goal-dependent analysis of Sharing.
Theory and Practice of Logic Programming, Volume 9, Issue 05, September 2009 pp 617-689
(Abstract)
G. Amato, F. Scozzari. Observational Completeness on Abstract Interpretation. In Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, LNCS 5514, 2009. (pdf, BibTeX)
G. Amato, M. Coppola, S. Gnesi, F. Scozzari, L. Semini.
Modeling Web Applications by the Multiple Levels of Integrity Policy.
In Proceedings 1st Int'l Workshop on Automated Specification and Verification of Web Sites. ENTCS 157(2), Elsevier Science, 2006. (pdf, bibtex)
Making abstract domains condensing
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
ACM Transactions on Computational Logic (TOCL), 2005
G. Amato, F. Scozzari
A general framework for variable aliasing: Towards optimal operators for sharing properties.
In Proceedings of LOPSTR'02. LNCS 2664, Springer-Verlag, 2003. (bibtex)
G. Amato, F. Scozzari
Optimality in goal-dependent Analysis of Sharing
In Proceedings of AGP'02. (postscript, bibtex)
F. Scozzari
Logical optimality of groundness analysis
In TCS 277(1-2), 2002. (abstract, postscript, bibtex)
F. Scozzari
Teoria dei domini nell'interpretazione astratta: equazioni, completezza, logica.
Bollettino UMI 2000. (bibtex)
F. Scozzari
Abstract domains for sharing analysis by optimal semantics
In Proceedings of SAS'00. (abstract, postscript, bibtex)
Making abstract interpretations complete
Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
Journal of the ACM (JACM), 2000
F. Scozzari
Domain theory in abstract interpretation: equations, completeness and logic
PhD thesis, 1999. (abstract, postscript , bibtex)
A logical model for relational abstract domains
Roberto Giacobazzi, Francesca Scozzari
ACM Transactions on Programming Languages and Systems (TOPLAS), 1998
R. Giacobazzi, F. Ranzato, F. Scozzari
Complete Abstract Interpretations made Constructive
In Proceedings of MFCS'98. (abstract, postscript, bibtex)
R. Giacobazzi, F. Ranzato, F. Scozzari
Building complete abstract interpretations in a linear logic-based setting
In Proceedings of SAS'98. (abstract, postscript, bibtex)
F. Scozzari
Logical optimality of groundness analysis
In Proceedings of SAS'97. (abstract, postscript, bibtex)
Roberto Giacobazzi, F. Scozzari
Intuitionistic Implication in Abstract Interpretation
In Proceedings of PLILP'97. (abstract, postscript, bibtex)
Roberto Bagnara, Marco Comini, F. Scozzari Enea Zaffanella
The AND-compositionality of CLP computed answer constraints
In Proceedings of APPIA-GULP-PRODE'96. (abstract, postscript, bibtex)
Giorgio Levi, F. Scozzari
Contributions to a theory of existential termination for definite logic programs
In Proceedings of GULP-PRODE'95. (abstract, postscript, bibtex)

Copyright Notice. The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis, uniquely for a strictly personnal use. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's and publishers copyright. These works may not be reposted or distributed in any form without the explicit permission of the copyright holder.