Andrey Belevantsev

Deterministic Static Analysis

Alexey Borodin, Andrey Belevantsev, Dmitry Zhurikhin, 2018, 2018 Ivannikov Memorial Workshop (IVMEM).

A Thread Partitioning Algorithm for Data Locality Improvement

Alexander Chernov, Andrey Belevantsev, Oleg Malikov, 2003, PPAM.

An interblock VLIW-targeted instruction scheduler for GCC

Vladimir Makarov, Andrey Belevantsev, Dmitry Zhurikhin, 2006 .

Using data flow analysis for detecting security vulnerabilities

Andrey Belevantsev, Oleg Malikov, 2006 .

Optimizations in Dynamic Binary Translation

Vladimir Platonov, Andrey Belevantsev, Alexey Merkulov, 2012 .

Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code

Arutyun Avetisyan, Andrey Belevantsev, 2017, Ershov Informatics Conference.

Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator

Andrey Belevantsev, Alexey Merkulov, 2012 .

Design and Development of Svace Static Analyzers

Alexey Borodin, Andrey Belevantsev, Dmitry Zhurikhin, 2018, 2018 Ivannikov Memorial Workshop (IVMEM).

Performance optimizations in an LLVM-based cloud application store

Arutyun Avetisyan, Andrey Belevantsev, Shamil Kurmangaleev, 2013, Ninth International Conference on Computer Science and Information Technologies Revised Selected Papers.

LLVM-based code clone detection framework

Arutyun Avetisyan, Andrey Belevantsev, Mariam Arutunian, 2015, 2015 Computer Science and Information Technologies (CSIT).

A case study: optimizing GCC on ARM for performance of libevas rasterization library

Andrey Belevantsev, Dmitry Plotnikov, Dmitry Melnik, 2010 .