Waddle: A Serious Game to Teach Writing, Reading, and Debugging Programs (SPLASH 2025 - SPLASH-E) - SPLASH 2025

Sun 12 - Sat 18 October 2025 Singapore

co-located with ICFP/SPLASH 2025

Who

Florian Sihler, Naomi Panda, Simon Berlinger, Matthias Tichy

Track

SPLASH 2025 SPLASH-E

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Sat 18 Oct 2025 16:35 - 17:00 at Peony NW - Afternoon Paper Session 2 Chair(s): Mikhail Barash

Link to Publication

https://exia.informatik.uni-ulm.de/waddle/game/

File attachments

Presentation (PDF) (noanim-waddle-splash-e-2025.pdf)	3.72MiB

Florian Sihler

Ulm University

Germany

Naomi Panda

Simon Berlinger

Ulm University, Germany

Matthias Tichy

Ulm University

Germany

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Sat 18 Oct
Displayed time zone: Perth change

	16:00 - 17:30	Afternoon Paper Session 2SPLASH-E at Peony NW Chair(s): Mikhail Barash University of Bergen

	15:45 25m Full-paper		Derivation Visualization for Context-Free Grammar Design: Helping Students Understand Context-Free Grammars SPLASH-E Marco T Morazan Seton Hall University, Andrés M. Garced Seton Hall University, Tijana Minić
	16:10 25m Full-paper		Interactive Theorem Provers for Proof Education SPLASH-E Romina Mahinpei Princeton University, Manoel Horta Ribeiro , Mae Milano Princeton University
	16:35 25m Talk		Waddle: A Serious Game to Teach Writing, Reading, and Debugging Programs SPLASH-E Florian Sihler Ulm University, Naomi Panda , Simon Berlinger Ulm University, Germany, Matthias Tichy Ulm University Link to publication File Attached
	17:00 25m Full-paper		Personalization of Programming Education: An NLP-based Bi-dimensional Classification of Programming Exercises SPLASH-E Tommie Lombarts Eindhoven University of Technology, Gijs Walravens Eindhoven University of Technology, Mazyar Seraj Eindhoven University of Technology, Lina Ochoa Eindhoven University of Technology, Mark van den Brand Eindhoven University of Technology