Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Mon 16 Nov 2020 13:40 - 14:00 at SPLASH-III - Chair(s): Vadim Zaytsev
Tue 17 Nov 2020 01:40 - 02:00 at SPLASH-III - Chair(s): Vadim Zaytsev

We describe gtutr, an interactive feedback system designed to assist students in developing context-free grammars and corresponding ANTLR parsers.
It intelligently controls students' access to a large test suite for the target language. After each submission, gtutr analyzes any failing tests and uses the Needleman-Wunsch sequence alignment algorithm over the tests' rule traces to identify and eliminate similar failing tests. This reduces the redundancy in the feedback

given to the students and prevents them from being overloaded. gtutr uses simple gamification to encourage independent problem solving by students: it gives as little information as possible, and students need to prompt the system for further details such as failing tests similar to or different from already seen tests, or even for hints about rules that are the most likely to contain faults. It tracks the students' information requests and uses this to attenuate marks following an instructor-set penalty schema. The system also visualizes test outcomes over multiple submissions, helping students to keep track of the effects of their changes as their grammar development progresses.

Conference Day
Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
SLE at SPLASH-III +12h
Chair(s): Vadim ZaytsevUniversity of Twente, Netherlands
13:00
20m
Talk
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
SLE
Christoff RossouwStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa
Link to publication DOI Media Attached
13:20
20m
Talk
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
SLE
Phillip van HeerdenStellenbosch University, Moeketsi RaselimoStellenbosch University, South Africa, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University, South Africa
Link to publication DOI Media Attached
13:40
20m
Talk
An Interactive Feedback System for Grammar Development (Tool Paper)
SLE
Chelsea BarraballStellenbosch University, South Africa, Moeketsi RaselimoStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa
Link to publication DOI Media Attached
14:00
20m
Talk
Featherweight Swift: A Core Calculus for Swift’s Type System
SLE
Dimitri RacordonUniversity of Geneva, Switzerland, Didier BuchsUniversity of Geneva, Switzerland
Link to publication DOI Media Attached

Conference Day
Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20
SLE at SPLASH-III
Chair(s): Vadim ZaytsevUniversity of Twente, Netherlands
01:00
20m
Talk
Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
SLE
Christoff RossouwStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa
Link to publication DOI Media Attached
01:20
20m
Talk
Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
SLE
Phillip van HeerdenStellenbosch University, Moeketsi RaselimoStellenbosch University, South Africa, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University, South Africa
Link to publication DOI Media Attached
01:40
20m
Talk
An Interactive Feedback System for Grammar Development (Tool Paper)
SLE
Chelsea BarraballStellenbosch University, South Africa, Moeketsi RaselimoStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa
Link to publication DOI Media Attached
02:00
20m
Talk
Featherweight Swift: A Core Calculus for Swift’s Type System
SLE
Dimitri RacordonUniversity of Geneva, Switzerland, Didier BuchsUniversity of Geneva, Switzerland
Link to publication DOI Media Attached