• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Improving Portability of Linux Applications by Early Detection of Interoperability Issues
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
July 20, 2026
Scientists Create Open Dataset for Studying Concentration
A team of Russian researchers, including scientists from HSE University–St Petersburg, has developed the first open multimodal dataset containing recordings of brain activity, heart function, and video observations to help researchers understand what happens in the human brain during deep concentration. In the future, the dataset could accelerate the development of neural interfaces, rehabilitation technologies, and AI systems. The article has been published in Scientific Data.
July 20, 2026
‘Science Is Universal-It Knows No Borders
Fuad Aleskerov, Tenured Professor and Director of the International Centre of Decision Choice and Analysis at HSE University, together with his colleagues, has developed methods of network analysis in bibliometrics that have made it possible to identify patterns in the appearance and citation of publications in academic journals, as well as their influence on each other. When one or a number of studies are frequently cited by a wide range of journals, this is an indicator that the research is of high quality. By contrast, extensive cross-citation within a limited group of journals increases the likelihood of identifying a network of predatory publications.
July 20, 2026
Scientists Propose Method for More Efficient Resource Use in Machine Learning
An international group of researchers, including mathematicians from the AI and Digital Science Institute at the HSE Faculty of Computer Science, has provided a theoretical justification for a simple and computationally efficient method of estimating uncertainty in Stochastic Gradient Descent (SGD). The paper has been published on the scientific preprint server arXiv.org and presented at AISTATS 2026.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Improving Portability of Linux Applications by Early Detection of Interoperability Issues

P. 357–370.
Silakov D., Smachev A.

This paper presents an approach aimed at simplifying development of portable Linux applications, suggesting a method of detecting compatibility problems between any Linux application and distribution by means of static analysis of executable files and shared libraries. In the paper we concern the idea of successful launching of application in a distribution. A formal model is constructed that describes interfaces invoked during the program launching. A set of conditions is derived that should be satisfied by application's and distribution's files in order to make it possible for application to successfully launch in distribution. The Linux Application Checker tool is described that supports the approach and allows to detect portability problems of applications at early stage of development.

Language: English
Keywords: LINUXLINUXInteroperabilityсопровождение программного обеспечения

In book

Lecture Notes in Computer Science
Margaria T., Steffen B. Vol. 6416: Leveraging Applications of Formal Methods, Verification, and Validation. , Springer, 2010.
Similar publications
Девятнадцатая конференция «Свободное программное обеспечение в высшей школе» : материалы конференции / Переславль-Залесский, 28–30 июня 2024 года
М.: МАКС Пресс, 2024.
The book contains theses of talks approved by the Program Committee of the Nineteenth Conference “Free Software in Higher Education”. ...
Added: October 25, 2025
Двадцатая конференция "Свободное программное обеспечение в высшей школе" : материалы конференции / Переславль-Залесский, 07–09 февраля 2025 г.
М.: МАКС Пресс, 2025.
The book contains conference proceedings approved by the Program Committee of the Twentieth Conference ‘Free Software in Higher Education’. ...
Added: October 24, 2025
Exploring the Eolang-Java Integration and Interoperability
Saleh H., Attakorah J., Zykov S. V. et al., , in: Procedia Computer Science. Proceedings of the 25th International Conference KES2021: Knowledge-Based and Intelligent Information & Engineering SystemsVol. 192.: Elsevier, 2021. P. 4560–4569.
In recent times, the subject of interoperability has become very popular. In large-scale software applications development, it is a common practice to combine multiple languages in solving peculiar problems and developing robust solutions. The ability to combine multiple languages allows an easy migration of an existing project from one language to another or use existing ...
Added: February 4, 2022
Virtuozzo Linux 8 и OpenVZ 8 — текущее состояние и планы
Silakov D., В кн.: СПО: от обучения до разработки. Объединённая конференция. Переславль-Залесский, 15–18 июня 2021 г. : сборник тезисов конференции.: М.: ООО «Макс Пресс», 2021. С. 144–146.
С целью упрощения поддержки, OpenVZ 7 изначально основывал- ся на ядре и пакетной базе Red Hat Enterprise Linux (RHEL). В 2019 году вышел RHEL 8, и уже более двух лет идут работы по переводу ядра и утилит OpenVZ на эту версию. В качестве первого шага, был налажен процесс сборки и обновления дистрибутива Virtuozzo Linux 8. ...
Added: January 31, 2022
СПО: от обучения до разработки. Объединённая конференция. Переславль-Залесский, 15–18 июня 2021 г. : сборник тезисов конференции
Silakov D., М.: ООО «Макс Пресс», 2021.
В книге собраны тезисы конференции, одобренные Программным комитетом объединённой конференции «СПО: от обучения до разработки». ...
Added: January 31, 2022
О социально-экономических последствиях внедрения перспективных цифровых технологий
Рейнгольд Л. А., Соловьев А. В., Klychikhina O., В кн.: Россия: Тенденции и перспективы развития. Ежегодник. Вып. 16. Ч. 2: XII Международная научно-практическая конференция «Регионы России: Стратегии развития и механизмы реализации приоритетных национальных проектов и программ», конференция «Научно-технологическое развитие России: Приоритеты, проблемы, решения» / РАН. ИНИОН. Отд. науч. сотрудничества; Отв. ред. В.И. Герасимов. – М., 2021. – Ч. 2. – 1024 с. ISBN 978-5-248-01003-5Ч. 2. Вып. 16.: ИНИОН РАН. Отд. науч. сотрудничества, 2021. С. 367–373.
В настоящее время формируется новая цифровая среда общества, требуется осмысление социально-экономических последствий технологической трансформации. Происходят качественные изменения в цифровых технологиях, в результате которых в ближайшие нескольких лет природная среда по лучит принципиально новые свойства. Возникают в новом качестве следующие комплексы проблем: – Скрытая сложность среды, окружающей человека, при кажущемся ее упрощении; – Необходимость сосуществования субъектов со все ...
Added: October 12, 2021
Обновление CentOS 7 до Virtuozzo Linux 8, или до CentOS 8, но с помощью инструментов Virtuozzo
Silakov D., Системный администратор 2021 № 1-2 С. 10–14
Проблема бесшовного перехода с одной версии CentOS на другую не теряет остроты со времен выхода CentOS 6. Выход CentOS 8 не привнес ничего нового - официальных инструментов обновления с CentOS 7 нет, а изменение отношения к дистрибутиву со стороны компании RedHat и вовсе заставляет задуматься, не выбрать ли другую альтернативу, также основанную на исходных кодах ...
Added: February 25, 2021
Разворачиваем и обслуживаем кластер Kubernetes с минимумом усилий
Silakov D., Системный администратор 2020 № 10 С. 28–31
Установка и настройка компонентов Kubernetes никогда не была сверхсложным делом, но и совсем тривиальной ее не назовешь. Традиционный подход с использованием kubeadm подразумевает изрядный набор ручных действий со стороны системного администратора ...
Added: October 13, 2020
The Lessons of Forced Distance Learning: Software Engineering Approach in the Gap of Generations of Educational Software
Beresneva E., Gordenko M., Maksimenkova O. V. et al., , in: Educating Engineers for Future Industrial Revolutions. ICL 2020, vol 1. Advances in Intelligent Systems and ComputingVol. 1328.: Springer, 2021. P. 54–65.
Added: October 9, 2020
Интероперабельность как фактор развития права в сфере электронного здравоохранения
Zhuravlev M., Право. Журнал Высшей школы экономики 2019 № 3 С. 98–116
The development of e-Health in the digital economy requires a comprehensive information exchange between all stakeholders. This interaction is ensured through the interoperability of information systems, data, technical solutions, processes and management methods. In an interoperable information environment, a synergistic effect of interaction is achieved, in which each participant benefits from the use of data ...
Added: October 18, 2019
Открытое решение Graylog. Cбор и анализ событий в сетях промышленных масштабов.
Silakov D., Системный администратор 2019 Т. 3 С. 24–29
Задача сбора и анализа всевозможных журналов с множества машин в подконтрольной системному администратору сети существует столько же, сколько компьютерные сети как таковые. За это время заметно эволюционировали (и революционно выросли в объеме) как сами собираемые данные, так и инструменты сбора. ...
Added: April 9, 2019
Apache Mesos. Знакомимся с конкурентом Kubernetes и Docker Swarm
Silakov D., Системный администратор 2018 № 10 С. 34–39
С ростом популярности контейнеризации приложений растет спрос на приложения, способные управлять большим количеством контейнеров. На слуху прежде всего Kubernetes и Docker Swarm. Однако у них есть и другие достойные открытые конкуренты. В этой статье мы рассмотрим Mesos, развиваемый фондом Apache ...
Added: February 20, 2019
ReadyKernel — инструментарий и сервис обновления ядра без перезагрузки на основе kpatch
Silakov D., В кн.: Тезисы докладов четырнадцатой конференции разработчиков свободных программ.: М.: ООО «Макс Пресс», 2017. С. 49–51.
Обновление ядра в Linux сопряжено с перезагрузкой системы, а следовательно - с временной недоступностью ее сервисов. Инструментарий kexec снижает время перехода на новое ядро, однако и при его использовании время недоступности системы может достигать десятков секунд. Для ряда пользователей даже десять секунд - достаточно заметное время простоя, которого хочется избежать. При этом ядро обновлять все-таки ...
Added: October 19, 2018
Тезисы докладов четырнадцатой конференции разработчиков свободных программ
Silakov D., М.: ООО «Макс Пресс», 2017.
В книге собраны тезисы докладов, одобренных Программным комитетом четырнадцатой конференции разработчиков свободных программ. ...
Added: October 19, 2018
Опыт обновления CentOS 6 до CentOS 7 с сохранением всех настроек и параметров конфигурации
Silakov D., Системный администратор 2018 № 6 С. 24–28
CentOS 7 was released in 2014, but many system administrators still use the old CentOS 6.x. The more so since updates for CentOS 6 are going to be released till the year 2020. There are a lot of reasons to use the old version, but one of the major ones is significants of functional changes ...
Added: October 19, 2018
Распространение ПО в Linux: контейнеры или пакеты?
Silakov D., Системный администратор 2017 № 6-7 С. 19–23
Many third party applications installed in a Linux system only requires a minimal base components from the target distribution and it is logical to put them intsome isolated environment which will guarantee additional stability and safety - for example, in case when application libraris overrided the system ones. Container (more particular - isolation techniques that are ...
Added: August 24, 2017
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit