JetBrains Research
Подводим итоги 2021
Новые сотрудники, проекты, области исследований — прошедший год был полон событий и приключений. Многие из нас вернулись к привычным рабочим процессам в офисах, но нам удалось сохранить открытость онлайн-формата. Активная работа со студентами и молодыми специалистами вдохновила нас на свежие идеи и партнерства.
Мы подготовили обзор главных новостей прошедшего года и рады познакомить вас с нашими командами.
JetBrains Research в числах
За 2021 год
Новые лаборатории
Алгоритмы для конкурентных и распределенных систем
Разработка и анализ алгоритмов и структур данных для многоядерных и распределенных систем
Астрофизика и физика частиц
Применение современных вычислительных методов для обработки экспериментальных данных в астрофизике и физике частиц
Команда JetBrains Research
Новости исследовательских групп
Группа биоинформатики

- 3 выступления на конференции Moscow Conference on Computational Biology 2021:
- Алексей Сергушичев: «Fast gene set enrichment analysis with multi-level Monte-Carlo approach».
- Никита Алексеев: «Method for detection of parallel adaptation with genome rearrangements in bacterial populations».
- Константин Зайцев: «Identification and separation of sources of transcriptional variability in single-cell RNA-seq data».
- Релизы:
- 4 публикации.
- Организация регулярного открытого семинара Университета ИТМО по биоинформатике.
- Помощь в проведении Bioinformatics Contest.
- 3 дипломные работы под научным руководством сотрудников лабораторий (ИТМО).
Публикации
Chromosome-level genome assemblies of the malaria vectors Anopheles coluzzii and Anopheles arabiensis
Zamyatin A. et al. // GigaScience 2021, Vol. 10, No. 3, pp. 1-16
High Rates of Genome Rearrangements and Pathogenicity of Shigella spp
Seferbekova Z. et al. // Frontiers in Microbiology, 2021, Vol. 12, pp. 628622
Chromosome-Level Genome Assemblies Expand Capabilities of Genomics for Conservation Biology
Totikov A. et al. // Genes, 2021, Vol. 12, No. 9, P. 1336
BioLabs

- 2 публикации.
- 3 постерных доклада на ACM-BCM Workshop on Algorithms in Bioinformatics WABI 2021.
- 2 постерных доклада на Moscow Conference on Computational Molecular Biology MCCMB 2021.
- Сотрудничество с Институтом Макса Планка когнитивных наук и наук о мозге (Лейпциг, Германия) в рамках проекта PubTrends.
- Регулярные релизы:
- Плагин SnakeCharm для PyCharm IDE, позволяющий разрабатывать вычислительные пайплайны в экосистеме Snakemake;
- Система анализа научных статей PubTrends (исходный код опубликован на GitHub);
- Viktor — библиотека для работы с многомерными массивами и эффективными векторными вычислениями на Kotlin.
- Прочитано 2 курса:
- «Разработка вычислительных пайплайнов с помощью Snakemake» (Роман Чернятчик, магистерская программа «Биоинформатика и системная биология, ИТМО);
- «Вычислительные методы анализа эпигенетических данных» (Олег Шпынов, Роман Чернятчик, магистерская программа «Биоинформатика и системная биология», ИТМО).
- 7 проектов для летних стажировок:
- New Interactive Integrated Biological Analyzation Service;
- Methods for aggregated epigenetics data visualization;
- Changes of methylation and transcription in transposons with aging;
- Detection of complex patterns in multiomics data of human aging;
- JBR Genome Browser;
- SnakeCharm Code Analysis Improvement 2021;
- Prediction of research paper impact.
- Рецензирование нескольких бакалаврских и магистерских дипломных работ (ВШЭ и ИТМО) сотрудниками лаборатории.
- Участие в квалификационном совете магистерской программы «Биоинформатика и системная биология» Университета ИТМО.
Публикации
Cellular and plasma proteomic determinants of COVID-19 and non-COVID-19 pulmonary diseases relative to healthy aging
Laura Arthur, et al. // Nature Aging, May 2021
Semi-supervised peak calling with SPAN and JBR Genome Browser
Oleg Shpynov et al. // Bioinformatics, May 2021
Группа нейробиологии и физиологии развития

- Доклад Дмитрия Божко на митапе Exotic Computing: «Neurobiology meets CS».
- Прочитан курс «Вычислительная нейробиология» во ВШЭ.
- Семинар по биоинформатике провел Владислав Мыров.
- Новые партнерства:
- Институт высшей нервной деятельности и нейрофизиологии РАН: анализ single-cell данных стимуляции нейронов и моделирование их активности для лучшего понимания молекулярных механизмов работы синапсов.
- Институт трансляционной биомедицины, СПбГУ: нейроморфные сети с изменяемой топологией, регуляция метаболизма нейронов глиальными клетками.
- 1 публикация.
- Рецензирование магистерской работы по моделированию в области нейробиологии, СПбГУ и ИТМО.
- Внутренние семинары группы.
Публикации
BCNNM: A Framework for in silico Neural Tissue Development Modeling
Dmitrii V. Bozhko, Georgii K. Galumov, Aleksandr I. Polovian, Sofiia M. Kolchanova, Vladislav O. Myrov, Viktoriia A. Stelmakh and Helgi B. Schiöth // Front. Comput. Neurosci., 20 January 2021
Лаборатория искусственного интеллекта


- Журнальный клуб лаборатории и регулярные семинары:
- Организованы 2 школы:
- Весенняя школа по практическому программированию и анализу данных для абитуриентов;
- Летняя школа по машинному обучению JetBrains 2021 для старшеклассников.
- 6 публикаций.
- 18 студенческих проектов.
- 20 дипломных работ под научным руководством сотрудников лаборатории (ВШЭ и ИТМО).
- Алексей Шпильман и Олег Свидченко стали лауреатами премии имени Ильи Сегаловича.
- Прочитано 10 курсов:
- «Машинное обучение» (5 разных курсов для программы ПАНДАН в ЕУ, Института Биоинформатики, ВШЭ, ИТМО и Computer Science Center);
- «Глубокое обучение с подкреплением» (2 разных курса для MADE и ВШЭ/ИТМО);
- «Глубокое обучение без учителя» (ВШЭ/ИТМО);
- «Теория вероятности и статистика» (ВШЭ);
- «Introduction to Machine Learning» (ВШЭ, на английском).
Публикации
Automatic generation of reviews of scientific papers
A. Nikiforovskaya, N. Kapralov, A. Vlasova, O. Shpynov and A. Shpilman // 19th IEEE International Conference on Machine Learning and Applications (ICMLA), 2020
DEDPUL: Difference-of-Estimated-Densities-based Positive-Unlabeled Learning
D. Ivanov // 19th IEEE International Conference on Machine Learning and Applications (ICMLA), 2020
Balancing Rational and Other-Regarding Preferences in Cooperative-Competitive Environments
Dmitry Ivanov, Vladimir Egorov, and Aleksei Shpilman // Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, 2021
Solving Black-Box Optimization Challenge via Learning Search Space Partition for Local Bayesian Optimization
Mikita Sazanovich, Anastasiya Nikolskaya, Yury Belousov, Aleksei Shpilman // Proceedings of Machine Learning Research: NeurIPS 2020 Competition and Demonstration Track, 2021
Flatland Competition 2020: MAPF and MARL for Efficient Train Coordination on a Grid World
Florian Laurent, Manuel Schneider, Christian Scheller, Jeremy Watson, Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Konstantin Makhnev, Oleg Svidchenko, Vladimir Egorov, Dmitry Ivanov, Aleksei Shpilman, Evgenija Spirovska, Oliver Tanevski, Aleksandar Nikov, Ramon Grunder, David Galevski, Jakov Mitrovski, Guillaume Sartoretti, Zhiyao Luo, Mehul Damani, Nilabha Bhattacharya, Shivam Agarwal, Adrian Egli, Erik Nygren, Sharada Mohanty // 2021
Integrating Statistical and Machine-Learning Approach for Meta-Analysis of Bisphenol A-Exposure Datasets Reveals Effects on Mouse Gene Expression within Pathways of Apoptosis and Cell Survival
Lukashina N, Williams MJ, Kartysheva E, Virko E, Kudłak B, Fredriksson R, Spjuth O, Schiöth HB. // International Journal of Molecular Sciences, 2021// 2021
Paper-Analyzer

- Регулярные релизы основного веб-приложения Paper-Analyzer (доступ по приглашению).
- Выпуск демо-версии плагина Bio Question Answering.
- Второе место на BioASQ Challenge.
- Курс «Глубокое обучение» (ВШЭ и ИТМО).
- Преподавание в Летней школе по машинному обучению JetBrains 2021 для старшеклассников.
- 4 студенческих проекта:
- Improving Dependency Tree Parsers;
- Diff Pruning;
- Language model distillation;
- Continuous Prompt Generation.
Астрофизика и физика частиц

- Доклады и выступления:
- Виктория Токарева: «Using modern machine learning methods on KASCADE data for science and education». DLCP-2021.
- Павел Безъязыков: «Legacy of Tunka-Rex software and data». DLCP-2021.
- Дмитрий Костюнин: выступление на KSETA PhD Workshop.
- Дмитрий Костюнин: «New insights from old cosmic rays: A novel analysis of archival KASCADE data» (постер). ICRC 2021.
- Павел Безъязыков: «Reconstruction of sub-threshold events of cosmic-ray radio detectors using an autoencoder». ICRC 2021.
- Владимир Ленок: «Tunka-Rex Virtual Observatory» (постер). ICRC 2021.
- Дмитрий Костюнин: «Big data in Astrophysics». Митап JetBrains Research в Мюнхене.
- Дмитрий Костюнин: «Introduction in ground-based Astroparticle Physics». Семинар в МФТИ.
- Релизы:
- Tunka-Rex Virtual Observatory. Виртуальная обсерватория для доступа к данным антенной решетки Tunka-Rex (на платформе KCDC).https://www.youtube.com/watch?v=ZZxNYnYz-L8
- Machine learning particle classification for KASCADE data. Учебное приложение для визуализации анализа массового состава космических лучей. https://kascade-streamlit.labs.jb.gg/
- Алина Михайленко провела семинар «Машинное и глубокое обучение в астрофизике».
- Участие в Большой математической мастерской. Проект «Охота за космическими ускорителями: поиск фотонов сверхвысоких энергий с помощью машинного обучения», 9 студентов в группе.
- Участие в G2Net Gravitational Wave Detection @Kaggle. Команда JBR-AP заняла 146-е место среди 1219-и команд-участников с финальным счетом 0,87874 (у победителя — 0,88538).
- 4 публикации.
- Участие в International Cosmic Day: семинары от сотрудников лаборатории + задания для студентов.
- 10 проектов для студентов.
- Новые партнерства:
- KIT (Karlsruhe Institute of Technology): партнерство в рамках KCDC и Tunka-Rex.
- Математический центр в Академгородке: совместные проекты по машинному обучению.
- CEA (French Alternative Energies and Atomic Energy Commission): сотрудничество в рамках проекта astro-colibri (стажировки и практики для студентов).
- ИЯИ РАН (Институт ядерных исследований): сотрудничество в рамках проекта по обработке и интерпретации данных KASCADE-Grande (подали совместную заявку РНФ).
- Datalore: подготовка серии публикаций по Data Science in Astroparticle Physics.
- DESY Zeuthen: разработка инструментов для поиска гамма-транзиентов очень высоких энергий.
- Лаборатория методов ядерно-физических экспериментов: научное руководство в магистерской программе МФТИ.
Публикации
Reconstruction of sub-threshold events of cosmic-ray radio detectors using an autoencoder
P. Bezyayeekov et al. // PoS ICRC 2021 (2021) 223
New insights from old cosmic rays: A novel analysis of archival KASCADE data
D. Kostunin et al. // PoS ICRC 2021 (2021) 319
Classification and Denoising of Cosmic-Ray Radio Signals using Deep Learning
A. Rehman et al. // PoS ICRC 2021 (2021) 417
Лаборатория криптографии

- Доклады и выступления:
- Александр Куценко: «The duality mapping and unitary operators acting on the set of all generalized Boolean functions». Симпозиум «Современные тенденции в криптографии».
- Александр Шапоренко: «On derivatives of Boolean bent functions». Симпозиум «Современные тенденции в криптографии».
- Александр Куценко, Наталья Атутова, Дарья Зюбина, Екатерина Маро и Степан Филиппов: «Algebraic cryptanalysis of round-reduced lightweight ciphers Simon and Speck». Симпозиум «Современные тенденции в криптографии».
- Александр Куценко, Дарья Зюбина и Наталья Атутова: «Анализ стойкости стандартов легковесной криптографии для систем связи по радиоинтерфейсу к алгебраическим атакам». III Всероссийская научно-техническая конференция «Состояние и перспективы развития современной науки по направлению «Информационная безопасность»».
- Наталья Атутова: «Гибридный подход к поиску булевых функций с высокой алгебраической иммунностью на основе эвристических методов». XX Международная конференция «Сибирская научная школа-семинар «Компьютерная безопасность и криптография» имени Г.П. Агибалова» (SIBERCRYPT 2021).
- Александр Бахарев: «Разработка и анализ оракула для гибридной атаки на криптографическую систему NTRU с использованием алгоритма квантового поиска». SIBERCRYPT 2021.
- Дарья Зюбина и Наталья Токарева: «S-блоки с максимальной компонентной алгебраической иммунностью от малого числа переменных». SIBERCRYPT 2021.
- Дмитрий Кондырев: «Метод обеспечения конфиденциальности данных на основе zk-SNARK». SIBERCRYPT 2021.
- Александр Куценко: «О некоторых свойствах самодуальных обобщенных бент-функций». SIBERCRYPT 2021.
- Александр Куценко, Наталья Атутова, Дарья Зюбина, Екатерина Маро и Степан Филиппов: «Алгебраический криптоанализ низкоресурсных шифров Simon и Speck». SIBERCRYPT 2021.
- Николай Коломеец, Матвей Панферов, Татьяна Бонич, Наталья Токарева с соавторами: «О свойствах разностных характеристик XOR по модулю 2n». SIBERCRYPT 2021.
- Александр Ткачев и Константин Калгин: «DPLL-подобный решатель задачи выполнимости над системой уравнений в АНФ». SIBERCRYPT 2021.
- Александр Шапоренко: «О производных булевых бент-функций». SIBERCRYPT 2021.
- Курсы:
- «Криптография и криптоанализ» (спецсеминар, НГУ);
- «Математические основы и приложения квантовой информатики: криптография и вычисления» (спецкурс, НГУ);
- «Основы теории информации и криптографии» (основной курс, НГУ);
- «Криптография в задачах» (спецсеминар, НГУ);
- «Криптография и криптоанализ. Современные методы» (спецкурс, НГУ);
- «Булевы функции в криптографии» (спецкурс, НГУ);
- «Олимпиадные задачи по криптографии» (спецкурс СУНЦ НГУ);
- «Математические методы в криптографии» (спецкурс СУНЦ НГУ).
- Новые партнерства:
- Лаборатория криптографии НПК «Криптонит» (Москва);
- Центр безопасности коммуникаций им. Селмера при Бергенском университете (Берген, Норвегия);
- Блокчейн-лаборатория ПАО «Сбербанк» (Москва);
- Российский квантовый центр (Москва);
- Томский государственный университет;
- Региональный научно-образовательный математический центр «Северо-Западный центр математических исследований им. Софьи Ковалевской» на базе БФУ им. И. Канта.
- Школы и олимпиады:
- Разработаны и запущены новые курсы для факультета информационных технологий НГУ (2021–2022 учебный год).
- 13 публикаций.
- 7 студенческих проектов.
- 4 дипломные работы под научным руководством сотрудников лабораторий (НГУ).
- Два аспиранта лаборатории успешно защитили кандидатские диссертации (научный руководитель Наталья Токарева).
- Удалось привлечь к преподаванию в НГУ и СУНЦ всех аспирантов лаборатории (6 человек), ранее они не преподавали. Некоторые магистранты также принимают участие в преподавании.
- Руководитель лаборатории приняла участие в международной защите PhD в качестве оппонента (Университет Бергена, Норвегия).
Публикации
On combinatorial approaches to search for APN functions and the classification of quadratic APN functions in 7 variables
Kalgin K., Idrisova V. // Cryptography and Communications, Accepted, 2021 (SETA special issue, 18 pages). Scopus - 0.816 (Q1), WoS - 1.291 (Q2)
Connections between quaternary and Boolean bent functions
Tokareva N.N., Shaporenko A.S., Solé P. // SEMR, pp. 561-578. DOI 10.33048/semi.2021.18.041
The Seventh International Olympiad in Cryptography: problems and solutions
A. Gorodilova, N. Tokareva, S. Agievich, C. Carlet, V. Idrisova, K. Kalgin, D. Kolegov, A. Kutsenko, N. Mouha, M. Pudovkina, A. Udovenko
Overview of privacy preserving technologies for distributed ledgers
Kondyrev, D. O. // Eurasian Journal of Mathematical and Computer Applications. Volume 9, Issue 1, 2021, Pages 55-68. DOI: 10.32523/2306-6172-2021-9-1-55-68
Maximums of the Additive Differential Probability of Exclusive-Or
Mouha N., Kolomeec N., Akhtyamov D., Sutormin I., Panferov M., Titova K., Bonich T., Ischukova E., Tokareva N., Zhantulikov B. // IACR Transactions on Symmetric Cryptology, Volume 2021, Issue 2, 2021. Pages 292-313
On the Sixth International Olympiad in Cryptography NSUCRYPTO
A. A. Gorodilova, N. N. Tokareva, S. V. Agievich, C. Carlet, E. V. Gorkunov, V. A. Idrisova, N. A. Kolomeec, A. V. Kutsenko, R. K. Lebedev, S. Nikova, A. K. Oblaukhov, I. A. Pankratova, M. A. Pudovkina, V. Rijmen, A. N. Udovenko // Journal of Applied and Industrial Mathematics volume 14, 623–647 (2020)
The Seventh International Olympiad in Cryptography: problems and solutions
Gorodilova A. A., Tokareva N. N., Agievich S. V., Carlet C., Idrisova V. A., Kalgin K. V., Kolegov D. N., Kutsenko A. V., Mouha N., Pudovkina M. A., Udovenko A. N. // SEMR, Volume 18 (2021), N 2, pp. А4-А29. DOI 10.33048/semi.2021.18.063
Some general properties of modified bent functions through addition of indicator functions
Kolomeec N. // Cryptography and Communications, 2021. Available online, 18 pages
Analysis of the resistance of lightweight cryptography standards for radio interface communication systems to algebraic attacks
Кutsenko A., Atutova N., Zyubina D., Maro E., Filippov S. // III All-Russian Scientific and Technical Conference “State and prospects of development of modern science in the field of Information Security”
The duality mapping and unitary operators acting on the set of all generalized Boolean functions
Kutsenko A., Gorodilova A. // Proceedings of X Symposium CTCrypt 2021 (Moscow, June 1-4, 2021). 16 pages
On Derivatives of Boolean Bent Functions
Shaporenko A. // Proceedings of X Symposium “Current trends in cryptography” - CTCrypt 2021 (Moscow Region, June 1–4, 2021). 12 pages
Algebraic cryptanalysis of round-reduced lightweight ciphers Simon and Speck
Kutsenko A., Atutova N., Zyubina D., Maro E., Filippov S. // Proceedings of X Symposium CTCrypt 2021 (Moscow, June 1-4, 2021). 20 pages
О нелинейности булевых функций, построенных обобщенной конструкцией Доббертина
Сутормин И. // Дискретный анализ и исследование операций, принято к публикации (16 страниц)
Группа HOTT и зависимых типов

- Доклады и выступления:
- Валерий Исаев: «The Arend proof assistant». Spring School on Homotopy Type Theory.
- Валерий Исаев: «Introduction to homotopy type theory». Семинар по логике, Институт математики, Чешская академия наук.
- Выступления сотрудников группы. Семинар по гомотопической теории типов.
- Ряд докладов и лекций по Arend и гомотопической теории типов на Lalambda 2021.
- Релизы:
- Прочитано 2 курса:
- «Гомотопическая теория типов» (ИТМО);
- «Программирование с зависимыми типами» (ИТМО).
- Онлайн-семинар по гомотопической теории типов.
- Студенческий проект «Taking part in the development of Arend plugin for IntelliJ IDEA».
- Выпуск документации и туториала по Arend.
- Сотрудничество с кафедрой логики мехмата МГУ и лабораторией логики МИАН: выступление Валерия Исаева с докладами «Введение в гомотопическую теорию типов», «Система доказательств Аренд».
- 1 публикация.
- 1 дипломная работа под научным руководством сотрудников лабораторий (ИТМО).
Публикации
Лаборатория методов ядерно-физических экспериментов

- Доклады и выступления:
- Александр Нозик: «Архитектура математических вычислений на Kotlin». Joker 2021.
- Александр Нозик: «Controls.kt – a multiplatform API for device servers». ICALEPCS 2021.
- Егор Стадничук, Дарья Землянская и Виктория Ефремова: «Simple «Reactor model» of relativistic runaway electron avalanches dynamics». vEGU21, the 23rd EGU General Assembly, id.EGU21-13395.
- Егор Стадничук: «Простейшая реакторная модель динамики лавин убегающих электронов в грозовых облаках». Шестнадцатая ежегодная конференция «Физика плазмы в солнечной системе», ИКИ РАН.
- Егор Стадничук: «Оператор обратной связи в моделях динамики лавин убегающих электронов в грозовых облаках». X Межинститутская молодежная конференция «Физика элементарных частиц и космология 2021».
- Егор Стадничук: «Простейшая реакторная модель динамики лавин убегающих электронов в грозовых облаках». 63-я Всероссийская научная конференция МФТИ.
- Егор Стадничук: «A criterion for infinite positron feedback in the dynamics of runaway electron avalanches». The XXIV International Scientific Conference of Young Scientists and Specialists (AYSS-2020).
- Егор Стадничук: «Модели земных гамма-вспышек и наблюдения Telescope Array во время гроз» . Семинар Лаборатории обработки больших данных ИЯИ РАН.
- Владимир Пальмин: «Оптимизация стратегии эксперимента». 63-я Всероссийская научная конференция МФТИ.
- Артем Дегтярев, Константин Герценбергер и Петр Климай: «Проектирование системы метаданных физических событий эксперимента BM@N мегапроекта NICA». 63-я Всероссийская научная конференция МФТИ.
- Владимир Пальмин, Егор Стадничук и Тимур Хамитов: «Анализ данных детектора солнечных космических лучей». Шестнадцатая ежегодная конференция «Физика плазмы в солнечной системе», ИКИ РАН.
- Владимир Пальмин: «Оптимизация эксперимента с помощью информации Фишера». X Межинститутская молодежная конференция «Физика элементарных частиц и космология 2021».
- Дарья Землянская и Виктория Ефремова: «Пробег гамма-кванта от характеристик системы». XVIII Конференция молодых ученых «Фундаментальные и прикладные космические исследования», ИКИ РАН.
- Дарья Землянская: «Влияние аэрозолей на лавины убегающих электронов в грозовых облаках». X Межинститутская молодежная конференция «Физика элементарных частиц и космология 2021».
- Артем Дегтярев: «Использование СУБД Cassandra для проектирования системы метаданных физических событий эксперимента BM@N мегапроекта NICA». X Межинститутская молодежная конференция «Физика элементарных частиц и космология 2021».
- Дарья Землянская: «Пробег гамма-кванта до рождения убегающих электронов в разных условиях системы». Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2021».
- Дарья Землянская и Виктория Ефремова: «Зависимость пробега гамма-кванта от характеристик системы». Шестнадцатая ежегодная конференция «Физика плазмы в солнечной системе», ИКИ РАН.
- Никита Козырев, Александр Светличный, Роман Непейвода и Игорь Пшеничнов: «Spectator nucleons in ultracentral 208Pb–208Pb collisions as a probe of nuclear periphery». The Ninth Annual Large Hadron Collider Physics (LHCP 2021).
- Александр Светличный: «Фрагментация релятивистских ядер: от центральных к периферическим событиям». X Межинститутская молодежная конференция «Физика элементарных частиц и космология 2021».
- Никита Козырев, Роман Непейвода и Александр Светличный: «Влияние параметризации ядерной деформации на характеристики спектаторной материи в 238U–238U столкновениях». Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2021».
- Роман Непейвода, Александр Светличный и Никита Козырев: «Моделирование столкновений релятивистских ядер с учетом предравновесной кластеризации спектаторной материи». Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов-2021».
- Александр Нозик и Петр Климай: «Scientific visualization libraries in Kotlin Multiplatform». QUARKS 2021.
- Roland Grinis: «Differentiable programming for particle physics simulations». QUARKS 2021.
- Релизы:
- Семинары:
- «KMath tensor API introduction»;
- «Introduction to Controls kt»;
- «Polyglot communication with higher-order functions»;
- «Data Analysis and Fisher information driven strategy optimisation in the Troitsk nu mass experiment»;
- «Gamow-Teller nuclear resonances and neutrino capture cross-section»;
- «Data processing in Troitsk nu-mass experiment»;
- «Introduction in ground-based Astroparticle Physics»;
- «Разработка системы метаданных физических событий для экспериментов проекта NICA»;
- Научно-учебные семинары.
- Прочитано 5 курсов:
- «Введение в научное программирование на Kotlin» (МФТИ);
- «Статистические методы в экспериментальной физике» (МФТИ);
- «Продвинутое программирование на языке Python» (пилот, МФТИ);
- «Инструменты разработки» (пилот, МФТИ + JetBrains);
- «Численные методы» (пилот, МФТИ + Сколтех).
- Создали и запустили в МФТИ магистерскую программу «Разработка и применение программного обеспечения в физических исследованиях» (в партнерстве с JetBrains, Таврида Электрик, ИЯИ РАН, ИКИ РАН, ОИЯИ, HZG-DESY, ВШЭ).
- Сотрудничество с Лабораторией астрофизики и физики частиц.
- Организовали секцию «Передовые вычисления в физике элементарных частиц» на QUARKS 2021.
- 9 публикаций.
- 5 студенческих проектов.
- 4 дипломные работы под научным руководством сотрудников лабораторий (МФТИ).
- Ярослав Постовалов и Александр Нозик — в списке контрибьютеров Kotlin 1.5.
- Разработка концепции наземного детектора гамма-вспышек гамма-излучения для проекта микроспутника «Чибис-2» (НИИ РАН).
- Изучение динамики релятивистской лавины убегающих электронов с релятивистской обратной связью через оператора обратной связи.
- Тестирование детектора протонного и электронного сцинтиллятора для мониторинга солнечных космических лучей на протонном пучке на LINAC.
Публикации
Conceptual Design of BabyIAXO, the intermediate stage towards the International Axion Observatory
The IAXO collaboration (including A. Nozik, J. High) // Energ. Phys. 2021, 137 (2021). 10.1007/JHEP05(2021)137
Simulation of VHF signal generated by RREA
Timur Khamitov, Mikhail Zelenyi, Ekaterina Svechnikova, Alexander Nozik.
Electron evaporation from magnetic trap in Troitsk nu-mass experiment
Alexander Nozik, Timur Hamitov // JINST, 2021, 16 P05022. 10.1088/1748-0221/16/05/P05022
Relativistic runaway electron avalanches within complex thunderstorm electric field structures
E. Stadnichuk, E. Svechnikova, A. Nozik, D. Zemlianskaya, T. Khamitov, M. Zelenyy, M. Dolgonosov.
Using Spectator Matter for Centrality Determination in Nucleus-Nucleus Collisions
A.Svetlichnyi, R.Nepeivoda, I.Pshenichnov // MPDI Particles / v.4(2) – 2021 – p. 227.
Cross sections of solar neutrino capture by 127I nuclei and Gamow Teller resonances
Yu.S. Lutostansky, A.N. Fazliakhmetov, G.A. Koroteev, N.V. Klochkova, A.P. Osipenko, V.N. Tikhonov
Development of Information Systems for Online and Offline Data Processing in the NICA Experiments
BM@N software team // Published in: Phys.Part.Nucl. 52 (2021) 4, 801-807
Axion search with BabyIAXO in view of IAXO
A. Abeln (Kirchhoff Inst. Phys.), K. Altenmüller (Zaragoza U.), S. Arguedas Cuendis (CERN), E. Armengaud (IRFU, Saclay), D. Attié (IRFU, Saclay) et al. (Dec 11, 2020) // Published in: PoS ICHEP2020 (2021) 631
Зависимость выходов спектаторных протонов и нейтронов в столкновениях релятивистских ядер 208Pb от толщины поверхностного нейтронного слоя
Н.А. Козырев, У.А. Дмитриева, А.О. Светличный. Учен. зап. физ. фак-та Моск. ун-та. 2021. №1. 2110301
Лаборатория параллельных вычислений

- Доклад Марии Соколовой «Lincheck: Testing concurrency on the JVM» на Hydra 2021.
- Несколько релизов Lincheck — инструмента для тестирования параллельных структур данных.
- Работа над прототипом фреймворка для удобного бенчмаркинга многопоточных структур данных.
- Помощь в организации конференции Hydra 2021 по многопоточным и распределенным системам.
- 2 публикации.
- 4 дипломные работы под научным руководством сотрудников лабораторий (ВШЭ и ИТМО).
- Прочитано 2 курса:
- «Параллельное программирование» (ИТМО);
- Семинары по алгоритмам (ВШЭ).
- 7 студенческих проектов:
- «A Declarative Way to Test Distributed Algorithms with Lincheck»;
- «Testing NVRAM Algorithms with Lincheck»;
- «Testing C/C++ Algorithms with Lincheck»;
- «NUMA-Friendly Concurrent DSU Algorithm»;
- «Priority Scheduler for Kotlin Coroutines»;
- «Comparing Coroutine Schedulers from Different Languages»;
- «Practical Multi-Word CAS: Optimizations and Evaluation».
Публикации
A Scalable Concurrent Algorithm for Dynamic Connectivity
Alexander Fedorov, Nikita Koval, Dan Alistarh // SPAA '21
Multi-Queues Can Be State-of-the-Art Priority Schedulers
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh // Accepted at PPoPP’22
Лаборатория киберфизических систем

- Доклады и выступления:
- Владимир Зюбин: «Event-driven Temporal Logic Pattern for Control Software Requirements Specification». 9th IPM International Conference on Fundamentals of Software Engineering.
- Владимир Зюбин: «Using Process-Oriented Structured Text for the IEC 61499 Functional Block Specification». CSMML Workshop: Control Software: Methods, Models, and Languages in the framework of MEDI.
- Наталья Гаранина: «Static Checking Consistency of Temporal Requirements for Control Software». CSMML Workshop: Control Software: Methods, Models, and Languages in the framework of MEDI.
- Владимир Зюбин: «Process-Oriented Programming of Control Software for Complex Technical Systems». Международная летняя школа для студентов и аспирантов «Управление и автоматизация в электротехнических устройствах и системах».
- Владимир Зюбин: «Статистические основы нейронных сетей и влияние погрешностей на качество моделирования». Восьмой Международный форум «Технопром 2021».
- Владимир Зюбин: «Психологические аспекты программирования сложных информационных систем». VIII Международная конференция «Знания – Онтологии – Теории» (ЗОНT-21).
- Семинары:
- Владимир Зюбин: «Formal Methods and Languages for Industry 4.0: Challenges and Perspectives», панельная дискуссия на CSMML Workshop.
- Дмитрий Кознов (СПбГУ): «Предметно-ориентированное решение для разработки device management подсистемы семейства телекоммуникационных систем». Заседание семинара «Инжиниринг современных информационных систем».
- Максим Нейзов (Проектный институт АвтоПромТермоОбработка, Курган): «Опыт верификации автоматных программ на платформе Rodin (на примере задачи управления генератором эндогаза)». Заседание семинара «Инжиниринг современных информационных систем».
- Алекс Шафаренко (Университет Хартфордшира, Англия): «Индексирование блокчейна для микроплатформ с ограниченным коммуникационным бюджетом».
- Алекс Шафаренко (Университет Хартфордшира, Англия): «Техника блокчейн для нефинансовых применений в Интернете вещей».
- Martyn Hilbers (Cleveland, USA): «PLC-Easy: DCS solution based on Schneider PLCs and Wonderware SCADA».
- Релиз PoST2ST — веб-сервиса для перевода poST-программ в структурированный текст формата IEC 61131-3. Приложение обеспечивает проверку синтаксиса и правил семантики программ, а также генерацию кода ST и формата обмена PLCopen XML, которые могут использоваться в существующих инструментах разработки IEC 61131-3.
- Организован и проведен воркшоп «Control Software: Methods, Models, and Languages in the framework of MEDI». Председатели программного комитета: Владимир Зюбин, Наталья Гаранина, Сергей Старолетов.
- 9 публикаций.
- 6 студенческих проектов.
- 8 дипломных работ под научным руководством сотрудников лабораторий (НГУ).
- В мае 2021 года сотрудник лаборатории Андрей Розов защитил кандидатскую диссертацию по теме «Разработка моделей и методов процесс-ориентированного программирования для открытых микроконтроллерных платформ».
- Новые партнерства:
- Евразийский национальный университет им. Л. Гумилева: участие в заседании диссертационного совета, подготовка докторантов, совместные проекты по распределенным киберфизическим системам.
- Технологический университет Лулео (Швеция): совместные проекты и публикации по разработке языков для Industry 4.0, пост-док стажировка.
- Вестфальский университет имени Вильгельма (Германия): совместные проекты, публикации, семинары по разработке средств верификации процесс-ориентированных программ.
- Берлинский институт техники и экономики (Германия): подготовка совместных публикаций, проекты по разработке средств дедуктивной верификации киберфизических систем (KeYmaera).
Публикации
Event-driven Temporal Logic Pattern for Control Software Requirements Specification
Vladimir Zyubin, Igor Anureev, Natalia Garanina, Sergey Staroletov, Andrei Rozov, and Tatiana Liakh // 9th IPM International Conference on Fundamentals of Software Engineering, 19-21 May 2021 Tehran, Iran
Using Process-Oriented Structured Text for the IEC 61499 Functional Block Specification
Vladimir Zyubin and Andrei Rozov // CSMML Workshop: Control Software: Methods, Models, and Languages in the framework of MEDI. 22 June 2021,Tallinn, Estonia [Online]
Static Checking Consistency of Temporal Requirements for Control Software
Natalia Garanina and Dmitry Koznov // CSMML Workshop: Control Software: Methods, Models, and Languages in the framework of MEDI. 22 June 2021,Tallinn, Estonia [Online]
PoST2ST: a Web Service for Translating poST Programs to the IEC 61131-3 Structured Text
V. Bashev, A. Rozov and V. Zyubin // 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 520-523, doi: 10.1109/EDM52169.2021.9507695
Developing Reflex IDE Kernel with Xtext Framework
A. Bastrykina, V. Zyubin and A. Rozov // 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 511-514, doi: 10.1109/EDM52169.2021.9507663
Proving Reflex Program Verification Conditions in Coq Proof Assistant
I. Chernenko, I. Anureev and N. Garanina // 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 485-488, doi: 10.1109/EDM52169.2021.9507628
RIDE: Theia-Based Web IDE for the Reflex Language
I. Gornev and T. Liakh // 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 503-506, doi: 10.1109/EDM52169.2021.9507678
Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
A. A. Ponomarenko, N. O. Garanina, S. M. Staroletov and V. E. Zyubin // 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 493-498, doi: 10.1109/EDM52169.2021.9507563
Development and Verification of Smart-Contracts for the ScientificCoin Platform
E. Zhdarkin and I. Anureev // 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021, pp. 528-532, doi: 10.1109/EDM52169.2021.9507717
Лаборатория инструментов совместной работы

- 7 публикаций.
- 3 внутренних релиза.
- Регулярные семинары лаборатории.
- Владимир Коваленко: «Beyond Code: Towards Intelligent Collaboration Tools». Пленарный доклад на BENEVOL 2021.
- Новое партнерство с BILSEN, Билькентский университет (Анкара, Турция).
- Практики во ВШЭ и СПбГУ.
- 3 дипломных работы под научным руководством сотрудников лабораторий (ВШЭ и Политех).
- 6 проектов для студентов:
- «OSS Collaboration Data Platform»;
- «Process Smells»;
- «Risky Collaboration Patterns»;
- «Fine-tuning text embedding and language models on project documentation for collaborative SE tasks»;
- «Test case prioritization for faster CI builds»;
- «Visualization of source code topic models».
- Организация Industry Track для MSR 2022 (Владимир Коваленко).
- Вклад в академическое сообщество: рецензирование статей для ESEC/FSE, JSS, SCICO, Frontiers in Communication, EPJ Data Science, ACM SRC Grand Finals, SEIM.
Публикации
DepMiner: A Pipelineable Tool for Mining of Intra-Project Dependencies
Vladislav Repinskiy, Vladimir Kovalenko
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code
Egor Spirin, Egor Bogomolov, Vladimir Kovalenko, Timofey Bryksin // MSR 2021
TNM: A Tool for Mining of Socio-Technical Data from Git Repositories
Nikolai Sviridov, Mikhail Evtikhiev, Vladimir Kovalenko // MSR 2021
TaskTracker-tool: A Toolkit for Tracking of Code Snapshots and Activity Data During Solution of Programming Tasks
Elena Lyulina, Anastasiia Birillo, Vladimir Kovalenko, Timofey Bryksin // CIGCSE 2021
Building the Collaboration Graph of Open-Source Software Ecosystem
Elena Lyulina, Mahmoud Jahanshahi // MSR 2021
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information
Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu, Matei Anton, Roman Venediktov, Elena Tikhomirova, Timofey Bryksin // ASE 2021
The IntelliJ Platform: a Framework for Building Plugins and Mining Software Data
Zarina Kurbatova, Yaroslav Golubev, Vladimir Kovalenko, Timofey Bryksin // IWoR 2021
Методы машинного обучения в области программной инженерии

- Доклады и выступления:
- Тимофей Брыксин: «Machine Learning and IDE: A JetBrains Case». Пленарный доклад на ICSME 2021.
- Тимофей Брыксин: «Integrating Refactoring Recommendation into an IDE: A JetBrains Story». Пленарный доклад на воркшопе IWoR 2021.
- Курсы:
- «Разработка ПО» (ВШЭ, СПбГУ и Computer Science Center);
- «Технология разработки ПО» (СПбГУ);
- «Основы программирования» (СПбГУ);
- «Обработка данных на Python» (СПбГУ);
- «Проектирование ПО» (ИТМО);
- «Программирование на C» (ВШЭ и СПбГУ);
- «Программирование на Kotlin» (ВШЭ и СПбГУ);
- «Machine Learning in Software Engineering» (на английском языке, ВШЭ и СПбГУ).
- 13 публикаций.
- Регулярный семинар и журнальный клуб про машинное обучение в программной инженерии.
- 16 студенческих проектов.
- 12 дипломных работ под научным руководством сотрудников лабораторий (ВШЭ, СПбГУ, ИТМО и МФТИ).
Публикации
Multi-threshold token-based code clone detection
Yaroslav Golubev, Viktor Poletansky, Nikita Povarov, Timofey Bryksin // 28th IEEE International Conference on Software Analysis, Evolution and Reengineering
TaskTracker-tool: a Toolkit for Tracking of Code Snapshots and Activity Data During Solution of Programming Tasks
Elena Lyulina, Anastasiia Birillo, Vladimir Kovalenko, Timofey Bryksin // 2021 ACM SIGCSE Technical Symposium
PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code
Egor Spirin, Egor Bogomolov, Vladimir Kovalenko, Timofey Bryksin // 18th International Conference on Mining Software Repositories (MSR)
One Thousand And One Stories: a Large-Scale Survey of Software Refactoring
Yaroslav Golubev, Zarina Kurbatova, Eman Abdullah AlOmar, Timofey Bryksin, Mohamed Wiem Mkaouer // 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Authorship Attribution of Source Code: A Language-Agnostic Approach and Applicability in Software Engineering
Egor Bogomolov, Vladimir Kovalenko, Yurii Rebryk, Alberto Bacchelli, Timofey Bryksin // 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Unsupervised Learning of General-Purpose Embeddings for Code Changes
Mikhail Pravilov, Egor Bogomolov, Yaroslav Golubev, Timofey Bryksin // 5th International Workshop on Machine Learning Techniques for Software Quality Evolution (MaLTESQuE)
Sorrel: an IDE Plugin for Managing Licenses and Detecting License Incompatibilities
Dmitry Pogrebnoy, Ivan Kuznetsov, Yaroslav Golubev, Vladislav Tankov, Timofey Bryksin // 37th International Conference on Software Maintenance and Evolution (ICSME)
On the Nature of Code Cloning in Open-Source Java Projects
Yaroslav Golubev, Timofey Bryksin // 15th International Workshop on Software Clones (IWSC)
PyNose: A Test Smell Detector For Python
Tongjie Wang, Yaroslav Golubev, Oleg Smirnov, Jiawei Li, Timofey Bryksin, Iftekhar Ahmed // 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching
Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev, Elena Tikhomirova, Timofey Bryksin // 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information
Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu, Matei Anton, Roman Venediktov, Elena Tikhomirova, Timofey Bryksin // 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Infrastructure in Code: Towards Developer-Friendly Cloud Applications
Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, Timofey Bryksin // 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
The IntelliJ Platform: a Framework for Building Plugins and Mining Software Data
Zarina Kurbatova, Yaroslav Golubev, Vladimir Kovalenko, Timofey Bryksin // 5th International Workshop on Refactoring (IWoR)
Лаборатория языковых инструментов

- Доклады и выступления:
- Юрий Костюков: «Beyond the Elementary Representations of Program Invariants over Algebraic Data Types». PLDI 2021.
- Юрий Костюков: «Solving Constrained Horn Clauses over ADTs by Finite Model Finding». HCVS 2021.
- Антон Подкопаев: «Programming Language Memory Models: Problems, Solutions, and Directions». SYRCoSE 2021.
- Дмитрий Мордвинов: «Property Directed Symbolic Execution». SYRCoSE 2021.
- Алексей Тюрин: «Distilling Sparse Linear Algebra». ICFP 2021 SRC.
- Рустам Азимов: «Context-Free Path Querying In Terms of Linear Algebra». VLDB 2021: PhD Workshop.
- Семен Григорьев: «Context-free path querying: Obstacles on the way to adoption». Fourteenth LDBC TUC Meeting.
- Иван Тюляндин: «Viterbi Algorithm Specialization Using Linear Algebra». SEIM 2021.
- Рустам Азимов: «Context-Free Path Querying with All-Path Semantics by Matrix Multiplication». GRADES NDA 2021.
- Ряд докладов и лекций по слабым моделям памяти на Lalambda 2021 (Евгений Моисеенко, Егор Намаконов, Антон Подкопаев).
- Курсы:
- «Языки программирования и компиляторы» (Computer Science Center);
- «Семантика языков программирования» (Computer Science Center);
- «Математическая логика в информатике» (практика, СПбГУ);
- «Операционные системы» (практика, СПбГУ);
- «Метавычисления» (ВШЭ и ИТМО);
- «Теория формальных языков» (СПбГУ);
- «Практика программирования» (СПбГУ);
- «Структуры и алгоритмы компьютерной обработки данных» (СПбГУ);
- «Теория графов» (СПбГУ);
- «Введение в машинное обучение» (СПбГУ);
- «Языки программирования и компиляторы» (ВШЭ);
- «Алгоритмы и структуры данных» (СПбГУ);
- «Доп. главы математической логики и теории алгоритмов» (СПбГУ).
- Релизы:
- RInGen — решатель дизъюнктов Хорна в теории алгебраических типов данных.
- CuBool и pyCuBool — библиотека операций над разреженными булевыми матрицами на CUDA и Python-обертка для нее.
- SPbLA и pyspbla — библиотека операций над разреженными булевыми матрицами на GPGPU (CUDA + OpenCL) и Python-обертка для нее.
- cfpq-data — данные для экспериментального анализа алгоритмов КС-достижимости и инструменты работы с ними.
- RedisGraph + CFPQ — расширение для RedisGraph, позволяющее выполнять запросы с КС-ограничениями.
- Семинары:
- Никита Вольнов: «Эффективная реализация массивов в функциональном языке SAC».
- Дмитрий Косарев: «Staged Selective парсер-комбинаторы».
- Олег Плисс: «Преобразование приложений в нативно исполняемый образ в проекте GraalVM».
- Егор Орачев: «Flow2Vec: Value-Flow-Based Precise Code Embedding».
- Даниил Степанов: «Фаззинг компилятора Kotlin. Инструкция по применению».
- Екатерина Шеметова: «The Fine-Grained and Parallel Complexity of Andersen’s Pointer Analysis».
- KC Sivaramakrishnan: «Effective Programming in OCaml».
- Владимир Гладштейн: «Incorrectness Separation Logic».
- Дмитрий Михайловский: «Full reduction at full throttle».
- Антон Трунов: «Модальные теории типов».
- Mário Pereira: «Cameleer: a Deductive Verification Tool for OCaml».
- Yue Li: «Semantics of First-order Horn Clause Logic».
- Екатерина Вербицкая: «Tupling via Constructive Algorithmics».
- Дмитрий Халанский: «Iris, a Modern Concurrent Separation Logic».
- Paul Brunet: «Recent Developments in Concurrent Kleene Algebra».
- Регулярный семинар группы языковых методов обработки информации.
- 15 публикаций.
- Новое партнерство: School of Computing, Dublin City University, Ireland. Совместная с Geoff Hamilton работа над дистиллятором с целью применить его для оптимизации функций разреженной линейной алгебры. Работа над соответствующей статьей.
- Пост на Хабре «Эффективная разреженная булева алгебра — то, что нужно алгоритмам анализа графов».
- 8 студенческих проектов.
- 6 дипломных работ под научным руководством сотрудников лабораторий (ВШЭ и СПбГУ).
- Дмитрий Мордвинов защитил кандидатскую диссертацию. Юрий Костюков, Александр Мисонижник и Константин Батоев защитили магистерские диссертации.
Публикации
An Empirical Study of Partial Deduction for MiniKanren
Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev // VPT-2021
Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One
Daniil Berezun, Dmitry Boulytchev // TFPIE-2021
Beyond the elementary representations of program invariants over algebraic data types
Kostyukov, Yurii, Dmitry Mordvinov, and Grigory Fedyukovich // Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. 2021.
Mechanized Theory of Event Structures: A Case of Parallel Register Machine
Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov // SYRCoSE'21
The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency
A. Jeffrey, J. Riely, M. Batty, S. Cooksey, I. Kaysin, A. Podkopaev // In Symposium on Principles of Programming Languages, POPL 2022 (to appear)
A Survey of Programming Language Memory Models
E. Moiseenko, A. Podkopaev, D. Koznov // In Journal 'Programming and Computer Software', 2021 (to appear)
Making Weak Memory Models Fair
O. Lahav, E. Namakonov, J. Oberhauser, A. Podkopaev, V. Vafeiadis // In OOPSLA 2021
Efficient Parallel Algorithms for String Comparison
Nikita Mishin, Daniil Berezun, Alexander Tiskin // ICPP 2021, August 2021
Context-Free Path Querying In Terms of Linear Algebra
Rustam Azimov // Proceedings of the VLDB 2021 PhD Workshop
SPbLA: The Library of GPGPU-Powered Sparse Boolean Linear Algebra Operations
Egor Orachev; Maria Karpenko; Artem Khoroshev; Semyon Grigorev // IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)
Context-free path querying with all-path semantics by matrix multiplication
Rustam Azimov, Ilya Epelbaum, Semyon Grigorev // Proceedings of the 4th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA)
One Algorithm to Evaluate Them All: Unified Linear Algebra Based Approach to Evaluate Both Regular and Context-Free Path Queries
Ekaterina Shemetova, Rustam Azimov, Egor Orachev, Ilya Epelbaum, Semyon Grigorev,
A Complexity Study for Interleaving Search
Dmitry Rozplokhas, Dmitry Boulytchev // miniKanren-2021
Beyond the elementary representations of program invariants over algebraic data types
Kostyukov, Yurii, Dmitry Mordvinov, and Grigory Fedyukovich // Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Solving Constrained Horn Clauses over ADTs by Finite Model Finding
Kostyukov, Yurii, Dmitry Mordvinov, and Grigory Fedyukovich // arXiv preprint arXiv:2108.00225 (2021)
Лаборатория верификации и анализа программ

- Доклады и выступления:
- Даниил Степанов: «Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types». ICST 2021, награда за лучшую статью.
- Владимир Ицыксон: «Partial Specifications of Libraries: Applications in Software Quality Assurance Tasks». Воркшоп «Effective development technologies in business scenarios».
- Владимир Ицыксон: «Static and dynamic analysis of software with the purpose of finding vulnerabilities in source code». Russian Wireless Workshop 2021 (RWW 2021).
- Даниил Степанов: «ReduKtor: How we stopped worrying about bugs in the Kotlin compiler». Лаборатории ML4SE.
- Даниил Степанов: «Фаззинг компилятора Kotlin: инструкция по применению». Лаборатория языковых инструментов.
- Даниил Степанов: «Что такое фаззинг компиляторов и как он может помочь сделать Kotlin лучше». Команда Kotlin.
- Владимир Ицыксон: «Partial Library Specifications: Improving precision of symbolic execution». Воркшоп «SAT/SMT solvers: Theory and Practice».
- Азат Абдуллин: «Kex: how we are using SMT solvers to generate tests». Воркшоп «SAT/SMT solvers: Theory and Practice».
- Прочитано 4 курса:
- «Статический анализ программ» (Политех);
- «Анализ программ» (ВШЭ);
- «Технологии разработки ПО» (Политех);
- «Тестирование ПО» (Политех).
- Сотрудники лаборатории приняли участие в SBST Tool Competition 2021 с проектом KEX. По результатам была написана статья.
- Награда за лучшую статью на ICST 2021: «Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types» (Даниил Степанов, Марат Ахин, Михаил Беляев).
- В сентябре 2021 года в Политехе открылась мультибрендовая индустриальная магистратура по направлению «Информатика и вычислительная техника». Индустриальные треки под эгидой компаний JetBrains/Политех, Одноклассники, Huawei, Сигма и Kрeaномика.
- 6 публикаций.
- 11 дипломных работ под научным руководством сотрудников лабораторий (Политех).
Публикации
Generation of Test-Based Traces for Automated Partial Software Specifications Extraction
Egorova, I., Itsykson, V. // Communications in Computer and Information Science, 2021, 1288 CCIS, pp. 203–208
Partial Specifications of Libraries: Applications in Software Engineering
Itsykson, V. // Communications in Computer and Information Science, 2021, 1288 CCIS, pp. 3–225
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
Stepanov, D., Akhin, M., Belyaev, M. // Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021, 2021, pp. 318–328
Making Bounded Model Checking Interprocedural in (Static Analysis) Style
Stepanov, D., Akhin, M., Belyaev, M. // Communications in Computer and Information Science, 2021, 1288 CCIS, pp. 142–154
Generator of automated tools for program instrumentation
M. Onischuck, V. Itsykson // SEIM-2021, April 2021, CEUR, volume 2953
Kex at the 2021 SBST Tool Competition
A. Abdullin, M. Akhin, M. Belayev // Proceedings - 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing, SBST 2021
Лаборатория исследований процессов обучения
- Прочитано 5 курсов:
- «Введение в цифровые социальные исследования» (ВШЭ);
- «Информационные системы» (ВШЭ);
- «Когнитивная психология и социальное поведение» (ВШЭ);
- «Аналитическая социология и большие данные» (научно-исследовательский семинар, ВШЭ);
- «Цифровые социальные исследования» (ВШЭ).
- Релиз платформы для проведения когнитивных и социально-психологических исследований Learning Research Web Application 2020.1.
- Открытая лекция «Стратегии обучения: о чем говорят когнитивные исследования?»
- Сотрудничество с СПбГЭТУ «ЛЭТИ» в рамках масштабного лонгитюдного исследования среди студентов технических и естественно-научных специальностей для выявления главных факторов, позитивно/негативно влияющих на процессы обучения.
- 1 публикация.
- 2 поста на Хабре: «О стажировках для тех, кто еще не. Эпизод 1», «О стажировках для тех, кто еще не. Эпизод 2».
- 3 студенческих проекта:
- «Скаффолдинг и когнитивная вовлеченность учеников массовых открытых онлайн-курсов (МООК) по программированию» (ВШЭ);
- Проектная группа «Академические успехи студентов университета» (ВШЭ);
- Проектная группа «Девочки-гуманитарии и мальчики-технари: гендерные стереотипы в точных науках» (ВШЭ).
Публикации
High performance cycle: Grade goal mediates the relationship between previous academic performance and subsequent performance
Ivanyushina V.А., Alexandrov D.А.
Лаборатория алгоритмов мобильных роботов

- Доклады и выступления:
- Кирилл Кринкин, Юлия Шичкина, Андрей Игнатьев: «Co-evolutionary hybrid intelligence». BF-NAICS 2021.
- Антон Филатов: мастер-класс и выступления с докладами о проектах в рамках Teacher Week на Race4Scale.
- Кирилл Кринкин, Юлия Шичкина, Андрей Игнатьев: «Co-evolutionary hybrid intelligence is a key concept toward the world intellectualization». WOSC2021 World Organization of Systems and Cybernetics 18th Congress.
- Кирилл Кринкин: «Международная стандартизация в области ИИ». ЦИПР 2021.
- Кирилл Кринкин, Игорь Бондарь: «От моделирования когнитивных функций к коэволюционирующему гибридному интеллекту». Семинар ассоциации «ИИ в промышленности».
- Школы и олимпиады:
- Финал олимпиады Autonomous Driving Olympics в СПбГЭТУ «ЛЭТИ».
- Участие в фестивале «Футурион» c мастер-классом «Создай светофор для умного города" (7–9 классы) в рамках Международного фестиваля идей и технологий «RUKAMI», ИТШ №777.
- Участие в составе экспертов в финале Лиги Санкт-Петербурга FIRST Tech Challenge.
- Участие в составе экспертов FIRST Tech Challenge на Национальном чемпионате по робототехнике «First robotics championship — Нижний Новгород 2.0».
- Экскурсия в лабораторию интеллектуальных мобильных систем (СПбГЭТУ «ЛЭТИ») в рамках профориентационной практики для школьников.
- Занятия в рамках дополнительной образовательной дисциплины «Лаборатория STEM» для учеников ИТШ №777 и школы «Кудрово».
- Организация летней практики для школьников ИТШ №777 на базе кафедры МОЭВМ и Лаборатории интеллектуальных мобильных систем СПбГЭТУ «ЛЭТИ».
- Организация летней онлайн-практики по программированию мобильных приложений на платформе Android.
- Международная школа JASS 2021.
- Организация кружка «Разработка Android-приложений на Kotlin 2021».
- Организация школы «STEM для детей».
- Школа Principal Investigator in AI.
- 18 публикаций.
- Антон Филатов провел семинар на тему «Scalable algorithms for simultaneous localization and mapping». Иннополис.
- Новое партнерство с London Imperial College.
- Пост-резюме статьи «Imitation Learning Approach for AI Driving Olympics Trained on Real-world and Simulation Data Simultaneously».
- Пост-резюме статьи «Automatic Wheels and Camera Calibration for Monocular and Differential Mobile Robots».
- 21 проект для студентов.
- 11 дипломных работ под научным руководством сотрудников лабораторий (СПбГЭТУ «ЛЭТИ», СПбГУ, ВШЭ и Computer Science Center).
- Прочитан 21 курс на 5 разных площадках:
- «Программирование» (СПбГЭТУ «ЛЭТИ»);
- «Мобильная разработка» (ИТМО и СПбГЭТУ «ЛЭТИ»);
- «Основы С++» (практика, СПбГУ);
- «Классические Байесовские фильтры, R&D» (СПбГЭТУ «ЛЭТИ»);
- «Системы реального времени на основе Linux» (СПбГЭТУ «ЛЭТИ»);
- «Беспилотные транспортные средства» (ВШЭ и ИТМО);
- «Алгоритмы и структуры данных» (СПбГЭТУ «ЛЭТИ»);
- «Информатика» (СПбГЭТУ «ЛЭТИ»);
- «Инструменты для анализа данных: R, Pandas» (СПбГЭТУ «ЛЭТИ»);
- «Введение в программную инженерию» (СПбГЭТУ «ЛЭТИ»);
- «Разработка в ядре Линукс» (СПбГЭТУ «ЛЭТИ»);
- «Архитектура компьютерных систем» (СПбГУ);
- «Операционные системы» (СПбГУ);
- «Организация ЭВМ и систем» (СПбГЭТУ «ЛЭТИ»);
- «SLAM-алгоритмы» (СПбГЭТУ «ЛЭТИ»);
- «Обработка изображений и компьютерное зрение на основе нейронных сетей» (СПбГЭТУ «ЛЭТИ»);
- «Intelligent Systems» (СПбГЭТУ «ЛЭТИ»);
- «Обзор методов ИИ. Инструменты визуального анализа данных» (МГИМО);
- «Инструменты визуального анализа данных» (СПбГЭТУ «ЛЭТИ»);
- «Программирование в медицинских системах» (СПбГЭТУ «ЛЭТИ»);
- «Алгоритмы в медицинских системах» (СПбГЭТУ «ЛЭТИ»).
Публикации
Deductive Synthesis of Networks Hierarchical Knowledge Graphs
Krinkin K. Vodyaho A., Kulikov I., Zhukova N. // International Journal of Embedded and Real-Time Communication Systems (IJERTCS). – 2021. – Т. 12. – №. 3. – С. 32-48.
Prediction of Telecommunication Network State Based on Knowledge Graphs
Krinkin K., Vodyaho A., Kulikov I., Zhukova N. // 28th Conference of Open Innovations Association (FRUCT). – IEEE, 2021. – С. 200-207.
The method of inductive synthesis of hierarchical knowledge graphs of telecommunication networks based on statistical data
Krinkin K. , Vodyaho A., Kulikov I., Zhukova N. // Procedia Computer Science. – 2021. – Т. 186. – С. 571-579.
Resource Taxonomy for a Fog System
López L., Krinkin K. // Conference of Open Innovations Association, FRUCT. – FRUCT Oy, 2021. – №. 29. – С. 460-464.
Analysis Of Robotic Platforms: Data Transfer Performance Evaluation
Gavrilov A., Bergaliyev M., Tinyakov S., Krinkin K. // Conference of Open Innovations Association, FRUCT. – FRUCT Oy, 2021. – №. 29. – С. 437-443.
Correlation filter of 2D laser scans for indoor environment
Krinkin K., Filatov A. // Robotics and Autonomous Systems. – 2021. – Т. 142 - Q1
Autonomous Wheels And Camera Calibration In Duckietown Project
Krinkin K., Chayka K., Filatov A., Filatov A. // Procedia Computer Science. – 2021. – Т. 186. – С. 169-176.
Automatic Wheels and Camera Calibration for Monocular and Differential Mobile Robots
Chaika, K.; Filatov, A.; Filatov, A.; Krinkin, K. // Applied Sciences. – 2021. 11, 5806. --Q2
Public Speaking Web Trainer
Pliushchenko D., Zaslavskiy M. // 2021 29th Conference of Open Innovations Association (FRUCT). – IEEE, 2021. – С. 485-490.
Incoherent Sentence Detection in Scientific Articles in Russian and English
Nguyen Q. H., Zaslavskiy M. // 29th Conference of Open Innovations Association (FRUCT). – IEEE, 2021. – С. 267-273
Extraction in Russian and English Scientific Articles Using Sentence Embeddings
Nguyen Q. H., Zaslavskiy M. Keyphrase // 28th Conference of Open Innovations Association (FRUCT). – IEEE, 2021. – С. 1-7
XAI Evaluation: Evaluating Black-Box Model Explanations for Prediction
Yuyi Zhang, Feiran Xu, Jingying Zou, Ovanes L Petrosian, Kirill V Krinkin // II International Conference on Neural Networks and Neurotechnologies (NeuroNT)
Method of Multilevel Adaptive Synthesis of Monitoring Object Knowledge Graphs
Kirill Krinkin, Alexander Vodyaho, Igor Kulikov, and Nataly Zhukova // Multidisciplinary Digital Publishing Institute
Merging occupancy grid map based on Transferable Belief Model
M Dobrokhvalov, A. Filatov // Proceedings of the Sixth Conference on Software Engineering and Information Management (SEIM 2021) – St. Petersburg, Russia, 2021
Co-evolutionary hybrid intelligence
Kirill Krinkin, Yulia Shichkina, Andrey Ignatyev // 5th Scientific School Dynamics of Complex Networks and their Applications (DCNA)
Comparison and Explanation of Forecasting Algorithms for Energy Time Series
Yuyi Zhang, Ruimin Ma, Jing Liu, Xiuxiu Liu, Ovanes Petrosian, and Kirill Krinkin // Special Issue “Application of Mathematical Methods in Artificial Intelligence”
Multi-Drone 3D Building Reconstruction Method
Anton Filatov, Mark Zaslavskiy, and Kirill Krinkin // Special Issue “Application of Mathematical Methods in Artificial Intelligence”
Оценивание качества обучения нейросетевых алгоритмов обработки информации
Чайка К.В., Шестопалов Р.П. // Информационно-экономические аспекты стандартизации и технического регулирования. 2021. № 2 (60). С. 17-26
Алгоритмы для конкурентных и распределенных систем

- Прочитано 4 курса:
- «Программирование распределенных систем» (ИТМО);
- «Дополнительные главы многопроцессорного программирования» (МФТИ);
- «Параллельные алгоритмы» (ИТМО);
- «Алгоритмы и структуры данных. Основы» (ИТМО).
- Новые партнерства:
- Венский университет (Стефан Шмид);
- Институт науки и технологий Австрии (Дэн Алистарх);
- Университет имени Бен-Гуриона (Дэнни Хендлер);
- Лихайский университет (Майкл Спир).
- Помощь в проведении конференции Hydra 2021.
- 4 публикации.
- 8 дипломных работ под научным руководством сотрудников лабораторий (ИТМО и МФТИ).
- Студенческие проекты:
- «Алгоритмы верификации конкурентных программ»;
- «Self-adjusting networks on the grid»;
- «Self-adjusting concurrent networks»;
- «Efficient logarithmic range queries for binary search trees».
Публикации
Brief-Announcement: Lazy Self-Adjusting Bounded-Degree Networks for the Matching Model
E. Feder, I. Rathod, P. Shyamsukha, R. Sama, V. Aksenov, I. Salem, S. Schmid // SPAA 2021
The Splay-List: A Distribution-Adaptive Concurrent Skip-List
V. Aksenov, D. Alistarh, A. Drozdova, A. Mohtashami // DISC 2020
Execution of NVRAM Programs with Persistent Stack
Vitaly Aksenov, Ohad Ben-Baruch, Danny Hendler, Ilya Kokorin, Matan Rusanovsky // PaCT 2021
Optimal Concurrency for List-Based Sets
Vitaly Aksenov, Vincent Gramoli, Petr Kuznetsov, Di Shang, Srivatsan Ravi // PaCT 2021
Проблемы оптимизации в программной инженерии

- Доклады и выступления:
- Даниил Чивилихин: «Temporal specification mining for IEC 61499 function blocks using evolutionary algorithms and model checking». IEEE Congress on Evolutionary computation.
- Владимир Ульянцев: «Наука. Зачем нужна биоинформатика?» Шоу Картаева и Махарадзе, Радио Маяк.
- Даниил Чивилихин: «Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms». 27th International Conference on Principles and Practice of Constraint Programming.
- Екатерина Носкова: «Multi-objective optimization of very expensive black-box functions with SMAC». Семинар «Индустриальная математика» в лаборатории Чебышева, СПбГУ.
- Релизы:
- GADMA — генетический алгоритм для анализа демографической модели.
- GADMA новый релиз — генетический алгоритм для анализа демографической модели.
- EvoGuess — оценка сложности примеров задачи SAT с помощью поиска декомпозиционных множеств.
- MetaFast — программа для сравнительного анализа метагеномных данных.
- 4 публикации.
- 11 студенческих проектов.
- 6 дипломных работ под научным руководством сотрудников лабораторий (ИТМО).
- Команда лаборатории вошла в коллектив центра «Сильный искусственный интеллект в промышленности» Университета ИТМО.
- Екатерина Носкова стала победительницей стипендиальной программы по системной, клеточной и молекулярной биологии от «Сколтеха».
- Данил Крылатых и Константин Чухарев создали экспериментальный стенд с роботизированными руками. Стенд демонстрирует методы синтеза управляющих конечных автоматов, разрабатываемых в лаборатории.
- Артем Павленко и Даниил Чивилихин разработали новый тип лазеек для задачи SAT и эффективный метод их поиска. Статья отправлена на AAAI.
- Запустили серию онлайн-семинаров по решению SAT и приложениям.
Публикации
BeBoSy: Behavior Examples meet Bounded Synthesis
Chivilikhin D., Zakirzyanov I., Ulyansev V. // IEEE Access, Vol. 9, pp. 27540-27551, 2021
Temporal specification mining for IEC 61499 function blocks using evolutionary algorithms and model checking
Chivilikhin D. // Proceedings of IEEE Congress on Evolutionary computation, 2021
Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms
Semenov A., Chivilikhin D., Pavlenko A., Otpuschennikov I., Ulyantsev V., Ignatiev A. // Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
Separation of Donor and Recipient Microbial Diversity Allows Determination of Taxonomic and Functional Features of Gut Microbiota Restructuring following Fecal Transplantation
Olekhnovich, E. I., Ivanov, A. B., Ulyantsev, V. I., Ilina, E. N. // Msystems, 2021, 6(4), e00811-21
Лаборатория параметризованных алгоритмов

- Доклад Ивана Близнеца «New Length Dependent Algorithm for Maximum Satisfiability Problem» на AAAI 2021.
- Участие сборной ВШЭ под руководством Ивана Близнеца в Международной студенческой олимпиаде IMC 2021.
- 3 публикации.
- 5 дипломные работы под научным руководством сотрудников лабораторий (ВШЭ и СПбГУ).
- Курсы:
- «Алгоритмы и структуры данных» (СПБГУ);
- «Алгоритмы и структуры данных» (практика, ВШЭ);
- «Алгоритмы и структуры данных» (практика, ИТМО + JetBrains);
- «Теоретическая информатика: вычислимость» (СПБГУ);
- «Теоретическая информатика» (практика, СПбГУ);
- «Параметризованные алгоритмы» (ВШЭ);
- «Параметризованные алгоритмы» (СПбГУ);
- «Приближенные алгоритмы» (ВШЭ);
- «Приближенные алгоритмы» (спецкурс, СПбГУ);
- «Дискретная математика и математическая логика» (ВШЭ);
- «Дискретная математика 2» (ВШЭ и СПбГУ);
- «Дискретная математика» (практика, СПбГУ);
- «Вероятностные алгоритмы» (спецкурс, СПбГУ);
- «Вероятностные алгоритмы» (спецкурс, ВШЭ);
- «Точные экспоненциальные алгоритмы» (спецкурс, ВШЭ);
- «Комбинаторика и теория графов» (практика, ИТМО + JetBrains);
- «Комбинаторика и теория графов» (практика, ВШЭ).
- Студенческие проекты:
- «Алгоритм для (n,4)-MAXSAT» (ВШЭ);
- «Задачи модификации графов» (ПОМИ);
- «Максимальная правильная раскраска» (ПОМИ);
- «Многоступенчатая задача выполнимости» (ВШЭ);
- «Алгоритм для задачи частичной максимальной выполнимости» (СПбГУ).
Публикации
New Length Dependent Algorithm for Maximum Satisfiability Problem
Vasily Alferov, Ivan Bliznets // AAAI -2021 (A* conference)
Algorithmic Extensions of Dirac's Theorem
Fedor V. Fomin, Petr A. Golovach, Danil Sagunov, Kirill Simonov // Accepted to SODA 2022 (A* conference)
Fair division with minimal withheld information in social networks
Ivan Bliznets, Anton Bukov, Danil Sagunov // Submitted to AAAI 2022 (A* conference)