SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026

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.

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

Sun 4 Oct

Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00
08:30
90m
Talk
Teaching About Tools For ThoughtKeynote
SPLASH-E
K: Will Crichton Brown University
10:30 - 12:00
Teaching Formal FoundationsSPLASH-E at Grand Ballroom Salons A+B
Chair(s): Daniel Patterson Northeastern University
10:30
30m
Talk
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
30m
Talk
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
30m
Talk
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
30m
Talk
Aiki: Designing a Programming Language from a Criterion of ApprehensionPresentation only
SPLASH-E
William D. Senn Tarleton State University
File Attached
14:00
30m
Talk
Integrating Blocks and Text in the ClassroomPresentation only
SPLASH-E
Ravi Chugh University of Chicago, Sam Cohen University of Chicago
File Attached
14:30
30m
Talk
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
30m
Talk
Curated Semantic Mutants: Multi-Purpose Artifacts for Grading and Hinting Student Test Suites
SPLASH-E
Rebecca Williams Earle Northeastern University, Jonathan Bell Northeastern University
DOI
16:00
30m
Talk
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
30m
Talk
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

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.