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 |
Writing scalable SIMD programs with ISPC J Brodman, D Babokin, I Filippov, P Tu Proceedings of the 2014 Workshop on Programming models for SIMD/Vector …, 2014 | 13 | 2014 |
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 |
Yet another Random Program Generator - random test generator for optimization verification in C/C++ compilers V Livinskij, A Mitrokhin, D Babokin 59th MIPT Scientific Conference, 2016 | | 2016 |
Methods for detecting and preventing Return Oriented Programming attacks P Kurapov, S Isupov, V Sukhomlinov, D Babokin 58th MIPT Scientific Conference, 2015 | | 2015 |
Survey of random program generation methods for C/C++ compilers testing V Livinskij, A Mitrokhin, D Babokin 58th MIPT Scientific Conference, 2015 | | 2015 |
Implementation of mask optimizations in LLVM V Livinskij, A Mitrokhin, D Babokin 58th MIPT Scientific Conference, 2015 | | 2015 |
ISPC: clang-based front-end D Babokin, J Brodman 2014 LLVM Developers' Meeting, 2014 | | 2014 |