Alexey Bataev

Principal Compiler Engineer at SiFive
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
United States, US
Languages
  • English Professional working proficiency
  • Russian Native or bilingual proficiency

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
You need to have a working account to view this content.

Experience

    • United States
    • Semiconductor Manufacturing
    • 400 - 500 Employee
    • Principal Compiler Engineer
      • Jan 2022 - Present

    • United States
    • Semiconductor Manufacturing
    • 700 & Above Employee
    • Compiler engineer
      • Oct 2020 - Jan 2022

    • 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.

    • 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.

    • 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

    • 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

    • 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
    1993 - 1999

Community

You need to have a working account to view this content. Click here to join now