Compiler Technology Department


Publications

2017

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.

2016

  1. Natalia Fursova Introspection of the virtual machines with system calls monitoring: student research abstract. SAC '16 Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pages 1582-1583, ACM New York.
  2. 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.
  3. 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.
  4. 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.

2015

  1. 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.
  2. Sevak Sargsyan, Shamil Kurmnagaleev, Andrey Belevantsev, Hayk Aslanyan, Artiom Baloian Scalable code clone detection tool based on semantic analysis Proceedings of the Institute for System Programming. Volume 27, issue 1, 2015 . pp. 39-50
  3. 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.
  4. M.S. Akopyan Using Multithreaded Processes in ParJava Environment Proceedings of the Institute for System Programming. Volume 27, issue 2, 2015 . pp. 5-22.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. Roman Zhuykov, Eugene Sharygin Ahead of Time Optimization for JavaScript Programs Proceedings of the Institute for System Programming. Volume 27, issue 6, 2015 . pp. 67-86.
  13. 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.

2014

  1. A.I. Getman, V.A. Padaryan Data format recovery through binary code analysis: state and perspectives. Magazine “Problems of information security. Computer systems”, №3, 2014.
  2. V.P. Ivannikov, A.A. Belevantsev, A.E. Borodin, V.N. Ignatiev, D.M. Zhurikhin, A.I. Avetisyan, M.I. Leonov. Static analyzer Svace for finding of defects in program source code. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 231-250.
  3. V.A. Padaryan, A.I. Getman, M.A. Solovyev, M.G. Bakulin, A.I. Borzilov, V.V. Kaushan, I.N. Ledovskich, U.V. Markin, S.S. Panasenko. Methods and software tools for combined binary code analysis. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 251-276.
  4. Dovgalyuk P.M., Makarov V.A., Padaryan V.A., Romaneev M.S., Fursova N.I. Application of software emulators for the binary code analysis. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 277-296.
  5. Roman Zhuykov, Dmitry Melnik, Ruben Buchatskiy, Vahagn Vardanyan, Vladislav Ivanishin, Eugene Sharygin. Dynamic and ahead of time optimization for JavaScript programs. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 297-314.
  6. Sergey Gaissaryan, Shamil Kurmangaleev, Kseniya Dolgorukova, Valery Savchenko, Sevak Sargsyan. Applying two-stage LLVM-based compilation approach to application deployment via cloud storage. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 315-326.
  7. Victor Ivannikov, Shamil Kurmangaleev, Andrey Belevantsev, Alexey Nurmukhametov, Valery Savchenko, Hripsime Matevosyan, Arutyun Avetisyan. Implementing Obfuscating Transformations in the LLVM Compiler Infrastructure. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 327-342.
  8. Dmitry Melnik, Shamil Kurmangaleev, Arutyun Avetisyan, Andrey Belevantsev, Dmitry Plotnikov, Mamikon Vardanyan. Optimizing programs for given hardware architectures with static compilation: methods and tools. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 343-356.
  9. Alexander Monakov, Eugene Velesevich, Vladimir Platonov, Arutyun Avetisyan. Analysis and development tools for efficient programs on parallel architectures. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 357-374.
  10. O.I. Samovarov, S.S. Gaysaryan. The web-laboratory architecture based on the cloud and the UniHUB implementation as an extension of the OpenStack platform. Proceedings of the Institute for System Programming. Volume 26, issue 1, 2014 . pp. 403-420.
  11. P.M. Dovgalyuk, Y.V. Markin. Using Deterministic Replay for Software Fault Injection. Proceedings of the Institute for System Programming. Volume 26, issue 2, 2014 . pp. 119-136.
  12. O.V.Goremykin. Description of hardware configurations of guest systems in QEMU emulator as separate text files. Proceedings of the Institute for System Programming. Volume 26, issue 2, 2014 . pp. 87-96.
  13. V.K. Koshelev, A.O. Izbyshev, I.A. Dudina. Interprocedural taint analysis for LLVM-bitcode. Proceedings of the Institute for System Programming. Volume 26, issue 2, 2014 . pp. 97-118.
  14. Alexey Borodin. Static detection of error of double locking of mutex. Proceedings of the Institute for System Programming. Volume 26, issue 3, 2014 . pp. 103-112.
  15. A. Nurmukhametov, Sh. Kurmangaleev, V. Kaushan, S. Gaissaryan. Compiler protection techniques against software vulnerabilities exploitation. Proceedings of the Institute for System Programming. Volume 26, issue 3, 2014 . pp. 113-126.
  16. V.A. Padaryan, V.V. Kaushan, A.N. Fedotov. Automated exploit generation method for stack buffer overflow vulnerabilities. Proceedings of the Institute for System Programming. Volume 26, issue 3, 2014 . pp. 127-144.
  17. Ksenia Dolgorukova. Overview of Scalable Frameworks of Cross-Module Optimization. Proceedings of the Institute for System Programming. Volume 26, issue 3, 2014 . pp. 69-90.
  18. A. Monakov, V. Platonov. Optimizations for linear solvers in OpenFOAM for MPI + CUDA platform. Proceedings of the Institute for System Programming. Volume 26, issue 3, 2014 . pp. 91-102.
  19. A.I. Avetisyan. Preface. Proceedings of the Institute for System Programming. Volume 26, issue 5, 2014 . pp. 5-6.

2013

  1. S.S. Gaissaryan, V.A. Padaryan, А.YU. Tikhonov. Combined approach in binary code analysis for information security problems. The Proceedings of XXII Conference «Methods and technics for information security», 2013.
  2. Alexander Getman, Vartan Padaryan, Mikhail Solovyev Combined approach to solving problems in binary code analysis. Proceedings of 9th International Conference on Computer Science and Information Technologies (CSIT’2013), 2013.
  3. Sh.F. Kurmangaleev. Machine-specific optimization methods for C/C++ applications that are distributed in the LLVM intermediate representation format. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 127-144.
  4. Sh.F. Kurmangaleev, K.Y. Dolgorukova, V.V. Savchenko, A.R. Nurmukhametov, H. A Matevosyan, V.P. Korchagin. Software deobfuscation methods: analysis and implementation. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 145-160.
  5. I.A. Dudina, A.O. Kudryavtsev, S.S. Gaissaryan. Topology-aware cloud scheduling for HPC. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 35-48.
  6. M.S. Akopyan, N.E. Andreev. Research and development of inefficiency patterns in MPI, UPC applications. Proceedings of the Institute for System Programming. Volume 24, 2013 . pp. 49-70.

2012

  1. Pavel Dovgalyuk. Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging. Proceedings of 16th European Conference on Software Maintenance and Reengineering (CSMR’2012), 2012.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. Arutyun Avetisyan. Instruction scheduling and software pipelining for modern architectures. Proceedings of the Institute for System Programming. Volume 22, 2012 . Стр. 19-32.
  9. Andrey Belevantsev, Alexey Merkulov, Vladimir Platonov. Optimizations in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 211-222.
  10. A. Monakov. On Optimizing OpenFOAM GPU Solvers. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 223-232.
  11. 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.
  12. 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.
  13. Kirill Batuzov. Local Register Allocation Problem in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 22, 2012 . pp. 67-76.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.

2011

  1. A.I. Avetisyan, A.I. Getman, V.A. Padaryan, M.A. Solovyev, A.YU. Tikhonov. Features of TRAL, a binary code analysis framework, and its future directions. The Proceedings of XX Conference «Methods and technics for information security», 2011.
  2. V.A. Padaryan, M.A. Solovyev, A.I. Kononov. Modeling operational semantics of machine instructions.
  3. Kirill Batuzov, Alexey Merkulov. Optimizations in Dynamic Binary Translation. Proceedings of the Institute for System Programming. Volume 20, 2011 . pp. 37-50.
  4. 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.
  5. 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.
  6. 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.
  7. Pavel Dovgalyuk. Deterministic program rerun within a virtual machine. Proceedings of the Institute for System Programming. Volume 21, 2011 . pp. 123-132.
  8. 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.
  9. 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.

2010

  1. Kalugin M.D., Teplukhin A.V. Study of caffeine-DNA interaction in aqueous solution by parallel Monte Carlo simulation. Journal of Structural Chemistry, 2010.
  2. 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.
  3. 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.
  4. 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.
  5. 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.

2009

  1. 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.
  2. А. Белеванцев, Д. Журихин, Д. Мельник. Компиляция программ для современных архитектур. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 31-50.
  3. В.А. Падарян, А.И. Гетьман, М.А. Соловьев. Программная среда для динамического анализа бинарного кода. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 51-72.
  4. А.И. Аветисян, В.В. Бабкова, А.В. Монаков. Обеспечение высокопродуктивного программирования для современных параллельных платформ. Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009 . Стр. 9-24.

2008

  1. Avetisyan A.I., Gaissaryan S.S., Kalugin M.D., Teplukhin A.V. Development of parallel algorithm for computer simulation of water-ion DNA cover. Proceedings of XIII Baikal Conference on Information and Mathematical Technologies in Science and Management. 2008.
  2. Avetisyan А.I., Babkova V.V., Kalugin M.D. Parallel software development in ParJava. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2008.
  3. К.Н. Долгова, А.В. Чернов. О некоторых задачах обратной инженерии. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 119-134.
  4. В.А. Семенов, С.В. Морозов, О.А. Тарлапан, И.В. Энкович. Нечеткое сравнение коллекций: семантический и алгоритмический аспекты. Proceedings of the Institute for System Programming. Volume 15 (in Russian), 2008 . Стр. 181-209.

2007

  1. 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.
  2. Г.Т. Маракаева. Система классификации химических проб. Proceedings of the Institute for System Programming. Volume 13, issue 2 (in Russian), 2007 . Стр. 59-76.

2006

  1. В.В. Рубанов, А.С. Михеев. Интегрированная среда описания системы команд встраиваемых процессоров. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 143-158.
  2. Г.Т. Маракаева. Применение методов выявления закономерностей для классификации химических соединений. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 223-236.
  3. П.М. Довгалюк. Разреженная модель базовых блоков для оптимизации потоков команд. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 23-28.
  4. С.С. Гайсарян, К.Н. Долгова. Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 29-42.
  5. П.В. Бойко. Метод виртуального процессора в защите программного обеспечения. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 43-50.
  6. В.С. Несов, О.Р. Маликов. Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 51-56.
  7. А. Белеванцев, М. Кувырков, Д. Мельник. Использование параллелизма на уровне команд в компиляторе для Intel Itanium. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 9-22.

2004

  1. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'. Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004 . Стр. 137-158.
  2. П.М. Довгалюк. Анализ и оптимизация циклов с помощью производящих функций. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 15-21.
  3. Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев. Параллельные алгоритмы компьютерной алгебры. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 169-180.
  4. С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 181-200.
  5. В.А. Семенов, С.В. Морозов, О.А. Тарлапан. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 21-52.
  6. В.А. Семенов, С.В. Морозов, С.А. Порох. Стратегии объектно-реляционного отображения: систематизация и анализ на основе паттернов. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 53-92.
  7. П.М. Довгалюк. Усовершенствованный алгоритм распространения констант с использованием GSA-представления. Proceedings of the Institute for System Programming. Volume 8, issue 2 (in Russian), 2004 . Стр. 7-14.
  8. А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров. Эвристики распределения задач для брокера ресурсов Grid. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 269-280.
  9. В.А. Семенов, Е.В. Алексеева, С.В. Морозов, О.А. Тарлапан. Композиционный подход к построению программных приложений визуализации. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 175-214.
  10. В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 41-62.
  11. В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев, М.А. Миткевич. Динамическая поддержка расширений процессора в кросс-системе. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 63-88.
  12. С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ. Proceedings of the Institute for System Programming. Volume 5 (in Russian), 2004 . Стр. 7-40.

2003

  1. Д.Н. Волков. Вопросы организации распределенного хранения данных в системах обработки изображений. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 177-190.
  2. А.В. Чернов. Об одном методе маскировки программ. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 85-119.

2002

  1. В.Н. Юдин. Система информационной поддержки врачебных решений, основанная на модифицированном методе динамического кластерного анализа. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 103-119.
  2. В.В. Рубанов. Способы отображения объектов в реляционных базах данных. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 139-164.
  3. В.В. Рубанов, М.А. Миткевич, Д.А. Марковцев, А.И. Гриневич. Ядро объектно-реляционной системы ODESTOR. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 165-179.
  4. А.И. Аветисян, Д. А. Грушин, А.Г. Рыжов. Системы управления кластерами. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 39-62.
  5. П.Н. Яковенко. Средства анализа параллельных SPMD программ. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 63-85.
  6. А.В. Чернов. Анализ запутывающих преобразований программ. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 7-38.
  7. О.И. Самоваров, И.В. Арапов, В.В. Бабкова. Объектная модель JSCALA. Proceedings of the Institute for System Programming. Volume 3 (in Russian), 2002 . Стр. 87-102.

2001

  1. A. Avetisyan, S. Gaissaryan, O. Samovarov. Extension of Java Environment by Facilities Supporting Development of SPMD Java-programs V. Malyshkin (Ed.): PaCT 2001, LNCS 2127, Springer-Verlag Berlin Heidelberg 2001, pp. 175-180.
  2. А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян. Среда ParJava для разработки SPMD-программ для однородных и неоднородных сетей JavaVM. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 27-48.
  3. А.И. Аветисян, В.А. Падарян. Библиотека интерфейсов и классов, расширяющих язык Java средствами разработки параллельных программ в модели SPMD. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 49-64.
  4. О.И. Самоваров, С.С. Гайсарян, В.В. Бабкова. Объектные модели высокого уровня для разработки эффективных программ с параллелизмом по данным. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 5-26.
  5. К.В. Антипин, В.В. Рубанов. Проблемы организации объектно-ориентированного доступа к реляционным базам данных. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 75-88.
  6. В.П. Иванников, С.С. Гайсарян, К.В. Антипин, В.В. Рубанов. Объектно-ориентированное окружение, обеспечивающее доступ к реляционным СУБД. Proceedings of the Institute for System Programming. Volume 2 (in Russian), 2001 . Стр. 89-114.

2000

  1. В.А. Семенов, П.Б. Крылов, С.В. Морозов, М.Г. Роминов, О.А. Тарлапан. Объектно-ориентированная методология разработки интегрированных приложений моделирования и визуализации. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 122-137.
  2. С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения. Proceedings of the Institute for System Programming. Volume 1 (in Russian), 2000 . Стр. 26-38.