Francesco LogozzoFrancesco Logozzo

« To think, is to forget a difference, to generalize, to abstract »
Funes, The Memorious, Jorge Luis Borges



École Polytechnique
91128 Palaiseau Cedex - France
Email:Francesco.Logozzo@polytechnique.fr
Téléphone: +33 1 69 33 45 93
Fax: +33 1 69 33 30 14

I'm a postdoc in the Abstract Interpretation team lead by Dr. Radhia Cousot. The subject of my PhD thesis was modular static analysis of object oriented languages. The thesis is available here.
Activities:
Edited Proceedings:

F.Logozzo and J.Vitek Proceedings of the 7th Workshop on Formal Techniques for Java-like Programs. Part of ECOOP'05, July 2005.

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.

Publications in Journals: (Very interesting... click here)

F. Logozzo. Class Invariants as Abstract Intepretetation of Trace Semantics, in Computer Languages, Systems and Structures, © Elsevier Science. To Appear. (send me an email for a preprint)


Publications in Conferences:

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.[Abstract][BibTex]

K. Rustan 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.[Abstract][BibTex]

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.[Abstract][BibTex]

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.[Abstract][BibTex]

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. [Abstract][BibTex]

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.[Abstract][BibTex]

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.[Abstract][BibTex]


Publications in International Workshops with Program Commitee:

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. [Abstract][BibTex]

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. [Abstract][BibTex]

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. [Abstract][BibTex]

Technical Reports:

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. [Abstract][BibTex]

Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.