4 citations · 4 across the 4 of their papers we have counts for
4 papers
SPELL: Synthesis of Programmatic Edits using LLMs
Daniel Ramos, Catarina Gamboa, Inês Lynce +3
Library migration is a common but error-prone task in software development. Developers may need to replace one library with another due to reasons like changing requirements or lic…
Are Large Language Models Memorizing Bug Benchmarks?
Daniel Ramos, Claudia Mamede, Kush Jain +3
Large Language Models (LLMs) have become integral to various software engineering tasks, including code generation, bug detection, and repair. To evaluate model performance in thes…
Latte: Lightweight Aliasing Tracking for Java
Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca +1
Many existing systems track aliasing and uniqueness, each with their own trade-off between expressiveness and developer effort. We propose Latte, a new approach that aims to minimi…
User-driven Design and Evaluation of Liquid Types in Java
Catarina Gamboa, Paulo Alexandre Santos, Christopher S. Timperley +1
Bugs that are detected earlier during the development lifecycle are easier and cheaper to fix, whereas bugs that are found during production are difficult and expensive to address,…