Showing cs.PLShow all
2 papers · 1 filter
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.PL2025
Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
Naifeng Zhang, Franz Franchetti
Fully homomorphic encryption (FHE) and zero-knowledge proofs (ZKPs) are emerging as solutions for data security in distributed environments. However, the widespread adoption of the…