research
∙
04/26/2023
A Systematic Mapping Study of Code Quality in Education – with Complete Bibliography
While functionality and correctness of code has traditionally been the m...
share
research
∙
10/25/2022
Program Synthesis Using Example Propagation
We present Scrybe, an example-based synthesis tool for a statically-type...
research
∙
11/15/2020
Model-Driven Synthesis for Programming Tutors
When giving automated feedback to a student working on a beginner's exer...
research
∙
02/28/2020
