Institute for System Programming of the Russian Academy of Sciences

20 December, 2016

Russian World-class Software Presented at the ISP RAS Open Conference

The 1-st Research and Development Conference of the Institute for System Programming RAS took place at the Russian Academy of Sciences in the beginning of December. The conference summed up two decades of work, during which the Institute had been developing new software products, technologies and services.

Many of them were unknown to a wider audience until recently; some of those, featured at the conference, attracted considerable interest of the colleagues in the IT sphere and journalists.

Among the technologies and products were: software code and data files analysis tools, content (including social networks) analysis services, software to prevent non-authorized access to code and databases, code obfuscation, computational modeling and simulation methods, etc. A number of technologies were presented at the exhibition of the Institute's research works, that accompanied the conference. Foreign corporations, domestic companies, and government agencies — the world leaders in electronics development and manufacturing: a long-lasting strategic partnership binds many of them with the ISP RAS — are customers and users of those high-tech products.

“The Institute is one of the best research partners of our center in the world. We hope our partnership will last further on,” says Chul Jo Kim, the representative of the Seoul-based Software Research Centre at the Samsung Company headquarters.

“We have been successfully cooperating with the scientists and programmers of the ISP RAS for many years,” assures the president of the “” association Andrey Tikhonov. “And it is important to us that the life cycle of the Russian Tizen distribution support is accomplished on the bases of the Institute. Tizen is an international ecosystem, and there is a huge proportion of Russian specialists working in it. A very high level of of corporate mobile infrastructure security is their premier merit.”

“We’ve applied the classical MIPT model of institute structuring aimed at the education through research, close integration of the fundamental science, education, and industry. This model supports permanent manpower development and, at the same time, generates new technologies on the permanent and long-lasting basis,” says the director of the ISP RAS Arutyun Avetisyan, “and this model has been a success. For the previous two decades the Institute has earned a sound and good reputation both in Russia and abroad.”

Being established in 1994 by V.P. Ivannikov, ISP RAS has become a federal centre of the domestic system software development, a scientific institute directly related to the informational security of the state.

“Our service pays considerable attention to the increasing level of security of information systems in Russia”, the vice-director of the Federal Service for Technical and Export Control Vitaliy Lutikov said, “ in close cooperation with the ISP RAS, we are engaged in the analysis of a large amount of software as well as in the development of the software bug detection methods. I would like to thank the employees of the Institute for their significant contribution to our common cause — the matter of security. We need these techniques very much, so we will try to deploy them at all levels. As can be seen from the wide range of topics covered at the conference, the projects and promising developments of ISP RAS can be widely used in other fields and industries where safety, security, the absence of programming errors, and vulnerabilities are of the most importance.

It was not surprising that a significant number of reports at the Research Development Conference were dedicated to this subject. Employees of ISP RAS spoke on “Static analysis techniques in security software development life cycle”, “Formalization of Error Criteria for static symbolic execution”, “Application of Compiler-based Obfuscation and Diversification for Program Signature Modification”. Webcontent mining applied technologies were discussed as well as the method of automatic user age verification by means of social networks and identification of primary residence of social networks users, based on a social graph.

In the course of the conference, new concepts and products were presented by Russian and foreign companies, among which were: Software R&D Center Samsung Electronics, Russian Research Center Huawei Technologies, Mail.Ru Group, “CPROVER” as well as universities like MSU, MIPT, MSTU, N.N.Krasovsky Institute of Mechanics and Mathematics after N.N. Krasovski, ETH Zurich, Instituto Politecnico Nacional, University of Zagreb, UPC Barcelona Tech, Universität der Bundeswehr München, MIO Toulon University, and others.

“The Open Conference is the positive experience for our Institute,” Arutyun Avetisyan concludes, “It can be seen both from the list of attendees and the variety of research topics, not to mention the great interest caused by the topics. For these two days, we have been discussing not startups and plans but the results of a durable scientific and practical work, sometimes lasting more than a decade from the concept to its implementation. We've managed to feature a range of world-class technologies in virtually all aspects of system programming: compiler technologies, parallel and distributed computing, verification and software testing technologies, analyzing and processing large amounts of data, semantic search. Yet, the list of topics for discussion and further scientific research is far from being over.

The open meeting of Russian and foreign scientists, programmers and developers, according to the general decision of all the participants of the conference, has to become an annual event and is to be held as a Scientific-practical conference in memory of Victor Petrovich Ivannikov.

For more information, please contact: Novomlinskaya Anna, +7-916-735-33-66,

Information partners of the conference: CNews, Interfax, Open systems, The expert centre of the digital state, BIT, System administrator, Science and Life, ComNews, IT events, Global CIO, CMS magazine,,,

All news