ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore

This program is tentative and subject to change.

Sat 18 Oct 2025 14:37 - 15:03 at Peony NE - Programming Language & Compiler Chair(s): Zhiyang Chen

Over the past years, two major players invested into the future of Python. Microsoft’s Faster CPython team is pushed ahead with impressive performance improvements for the CPython interpreter, which has gotten at least 2x faster since Python 3.9. They also have a baseline JIT compiler for CPython, too. At the same time, Meta is worked hard on making free-threaded Python a reality to bring classic shared-memory multithreading to Python, without being limited by the still standard Global Interpreter Lock, which prevents true parallelism.

Both projects deliver major improvements to Python, and the wider ecosystem. So, it’s all great, or is it?

In this talk, I’ll discuss some of the aspects the Python core developers and wider community seem to not regard with the same urgency as I would hope for. Concurrency makes me scared, and I strongly believe the Python ecosystem should be scared, too, or look forward to the 2030s being “Python’s Decade of Concurrency Bugs”. We’ll start out reviewing some of the changes in observable language semantics between Python 3.9 and today, discuss their implications, and because of course I have some old ideas lying around, try to propose a way fordward. In practice though, this isn’t a small well-defined research project. So, I hope I can inspire some of you to follow me down the rabbit hole of Python’s free-threaded future.

This program is tentative and subject to change.

Sat 18 Oct

Displayed time zone: Perth change

13:45 - 15:30
Programming Language & CompilerSponsor Invited Talks at Peony NE
Chair(s): Zhiyang Chen University of Toronto

13:45 - 15:45 (Instead of 15:30), 30 min each talk

13:45
26m
Talk
Programming Language Design for GPU Systems
Sponsor Invited Talks
Michel Steuwer Technische Universität Berlin
14:11
26m
Talk
CStar: Unifying Programming and Verification in C
Sponsor Invited Talks
Di Wang Peking University
14:37
26m
Talk
Python, Is It Being Killed by Incremental Improvements?
Sponsor Invited Talks
Stefan Marr University of Kent
15:03
26m
Talk
Supercharge Compiler Engineering with LLMs
Sponsor Invited Talks
Yongqiang Tian Monash University