Pedro Orvalho

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Reverse Engineer

Novice Programmers

Fault Localization

Top Venues

ESEC/SIGSOFT FSE

Proc. VLDB Endow.

Publications

Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases. CoRR (2024)
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho
Graph Neural Networks For Mapping Variables Between Programs - Extended Version. CoRR (2023)
Pedro Orvalho, Vasco M. Manquinho, Ruben Martins
UpMax: User partitioning for MaxSAT. CoRR (2023)
Pedro Orvalho, Jelle Piepenbrock, Mikolás Janota, Vasco M. Manquinho
Graph Neural Networks for Mapping Variables Between Programs. ECAI (2023)
Pedro Orvalho, Vasco M. Manquinho, Ruben Martins
UpMax: User Partitioning for MaxSAT. SAT (2023)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
MultIPAs: applying program transformations to introductory programming assignments for data augmentation. ESEC/SIGSOFT FSE (2022)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments. CoRR (2022)
Pedro Orvalho, Mikolás Janota, Vasco M. Manquinho
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments. CoRR (2022)
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco M. Manquinho, Ruben Martins, Eunsuk Kang
AlloyMax: bringing maximum satisfaction to relational specifications. ESEC/SIGSOFT FSE (2021)
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
SQUARES : A SQL Synthesizer Using Query Reverse Engineering. Proc. VLDB Endow. 13 (12) (2020)
Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho
Encodings for Enumeration-Based Program Synthesis. CP (2019)