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

This program is tentative and subject to change.

Fri 17 Oct 2025 10:30 - 11:00 at Peony SE - Tools

The opportunities offered by LLM coders (and their current limitations) demand a reevaluation of how software is structured. Software today is often “illegible”—lacking a direct correspondence between code and observed behavior—leading to a failure of three key requirements of robust coding: incrementality (the ability to deliver small increments by making localized changes), integrity (avoiding breaking prior increments) and transparency (making clear what has changed at build time, and what actions have happened at runtime).\n\nA new structural pattern offers improved legibility and modularity. Its elements are concepts and synchronizations: fully independent services and event-based rules that mediate between them. A domain-specific language for synchronizations allows behavioral features to be expressed in a granular and declarative way (and thus readily generated by an LLM). A case study of the RealWorld benchmark is used to illustrate the benefits of the approach.

This program is tentative and subject to change.

Fri 17 Oct

Displayed time zone: Perth change

10:30 - 12:15
10:30
30m
Talk
What You See Is What It Does: A Structural Pattern for Legible Software
Onward! Papers
A: Eagon Meng MIT, A: Daniel Jackson MIT
11:00
30m
Talk
Literate Tracing
Onward! Papers
Matthew Sotoudeh Stanford University
Pre-print Media Attached
11:30
30m
Talk
ScooPy: Enhancing Program Synthesis with Nested Example Specifications
Onward! Papers
Tomer Katz Technion Israel Institute of Technology, Hila Peleg Technion