Pietro Ferrara

Registered user since Sun 2 Nov 2014

Name: Pietro Ferrara

Bio: Pietro Ferrara is the Head of Scientific Core Lab at JuliaSoft, a company specialized in advanced static analysis solutions. He is responsible for leading the R&D team designing and implementing new analyses and making them work on large, complex, real life software. A career dedicated to studying and applying static analysis techniques both in industrial and academic contexts, Pietro’s previous experiences include posts at IBM T.J. Watson Center in NY, Microsoft Research in Redmond and ETH in Zurich. He holds a PhD in Computer Science at Ecole Polytechnique of Paris with more than 30 scientific publications in the field of static analysis based on Abstract Interpretation.

Country: Italy

Affiliation: JuliaSoft SRL, Italy

Personal website: http://www.pietro.ferrara.name

Research interests: Programming Languages, Static Analysis, Abstract Interpretation


InterAVT 2019Author of Cross Programming Language Taint Analysis for the IoT Ecosystem within the InterAVT-track
SPIoT 2019Author of Static Analysis for the OWASP IoT Top 10 2018. within the SPIoT-track
SOAP 2018Committee Member in Program Committee within the SOAP-track
VMCAI 2017Author of Using Abstract Interpretation to Correct Synchronization Faults within the VMCAI-track
FTfJP 2016Committee Member in Program Committee within the FTfJP-track
MobileDeLi 2015Author of Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps within the MobileDeLi-track
SPLASH 2015Demos Co-Chair in Organizing Committee
Author of ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access within the OOPSLA-track
Demos Co-Chair in Organizing Committee within the Demos-track