BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for cvgamboa
(5)
2025
Are Large Language Models Memorizing Bug Benchmarks?
(2025)
Daniel Ramos et al., with 6 authors including:
Paulo Canelas
Catarina Gamboa
Conference papers
2023
Usability-Oriented Design of Liquid Types for Java
(2023)
Catarina Gamboa
Paulo Canelas
Christopher Timperley
Alcides Fonseca
Conference papers
2022
LiquidJava : extending Java with refinements
(2022)
Gamboa, Catarina Ventura
Fonseca, Alcides Miguel Cachulo Aguiar
Timperley, Christopher Steven
Academic documents
2021
User-driven design and evaluation of Liquid Types in java
(2021)
Catarina Gamboa
Paulo Canelas Santos
Christopher Timperley
Alcides Fonseca
Conference papers
2021
LiquidJava: Adding Lightweight Verification to Java
(2021)
Catarina Gamboa
Paulo Canelas Santos
Christopher Timperley
Alcides Fonseca
Conference papers