# smartbug (blogs) — RSS Amplifier Recent posts from the 1 feeds in the RSS Amplifier directory that cover smartbug. Page: Feed: --- ## [An Empirical Study of Policy as Code: Adoption, Purpose, and Maintenance](https://joaoff.com/publication/2026/msr/) _2026-04-13 · João F. Ferreira_ ## [ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews](https://joaoff.com/publication/2026/fse/) _2026-03-17 · João F. Ferreira_ ## [The Ultimate Configuration Management Tool? Lessons from a Mixed Methods Study of Ansible's Challenges](https://joaoff.com/publication/2026/ease/) _2026-03-13 · João F. Ferreira_ ## [Vibenix: An AI Assistant for Software Packaging with Nix](https://joaoff.com/publication/2026/last-x/) _2026-02-27 · João F. Ferreira_ ## [ICSE 2020 paper is the most cited according to 2025 Scholar Metrics](https://joaoff.com/2025/07/25/icse-2020-paper-is-the-most-cited-according-to-2025-scholar-metrics/) _2025-07-25 · João F. Ferreira_ 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.… ## [Awarded an Amazon Research Award on Automated Reasoning!](https://joaoff.com/2025/06/03/awarded-an-amazon-research-award-on-automated-reasoning/) _2025-06-03 · João F. Ferreira_ 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. The first steps of this research have already been completed, and we will be presenting our early results and our tool, InfraFix , at ISSTA later this month. InfraFix is a collaboration with Nuno Saavedra and Alexandra… ## [Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification](https://joaoff.com/publication/2025/icse/) _2025-04-27 · João F. Ferreira_ ## [InfraFix: Technology-Agnostic Repair of Infrastructure as Code](https://joaoff.com/publication/2025/issta/) _2025-04-11 · João F. Ferreira_ ## [ACM SIGSOFT Distinguished Paper Award at ICSE 2025](https://joaoff.com/2025/04/03/acm-sigsoft-distinguished-paper-award-at-icse-2025/) _2025-04-03 · João F. Ferreira_ Our paper “ Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification ” has received an ACM SIGSOFT Distinguished Paper Award at ICSE 2025. The paper introduces an innovative automated proof synthesis tool that uses machine learning and large language models with retrieval augmentation techniques. Rango dynamically identifies and incorporates relevant proofs and… ## [Do Experts Agree About Smelly Infrastructure?](https://joaoff.com/publication/2025/tse/) _2025-03-19 · João F. Ferreira_ ## [Watch Chovy Code Live (Sponsored)](https://crawlproof.com/a/EtsDk9RMXsOm) _2025-03-18 · **Sponsored**_ Join live coding streams with real-time collaborative screen sharing, open source and free. ## [InfraGov: New Funded Project on Reliable and Secure IT Infrastructure](https://joaoff.com/2025/03/01/infragov-new-funded-project-on-reliable-and-secure-it-infrastructure/) _2025-03-01 · João F. Ferreira_ 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. As more public services move to cloud-based and digital platforms, the integrity of configuration and infrastructure code becomes essential to safeguard sensitive… ## [Contract Usage and Evolution in Android Mobile Applications](https://joaoff.com/publication/2025/ecoop/) _2025-02-28 · João F. Ferreira_