4 citations · 4 across the 2 of their papers we have counts for
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.CR2023★ 4 cited
TREBUCHET: Fully Homomorphic Encryption Accelerator for Deep Computation
David Bruce Cousins, Yuriy Polyakov, Ahmad Al Badawi +21
Secure computation is of critical importance to not only the DoD, but across financial institutions, healthcare, and anywhere personally identifiable information (PII) is accessed.…