Pedro Orvalho

23 papers A* 1A 3Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
MENTOR: Fixing introductory programming assignments with formula-based fault localization and LLM-driven program repair.
J. Syst. Softw.
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2025 J jnl
Are Large Language Models Robust in Understanding Code Against Semantics-Preserving Mutations?
CoRR
Pedro Orvalho, Marta Kwiatkowska
2025 J jnl
Can Automated Feedback Turn Students into Happy Prologians?
CoRR
Ricardo Brancas, Pedro Orvalho, Carolina Carreira, Vasco Manquinho, Ruben Martins
2025 A* conf
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.
AAAI
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
2025 J jnl
Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2025 J jnl
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.
J. Syst. Softw.
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2025 J jnl
Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits.
CoRR
Pedro Orvalho, Marta Kwiatkowska, Mikolás Janota, Vasco Manquinho
2025 J jnl
PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C.
CoRR
Pedro Orvalho, Marta Kwiatkowska
2024 — conf
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments.
APR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 J jnl
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 — conf
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education.
SIGCSE Virtual (1)
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 J jnl
GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2024 — conf
cfaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases.
FM (1)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
2023 J jnl
Graph Neural Networks For Mapping Variables Between Programs - Extended Version.
CoRR
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho
2023 A conf
Graph Neural Networks for Mapping Variables Between Programs.
ECAI
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco Manquinho
2023 A conf
UpMax: User Partitioning for MaxSAT.
SAT
Pedro Orvalho, Vasco Manquinho, Ruben Martins
2023 J jnl
UpMax: User partitioning for MaxSAT.
CoRR
Pedro Orvalho, Vasco Manquinho, Ruben Martins
2022 J jnl
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2022 J jnl
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments.
CoRR
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2022 — conf
MultIPAs: applying program transformations to introductory programming assignments for data augmentation.
ESEC/SIGSOFT FSE
Pedro Orvalho, Mikolás Janota, Vasco Manquinho
2021 — conf
AlloyMax: bringing maximum satisfaction to relational specifications.
ESEC/SIGSOFT FSE
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho, Ruben Martins, Eunsuk Kang
2020 J jnl
SQUARES : A SQL Synthesizer Using Query Reverse Engineering.
Proc. VLDB Endow.
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho
2019 A conf
Encodings for Enumeration-Based Program Synthesis.
CP
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho