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

by Alexey Merkulov, Andrey Belevantsev
Published 2018-10-01

Using data flow analysis for detecting security vulnerabilities.

by Andrey Belevantsev, Oleg Malikov
Published 2006-01-01

Automatically generating OpenCL code from loop nests via a polyhedral model

by Andrey Belevantsev, Alexey Kravets, Alexander Monakov
Published 2018-10-01

Optimizations in Dynamic Binary Translation

by Andrey Belevantsev, Alexey Merkulov, Vladimir Platonov
Published 2018-10-01

Using static analysis for finding security vulnerabilities and critical errors in source code

by Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov
Published 2018-10-01

Scalable code clone detection tool based on semantic analysis

by Sevak Sargsyan, Shamil Kurmnagaleev, Andrey Belevantsev, Hayk Aslanyan, Artiom Baloian
Published 2018-10-01

Optimizing programs for given hardware architectures with static compilation: methods and tools

by Dmitry Melnik, Shamil Kurmangaleev, Arutyun Avetisyan, Andrey Belevantsev, Dmitry Plotnikov, Mamikon Vardanyan
Published 2018-10-01

Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure

by Victor Ivannikov, Shamil Kurmangaleev, Andrey Belevantsev, Alexey Nurmukhametov, Valery Savchenko, Hripsime Matevosyan, Arutyun Avetisyan
Published 2018-10-01