MENTOR: Automated Feedback for Introductory Programming Exercises
This PhD thesis presents MENTOR, a semantic automated program repair (APR) framework designed to provide Automated Feedback for Introductory Programming Exercises.
Model-Based Diagnosis for Software
Localising system faults has long been recognised as one of the most time-consuming and costly tasks in software engineering. Given a buggy system, fault localisation (FL) refers …
Automated Feedback for Introductory Programming Exercises
Delivering valuable and personalised feedback to students remains one of the greatest challenges in programming education, particularly in courses with large enrollments. Providing …
SQUARES: A SQL Synthesizer Using Query Reverse Engineering
In this talk I present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some …
SQUARES: A SQL Synthesizer Using Query Reverse Engineering
In this paper, we present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some …
SQUARES: A SQL Synthesizer Using Query Reverse Engineering
MSc Thesis. We propose a novel Enumeration-Based SQL synthesizer SQUARES, that uses a new line representation where we represent each program line with its own subtree.
Encodings for Enumeration-Based Program Synthesis
In this talk I will present a new compact line-based encoding is proposed that allows a faster enumeration of the program space.
Encodings for Enumeration-Based Program Synthesis
In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.