News

I’m happy to share that, according to the 2025 Scholar Metrics: Our paper “Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts” (T. Durieux, J.F. Ferreira, R. Abreu, P. Cruz – ICSE 2020) is the most cited paper from ICSE! And our paper “SmartBugs: A Framework to Analyze Solidity Smart Contracts” (J.F. Ferreira, P. Cruz, T. Durieux, R. Abreu – ASE 2020) is the fourth most cited paper from ASE!

I’m excited to share that I’ve received an Amazon Research Award on Automated Reasoning! The award will support my research on automated program repair for Infrastructure as Code.

Our paper “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification” has received an ACM SIGSOFT Distinguished Paper Award at ICSE 2025.

I am very pleased to announce that we secured funding for the InfraGov project, a new research project funded to address critical challenges in the reliability and security of Infrastructure as Code (IaC) used in Public Administration.