Pedro Orvalho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization. | Pedro Orvalho, Mikols Janota, Vasco M. Manquinho |
| 2024 | FM | cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases. | Pedro Orvalho, Mikols Janota, Vasco M. Manquinho |
| 2024 | SIGCSE | GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education. | Pedro Orvalho, Mikols Janota, Vasco Manquinho |
| 2023 | ECAI | Graph Neural Networks for Mapping Variables Between Programs. | Pedro Orvalho, Jelle Piepenbrock, Mikols Janota, Vasco Manquinho |
| 2023 | SAT | UpMax: User Partitioning for MaxSAT. | Pedro Orvalho, Vasco Manquinho, Ruben Martins |
| 2019 | CP | Encodings for Enumeration-Based Program Synthesis. | Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho |