VLDB 2026 Research / reviewers in the wild / expert
Alexandre Abreu
dblp:354/6191
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2025
0000-0003-4198-3181ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes |
SEFM | 3 |
| 2025 | Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs
Valentina Wu, Alexandra Mendes, Alexandre Abreu |
SEFM | 3 |