Francesco Logozzo
Publications
2010
- Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Embedded Contract Languages, in ACM SAC - OOPS, Association for Computing Machinery, Inc., March 2010
2009
- Vincent Laviron and Francesco Logozzo, Refining Abstract Interpretation-based Static Analyses with Hints, in Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009), Springer Verlag, December 2009
- Songtao Xia, Manuel Fahndrich, and Francesco Logozzo, Infer Dataflow Properties of User Defined Table Processors, in Proceeding of the 16th International Static Analysis Symposium (SAS'09), Springer Verlag, August 2009
- Francesco Logozzo, Corneliu Popeea, and Vincent Laviron, Towards a Quantitative Estimation of Abstract Interpretations, in Workshop on Quantitative Analysis of Software, Microsoft, 28 June 2009
- Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann, Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, in Proc. 31st International Conference on Software Engineering (ICSE'2009) , IEEE, May 2009
- Francesco Logozzo and Manuel Fahndrich, Pentagons: A Weakly Relational Abstract Domain for the Efficient Validation of Array Accesses, in Science of Computer Programming, Springer Verlag, 2009
- Francesco Logozzo and Vincent Laviron, SubPolyhedra: A (more) scalable approach to infer linear inequalities, in Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'09), Springer Verlag, January 2009
2008
- Pietro Ferrara, Francesco Logozzo, and Manuel Fähndrich, Safer unsafe code for .NET, in Proceedings of the 23rd ACM Conference on Object-Oriented Programming (OOPSLA'08), Association for Computing Machinery, Inc., October 2008
- Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Foxtrot and Clousot: Language Agnostic Dynamic and Static Contract Checking for .NET, no. MSR-TR-2008-105, August 2008
- Francesco Logozzo and Manuel Fähndrich, Pentagons: A weakly relational domain for the efficient validation of array accesses, in Proceedings of the 23th ACM Symposium on Applied Computing , Association for Computing Machinery, Inc., March 2008
- Francesco Logozzo, Doron Peled, and Lenore Zuck, Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation, Springer Verlag, 2008
- John Boyland, Dave Clarke, Gary T. Leavens, Francesco Logozzo, and Arnd Poetzsch-Heffter, Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007., in Object-Oriented Technology, ECOOP 2007 Workshop Reader, Springer Verlag, 2008
- Francesco Logozzo and Manuel Fähndrich, On the Relative Completeness of Bytecode Analysis versus Source Code Analysis, in Proceedings of the International Conference on Compiler Construction, Springer Verlag, 2008
2007
- K. Rustan M. Leino and Francesco Logozzo, Using widenings to infer loop invariants inside an SMT solver, or: A theorem prover as abstract domain, in International Workshop on Invariant Generation, May 2007
- Mike Barnett, Manuel Fahndrich, Diego Garbervetsky, and Francesco Logozzo, Annotations for (more) Precise Points-to Analysis, in IWACO 2007, 2007
- Francesco Logozzo, Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes, in Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'07), Springer Verlag, January 2007
2006
- Francesco Logozzo and Jan Vitek, 7th Workshop on Formal Techniques for Java-like Programs, in 7th Workshop on Formal Techniques for Java-like Programs (Part of ECOOP'05), July 2006
- Marco Pistoia and Francesco Logozzo, Program Analysis for Security and Privacy, in Object-Oriented Technology: ECOOP 2006 Workshops, Springer Verlag, June 2006
- Francesco Logozzo and Agostino Cortesi, Semantic Hierarchy Refactoring by Abstract Interpretation, in Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation , Springer Verlag, January 2006
2005
- K. Rustan M. Leino and Francesco Logozzo, Loop Invariants on Demand, in Proceedings of the the 3rd Asian Symposium on Programming Languages and Systems (APLAS'05), Springer Verlag, November 2005
- Agostino Cortesi and Francesco Logozzo, Proceedings of the 1st Workshop on Abstract Interpretation of Object-oriented Languages, Elsevier , 24 May 2005
- Agostino Cortesi and Francesco Logozzo, Abstraction Interpretation-based Verification of Non-functional Requirements, in Proceedings of the 7th International Conference on Coordination Models and Languages (COORDINATION '05), Springer Verlag, April 2005
- Francesco Logozzo, Class invariants as abstract interpretation of trace semantics, Elsevier , 2005
- Francesco Logozzo and Agostino Cortesi, Abstract interpretation and Object-oriented languages: quo vadis?, in Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05), , Elsevier , January 2005
2004
- Francesco Logozzo and Agostino Cortesi, Semantic Class Hierarchies by Abstract Interpretation, October 2004
- Francesco Logozzo, Separate Compositional Analysis of Class-based Object-oriented, in Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST 2004), Springer Verlag, July 2004
- Francesco Logozzo, Modular static analysis of Object-oriented languages, Ecole Polyhtechnique, June 2004
- Francesco Logozzo, An Approach to Behavioral Subtyping Based on Static Analysis, in Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Elsevier , April 2004
- Francesco Logozzo, Approximating Module Semantics with Constraints, in Proceedings of the 19th ACM Symposium on Applied Computing (SAC 2004), Association for Computing Machinery, Inc., March 2004
- Francesco Logozzo, Automatic Inference of Class Invariants, in in Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI '04), Springer Verlag, January 2004
2003
- Francesco Logozzo, Class-level Modular Analysis for Object Oriented Languages, in in Proceedings of the 10th Static Analysis Symposium (SAS '03), Springer Verlag, June 2003
2001
- Francesco Logozzo, pi-calculus as a Rapid Prototype Language for Performance Evaluation, in Proceedings of the ICLP 2001 workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE 2001), December 2001



