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.
Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | Teaching About Tools For ThoughtKeynote SPLASH-E | ||
10:30 - 12:00 | Teaching Formal FoundationsSPLASH-E at Grand Ballroom Salons A+B Chair(s): Daniel Patterson Northeastern University | ||
10:30 30mTalk | An Approach to Introduce Hoare Logic in the Undergraduate CS Curriculum: In Memoriam of Tony Hoare SPLASH-E Marco T Morazan Seton Hall University DOI | ||
11:00 30mTalk | More Pie for the Little Typer SPLASH-E Qixiang Zhang National University of Singapore, Ding Feng National University of Singapore, Singapore, Li Daoxin National University of Singapore, Martin Henz National University of Singapore DOI | ||
11:30 30mTalk | Visualizing Turing Machines and Multitape Turing Machines SPLASH-E David Anthony K. Fields Seton Hall University, Sophia Turano Seton Hall University, Andrés M. Garced Seton Hall University, Marco Morazan Seton Hall University DOI | ||
13:30 - 15:00 | Language and Environment Design for LearnersSPLASH-E at Grand Ballroom Salons A+B Chair(s): Marco Morazan Seton Hall University | ||
13:30 30mTalk | Aiki: Designing a Programming Language from a Criterion of ApprehensionPresentation only SPLASH-E William D. Senn Tarleton State University File Attached | ||
14:00 30mTalk | Integrating Blocks and Text in the ClassroomPresentation only SPLASH-E File Attached | ||
14:30 30mTalk | RCKid: Designing a Programming Language Through Its EditorsPresentation only SPLASH-E Petr Maj Czech Technical University File Attached | ||
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 | ||
Accepted Papers
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://splashe26.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 linked 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 14 August 2026. 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 24 June 2026 AOE. Non-archival submissions will be reviewed by the co-chairs on a rolling basis. The final deadline for a submission will be 9 September 2026 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 2026 will be able to present their work in some format, regardless of their ability to travel to SPLASH 2026 in Oakland.
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 generally expected to register for SPLASH 2026.