SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Sat 18 Oct 2025 11:00 - 11:40 at Peony SE - Onward! Papers and Essay Chair(s): Stephen Kell

A “quine” is a deterministic program that prints itself. In this essay, I will show you a “gauguine”: a probabilistic program that infers itself. A gauguine is repeatedly asked to guess its own source code. Initially, its chances of guessing correctly are of course minuscule. But as the gauguine observes more and more of its own previous guesses, it detects patterns of behavior and gains information about its inner workings. This information allows it to bootstrap self-knowledge, and ultimately discover its own source code. We will discuss how—and why—we might write a gauguine, and what we stand to learn by constructing one.

Sat 18 Oct

Displayed time zone: Perth change

10:30 - 12:15
Onward! Papers and EssayOnward! Papers / Onward! Essays at Peony SE
Chair(s): Stephen Kell King's College London
10:30
30m
Talk
X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering
Onward! Papers
Maximilian Kodetzki Karlsruhe Institute of Technology, Tabea Bordis Karlsruhe Institute of Technology, Alex Potanin Australian National University, Ina Schaefer KIT
11:00
40m
Talk
Gauguin, Descartes, Bayes: A Diurnal Golem's Brain
Onward! Essays
Kartik Chandra MIT, Amanda Liu Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology
11:40
10m
Talk
Closing
Onward! Papers