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 the Faculty of Engineering, University of Porto and a researcher at INESC-ID. His work spans from empirical software engineering methods that can inform practitioners and direct future research, to formal methods that can verify the absence of certain types of bugs.
Country:Portugal
Affiliation:Faculty of Engineering, University of Porto & INESC-ID
Personal website: https://joaoff.com
X (Twitter): https://x.com/jff
GitHub: https://github.com/jff
Research interests:Software Reliability, Software Verification, Formal Methods, Software Engineering
Contributions
2026
Mining Software Repositories
2025
ASE
ECOOP
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