Mobirise website builder

I have been a research scientist at Julia since February 2016.
I am currently working on the application of Julia to the analysis of CIL (.Net bytecode) programs obtained from the compilation of C# code.

Full curriculum: [pdf]

Google scholar profile

DBLP

Linkedin

SHORT CV

Pietro's main research interests are:

  • Static analysis via abstract interpretation
  • Java bytecode and CIL/MSIL
  • Mobile software, and in particular Android and iOS applications
  • Multithreaded programs
  • The Scala programming language

Pietro was a Research Staff Member in the group of Mobile Enterprise Software led by Marco Pistoia from July 2013 to December 2015.

Before joining IBM Research, Pietro was a lecturer at ETH of Zurich in the Programming methodology group under the supervision of Peter Mueller from April 2009 to July 2013.

Previously, he obtained the PhD degree in Computer Science from the Ecole Polytechnique of Paris and the Universita' Ca' Foscari of Venice on May, 22nd 2009. His PhD thesis directors were Radhia Cousot and Agostino Cortesi. I defended my PhD thesis on May 22nd, 2009 at the Ecole Normale Superiore. In addition, he was 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.

PUBLICATIONS

2015

[FTP15] P. Ferrara, O. Tripp, and M. Pistoia, “MorphDroid: Fine-grained Privacy Verification”, in Proceedings of the 31st ACM Annual Computer Security Applications Conference (ACSAC 2015), ACM Press, Los Angeles, USA, December 7-11, 2015 [PDF]

[BFTP15] L. Brutschy, P. Ferrara, O. Tripp, and M. Pistoia, “ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access”, in Proceedings of the 30th ACM Conference on Object-oriented Programming (OOPSLA 2015), ACM Press, Pittsburgh, USA, October 27-30, 2015 [PDF]

[BCF15] G. Barbon, A. Cortesi, P. Ferrara, M. Pistoia and O. Tripp, “Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis” (invited paper), in Proceedings of the 14th International Conference on Computer Information Systems and Industrial Management Applications (CISIM 2015), LNCS, Springer, Warsaw, Poland, September 24-26, 2015 [PDF]

[FMN15] P. Ferrara, P. Müller and M. Novacek, “Automatic Inference of Heap Properties Exploiting Value Domains”, in Proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), ARCoSS, LNCS, Springer, Mumbai, India, January 12-14, 2015 [PDF]

[CFPT15] A. Cortesi, P. Ferrara, M. Pistoia and O. Tripp, “Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications”, in Proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), ARCoSS, LNCS, Springer, Mumbai, India, January 12-14, 2015 [PDF]

[CFC15a] A. Cortesi, G. Costantini, and P. Ferrara, “The Abstract Domain of Trapezoid Step Functions”, Computer Languages, Systems & Structures, accepted for publication [PDF]

[CFC15] G. Costantini, P. Ferrara and A. Cortesi, “A Suite of Abstract Domains for Static Analysis of String Values”, Software: Practice and Experience, Volume 45, Issue 1, pages 245–287, February 2015 [PDF]

[PTF15] Marco Pistoia, Omer Tripp, Pietro Ferrara, and Paolina Centonze, “Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps” (invited paper), in Proceedings of the 3rd Workshop on Mobile Development Lifecycle (MobileDeLi 2015), Pittsburgh, USA, October 26, 2015

2014

[BFM14] L. Brutschy, P. Ferrara, and P. Müller, “Static Analysis for Independent App Developers”, in Proceedings of the 29th ACM Conference on Object-oriented Programming (OOPSLA 2014), ACM Press, Portland, USA, October 20-24, 2014 [PDF]

[TFP14] O. Tripp, P. Ferrara and M. Pistoia, “Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation”, in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2014), ACM Press, San Jose, USA, July 23-25, 2014. ACM SIGSOFT Distinguished Paper Award [PDF]

[FSB14] P. Ferrara, D. Schweizer and L. Brutschy, “TouchCost: Cost Analysis of TouchDevelop Scripts”, in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), ARCoSS, LNCS, Springer, Grenoble, France, April 5-13, 2014 [PDF]

[Ferr14] P. Ferrara, “Generic Combination of Heap and Value Analyses in Abstract Interpretation”, in Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014), ARCoSS, LNCS, Springer, San Diego, USA, January 19-21, 2014 [PDF]

[BFM14a] L. Brutschy, P. Ferrara, and P. Müller, “TouchGuru: Integrating Static Analysis with a Mobile Development Environment” (invited paper), in Proceedings of the 2nd Workshop on Mobile Development Lifecycle (MobileDeLi 2014), Portland, USA, October 21, 2014 [PDF]

2013

[CFCM13] G. Costantini, P. Ferrara, A. Cortesi and G. Maggiore, “The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software”, in Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013), LNCS, Springer, Queenstown, New Zealand, October 29-November 1, 2013 [PDF]

[CFC13] A. Cortesi, P. Ferrara and N. Chaki, “Static Analysis Techniques for Robotics Software Verification” (invited paper), in Proceedings of the 44th International Symposium of Robotics (ISR 2013), Seul, Korea, October 24-26, 2013 [PDF]

[Ferr13] P. Ferrara, “A generic static analyzer for multithreaded Java programs”, Software: Practice and Experience, Volume 43, Issue 6, pages 663–684, June 2013 [PDF]

[CCF13] A. Cortesi, G. Costantini and P. Ferrara, “A survey on Product Operators in Abstract Interpretation”, in Proceedings of the Festschrift for Dave Schmidt, Electronic Proceedings in Theoretical Computer Science, U.S.A., September 19-20, 2013 [PDF]

2012-2010

[CFC12] G. Costantini, P. Ferrara and A. Cortesi, “Linear approximation of continuous systems with Trapezoid Step Functions”, in Proceedings of the 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), LNCS, Springer, Kyoto, Japan, December 11-13, 2012 [PDF]

[FFJ12] P. Ferrara, R. Fuchs and U. Juhasz, “TVAL+: TVLA and Value Analyses Together”, in Proceedings of the 10th International Conference on Software Engineering and Formal Methods (SEFM 2012), LNCS, Springer, Thessaloniki, Greece, October 3-5, 2012 [PDF]

[ZFC12] 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), ACM Press, Riva del Garda, Italy, March 26-30, 2012 [PDF]

[FM12] 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 [PDF]

[CFC11] 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 [PDF]

[Ferr10] 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 [PDF]

2009-...

[Ferr09a] P. Ferrara, "Checkmate: a generic static analyzer of Java multithreaded programs", in Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), IEEE Computer Society, Hanoi, Vietnam, November 23-27, 2009 [PDF]

[Ferr09] P. Ferrara, "Static analysis via abstract interpretation of multithread programs", PhD thesis under the supervision of Radhia Cousot and Agostino Cortesi defended at Ecole Normale Superieure of Paris on May 22nd, 2009.

[Ferr08b] P. Ferrara, "Static analysis of the determinism of multithreaded programs", in Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), IEEE Computer Society, Cape Town, South Africa, November 10-14, 2008 [PDF]

[FLF08] 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 [PDF]

[Ferr08] P. Ferrara, "Static analysis via abstract interpretation of the happens-before memory model", in Proceedings of the 2nd International Conference on Tests and Proofs (TAP 2008), LNCS, vol. 4966, Springer, Prato, Italy, April 9-11, 2008 [PDF]

[Ferr08a] 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), Budapest, Hungary, April 6, 2008

[Ferr06] 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), Vienna, Austria, March 26, 2006