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]

Authors

Vsevolod Livinskii

This author has not been identified. Look up 'Vsevolod Livinskii' in Google

Dmitry Babokin

This author has not been identified. Look up 'Dmitry Babokin' in Google

John Regehr

This author has not been identified. It may be one of the following persons: Look up 'John Regehr' in Google