Catarina Gamboa

According to our database, Catarina Gamboa authored at least 6 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SPELL: Synthesis of Programmatic Edits using LLMs.

Daniel Ramos, Catarina Gamboa, Inês Lynce, Vasco Manquinho, Ruben Martins, Claire Le Goues

CoRR, February, 2026

2025

Usability Barriers for Liquid Types.

Catarina Gamboa, Abigail Reese, Alcides Fonseca, Jonathan Aldrich

Proc. ACM Program. Lang., 2025

Are Large Language Models Memorizing Bug Benchmarks?

Daniel Ramos, Cláudia Mamede, Kush Jain, Paulo Canelas, Catarina Gamboa, Claire Le Goues

Proceedings of the IEEE/ACM International Workshop on Large Language Models for Code, 2025

2023

Latte: Lightweight Aliasing Tracking for Java.

Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca, Jonathan Aldrich

CoRR, 2023

Usability-Oriented Design of Liquid Types for Java.

Catarina Gamboa, Paulo Canelas, Christopher Steven Timperley, Alcides Fonseca

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021

User-driven Design and Evaluation of Liquid Types in Java.

Catarina Gamboa, Paulo Alexandre Santos, Christopher Steven Timperley, Alcides Fonseca

CoRR, 2021