Using data flow analysis for detecting security vulnerabilities. by Andrey Belevantsev, Oleg Malikov

Get full text

Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator by Alexey Merkulov, Andrey Belevantsev

Get full text

Automatically generating OpenCL code from loop nests via a polyhedral model by Andrey Belevantsev, Alexey Kravets, Alexander Monakov

Get full text

Using static analysis for finding security vulnerabilities and critical errors in source code by Arutyun Avetisyan, Andrey Belevantsev, Alexey Borodin, Vladimir Nesov

Get full text

Scalable code clone detection tool based on semantic analysis by Sevak Sargsyan, Shamil Kurmnagaleev, Andrey Belevantsev, Hayk Aslanyan, Artiom Baloian

Get full text

Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure by Victor Ivannikov, Shamil Kurmangaleev, Andrey Belevantsev, Alexey Nurmukhametov, Valery Savchenko, Hripsime Matevosyan, Arutyun Avetisyan

Get full text