Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages

Vsevolod Livinskii, Dmitry Babokin, John Regehr. Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages. Proceedings of the ACM on Programming Languages, 7(PLDI):1826-1847, 2023. [doi]

Abstract

Abstract is missing.