Rafael Gonçalves

According to our database, Rafael Gonçalves authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Specification-Driven Generation of Summaries for Symbolic Execution.

Rafael Gonçalves, Frederico Ramos, Pedro Adão, José Fragoso Santos

Proceedings of the Programming Languages and Systems, 2026

2025

Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming.

Rafael Gonçalves, Filipe Gouveia, Inês Lynce, José Fragoso Santos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025