JetBrains Research
Подводим итоги 2021

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

Мы подготовили обзор главных новостей прошедшего года и рады познакомить вас с нашими командами.

JetBrains Research в числах

20+2
лабораторий
204+48
сотрудника
28 
средний возраст сотрудников
10 
городов, в которых живут сотрудники JetBrains Research

За 2021 год

102 
курса, прочитанных сотрудниками лабораторий
122 
публикации с аффилиацией и благодарностью за поддержку
74 
проекта для студентов в весеннем и осеннем семестрах
57 
летних стажировок
23 
новых сотрудничества с университетами и другими учебными заведениями
116 
дипломных работ, написанных под руководством сотрудников JetBrains Research

Новые лаборатории

Алгоритмы для конкурентных и распределенных систем

Разработка и анализ алгоритмов и структур данных для многоядерных и распределенных систем

Астрофизика и физика частиц

Применение современных вычислительных методов для обработки экспериментальных данных в астрофизике и физике частиц

Команда JetBrains Research

Новости исследовательских групп


Группа биоинформатики

Публикации

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

Подробнее

PaReBrick: PArallel REarrangements and BReaks identification toolkit

Zabelkin A. et al.

Подробнее

BioLabs

Публикации

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

Подробнее

Группа нейробиологии и физиологии развития

Публикации

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

Подробнее

Лаборатория искусственного интеллекта

Публикации

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.

Астрофизика и физика частиц

Публикации

Tunka-Rex Virtual Observatory

V. Lenok et al. // PoS ICRC 2021 (2021) 421

Подробнее

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

Подробнее

Лаборатория криптографии

Публикации

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 и зависимых типов

Публикации

A simpler encoding of indexed types

Tesla Zhang

Подробнее

Лаборатория методов ядерно-физических экспериментов

Публикации

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

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

Подробнее

Методы машинного обучения в области программной инженерии

  • Доклады и выступления:
  • Курсы:
    • «Разработка ПО» (ВШЭ, СПбГУ и 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)

Подробнее

Лаборатория языковых инструментов

Публикации

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)

Лаборатория верификации и анализа программ

  • Доклады и выступления:
  • Прочитано 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

Подробнее

Лаборатория исследований процессов обучения

Публикации

High performance cycle: Grade goal mediates the relationship between previous academic performance and subsequent performance

Ivanyushina V.А., Alexandrov D.А.

Лаборатория алгоритмов мобильных роботов

Публикации

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

Подробнее

Проблемы оптимизации в программной инженерии

  • Доклады и выступления:
  • Релизы:
    • 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

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)