SPLASH-E 2025 – Proceedings

2025 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2025)

Frontmatter

Papers

Continuations for All: Language Design Considerations for Accessible Continuations
Youyou Cong, Filip Strömbäck, and Kazuki Ikemori
(Institute of Science Tokyo, Japan; Linköping University, Sweden)

Publisher's Version Article: splashws25splashemain-p2-p doi:10.1145/3758317.3759677

Derivation Visualization for Context-Free Grammar Design: Helping Students Understand Context-Free Grammars
Marco T. Morazán, Andrés M. Garced, and Tijana Minić
(Seton Hall University, USA; University of Washington, USA)

Publisher's Version Article: splashws25splashemain-p3-p doi:10.1145/3758317.3759678

Interactive Theorem Provers for Proof Education
Romina Mahinpei, Manoel Horta Ribeiro, and Mae Milano
(Princeton University, USA)

Publisher's Version Article: splashws25splashemain-p5-p doi:10.1145/3758317.3759679

An Exploration of How Generative AI Affects Workflow and Collaboration in a Software Engineering Course
Marie Salomon, Kyle D. Chin, Reid Holmes, Thomas Fritz, and Gail C. Murphy
(University of British Columbia, Canada; University of Zurich, Switzerland)

Publisher's Version Article: splashws25splashemain-p6-p doi:10.1145/3758317.3759680

Daisy: An Exercise Environment for Learning Information Modeling
Jessica Belicia Cahyono, Youyou Cong, and Hidehiko Masuhara
(Institute of Science Tokyo, Japan)

Publisher's Version Article: splashws25splashemain-p7-p doi:10.1145/3758317.3759681

An Interactive Learning Environment for Program Design
Kouta Kumamoto, Youyou Cong, and Hidehiko Masuhara
(Institute of Science Tokyo, Japan)

Publisher's Version Article: splashws25splashemain-p8-p doi:10.1145/3758317.3759682

Porpoise: An LLM-Based Sandbox for Novices to Practice Writing Purpose Statements
Shriram Krishnamurthi, Thore Thießen, and Jan Vahrenhold
(Brown University, USA; University of Münster, Germany)

Publisher's Version Info Article: splashws25splashemain-p9-p doi:10.1145/3758317.3759683

Personalization of Programming Education: An NLP-Based Bi-dimensional Classification of Programming Exercises
Tommie Lombarts, Gijs Walravens, Mazyar Seraj, Lina Ochoa, and Mark van den Brand
(Eindhoven University of Technology, Netherlands)

Publisher's Version Info Article: splashws25splashemain-p10-p doi:10.1145/3758317.3759684

proc time: 0.02