Rui Abreu
Scholar

Rui Abreu

Google Scholar ID: x25BFgEAAAAJ
Meta Platforms, Inc and University of Porto/INESC-ID
SWESE4AIAI4SECyberSecQuantum Software
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6,958
 
H-index
34
 
i10-index
97
 
Publications
20
 
Co-authors
169
list available
Contact
Emailrma[at]fe.up.ptTwitterOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
8 items
Software Testing in the Quantum World
2026
Cited
0
Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
2026
Cited
0
Microsaccade-Inspired Probing: Positional Encoding Perturbations Reveal LLM Misbehaviours
2025
Cited
0
VisDocSketcher: Towards Scalable Visual Documentation with Agentic Systems
2025
Cited
0
Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
2025
Cited
0
AI-Assisted Fixes to Code Review Comments at Scale
2025
Cited
0
Are Sparse Autoencoders Useful for Java Function Bug Detection?
2025
Cited
0
Code Improvement Practices at Meta
2025
Cited
0
Resume (English only)
Background
  • Full Professor in Software Engineering at FEUP, Entrepreneur, Google/PARC alumnus; husband and father of three.
Miscellany
  • Lives in Porto, Portugal.
Co-authors
169 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
José Campos
José Campos
LASIGE & Faculty of Engineering of the University of Porto
Franz Wotawa
Franz Wotawa
Professor of Computer Science, Graz University of Technology, Austria
Luís Cruz
Luís Cruz
Delft University of Technology
Co-author 6
Co-author 6
Thomas Durieux
Thomas Durieux
Endor Labs
João Saraiva
João Saraiva
Department of Informatics, University of Minho and HASLab / INESC TEC