Our extended abstract on Towards Semantics Lifting for Scientific Computing: A Case Study on FFT was accepted at TPSA 2025, held in conjunction with POPL 2025.