Alexey Bataev
Alexey Bataev
Software Developer, Intel, Code Owner of OpenMP in clang/LLVM
Verified email at bataev.org - Homepage
Title
Cited by
Cited by
Year
Offloading support for OpenMP in Clang and LLVM
SF Antao, A Bataev, AC Jacob, GT Bercea, AE Eichenberger, G Rokos, ...
2016 Third Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC), 1-11, 2016
462016
Операционные системы
СВ Синицын, АВ Батаев, НЮ Налютин
Академия, 2012
232012
Efficient fork-join on GPUs through warp specialization
AC Jacob, AE Eichenberger, H Sung, SF Antao, GT Bercea, C Bertolli, ...
2017 IEEE 24th International Conference on High Performance Computing (HiPC …, 2017
102017
Towards OpenMP support in LLVM
ABA Bataev, A Bokhanko, J Cownie
2013 European LLVM Conference, 2013
72013
Implementing implicit OpenMP data sharing on GPUs
GT Bercea, C Bertolli, AC Jacob, A Eichenberger, A Bataev, G Rokos, ...
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in …, 2017
62017
Операционные системы: учебник для студ. учреждений высш. проф. образования-3-е изд., стер.
СВ Синицын, АВ Батаев, НЮ Налютин
42013
Clang-YKT source-code repository
AC Jacob, AE Eichenberger, H Sung, SF Antao, GT Bercea, C Bertolli, ...
2
An open-source solution to performance portability for Summit and Sierra supercomputers
GT Bercea, A Bataev, AE Eichenberger, C Bertolli, JK O'Brien
IBM Journal of Research and Development 64 (3/4), 12: 1-12: 23, 2019
12019
Операционные системы и среды: учебник для учрежд. СПО
АВ Батаев
М.: Академия, 2017
12017
Hybrid CPU/GPU tasks optimized for concurrency in OpenMP
AE Eichenberger, GT Bercea, A Bataev, L Grinberg, JK O'Brien
IBM Journal of Research and Development 64 (3/4), 13: 1-13: 14, 2019
2019
Test data generation based on a formal analysis of the project configuration data
AV Bataev, AA Davydov, NY Nalutin, SV Sinitsyn
Automatic Control and Computer Sciences 45 (7), 373-379, 2011
2011
Генерация тестовых данных на основе формального анализа данных конфигурации проекта
АВ Батаев, АА Давыдов, НЮ Налютин, СВ Синицын
Моделирование и анализ информационных систем 17 (4), 17-26, 2010
2010
МЕТОД ГЕНЕРАЦИИ ТЕСТОВЫХ ДАННЫХ НА ОСНОВЕ ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ
АВ Батаев, АА Давыдов, НЮ Налютин, СВ Синицын
Сборник научных трудов по материалам международной научно-практической …, 2010
2010
Оценка состояния программного проекта с детерминированной структурой технологического цикла
НЮ Налютин, СВ Синицын, АА Давыдов, АВ Батаев
Программные продукты и системы, 2010
2010
Операционные системы: Учебник для студ. высш. учеб. заведений/,–М
СВ Синицын, АВ Батаев, НЮ Налютин
Издательский центр «Академия, 2010
2010
Test data generation based on a formal analysis of the project configuration
AV Bataev, AA Davydov, NY Nalyutin, SV Sinitsyn
Modelirovanie i Analiz Informatsionnykh Sistem 17 (4), 17-26, 2010
2010
Методы и средства генерации данных для тестирования встроенного бортового программного обеспечения
АВ Батаев
Московский государственный инженерно-физический институт, 2008
2008
МАТЕМАТИЧЕСКИЕ МЕТОДЫ ДОКАЗАТЕЛЬСТВА ПРАВИЛЬНОСТИ ВСТРОЕННОГО БОРТОВОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
АВ Батаев, СВ Синицын
Безопасность информационных технологий, 57-60, 2007
2007
Offloading Support for OpenMP in Clang and LLVM
C Bertolli, AEE Bercea, G Rokos, M Martineau, T Jin, G Ozen, Z Sura, ...
LLVM-HPC 2016
SF Antao, A Bataev, AC Jacob, GT Bercea, AE Eichenberger, G Rokos, ...
The system can't perform the operation now. Try again later.
Articles 1–20