2 papers
cs.PL2025
Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
Naifeng Zhang, Sanil Rao, Mike Franusich +1
The rise of automated code generation tools, such as large language models (LLMs), has introduced new challenges in ensuring the correctness and efficiency of scientific software,…
cs.MS2023
ProtoX: A First Look
Het Mankad, Sanil Rao, Brian Van Straalen +2
We present a first look at ProtoX, a code generation framework for stencil and pointwise operations that occur frequently in the numerical solution of partial differential equation…