Vasco Manquinho

Latest

• GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education, SIGCSE Virtual 2024
• CFaults: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases, FM 2024
• C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments, APR 2024
• Graph Neural Networks For Mapping Variables Between Programs, ECAI 2023
• UpMax: User partitioning for MaxSAT, SAT 2023
• MultIPAs: Applying Program Transformations to Introductory Programming Assignments for Data Augmentation, ESEC/FSE 2022
• Project Proposal: Learning Variable Mappings to Repair Programs, AITP 2022
• AlloyMax: Bringing Maximum Satisfaction to Relational Specifications, ESEC/FSE 2021
• SQUARES: A SQL Synthesizer Using Query Reverse Engineering, VLDB 2020
• Encodings for Enumeration-Based Program Synthesis, CP 2019