Proceedings of the Institute for System Programming. Volume 22, 2012, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
V.P. Ivannikov. Introduction. pp. 5-10.
Arutyun Avetisyan. Two-stage compilation for optimizing and deploying programs in general purpose languages. pp. 11-18.
Arutyun Avetisyan. Instruction scheduling and software pipelining for modern architectures. Стр. 19-32.
Roman Zhuykov, Dmitry Melnik, Ruben Butchaskiy. Loops software pipelining on ARM platform. pp. 33-48.
Roman Zhuykov, Dmitry Plotnikov, Mamikon Vardanyan. Automatic tuning of GCC optimizations for ARM platform. pp. 49-66.
Kirill Batuzov. Local Register Allocation Problem in Dynamic Binary Translation. pp. 67-76.
K. Batuzov, P. Dovgaluk, V.Koshelev, V. Padaryan. Two approaches to full-system deterministic replay in QEMU. pp. 77-94.
A.I. Avetisyan, A.I. Getman. Recovery the structure of binary data on the program traces. pp. 95-118.
V.O. Savitskiy, D.V. Sidorov. Incremental source code analysis for C/C++ languages. pp. 119-130.
A.Y. Tikhonov, A.I. Avetisyan. Combined (static and dynamic) analysis of binary code. pp. 131-152.
I. N. Ledovskikh, M.G. Bakulin. An Approach to Reconstruction Control Flow of the Obfuscated Program. pp. 153-168.
V.N. Ignatyev. Using static analysis for checking configurable semantic restrictions on a programming language. pp. 169-188.
Alexander Kudryavtsev, Vladimir Koshelev, Arutyun Avetisyan. The prospects for virtualization of high performance x64 systems. pp. 189-210.
Andrey Belevantsev, Alexey Merkulov, Vladimir Platonov. Optimizations in Dynamic Binary Translation. pp. 211-222.
A. Monakov. On Optimizing OpenFOAM GPU Solvers. pp. 223-232.
Igor Burdonov, Alexander Kosachev. The final models of specification. pp. 233-280.
Sergey Vartanov, Denis Sidorov. Optimization of Boolean satisfiability solver by caching intermediate results. pp. 281-292.
Khoroshilov A.V., Mandrykin M.U., Mutilin V.S., Novikov E.M. Static Verification Tools for C Programs and Linux Device Drivers: A Survey. pp. 293-326.
Vadim Mutilin, Mikhail Mandrykin. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. pp. 327-348.
Mutilin V.S., Novikov E.M., Khoroshilov A.V. Analysis of typical faults in Linux operating system drivers. pp. 349-374.
A.V. Tretyakov. Automation of scheduling for periodic real-time systems. pp. 375-400.
A.G. Gomzin, A.V. Korshunov. Recommender systems: a survey of modern approaches. pp. 401-418.
M.M. Bernovskiy, N.N. Kuzyurin. Random graphs, models and generators of scale-free graphs. pp. 419-434.
V.A.Zakharov, T.A. Novikova. Polynomial time algorithm for checking strong equivalence of program. pp.435-455.
M.A. Trushnikov. On one problem of Koffman-Shor connected with strip packing. pp. 456-462.
A.V. Shokurov. Comparing complexities of problems of determining of Grebner’s basis of ideal and solving this ideal. pp. 463-474.
Ya.A. Khetagurov. On creation approximating functions of characteristics of small number of systems. pp. 475-492.