POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Sun 19 Jan 2025 11:00 - 11:40 at Peek-A-Boo - Second session Chair(s): Atılım Güneş Baydin

We introduce TORAX, an open-source differentiable transport simulator for tokamak fusion plasmas, targeting fast and accurate core-transport simulation for pulse planning and optimization, and unlocking broad capabilities for controller design and advanced surrogate physics. TORAX is written in Python using JAX, and solves coupled time-dependent 1D PDEs for core ion and electron heat transport, particle transport, and current diffusion. JAX’s just-in-time compilation provides fast computation, while maintaining Python’s ease of use and extensibility. JAX auto-differentiability enables gradient-based nonlinear PDE solvers, and gradient-based optimization techniques and trajectory sensitivity analysis for controller design. JAX’s inherent support for neural network development and inference facilitates coupling ML-surrogates of constituent physics models in the multiphysics simulation, key for fast and accurate simulation. Code verification is obtained by comparison with the established RAPTOR code on ITER-like and SPARC scenarios. TORAX is an open source tool, and aims to be a foundational component of wider workflows built by the wider community for future tokamak integrated simulations.

Sun 19 Jan

Displayed time zone: Mountain Time (US & Canada) change

11:00 - 12:30
Second sessionLAFI at Peek-A-Boo
Chair(s): Atılım Güneş Baydin University of Oxford
11:00
40m
Talk
Invited talk: TORAX - A Fast and Differentiable Tokamak Transport Simulator in JAX (Remote)
LAFI
Jonathan Citrin Google Deepmind
11:41
15m
Talk
Data-Parallel Differentiation by Optic Composition
LAFI
Paul Wilson University of Southampton, Fabio Zanasi University College London
11:57
15m
Talk
Data-oriented Design for Differentiable, Probabilistic Programming (Remote)
LAFI
Owen Lynch University of Oxford, Maria-Nicoleta Craciun University of Oxford, Younesse Kaddar University of Oxford, Sam Staton University of Oxford
12:13
15m
Talk
A Domain-Specific PPL for Reasoning about Reasoning (or: a memo on memo)
LAFI
Kartik Chandra MIT, Tony Chen MIT, Joshua B. Tenenbaum Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology