| Random testing for C and C++ compilers with YARPGen V Livinskii, D Babokin, J Regehr Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-25, 2020 | 87 | 2020 |
| Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages V Livinskii, D Babokin, J Regehr Proceedings of the ACM on Programming Languages 7 (PLDI), 1826–1847, 2023 | 6 | 2023 |
| Automatic Optimizations' Errors Detection in C/C++ Compilers with Yet Another Random Program Generator V Livinskii, D Babokin 60th MIPT Scientific Conference, 2017 | | 2017 |
| Yet another Random Program Generator - a random test generator for optimization verification in C/C++ compilers V Livinskii, A Mitrokhin, D Babokin 59th MIPT Scientific Conference, 2016 | | 2016 |
| LLVM: Advanced Vectorization Support and Drawbacks in the Presence of Explicitly Parallel Code A Mitrokhin, V Livinskii, D Babokin 58th MIPT Scientific Conference, 2015 | | 2015 |
| A survey of random program generation methods for C/C++ compiler testing V Livinskii, A Mitrokhin, D Babokin 58th MIPT Scientific Conference, 2015 | | 2015 |
John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
