To Appear
F. Logozzo. Class Invariants as Abstract Interpretation of Trace Semantics, in Computer Languages, Systems and Structures, © Elsevier Science. To Appear. (send me an email for a preprint)
2008
P. Ferrara, F. Logozzo and M. Fähndrich. Safer unsafe code for .NET, in Proceedings of the 23rd ACM Conference on Object-oriented Programming (OOPSLA 2008). Nashville, TE, USA, October 19-23. ACM Press, New York, U.S.A.
F. Logozzo and M. Fähndrich. On the Relative Completeness of Bytecode Analysis versus Source Code Analysis, in Proceedings of the International Conference on Compiler Construction (CC 2008). Budapest, Hungary, March 29-April 6, 2008. Volume 4959 of Lecture Notes in Computer Science, © Springer-Verlag.
F. Logozzo and M. Fähndrich. Pentagons: A weakly relational domain for the efficient validation of array accesses, in Proceedings of the 23th ACM Symposium on Applied Computing (SAC 2008). Fortaleza, Brazil, March 16-20, 2008. ACM Press, New York, U.S.A.
F. Logozzo, D. Peled and L. Zuck. Proceedings of the 9th International conference on Verification, Model checking and Abstract interpretation (VMCAI'08). Volume 4905 of Lecture Notes in Computer Science, © Springer-Verlag.
J. Boyland, D. Clarke, G. Leavens, F. Logozzo and A. Poetzsch-Heffter. Formal Techniques for Java-Like Programs: Report on the Workshop at ECOOP 2007. in Object-Oriented Technology, ECOOP 2007 Workshop Reader. Berlin, Germany, July 2008. Volume 4906 of Lecture Notes in Computer Science, © Springer-Verlag.
2007
M. Barnett, M. Fähndrich, D. Garbervetsky and F. Logozzo. Annotations for (more) precise Points-to analysis, in International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO'07), Berlin, Germany July 30th to August 3rd.
K. R. M. Leino and F. Logozzo. Using widenings to infer loop invariants inside an SMT solver, or: A theorem prover as abstract domain, in International Workshop on Invariant Generation (WING'07), RISC, Hagenberg, Austria, June 25-27. RISC-Linz Report Series No. 07-07
F. 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), Nice, France, January 12-14. Volume 4349 of Lecture Notes in Computer Science, © Springer-Verlag.
2006
F. Logozzo and M. Pistoia. Program Analysis for Security and Privacy. In Object-Oriented Technology: ECOOP 2006 Workshops. Twentieth European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, France, July 2006. Lecture Notes in Computer Science (LNCS), volume 4379. Springer-Verlag.
F. Logozzo and J. Vitek Proceedings of the
7th Workshop on Formal
Techniques for Java-like Programs. Part of ECOOP'05, July 2005.
Selected papers appeared in the Journal of Object Technology, Volume 5,
Number 5, July 2006
F. Logozzo and A. Cortesi.
Semantic Hierarchy Refactoring by Abstract Interpretation, in
Proceedings of the 7th International Conference on Verification, Model
Checking and Abstract Interpretation (VMCAI'06),
Charleston, SC, USA, January 8-10, 2006. Volume 3855 of
Lecture Notes in
Computer Science, © Springer-Verlag.
2005
K. R. M. Leino and F. Logozzo. Loop Invariants on Demand, in Proceedings of the the 3rd Asian Symposium on Programming Languages and Systems (APLAS'05), Tsukuba, Japan, November 3-5, 2005. Volume 3780 of Lecture Notes in Computer Science, © Springer-Verlag.
A. Cortesi and F. Logozzo. Proceedings of the 1st Workshop on Abstract Interpretation of Object-oriented Languages. Volume 131 of Electronic Notes in Theoretical Computer Science. © Elsevier Science, 24 May 2005.
A. Cortesi and F. Logozzo. Abstraction Interpretation-based Verification of Non-functional Requirements, in Proceedings of the 7th International Conference on Coordination Models and Languages (COORDINATION '05), Namur, Belgium, April 20-23, 2005. Volume 3454 of Lecture Notes in Computer Science, © Springer-Verlag.
F. Logozzo and A. 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),
Paris, France, January 21, 2005. Volume 131 of
Electronic Notes in Theoretical Computer Science, © Elsevier
Science.
2004
F. Logozzo, A. Cortesi. Semantic Class Hierarchies by Abstract Interpretation, Research Report CS-2004-7, Department of Computer Science, University Ca' Foscari of Venice, Italy. October 2004.
F. Logozzo. Separate Compositional Analysis of Class-based Object-oriented Languages, in Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST 2004), Stirling, UK, July 12-16, 2004. Volume 3116 of Lecture Notes in Computer Science, © Springer-Verlag.
F. Logozzo. Modular Static Analysis of Object-oriented Languages, Ph.D. Thesis, June 2004, Ecole Polytechnique, France.
F. 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), part of ETAPS 2004, Barcelona, Spain, March 27-28, 2004. Volume 116 of Electronic Notes in Theoretical Computer Science, © Elsevier Science.
F. Logozzo. Approximating Module Semantics with Constraints, in Proceedings of the 19th ACM Symposium on Applied Computing (SAC 2004). Nicosia, Cyprus, March 14-17, 2004. ACM Press, New York, U.S.A.
F. Logozzo. Automatic Inference of Class Invariants, in Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI '04), Venice, Italy, January 10-13, 2004. Volume 2937 of the Lecture Notes in Computer Science, © Springer-Verlag.
2003
F. Logozzo. Class-level Modular Analysis for Object Oriented Languages, in Proceedings of the 10th Static Analysis Symposium (SAS '03), San Diego, CA, USA, June 11-13, 2003. Volume 2694 of the Lecture Notes in Computer Science, © Springer-Verlag.
2001
F. 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). Dec 1, 2001 , Coral Beach Hotel and Resort, Paphos, Cyprus.