|
|
|
Publications in International Conferences 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 Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), IEEE Computer Society, Hanoi, Vietnam, November 23-27, 2009 P. Ferrara "Static analysis of the determinism of multithreaded programs", in Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), IEEE Computer Society, Cape Town, South Africa, November 10-14, 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), ACM Press, Nashville, USA, October 19-23, 2008 P. Ferrara "Static analysis via abstract interpretation of the happens-before memory model", in Proceedings of the Second International Conference on Tests and Proofs (TAP 2008), LNCS, vol. 4966, Springer, Prato, Italy, April 9-11, 2008 Publications in International Workshops with Program Commitee P. Ferrara "A fast and precise analysis for data race detection", in Proceedings of the Third Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2008), ENTCS, Elsevier, 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 (EAAI 2006), Wien, Austria, March 26, 2006 Thesis 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. Talks
10/02/2012: Access permission inference via abstract interpretation, Microsoft Research, Redmond, WA, USA [Pdf] |
