Alexey Bataev
Principal Compiler Engineer at SiFive- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
-
English Professional working proficiency
-
Russian Native or bilingual proficiency
Topline Score
Bio
Experience
-
SiFive
-
United States
-
Semiconductor Manufacturing
-
400 - 500 Employee
-
Principal Compiler Engineer
-
Jan 2022 - Present
-
-
-
Intel Corporation
-
United States
-
Semiconductor Manufacturing
-
700 & Above Employee
-
Compiler engineer
-
Oct 2020 - Jan 2022
-
-
-
IBM
-
United States
-
IT Services and IT Consulting
-
700 & Above Employee
-
Software Developer
-
Apr 2017 - Sep 2020
1. Compiler development for Summit/Sierra supercomputers. 2. Implemented debug info support in LLVM for NVPTX target. 3. Full support of the OpenMP offloading to NVPTX devices. 4. Improvements of the SLP vectorizer in LLVM. 1. Compiler development for Summit/Sierra supercomputers. 2. Implemented debug info support in LLVM for NVPTX target. 3. Full support of the OpenMP offloading to NVPTX devices. 4. Improvements of the SLP vectorizer in LLVM.
-
-
-
Moscow Aviation Institute (National Research University), MAI
-
Russian Federation
-
Aviation & Aerospace
-
1 - 100 Employee
-
Associate Professor
-
Sep 2012 - Mar 2017
Lectures, seminars and practicals on Operating Systems and Programming Languages. Lectures, seminars and practicals on Operating Systems and Programming Languages.
-
-
-
Intel Corporation
-
United States
-
Semiconductor Manufacturing
-
700 & Above Employee
-
Staff Software Engineer
-
Mar 2016 - Jul 2016
C/C++ compiler developmentCode Owner of OpenMP in Clang compiler
-
-
Senior Software Engineer
-
Mar 2012 - Mar 2016
C/C++ compiler developmentCode Owner of OpenMP in Clang compiler
-
-
-
National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
-
Russian Federation
-
Higher Education
-
100 - 200 Employee
-
Associate Professor
-
Feb 1999 - Jun 2015
1. Lectures, seminars and practicals on Operating Systems and Programming Languages. 2. Took a part in conferences and scientific workshops. Achievements. 1. Deputy Head of Department in 2009-2010. 2. Author of about of 20 papers and a book of Operating Systems. 3. Developed prototype of the Ada'83 test support system based on symbolic evaluation, including translator, simulator/debugger (with backtracking and undefined values support), code navigator, coverage analyzer (with MC/DC support), test data generator method for static functions/procedures. Show less
-
-
-
DC BARS
-
Russian Federation
-
Aviation and Aerospace Component Manufacturing
-
1 - 100 Employee
-
Lead engineer
-
Aug 2003 - Mar 2012
1. Development and support of testing support tools, like translators, debuggers, test libraries and environment, test data generator for testing Matlab/Simulink models. 2. Testing of the airborne software (FMS, CMU etc.) in accordance with RTCA DO-178B, KT-178B, ED-12B standards.Achivements.1. Developed and fixed testing support tools what allowed to save up to 50% of time in testing projects performed by the company.2. Developed Oil Sensor Simulator system for customer.3. Developed Weekly Hours Reporting And Human Resources System at BARS.4. Tested airborne software for Boeing, McDonnell Douglas, Airbus, Embraer, Sukhoi etc. airplanes. Show less
-
-
Engineer
-
Feb 1999 - Aug 2003
-
-
Education
-
National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
Doctor of Philosophy (Ph.D.), Computer Science