24–25 Mar 2025
National Oceanography Centre, University of Southampton
Europe/London timezone

Maths-to-code: domain-specific compiler architecture

24 Mar 2025, 11:10
35m
National Oceanography Centre, University of Southampton

National Oceanography Centre, University of Southampton

Southampton, UK

Speaker

Prof. Paul Kelly (Imperial College London)

Description

This talk is not about quantum computing, nor physics: it’s about software tools that generate code from the maths.  I want to show you some examples of what is possible.  The big idea is to capture an abstract model of the computation that makes hard optimisations easy.  My aim is to seed conversations about how to do this for the applications at this workshop.

Author

Prof. Paul Kelly (Imperial College London)

Presentation materials