SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Fri 17 Oct 2025 16:30 - 17:00 at Peony SE - Concurrency Chair(s): Hidehiko Masuhara

Many primary school age children find developing games and interactive animations very motivating, and this has been successfully leveraged by several educational programming environments. However, most of these environments, like Scratch and Microsoft MakeCode, are fundamentally based on imperative, Pascal-style programming languages with ad-hoc support for concurrency and events. I argue that this style of programming language, and the burden of encoding state machines that it imposes, does not match the children’s intuitions, and is therefore discouraging. Instead, I propose re-founding these tools around synchronous programming languages like Esterel, which, by being centered around the concepts of time, sequential composition, concurrency, signalling, and preemption, match the children’s intuitions. I describe a prototype implementation, and argue how using such a programming language would enable schoolchildren to express their intuitions more directly.

Fri 17 Oct

Displayed time zone: Perth change

16:00 - 17:30
ConcurrencyOnward! Papers at Peony SE
Chair(s): Hidehiko Masuhara Institute of Science Tokyo
16:00
30m
Talk
Exploring The Design Space For Runtime Enforcement of Dynamic Capabilities
Onward! Papers
Andrew Fawcett Victoria University of Wellington, James Noble Independent. Wellington, NZ, Michael Homer Victoria University of Wellington
16:30
30m
Talk
Synchronous Programming for Kids: A Manifesto
Onward! Papers
Jean Pichon-Pharabod Aarhus University