conf.researchr.org / João F. Ferreira
Registered user since Thu 5 Jan 2017
Name:João F. Ferreira
Bio:
João F. Ferreira is a CS Prof at IST, University of Lisbon, and a researcher at INESC-ID. His research is on mathematical approaches to software quality, with emphasis on program construction and verification.
Country:Portugal
Affiliation:INESC-ID and IST, University of Lisbon
Personal website: https://joaoff.com
Research interests:Software Reliability, Software Verification, Formal Methods, Software Engineering
Contributions
2025
2024
SPLASH
ESEC/FSE
FormaliSE
ICSE
- Session Chair of Testing: various bug types 2 (part of Research Track)
- Author of How are Contracts Used in Android Mobile Applications? within the Posters-track
- Committee Member in Program Committee within the Doctoral Symposium-track
- Author of Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study within the Journal-first Papers-track
- Proceedings Co-Chair in Organising Committee
- Author of MUFIN: Improving Neural Repair Models with Back-Translation within the Posters-track
- Committee Member in Research Track within the Research Track-track
2023
SPLASH
- Mentor in Program Committee within the Doctoral Symposium-track
- Session Chair of Welcome, Ice Breaker, Mentoring Talk (part of PLMW)
- Session Chair of Career Panel (part of PLMW)
- Session Chair of Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions (part of PLMW)
- PLMW Co-Chair in Organizing Committee
- Committee Member in Organizing Committee within the PLMW-track
ASE
- Author of Polyglot Code Smell Detection for Infrastructure as Code with GLITCH within the Tool Demonstrations-track
- Author of SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts within the Tool Demonstrations-track
- Committee Member in Program Committee within the NIER Track-track