Ricardo Brancas

According to our database, Ricardo Brancas authored at least 7 papers between 2022 and 2026.

Collaborative distances:

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

2026

ProDebug: An Automated Debugging System for Prolog.

Ricardo Brancas, Vasco Manquinho, Ruben Martins

CoRR, May, 2026

2025

Can Automated Feedback Turn Students into Happy Prologians?

Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins

CoRR, April, 2025

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs.

Ricardo Brancas, Vasco Manquinho, Ruben Martins

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2024

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs.

Ricardo Brancas, Vasco Manquinho, Ruben Martins

CoRR, 2024

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

On Repairing Natural Language to SQL Queries.

Aidan Z. H. Yang, Ricardo Brancas, Pedro Esteves, Sofia Aparicio, João Pedro Nadkarni, Miguel Terra-Neves, Vasco Manquinho, Ruben Martins

CoRR, 2023

2022

CUBES: A Parallel Synthesizer for SQL Using Examples.

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins

CoRR, 2022