Pietro Ferrara

I am a postdoc at the Chair of Programming Methodology at ETH Zurich. Here you can find my website.

Before starting my postdoc, I was a PhD student (from October 2005 to March 2009) at Ecole Polytechnique/Ecole Normale Superiore under the supervision of Radhia Cousot, and at University "Ca' Foscari" of Venice under the supervision of Agostino Cortesi. I have been an intern at Microsoft Research in Redmond in the PLA group from August 20th 2007 to November 9th 2007 under the supervision of Francesco Logozzo.

Here you can find my curriculum vitae.

Research Interest

My main research interests are focused on the static analysis of multithreaded and object-oriented programs via abstract interpretation. The subject of my PhD thesis was the static analysis of Java multithreaded programs at bytecode level. During my internship at Microsoft Research, I worked on a scalable analysis of unsafe code in .Net framework.

Publications

• M. Zanioli, P. Ferrara and A. Cortesi "SAILS: static analysis of information leakage with Sample", in Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012 in the "Software Verification and Testing" track), ACM Press, Riva del Garda, Italy, March 26-30, 2012
• P. Ferrara and P. Müller "Automatic inference of access permissions", in Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), LNCS, Springer, Philadelphia, USA, January 22-24, 2012
• G. Costantini, P. Ferrara and A. Cortesi "Static Analysis of String Values", in Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), LNCS, Springer, Durham, United Kingdom, October 25-28, 2011
• P. Ferrara "Static Type Analysis of Pattern Matching by Abstract Interpretation", in Proceedings of the IFIP Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS 2010), LNCS, Springer, Amsterdam, Netherlands, June 7-10, 2010
• P. Ferrara "Checkmate: a Generic Static Analyzer of Java Multithreaded Programs", in IEEE Computer Society, editor, Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), Hanoi, Vietnam, November 23-27, 2009
• P. Ferrara "Static analysis via abstract interpretation of multithread programs", PhD thesis at Ecole Polytechnique and University Ca' Foscari of Venice under the supervision of Radhia Cousot (Directeur de recherche, CNRS/Ecole Normale Superieure) and Agostino Cortesi (full professor and head of the Departement of Computer Science, University Ca' Foscari of Venice) defended at Ecole Normale Superieure of Paris on May 22nd, 2009.
• P. Ferrara "Static analysis of the determinism of multithreaded programs", in IEEE Computer Society, editor, Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods SEFM 2008, Cape Town, South Africa, November 10-14, 2008
• P. Ferrara, F. Logozzo and M. Fähndrich "Safer unsafe code for .NET", in ACM Press, editor, Proceedings of the 23rd ACM Conference on Object-oriented Programming, Nashville, USA, October 19-23, 2008
• P. Ferrara "Static analysis via abstract interpretation of the happens-before memory model", in Springer, editor, Proceedings of the Second International Conference on Tests and Proofs, volume 4966 of Lecture Notes in Computer Science, Prato, Italy, April 9-11, 2008
• P. Ferrara "A fast and precise analysis for data race detection", in Elsevier, editor, Proceedings of the Third Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Electronic Notes in Theoretical Computer Science, Budapest, Hungary, April 5-6, 2008
• P. Ferrara "JAIL: Firewall Analysis of Java Card by Abstract Interpretation", in Proceedings of the 1st International Workshop on Emerging Applications of Abstract Interpretation, Wien, Austria, March 26, 2006