research
∙
07/24/2023
Graph Neural Networks For Mapping Variables Between Programs – Extended Version
Automated program analysis is a pivotal research domain in many areas of...
share
research
∙
05/25/2023
UpMax: User partitioning for MaxSAT
It has been shown that Maximum Satisfiability (MaxSAT) problem instances...
research
∙
06/28/2022
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
Due to the vast number of students enrolled in Massive Open Online Cours...
research
∙
06/17/2022