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

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

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

Publisher's Version

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

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

Publisher's Version

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

Publisher's Version

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

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

proc time: 0.76