SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / SPLASH-E / Observations on Tracing Program Design through Natural Language Dialogue
Observations on Tracing Program Design through Natural Language DialoguePresentation only
This program is tentative and subject to change.
Sun 4 Oct 2026 16:00 - 16:30 at Grand Ballroom Salons A+B - Observing, Exploring and Assessing Student Work Chair(s): Pierre Donat-Bouillud
Students’ code submissions show their final outcomes, but not the process of making, questioning, and revising design decisions. This experience report studies Ladder, a program design environment based on natural-language dialogue, as a means of preserving design traces. Its staged dialogue makes the design process observable, but also requires students to express each step in writing, which can make the interaction effortful. This motivates future systems that retain consequential parts of the design process with less interaction burden.
| Observations on Tracing Program Design through Natural Language Dialogue (splashe26-final4-tracing-program-design-natural-language.pdf) | 369KiB |
This program is tentative and subject to change.
Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change
Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change
15:30 - 17:00 | Observing, Exploring and Assessing Student WorkSPLASH-E at Grand Ballroom Salons A+B Chair(s): Pierre Donat-Bouillud Czech Technical University | ||
15:30 30mTalk | Curated Semantic Mutants: Multi-Purpose Artifacts for Grading and Hinting Student Test Suites SPLASH-E DOI | ||
16:00 30mTalk | Observations on Tracing Program Design through Natural Language DialoguePresentation only SPLASH-E Kouta Kumamoto Institute of Science Tokyo, Youyou Cong Institute of Science Tokyo, Hidehiko Masuhara Institute of Science Tokyo File Attached | ||
16:30 30mTalk | Proof Interfaces for Exploratory MathematicsPresentation only SPLASH-E Nishant Kheterpal University of Michigan, Matthew Keenan University of Michigan, Cyrus Omar University of Michigan, Jean-Baptiste Jeannin University of Michigan File Attached | ||