Source: http://www.ispras.ru/en/groups/ctt/publications.php
Timestamp: 2019-04-23 08:37:48+00:00

Document:
A.I. Get’man, Yu.V. Markin, D.O. Obidenkov, E.F. Evstropov A survey of problems and solution methods in network traffic classification Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 117-150.
E.Y. Sharygin, R.A. Buchatskiy Survey of Just-in-Time Query Compilation Methods Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 179-224.
A.S. Anichkin, V.A. Semenov Object-oriented framework for software development of scheduling applications Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 247-296.
V.A. Padaryan On representation used in the binary code reverse engineering Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 31-42.
A. Merkulov, S. Polyakov, A. Belevantsev Supporting Java programming in the Svace static analyzer Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 57-74.
M.V. Belyaev, N.V. Shimchik, V.N. Ignatyev, A.A. Belevantsev Comparative analysis of two approaches to the static taint analysis Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017 . pp. 99-116.
V. Koshelev, V. Ignatyev, A. Borzilov C# static analysis framework Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 21-40.
E.A. Kudryashov, D.M. Melnik, A.V. Monakov Dynamic loader optimization for ARM Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 63-80.
V. Platonov, A. Monakov Overlapping communications and computations in GPU-based iterative linear solvers Proceedings of the Institute for System Programming. Volume 28, issue 1, 2016 . pp. 81-92.
V.A. Padaryan, V.V. Kaushan, A.N. Fedotov Automated Exploit Generation for Stack Buffer Overflow Vulnerabilities. Programming and Computer Software, 2015, Vol. 41, No. 6, pp. 373–380.
V. V. Kaushan, A. YU. Mamontov, V. A. Padaryan, A. N. Fedotov Memory Violation Detection Method in Binary Code Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 105-126.
M.S. Akopyan Using Multithreaded Processes in ParJava Environment Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 5-22.
A. Belevantsev, E. Velesevich Analyzing C/C++ Code Entities and Relations for Program Understanding Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 53-64.
I.A. Vakhrushev, V.V. Kaushan, V.A. Padaryan, A.N. Fedotov Search Method for Format String Vulnerabilities Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 23-38.
Evgeny Velesevich Evaluating a number of cache coherency misses based on a statistical model Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 39-48.
A. I. Get'man , V.P. Ivannikov, Yu. V. Markin, V. A. Padaryan, A. Yu. Tikhonov Model of Data Handling for In-Depth Analysis of Network Traffic Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 5-22.
S.V. Morozov, D.V. Ilyin, V.A. Semenov, O.A. Tarlapan A Constraint Library for Specification of Industrial Data Models Proceedings of the Institute for System Programming. Volume 27, issue 4, 2015 . pp. 69-110.
V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov Path-Sensitive Bug Detection Analysis of C# Program Illustrated by Null Pointer Dereference Proceedings of the Institute for System Programming. Volume 27, issue 5, 2015 . pp. 59-86.
A. Borodin, A. Belevancev A Static Analysis Tool Svace as a Collection of Analyzers with Various Complexity Levels Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 111-134.
Ksenia Dolgorukova Implementation of Memory Scalability Approach for LLVM-Based Link-Time Optimization and Static Analyzing Systems Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 97-110.
Kalugin M.D., Samovarov O.I., Strijhak S.V., Lushnikov A.V., Kashtanova E.N. Solution of optimization problems in gas dynamics using cloud and parallel computing.
Arutyun Avetisyan. Two-stage compilation for optimizing and deploying programs in general purpose languages. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 11-18.
A.Y. Tikhonov, A.I. Avetisyan. Combined (static and dynamic) analysis of binary code. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 131-152.
I. N. Ledovskikh, M.G. Bakulin. An Approach to Reconstruction Control Flow of the Obfuscated Program. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 153-168.
V.N. Ignatyev. Using static analysis for checking configurable semantic restrictions on a programming language. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 169-188.
Alexander Kudryavtsev, Vladimir Koshelev, Arutyun Avetisyan. The prospects for virtualization of high performance x64 systems. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 189-210.
Arutyun Avetisyan. Instruction scheduling and software pipelining for modern architectures. Proceedings of the Institute for System Programming. Volume 22, 2012 . Стр. 19-32.
Andrey Belevantsev, Alexey Merkulov, Vladimir Platonov. Optimizations in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 211-222.
A. Monakov. On Optimizing OpenFOAM GPU Solvers. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 223-232.
Roman Zhuykov, Dmitry Melnik, Ruben Butchaskiy. Loops software pipelining on ARM platform. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 33-48.
Roman Zhuykov, Dmitry Plotnikov, Mamikon Vardanyan. Automatic tuning of GCC optimizations for ARM platform. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 49-66.
Kirill Batuzov. Local Register Allocation Problem in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 67-76.
K. Batuzov, P. Dovgaluk, V.Koshelev, V. Padaryan. Two approaches to full-system deterministic replay in QEMU. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 77-94.
A.I. Avetisyan, A.I. Getman. Recovery the structure of binary data on the program traces. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 95-118.
M.S. Akopyan. Extension of ParJava model for HPC clusters with multicore nodes. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 13-32.
Alexey Merkulov, Andrey Belevantsev. Implementation of Loop Pipelining and Assignment Inlining in the C-to-HDL Translator. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 33-48.
Kurmangaleev S.F., Korchagin V.P., Matevosyan H.A. Description of the approach to development of the obfuscating compiler. Proceedings of the Institute for System Programming. Volume 23, 2012 . pp. 67-76.
V.A. Padaryan, M.A. Solovyev, A.I. Kononov. Modeling operational semantics of machine instructions.
Kirill Batuzov, Alexey Merkulov. Optimizations in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 37-50.
A.Y. Tichonov, A.I. Avetisyan. Development of taint-analysis methods to solve the problem of searching of undeclared features. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 9-24.
Dmitry Melnik, Alexandr Monakov, Arutyun Avetisyan. Support for Conditional Execution in Selective Scheduling. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 103-118.
M.A. Klimushenkova, V.A. Makarov. A Method for Automatic Recovery of Variables Based on Program Execution Traces. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 119-122.
Pavel Dovgalyuk. Deterministic program rerun within a virtual machine. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 123-132.
A.I. Avetisyan, K.U. Dolgorukova, Sh.F. Kurmangaleev. Dynamic profile collection for LLVM. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 71-82.
A.I. Avetisyan, M.S. Akopyan, S.S. Gaissaryan. The methods of precise measurement of the loop nests' execution time during JavaMPI-programs analysis in ParJava environment. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 83-102.
Kalugin M.D., Teplukhin A.V. Study of caffeine-DNA interaction in aqueous solution by parallel Monte Carlo simulation. Journal of Structural Chemistry, 2010.
Pavel Dovgalyuk, Maria Klimushenkova, Anna Mukhina. Development of plug-ins for architectures support in TrEx using language for processors instructions specification. Proceedings of the Institute for System Programming. Volume 18, 2010 . pp. 81-90.
V.A. Padaryan, M.A. Soloviev, A.I. Kononov. Modeling operational semantics of machine instructions. Proceedings of the Institute for System Programming. Volume 19, 2010 . Стр. 165-186.
I.I. Karetin, V.A. Makarov. Power saving code optimization based on using the power controllable components of CPU. Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 187-194.
A.I. Getman, Y.V. Markin, V.A. Padaryan, E.I. Shchetinin. Format recovery. Proceedings of the Institute for System Programming. Volume 19, 2010 . pp. 195-214.
Kalugin, M.D., Teplukhin, A.V. Parallel Monte Carlo study on caffeine-DNA interaction in aqueous solution. Proceedings of the 2009 IEEE International Parallel and Distributed Processing Symposium, 2009.
А. Белеванцев, Д. Журихин, Д. Мельник. Компиляция программ для современных архитектур. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 31-50.
В.А. Падарян, А.И. Гетьман, М.А. Соловьев. Программная среда для динамического анализа бинарного кода. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 51-72.
А.И. Аветисян, В.В. Бабкова, А.В. Монаков. Обеспечение высокопродуктивного программирования для современных параллельных платформ. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 9-24.
К.Н. Долгова, А.В. Чернов. О некоторых задачах обратной инженерии. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 119-134.
В.А. Семенов, С.В. Морозов, О.А. Тарлапан, И.В. Энкович. Нечеткое сравнение коллекций: семантический и алгоритмический аспекты. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 181-209.
M.D. Kalugin Development of a parallel algorithm for numerical simulation of a thermal motion of water molecules done in ParJava environment. IV Russian-German School on Parallel Programming using High Performance Computation Systems, July 9-20, 2007.
Г.Т. Маракаева. Система классификации химических проб. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 59-76.
В.В. Рубанов, А.С. Михеев. Интегрированная среда описания системы команд встраиваемых процессоров. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 143-158.
Г.Т. Маракаева. Применение методов выявления закономерностей для классификации химических соединений. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 223-236.
П.М. Довгалюк. Разреженная модель базовых блоков для оптимизации потоков команд. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 23-28.
С.С. Гайсарян, К.Н. Долгова. Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 29-42.
П.В. Бойко. Метод виртуального процессора в защите программного обеспечения. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 43-50.
В.С. Несов, О.Р. Маликов. Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 51-56.
А. Белеванцев, М. Кувырков, Д. Мельник. Использование параллелизма на уровне команд в компиляторе для Intel Itanium. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 9-22.
В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 137-158.
П.М. Довгалюк. Анализ и оптимизация циклов с помощью производящих функций. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 15-21.
Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев. Параллельные алгоритмы компьютерной алгебры. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 169-180.
С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 181-200.
В.А. Семенов, С.В. Морозов, О.А. Тарлапан. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 21-52.
В.А. Семенов, С.В. Морозов, С.А. Порох. Стратегии объектно-реляционного отображения: систематизация и анализ на основе паттернов. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 53-92.
П.М. Довгалюк. Усовершенствованный алгоритм распространения констант с использованием GSA-представления. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 7-14.
А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров. Эвристики распределения задач для брокера ресурсов Grid. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 269-280.
В.А. Семенов, Е.В. Алексеева, С.В. Морозов, О.А. Тарлапан. Композиционный подход к построению программных приложений визуализации. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 175-214.
В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 41-62.
В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев, М.А. Миткевич. Динамическая поддержка расширений процессора в кросс-системе. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 63-88.
С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 7-40.
Д.Н. Волков. Вопросы организации распределенного хранения данных в системах обработки изображений. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 177-190.
А.В. Чернов. Об одном методе маскировки программ. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 85-119.
В.Н. Юдин. Система информационной поддержки врачебных решений, основанная на модифицированном методе динамического кластерного анализа. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 103-119.
В.В. Рубанов. Способы отображения объектов в реляционных базах данных. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 139-164.
В.В. Рубанов, М.А. Миткевич, Д.А. Марковцев, А.И. Гриневич. Ядро объектно-реляционной системы ODESTOR. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 165-179.
А.И. Аветисян, Д. А. Грушин, А.Г. Рыжов. Системы управления кластерами. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 39-62.
П.Н. Яковенко. Средства анализа параллельных SPMD программ. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 63-85.
А.В. Чернов. Анализ запутывающих преобразований программ. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 7-38.
О.И. Самоваров, И.В. Арапов, В.В. Бабкова. Объектная модель JSCALA. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 87-102.
А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян. Среда ParJava для разработки SPMD-программ для однородных и неоднородных сетей JavaVM. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 27-48.
А.И. Аветисян, В.А. Падарян. Библиотека интерфейсов и классов, расширяющих язык Java средствами разработки параллельных программ в модели SPMD. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 49-64.
О.И. Самоваров, С.С. Гайсарян, В.В. Бабкова. Объектные модели высокого уровня для разработки эффективных программ с параллелизмом по данным. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 5-26.
К.В. Антипин, В.В. Рубанов. Проблемы организации объектно-ориентированного доступа к реляционным базам данных. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 75-88.
В.П. Иванников, С.С. Гайсарян, К.В. Антипин, В.В. Рубанов. Объектно-ориентированное окружение, обеспечивающее доступ к реляционным СУБД. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 89-114.
В.А. Семенов, П.Б. Крылов, С.В. Морозов, М.Г. Роминов, О.А. Тарлапан. Объектно-ориентированная методология разработки интегрированных приложений моделирования и визуализации. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 122-137.
С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 26-38.

References: V. 
 V. 

V. 

V. 
 V. 
 V. 
 V. 

V. 
 V. 
 V.