Jul 2026
Kaizen: Metamorphic Fuzzing and Differential Testing for LLM-Translated HPC Applications
Kaizen, a metamorphic fuzzing and differential testing framework for evaluating the correctness of LLM-translated HPC code, is presented, revealing that compilation success is a poor proxy for correctness and full-program translation is substantially harder than kernel-level translation.
Oscar Ludwig, Ninad Anklesaria, Zheming Jin et al.
· arXiv.org · 0 citations