SPLASH-E 2025
2025-10-18
Singapore, Singapore
SPLASH-E ·
[SPLASH-E 2022, SPLASH-E 2023, SPLASH-E 2024, SPLASH-E 2025]
who it's for
computing education researchers, programming languages researchers, university instructors, curriculum designers, educational technologists, human-computer interaction researchers, graduate teaching assistants
topics
time-travel debugger; Monaco and Langium DSLs; coroutine interpreter; Coq and Lean in classrooms; LLM-backed design recipe; BERTopic with BERT embeddings; Python exercise lexicon; block-based information modeling; continuation constructs in Pyret; derivation visualization for grammars; interactive theorem provers for education
| title | author | length |
|---|---|---|
| Waddle: A Serious Game to Teach Writing, Reading, and Debugging Programs | Florian Sihler, Naomi Panda, Simon Berlinger, Matthias Tichy | 26m |
Waddle is a deployed web app (TypeScript, React, PixiJS) that teaches writing, reading and debugging via a custom DSL built with Monaco and Langium and… | ||
| Interactive Theorem Provers for Proof Education | Romina Mahinpei, Manoel Horta Ribeiro, Mae Milano | 26m |
A study invites 17 students (8 responded) to use Coq in-class and reports 75% positive experience, 62.5% interested in future use, but also that 50% find the… | ||
| An Interactive Learning Environment for Program Design | Kouta Kumamoto, Youyou Cong, Hidehiko Masuhara | 23m |
An interactive tool called Rad guides students through the design recipe with step‑by‑step natural‑language prompts backed by an LLM and a custom GPT flow. It… | ||
| Personalization of Programming Education: An NLP-based Bi-dimensional(…) | Tommie Lombarts, Gijs Walravens, Mazyar Seraj, Lina Ochoa, Mark van den Brand | 21m |
Automated pipeline classifies 106 Python exercises using a 318-term Python lexicon expanded to 715 forms, BERTopic with BERT embeddings and lexicon filtering… | ||
| Continuations for All: Language Design Considerations for Accessible Continuations | Youyou Cong, Filip Strömbäck, Kazuki Ikemori | 24m |
Claims a beginner-friendly design makes continuations easier to learn and shows concrete results from a course using Pyret-cont: three constructs (grab and… | ||
| Daisy: An Exercise Environment for Learning Information Modeling | Jessica Belicia Cahyono, Youyou Cong, Hidehiko Masuhara | 28m |
Daisy is a web-based, block-based exercise that breaks information modeling into three concrete steps — information mining, data representation, data example —… | ||
| Derivation Visualization for Context-Free Grammar Design: Helping Students(…) | Marco T. Morazán, Andrés M. Garced, Tijana Minić | 23m |
A stepwise derivation-visualizer integrated into FSM (Racket) draws colored derivation trees, shows last-applied production, supports leftmost/rightmost and… | ||
| How Computer Science Was Introduced at Yale-NUS College | Olivier Danvy | 01h 00m |
Yale‑NUS runs a 10‑year experiment that introduces liberal‑arts undergraduates to computing through Aristotle’s four causes, analogies (cooking, knitting… | ||
| nothing matches | ||