Proceedings of ISP RAS


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.

Back to the list of all volumes