SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Thu 19 Nov 2020 13:00 - 13:20 at SPLASH-VI - Novices and Application Domains Chair(s): Luke Church

When giving automated feedback to a student working on a beginner’s exercise, many programming tutors run into a completeness problem. On the one hand, we want a student to experiment freely. On the other hand, we want a student to write her program in such a way that we can provide constructive feedback. We propose to investigate how we can overcome this problem by using program synthesis, which we use to generate correct solutions that closely match a student program, and give feedback based on the results.

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: Novices and Application DomainsHATRA at SPLASH-VI
Chair(s): Luke ChurchUniversity of Cambridge
13:00 - 13:20
Talk
HATRA
Niek MullenersUtrecht University, Johan JeuringOpen University of the Netherlands, Netherlands
Link to publication
13:20 - 13:40
Talk
HATRA
Chris MartensNorth Carolina State University
Pre-print
13:40 - 14:00
Talk
HATRA
Richard LinUniversity of California, Berkeley, Bjoern HartmannUC Berkeley
Link to publication Pre-print
14:00 - 14:20
Talk
HATRA
Hannah PotterUniversity of Michigan, Cyrus OmarUniversity of Michigan
Pre-print