SPLASH-E 2024
2024-10-24
Pasadena, United States
SPLASH-E ·
[SPLASH-E 2022, SPLASH-E 2023, SPLASH-E 2024, SPLASH-E 2025]
who it's for
computing education researchers, university CS instructors, high school CS teachers, curriculum designers, educational software engineers, programming languages researchers
topics
mocking temporal logic in Java; API docs for novices; subgoal learning in CS1; automated feedback with tree-sitter; program synthesis with Sketch; vocabulary acquisition for learners; blockly for smart objects (BASM); visualizing composed Turing machines; computation graphs for nondeterminism; roles of variables in Hedy
| title | author | length |
|---|---|---|
| Mocking Temporal Logic | Colin S. Gordon | 23m |
Argues that teaching temporal reasoning through mocking dependencies in Java (using the Makito-style embedded DSL) conveys the same ordering, eventuality, and… | ||
| Judicious: API Documentation for Novices | Luca Chiodini, Simone Piatti, Matthias Hauswirth | 20m |
A web-based API documentation system for novices that shows one name at a time, uses diagrammatic function boxes and distinct icons for constants, and… | ||
| An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning(…) | Olivier Goletti, Kim Mens, Felienne Hermans | 21m |
Observational study integrates subgoal learning into a 13‑week CS1 course with 21 tutors, 62+ observations and handouts, briefings and follow‑ups as supports… | ||
| ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming(…) | Lucas Van Praet, Jesse Hoobergs, Tom Schrijvers | 19m |
ASSIST is a tool that combines fault‑tolerant parsing via tree-sitter with assignment‑specific rewrite rules and program synthesis using Sketch to produce… | ||
| A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model(…) | Marcella Veldthuis, Felienne Hermans | 16m |
Applies a four-phase vocabulary model (prepare, semantize, consolidate, verify) to three replaced lessons for 26 students aged 12–13, using paper handouts and… | ||
| Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and(…) | Mazyar Seraj, Mauricio Verano Merino, Ebrahim Rahimi, Lina Ochoa Venegas | 20m |
Study runs a two-day workshop with 28 eighth graders using a block-based language BASM (Blockly) to program a smart-lighting microcontroller inside a 2D… | ||
| Visualizing Composed Turing Machines | Marco T. Morazán, Tijana Minić, Oliwia Kempinski | 19m |
Two visualization tools are built into FSM (a Racket DSL): a static transition-diagram generator that turns composed Turing-machine descriptions into a single… | ||
| Using Computation Graphs to Explain Nondeterminism to Students | Marco T. Morazán, Oliwia Kempinski | 21m |
Paper introduces computation graphs implemented in FSM (a Racket DSL) that visualize nondeterministic runs by highlighting states in the original transition… | ||
| Roles of Variables in the Hedy programming language | Julia Vanwijnsberghe-Bolt, Felienne Hermans | 21m |
Applies the 11 Roles of Variables to Hedy and reduces them to 7 roles retained (splitting fixed into constant and input, merging organizer/container into list… | ||
| Gender Differences in Story, Game and Visual Adventures in Hedy | Shirley de Wit, Felienne Hermans, Marcus Specht, Efthimia Aivaloglou | 20m |
Analysis of 14,233 programs from 2,819 users aged 10–14 in Hedy levels 1–5 shows the rock‑paper‑scissors game adventure is most popular across boys, girls and… | ||
| nothing matches | ||