3 papers
cs.SE2026
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…
cs.SE2024
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…
cs.PL2021
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,…