SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

SPLASH-E is a symposium, started in 2013, for software and languages (SE/PL) researchers with activities and interests around computing education. Some build pedagogically-oriented languages or tools; some think about pedagogic challenges around SE/PL courses; some bring computing to non-CS communities; some pursue human studies and educational research.

At SPLASH-E, we share our educational ideas and challenges centered in software/languages, as well as our best ideas for advancing such work. SPLASH-E strives to bring together researchers and those with educational interests that arise from software ideas or concerns.

Accepted Archival Papers

Title
An Exploration of How Generative AI Affects Workflow and Collaboration in a Software Engineering Course
SPLASH-E
An Interactive Learning Environment for Program Design
SPLASH-E
Continuations for All: Language Design Considerations for Accessible Continuations
SPLASH-E
Daisy: An Exercise Environment for Learning Information Modeling
SPLASH-E
Derivation Visualization for Context-Free Grammar Design: Helping Students Understand Context-Free Grammars
SPLASH-E
Evolving How We Teach Memory Models
SPLASH-E
Interactive Theorem Provers for Proof Education
SPLASH-E
Personalization of Programming Education: An NLP-based Bi-dimensional Classification of Programming Exercises
SPLASH-E
Porpoise: An LLM-Based Sandbox for Novices to Practice Writing Purpose Statements
SPLASH-E

Call for Contributions

Topics of interest: SPLASH-E is a forum for educators to make connections between programming languages research and the ways we educate computer science students. We invite work that could improve or inform computer science educators, especially work that connects with introductory computer science courses, programming languages, compilers, software engineering, and other SPLASH-related topics. Educational tools, experience reports, and new curricula are all welcome. Potential topics of interest include:

  • innovative curriculum, assessment or course formats
  • design and foundations of new educational programming languages
  • reflections on existing educational programming languages
  • multidisciplinary learning environments
  • integration of research into teaching and training
  • individual and multidisciplinary team development
  • new modes of learning and education in the digital era
  • transfer of educational findings
  • ethics instruction
  • equity, diversity, and inclusion, in the classroom
  • cross-cultural or inter-cultural aspects of education
  • methodological aspects of education
  • application of educational research methods in education
  • online learning and its impact on educational settings and curricula

Accepted Formats

SPLASH-E accepts both archival and non-archival submissions. See below for presentation/participation details.

Archival paper submissions should be between 3 and 10 pages, not including references or supplementary material (i.e., appendices). However, note that reviewers are under no obligation to read supplementary material, should you include it.

We encourage authors to match the length of the submission to the scale of the contribution. Some potential archival formats are below:

  • Papers on education research results, tools or case studies.
  • Course experience reports: What was new, or different? What worked, or didn’t? What successes would you like to share, or pitfalls can you warn us about?
  • Papers on retrospective discussions over a longer-term course experiment, or larger-scale curricular design.

Non-archival submissions should be presented in an Extended Abstract format, 1 to 4 pages including references.

These submissions should cover projects in progress, ideas, reflections, or educational opportunities that would be of interest to the community. The aim of these submissions to help build community - they can be a way to find collaborators, invite critique on research design, or inspire good conversations. Accepted non-archival submissions will appear on the website only.

If your submission does not conform to one of these formats, please contact the co-chairs to discuss it. There’s a good chance your work can still be considered for SPLASH-E.

Submission instructions

All submissions should be anonymous - review for archival submissions will follow double-blind procedures. Submission will be via HotCRP at https://splashe25.hotcrp.com/. Please use the ACM SIGPLAN Conference acmart Format, with the sigplan and review \documentclass options. This produces two-column, 10pt files. If you use LaTeX or Word, please use the provided ACM SIGPLAN acmart templates provided here. All submissions should be in PDF. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Archival Publication Information

Archival papers will appear in the ACM Digital Library. The camera ready deadline for all SPLASH-related publications is 22 August 2025. However, please note that the official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

Deadlines

Archival submissions will go through a full double-blind procedure review. The deadline for archival paper submissions is 1 July 2025 AOE. Non-archival submissions will be reviewed by the co-chairs on a rolling basis. The final deadline for a submission will be 23 September 2025 AOE.

Presentation and Participation

We expect SPLASH-E to be a one-day event with active participation from all attendees in lieu of traditional research presentations. Stay tuned for specific symposium events and details for authors of accepted contributions. Authors of accepted archival contributions to SPLASH-E 2025 will be able to present their work in some format, regardless of their ability to travel to SPLASH 2025 in Singapore.

As the goal of non-archival submissions is to spark dialog in the community, there is the expectation that accepted non-archival submissions will be represented in-person at SPLASH-E by at least one in-person author.

Authors of accepted contributions are expected to register for SPLASH 2025.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 18 Oct

Displayed time zone: Perth change

10:00 - 10:30
10:00
30m
Coffee break
Break
ICFP/SPLASH Catering

10:30 - 12:15
Morning Paper SessionSPLASH-E at Peony NW
Chair(s): Kenichi Asai Ochanomizu University
10:30
30m
Full-paper
Daisy: An Exercise Environment for Learning Information Modeling
SPLASH-E
Jessica Belicia Cahyono Institute of Science Tokyo, Youyou Cong Institute of Science Tokyo, Hidehiko Masuhara Institute of Science Tokyo
11:00
30m
Full-paper
Porpoise: An LLM-Based Sandbox for Novices to Practice Writing Purpose Statements
SPLASH-E
Shriram Krishnamurthi Brown University, Thore Thießen University of Münster, Jan Vahrenhold University of Münster
11:30
20m
Short-paper
Evolving How We Teach Memory Models
SPLASH-E
A: Pontakorn Prasertsuk , A: Jotham Wong National University of Singapore, Singapore, A: Grace Tan National University of Singapore, A: Cristina Carbunaru National University of Singapore, Singapore
11:50
40m
Keynote
How Computer Science Was Introduced at Yale-NUS College
SPLASH-E
Olivier Danvy National University of Singapore
12:15 - 13:45
12:15
90m
Lunch
Lunch
ICFP/SPLASH Catering

13:45 - 15:30
Afternoon Paper Session 1SPLASH-E at Peony NW
Chair(s): Martin Henz National University of Singapore
13:50
25m
Full-paper
An Interactive Learning Environment for Program Design
SPLASH-E
Kouta Kumamoto , Youyou Cong Institute of Science Tokyo, Hidehiko Masuhara Institute of Science Tokyo
14:15
25m
Full-paper
Continuations for All: Language Design Considerations for Accessible Continuations
SPLASH-E
Youyou Cong Institute of Science Tokyo, Filip Strömbäck Linköping University, Kazuki Ikemori Tokyo Institute of Technology
14:40
25m
Talk
Involving Students in Design and Implementation of ECMAScript (JavaScript) Proposals
SPLASH-E
Mikhail Barash University of Bergen
15:05
25m
Full-paper
An Exploration of How Generative AI Affects Workflow and Collaboration in a Software Engineering Course
SPLASH-E
Marie Salomon University of British Columbia, Kyle D. Chin , Reid Holmes University of British Columbia, Thomas Fritz University of Zurich, Gail Murphy University of British Columbia
15:30 - 16:00
15:30
30m
Coffee break
Break
ICFP/SPLASH Catering

16:00 - 17:30
Afternoon Paper Session 2SPLASH-E at Peony NW
Chair(s): Mikhail Barash University of Bergen
15:45
25m
Full-paper
Derivation Visualization for Context-Free Grammar Design: Helping Students Understand Context-Free Grammars
SPLASH-E
Marco T Morazan Seton Hall University, Andrés M. Garced Seton Hall University, Tijana Minić
16:10
25m
Full-paper
Interactive Theorem Provers for Proof Education
SPLASH-E
Romina Mahinpei Princeton University, Manoel Horta Ribeiro , Mae Milano Princeton University
16:35
25m
Talk
Waddle: A Serious Game to Teach Writing, Reading, and Debugging Programs
SPLASH-E
Florian Sihler Ulm University, Naomi Panda , Simon Berlinger Ulm University, Germany, Matthias Tichy Ulm University
Link to publication File Attached
17:00
25m
Full-paper
Personalization of Programming Education: An NLP-based Bi-dimensional Classification of Programming Exercises
SPLASH-E
Tommie Lombarts Eindhoven University of Technology, Gijs Walravens Eindhoven University of Technology, Mazyar Seraj Eindhoven University of Technology, Lina Ochoa Eindhoven University of Technology, Mark van den Brand Eindhoven University of Technology
Questions? Use the SPLASH -E contact form.