Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

1 code implementation • 24 Jul 2023 • Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota, Vasco Manquinho

Typically, in order to compare two programs, a relation between both programs' sets of variables is required.

Clone Detection Program Repair

UpMax: User partitioning for MaxSAT

1 code implementation • 25 May 2023 • Pedro Orvalho, Vasco Manquinho, Ruben Martins

It has been shown that Maximum Satisfiability (MaxSAT) problem instances can be effectively solved by partitioning the set of soft clauses into several disjoint sets.

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments

1 code implementation • 28 Jun 2022 • Pedro Orvalho, Mikoláš Janota, Vasco Manquinho

Due to the vast number of students enrolled in Massive Open Online Courses (MOOCs), there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs).

Clustering Program Repair

C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments

3 code implementations • 17 Jun 2022 • Pedro Orvalho, Mikoláš Janota, Vasco Manquinho

Due to the vast number of students enrolled in Massive Open Online Courses (MOOCs), there has been an increasing number of automated program repair techniques focused on introductory programming assignments (IPAs).

Program Repair

SQUARES: A SQL Synthesizer Using Query Reverse Engineering

1 code implementation • 31 Aug 2020 • Pedro Orvalho, Miguel Terra-Neves; Miguel Ventura, Ruben Martins, Vasco Manquinho

As a result, many of them can provide examples of data transformations but are unable to produce the desired query.

Enumerative Search SQL Synthesis