SPLASH-E 2026 – Preliminary Table of Contents

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

Frontmatter

2026 ACM SIGPLAN International Symposium on SPLASH-E (SPLASH-E 2026) Papers

Introducing Hoare Logic in the Undergraduate CS Curriculum: In Memoriam of Tony Hoare
Marco T. Morazán
(Seton Hall University, USA)

Article Search Article: splashws26splashemain-p22-p (type: Full Paper (11 pages + appendices + references)) doi:10.1145/3841644.3842686

More Pie for the Little Typer
Zhang Qixiang, Ding Feng, Li Daoxin, and Martin Henz
(National University of Singapore, Singapore)

Article Search Article: splashws26splashemain-p25-p (type: Full Paper (11 pages + appendices + references)) doi:10.1145/3841644.3842687

Curated Semantic Mutants: Multi-purpose Artifacts for Grading and Hinting Student Test Suites
Rebecca Williams Earle and Jonathan Bell
(Northeastern University, USA)

Article Search Article: splashws26splashemain-p58-p (type: Full Paper (11 pages + appendices + references)) doi:10.1145/3841644.3842688

Visualizing Turing Machines and Multitape Turing Machines
David Anthony K. Fields, Sophia G. Turano, Andrés M. Garced, and Marco T. Morazán
(Seton Hall University, USA)

Article Search Article: splashws26splashemain-p81-p (type: Full Paper (11 pages + appendices + references)) doi:10.1145/3841644.3842689

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

proc time: 0.01