Vyazovtsev Andrey Viktorovich

Publications in Math-Net.Ru

1. Approach to building AI-compilers using the MLIR framework
   
   Proceedings of ISP RAS, 37:1 (2025),  87–106
2. Checking programs for compliance with MISRA C standard using the clang framework
   
   Proceedings of ISP RAS, 35:5 (2023),  169–192