User-driven Design and Evaluation of Liquid Types in Java. - Catarina Gamboa; Paulo Alexandre Santos; Christopher Steven Timperley; Alcides Fonseca (CoRR, 2021)

Usability-Oriented Design of Liquid Types for Java. - Catarina Gamboa; Paulo Canelas; Christopher Steven Timperley; Alcides Fonseca (ICSE, 2023)

Latte: Lightweight Aliasing Tracking for Java. - Conrad Zimmerman; Catarina Gamboa; Alcides Fonseca; Jonathan Aldrich (CoRR, 2023)

Are Large Language Models Memorizing Bug Benchmarks? - Daniel Ramos; Cláudia Mamede; Kush Jain; Paulo Canelas; Catarina Gamboa; Claire Le Goues (LLM4Code@ICSE, 2025)

Usability Barriers for Liquid Types. - Catarina Gamboa; Abigail Reese; Alcides Fonseca; Jonathan Aldrich (Proc. ACM Program. Lang., 2025)