JetBrains Research
Looking Back at 2021

With many new areas of research, projects, and partnerships, we’ve had a year full of events and adventure. Many of us returned to our usual workflows in the company offices, but having liked the openness of online activities and events, we kept a lot of them going. Our active work with students and young specialists has inspired many fresh ideas and new collaborations.

In this review, we share our important news from last year and introduce the heads of the laboratories.

JetBrains Research in numbers

20+2
laboratories
204+48
researchers
28 
average employee age
10 
cities where JetBrains Research employees are based

In 2021

102 
courses delivered by the JetBrains Research staff
122 
publications with JetBrains Research affiliation and acknowledgments of support
74 
student projects in the spring and fall semesters
57 
summer internships
23 
new partnerships with universities and other educational institutions
116 
thesis projects under the guidance of JetBrains Research advisors

New Laboratories

Algorithms for Concurrent and Distributed Systems

Developing and analyzing algorithms for concurrent and distributed systems

Astroparticle Physics

Applying modern computing techniques to data analysis in astroparticle physics

JetBrains Research Team

Summary by Research Groups


Bioinformatics Group

Publications

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

Read more

High Rates of Genome Rearrangements and Pathogenicity of Shigella spp

Seferbekova Z. et al. // Frontiers in Microbiology, 2021, Vol. 12, pp. 628622

Read more

Chromosome-Level Genome Assemblies Expand Capabilities of Genomics for Conservation Biology

Totikov A. et al. // Genes, 2021, Vol. 12, No. 9, P. 1336

Read more

PaReBrick: PArallel REarrangements and BReaks identification toolkit

Zabelkin A. et al.

Read more

BioLabs

  • Delivered 5 conference talks:
  • Released regular updates on 3 projects:
    • “SnakeCharm”: a plugin for the PyCharm IDE for computational pipeline development within the Snakemake ecosystem.
    • “PubTrends”: a publication analysis service, with its source code freely available on GitHub.
    • “Viktor”: a multidimensional array representation and efficient vector calculations in Kotlin.
  • Published 2 articles.
  • Formed a new collaboration with Nikolai Kapralov on the PubTrends project, Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig, Germany.
  • Laboratory members reviewed several master's and bachelor’s theses (HSE University and ITMO University) and participated in the qualification board in the Systems Biology master’s program in ITMO University.
  • Taught 2 courses:
    • “Building Advanced Computational Pipelines with Snakemake” by Roman Chernyatchik for ITMO University master’s program on Systems Biology.
    • “Computational Epigenetics Analysis” by Oleg Shpynov and Roman Chernyatchik for ITMO University master’s program on Systems Biology.
  • Presented 7 summer internship projects:
    • “New Interactive Integrated Biological Analysis Service”.
    • “Methods for visualizing aggregated epigenetics data”.
    • “Changes in methylation and transcription in transposons with aging”.
    • “Detection of complex patterns in multiomics data on human aging”.
    • “JBR Genome Browser”.
    • “SnakeCharm Code Analysis Improvement 2021”.
    • “Predicting the impact of research papers”.

Publications

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

Read more

Semi-supervised peak calling with SPAN and JBR Genome Browser

Oleg Shpynov et al. // Bioinformatics, May 2021

Read more

Neurodevelopment and Neurophysiology Group

  • Dmitrii Bozhko delivered the “Neurobiology meets CS” talk at an Exotic Computing meet-up.
  • Vladislav Myrov held seminars on Bioinformatics.
  • Formed 2 new partnerships:
  • Published 1 article.
  • Taught the “Computational Neuroscience” course at HSE University.
  • Team members reviewed a master's thesis on modeling in the field of neuroscience (SPbU and ITMO University).
  • Held internal seminars for laboratory members.

Publications

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

Read more

AI Labs

  • Published 6 articles.
  • Held regular seminars and journal clubs on Machine Learning during the year.
  • Presented 18 student projects.
  • 20 thesis projects were written under the supervision of laboratory members (HSE University and ITMO University).
  • Alexey Shpilman and Oleg Svidchenko won the Ilya Segalovich Prize.
  • Organized and held 2 schools:
    • Practical Programming and Data Analysis Spring School for enrollees (organized by HSE University and JetBrains).
    • JetBrains Machine Learning Summer School for school children.
  • Taught 10 courses:
    • “Machine Learning” (Applied Data Analysis program at European University).
    • “Machine Learning” (Bioinformatics Institute).
    • “Machine Learning” (HSE University).
    • “Machine Learning” (ITMO University).
    • “Machine Learning” (Computer Science Center).
    • “Deep Reinforcement Learning” (HSE University and ITMO University).
    • “Deep Unsupervised Learning” (HSE University and ITMO University).
    • “Deep Reinforcement Learning” (MADE).
    • “Probability Theory and Statistics” (HSE University).
    • “Introduction to Machine Learning” (HSE University).

Publications

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

Read more

DEDPUL: Difference-of-Estimated-Densities-based Positive-Unlabeled Learning

D. Ivanov // 19th IEEE International Conference on Machine Learning and Applications (ICMLA), 2020

Read more

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

Read more

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

Read more

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

Read more

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

Read more

Paper-Analyzer

  • Released several versions of the Paper-Analyzer web application (invitation required for access).
  • A demo version of the Bio Question Answering plugin was launched.
  • The Paper-Analyzer team took second place at the BioASQ Challenge.
  • Denis Stepanov participated in teaching at JetBrains Machine Learning Summer School 2021.
  • Taught a “Deep Learning” course at HSE University and ITMO University.
  • Presented 4 student projects:
    • “Improving Dependency Tree Parsers”.
    • “Diff Pruning”.
    • “Language Model Distillation”.
    • “Continuous Prompt Generation”.

Astroparticle Physics

Publications

Tunka-Rex Virtual Observatory

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

Read more

Reconstruction of sub-threshold events of cosmic-ray radio detectors using an autoencoder

P. Bezyayeekov et al. // PoS ICRC 2021 (2021) 223

Read more

New insights from old cosmic rays: A novel analysis of archival KASCADE data

D. Kostunin et al. // PoS ICRC 2021 (2021) 319

Read more

Classification and Denoising of Cosmic-Ray Radio Signals using Deep Learning

A. Rehman et al. // PoS ICRC 2021 (2021) 417

Read more

Cryptographic Lab

  • Delivered 13 talks at various events:
    • “The duality mapping and unitary operators acting on the set of all generalized Boolean functions” by Aleksandr Kutsenko. Simposium “Current Trends in Cryptography” (June 2021, Moscow, Russia).
    • “On derivatives of Boolean bent functions” by Alexander Shaporenko. Simposium “Current Trends in Cryptography” (June 2021, Moscow, Russia).
    • “Algebraic cryptanalysis of round-reduced lightweight ciphers Simon and Speck” by Aleksandr Kutsenko, Natalya Atutova, Darya Zyubina, Ekaterina Maro, and Stepan Filippov. Simposium “Current Trends in Cryptography” (June 2021, Moscow, Russia).
    • “Analysis of the resistance of lightweight cryptography standards for radio interface communication systems to algebraic attacks” by Aleksandr Kutsenko, Natalya Atutova, and Darya Zyubina. The Third All-Russian Scientific and Technical Conference “The state and prospects of development of modern science in the field of Information Security” (April 2021, Anapa, Russia).
    • “A hybrid approach to the search for Boolean functions with high algebraic immunity based on heuristic methods” by Natalya Atutova. SIBECRYPT 2021.
    • “Development and analysis of an oracle for a hybrid attack on the NTRU cryptographic system using a quantum search algorithm” by Alexander Bakharev. SIBECRYPT 2021.
    • “S-boxes with maximum component algebraic immunity from a small number of variables” by Darya Zyubina and Natalia Tokareva. SIBECRYPT 2021.
    • “A method for ensuring data privacy based on zk-SNARK” by Dmitriy Kondyrev. SIBECRYPT 2021.
    • “Some properties of self-dual generalized bent functions” by Aleksandr Kutsenko. SIBECRYPT 2021.
    • “Algebraic cryptanalysis of low-resource ciphers Simon and Speck” by Aleksandr Kutsenko, Natalya Atutova, Darya Zyubina, Ekaterina Maro, and Stepan Filippov. SIBECRYPT 2021.
    • “Properties of XOR difference characteristics modulo 2n” by Nikolay Kolomeec, Matvey Panferov, Tatiana Bonich, Natalia Tokareva et al. SIBECRYPT 2021.
    • “DPLL-like solver of satisfiability problem over a system of equations in ANF” by Alexander Tkachev and Konstantin Kalgin. SIBECRYPT 2021.
    • “Derivatives of Boolean bent functions” by Alexander Shaporenko. SIBECRYPT 2021.
  • Taught 8 courses:
    • “Cryptography and Cryptanalysis” (special seminar, NSU).
    • “Mathematical Foundations and Applications of Quantum Computer Science: Cryptography and Computing” (special course, NSU).
    • “Fundamentals of Information Theory and Cryptography” (main course, NSU).
    • “Cryptography in Problems” (special seminar, NSU).
    • “Cryptography and Cryptanalysis. Modern Methods” (special course, NSU).
    • “Boolean Functions in Cryptography” (special course, NSU).
    • “Olympiad Problems in Cryptography” (special course, SESC NSU).
    • “Mathematical Methods in Cryptography” (special course, SESC NSU).
  • Formed new partnerships:
    • Cryptography Laboratory of RPC “Kryptonite” (Moscow, Russia).
    • Selmer Center in Secure Communication at the University of Bergen (Bergen, Norway).
    • Blockchain Laboratory, Sberbank PJSC (Moscow, Russia).
    • Russian Quantum Center (Moscow, Russia).
    • Tomsk State University (Tomsk, Russia).
    • Kovalevskaya North-West Center of Mathematical Research: joint hosting of the Cryptography Conference and Olympiad.
  • Organized 3 events:
  • Published 13 articles.
  • New courses were developed and launched for the Faculty of Information Technology of NSU (the 2021-2022 academic year).
  • Two graduate students of the laboratory successfully defended their PhD theses under the supervision of Natalia Tokareva.
  • All 6 graduate students of the laboratory were hired as instructors at NSU and SESC, despite having no previous teaching experience. Several undergraduates have also been involved in teaching.
  • Natalia Tokareva participated as an external examiner in an international PhD defense at the University of Bergen (Norway).
  • Presented 7 student projects.
  • 4 theses were written under the supervision of laboratory members (NSU).

Publications

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

Read more

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

Read more

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

Read more

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)

Read more

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 and Dependent Types Group

  • Delivered talks at various events:
  • Released 2 updates for Arend:
  • Taught 2 courses:
    • “Homotopy Type Theory” (ITMO University).
    • “Programming with Dependent Types” (ITMO University).
  • Presented the “Taking part in developing the Arend plugin for IntelliJ IDEA” student summer project. 
  • Published 1 article.
  • 1 thesis was written under the supervision of laboratory members (ITMO University).
  • Gave 2 talks at the seminar “Logical problems of informatics + Modal and algebraic logic” (joint seminar of the Department of Mathematical Logic and Theory of Algorithms, MSU, and the Department of Mathematical Logic of the Mathematical Institute of RAS).

Publications

A simpler encoding of indexed types

Tesla Zhang

Read more

Nuclear Physics Methods Laboratory

  • Delivered 23 talks at various events:
    • “Architecture of math calculations on Kotlin” by Alexander Nozik. Joker 2021.
    • “Controls.kt – a multiplatform API for device servers” (poster) by Alexander Nozik. ICALEPCS 2021.
    • “Simple “Reactor model” of relativistic runaway electron avalanches dynamics” by Egor Stadnichuk, Daria Zemlianskaya, and Victoria Efremova. vEGU21 – The 23rd EGU General Assembly, id.EGU21-13395.
    • “Simple “Reactor model” of relativistic runaway electron avalanches dynamics in thunderclouds” by Egor Stadnichuk. The Sixteenth Annual Conference of Plasma Physics in the Solar System, ICI RAS.
    • “Feedback operator in models of relativistic runaway electron avalanches dynamics in thunderclouds” by Egor Stadnichuk. Elementary Particle Physics and Cosmology 2021. X Interinstitutional Youth Conference.
    • “Simple “Reactor model” of relativistic runaway electron avalanches dynamics in thunderclouds” by Egor Stadnichuk. The 64th International MIPT Scientific Conference.
    • “A criterion for infinite positron feedback in the dynamics of runaway electron avalanches” by Egor Stadnichuk. The XXIV International Scientific Conference of Young Scientists and Specialists (AYSS-2020)
    • “Models of terrestrial gamma-ray flashes and Telescope Array observations during thunderstorms” by Egor Stadnichuk. Seminar of the Laboratory of Big Data Processing of the INR RAS.
    • “Optimization of the experiment strategy” by Vladimir Palmin. The 64th International MIPT Scientific Conference.
    • “Development of the Event Metadata System for the NICA experiments” by Artyom Degtyarev, Konstantin Gertsenberger, and Peter Klimai. The 64th International MIPT Scientific Conference.
    • “Data analysis of the solar cosmic ray detector” by Vladimir Palmin, Egor Stadnichuk, and Timur Khamitov. The Sixteenth Annual Conference of Plasma Physics in the Solar System, ICI RAS.
    • “Experiment optimization using Fisher information” by Vladimir Palmin, Elementary Particle Physics and Cosmology 2021. X Interinstitutional Youth Conference.
    • “Gamma quantum path dependence on the system characteristics” by Daria Zemlianskaya and Victoria Efremova. XVIII Young Scientists Conference “Fundamental and Applied Space Research”.
    • “Effect of aerosols on runaway electron avalanches in thunderclouds” by Daria Zemlianskaya. Elementary Particle Physics and Cosmology 2021. X Interinstitutional Youth Conference.
    • “Using the Cassandra DBMS to design the event metadata system for the NICA experiments” by Artyom Degtyarev. Elementary Particle Physics and Cosmology 2021. X Interinstitutional Youth Conference.
    • “Gamma quantum path before the production of runaway electrons in different system conditions” by Daria Zemlianskaya. XXVIII International Scientific Conference of Undergraduate and Graduate Students and Young Scientists “Lomonosov” 2021.
    • “Gamma quantum path dependence on the system characteristics” by Daria Zemlianskaya and Victoria Efremova. The Sixteenth Annual Conference of Plasma Physics in the Solar System, ICI RAS.
    • “Spectator nucleons in ultracentral 208Pb–208Pb collisions as a probe of nuclear periphery” by Nikita Kozyrev, Aleksandr Svetlichnyi, Roman Nepeyvoda, and Igor Pshenichnov. The Ninth Annual Large Hadron Collider Physics (LHCP2021). 
    • “Fragmentation of relativistic nuclei: from central to peripheral events” by Aleksandr Svetlichnyi, Elementary Particle Physics and Cosmology 2021. X Interinstitutional Youth Conference.
    • “Influence of nuclear deformation parametrization on the characteristics of spectator matter in 238U–238U collisions” by Nikita Kozyrev, Aleksandr Svetlichnyi, and Roman Nepeyvoda. XXVIII International Scientific Conference of Undergraduate and Graduate Students and Young Scientists “Lomonosov” 2021.
    • “Modeling collisions of relativistic nuclei with pre-equilibrium clustering of spectator matter” by Roman Nepeyvoda, Aleksandr Svetlichnyi, and Nikita Kozyrev. XXVIII International Scientific Conference of Undergraduate and Graduate Students and Young Scientists “Lomonosov” 2021.
    • “Scientific visualization libraries in Kotlin Multiplatform” by Alexander Nozik and Peter Klimai. Quarks-2021.
    • “Differentiable programming for particle physics simulations” by Roland Grinis. Quarks-2021.
  • Released updates on 3 projects:
  • Taught 5 courses:
  • Held 8 seminars:
  • Published 9 articles.
  • Created and launched a master program "Scientific Programming" in collaboration with JetBrains, Tavrida Electric, INR RAS, ISR RAS, JINR, HZG-DESY, HSE University at MIPT.
  • Organized a section on the QUARKS-2021 Workshop on Advanced Computing.
  • Formed a new collaboration with JBR Astroparticle Physics lab.
  • Iaroslav Postovalov and Alexander Nozik got into the list of contributors of Kotlin 1.5.
  • The team worked hard on the development of the concept of Terrestrial Gamma-ray Flashes gamma-ray detector for the Chibis-2 microsatellite project (SRI RAS).
  • Conducted a study of relativistic runaway electron avalanche dynamics with relativistic feedback via feedback operator.
  • The proton and electron scintillator detector for solar cosmic rays monitoring was tested on a proton beam on INR RAS LINAC.
  • Presented 5 student projects.
  • 4 theses were written under the supervision of laboratory members (MIPT).

Publications

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.

Read more

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.

Read more

Using Spectator Matter for Centrality Determination in Nucleus-Nucleus Collisions

A.Svetlichnyi, R.Nepeivoda, I.Pshenichnov // MPDI Particles / v.4(2) – 2021 – p. 227.

Read more

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

Read more

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

Read more

Concurrent Computing

  • Maria Sokolova held the “Lincheck: Testing concurrency on the JVM” workshop at the Hydra 2021.
  • The team released several versions of Lincheck, a tool for testing concurrent data structures.
  • Worked hard on the development of a prototype of an efficient and declarative framework for benchmarking concurrent data structures.
  • Assisted in organizing the Hydra 2021 conference on concurrent and distributed computing.
  • Published 2 articles.
  • 4 theses were written under the supervision of team members (HSE University and ITMO University).
  • Taught 2 courses:
    • “Parallel Programming” (ITMO University).
    • Seminars on Algorithms (HSE University).
  • Presented 7 student projects:
    • “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”.

Publications

A Scalable Concurrent Algorithm for Dynamic Connectivity

Alexander Fedorov, Nikita Koval, Dan Alistarh // SPAA '21

Read more

Multi-Queues Can Be State-of-the-Art Priority Schedulers

Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh // Accepted at PPoPP’22

Read more

Cyber-Physical Systems Lab

  • Made 6 presentations at various events:
  • Held 6 seminars:
    • Panel discussion "Formal Methods and Languages for Industry 4.0: Challenges and Perspectives" by Vladimir Zyubin. CSMML Workshop.
    • “A subject-oriented solution for the development of a device management subsystem of a family of telecommunication systems” by Dmitry Koznov (SPbSU). “Engineering of modern information systems” seminar.
    • ”Verifying automatic programs on the Rodin platform (using the example of the endogas generator control task)” by Maxim Neizov (Design Institute “AutoPromTermoObrabotka”, Kurgan). “Engineering of modern information systems” seminar.
    • “Blockchain indexing for micro-platforms with a limited communication budget” by Alex Shafarenko (University of Hertfordshire, UK).
    • “Blockchain technology for non-financial applications in the Internet of Things” by Alex Shafarenko (University of Hertfordshire, UK).
    • “PLC-Easy: DCS solution based on Schneider PLCs and Wonderware SCADA” by Martyn Hilbers, E, I&C Engineer (Cleveland, USA).
  • Released PoST2ST: a web service for translating poST programs to IEC 61131-3 Structured Text. The application checks the syntax and semantics rules of programs, and generates ST code and a PLCopen XML Exchange format that can be used in existing IEC 61131-3 development tools.
  • A CSMML Workshop “Control Software: Methods, Models, and Languages in the framework of MEDI” was organized and held, with Vladimir Zyubin, Natalia Garanina, and Sergey Staroletov serving as program committee chairs.
  • Published 9 articles.
  • Presented 6 student projects.
  • 8 theses were written under the supervision of laboratory members (NSU).
  • Andrey Rozov defended his PhD thesis “Development of models and methods of process-oriented programming for open microcontroller platforms”.
  • Formed new partnerships:
    • L.N. Gumilyov Eurasian National University (Russia): participation in meetings of the Dissertation Council, preparation of doctoral students, and joint projects on distributed cyber-physical systems.
    • Lulea University of Technology (Sweden): joint projects and publications on the development of languages for the purposes of Industry 4.0, a post-doc internship.
    • University of Münster (Germany): joint projects, publications, and seminars on the development of verification tools for process-oriented programs.
    • Hochschule für Technik und Wirtschaft (Berlin, Germany): preparation of joint publications and projects on the development of means of deductive verification (Keymaker) of cyber-physical systems.

Publications

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

Intelligent Collaboration Tools Lab

  • Published 7 articles.
  • Made 3 internal releases.
  • Held regular seminars throughout the year.
  • Vladimir Kovalenko delivered the “Beyond Code: Towards Intelligent Collaboration Tools” keynote at BENEVOL 2021.
  • Formed a new collaboration with BILSEN, Bilkent University (Ankara, TR).
  • Organized educational practice at HSE University and SPbU.
  • 3 theses were written under the supervision of laboratory members (HSE University and SPbPU).
  • Presented 6 student projects:
    • “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”.
  • Vladimir Kovalenko was appointed MSR 2022 Industry Co-Chair and organized the Industry Track.
  • As a contribution to the academic community, team members reviewed many submissions for ESEC/FSE, JSS, SCICO, Frontiers in Communication, EPJ Data Science, ACM SRC Grand Finals, and SEIM.

Publications

DepMiner: A Pipelineable Tool for Mining of Intra-Project Dependencies

Vladislav Repinskiy, Vladimir Kovalenko

Read more

PSIMiner: A Tool for Mining Rich Abstract Syntax Trees from Code

Egor Spirin, Egor Bogomolov, Vladimir Kovalenko, Timofey Bryksin // MSR 2021

Read more

TNM: A Tool for Mining of Socio-Technical Data from Git Repositories

Nikolai Sviridov, Mikhail Evtikhiev, Vladimir Kovalenko // MSR 2021

Read more

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

Read more

Building the Collaboration Graph of Open-Source Software Ecosystem

Elena Lyulina, Mahmoud Jahanshahi // MSR 2021

Read more

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

Read more

The IntelliJ Platform: a Framework for Building Plugins and Mining Software Data

Zarina Kurbatova, Yaroslav Golubev, Vladimir Kovalenko, Timofey Bryksin // IWoR 2021

Read more

Machine Learning Methods in Software Engineering

  • Timofey Bryksin delivered 2 keynotes:
  • Taught 8 courses at 4 different sites:
    • “Software Development” (HSE University, SPbU, and Computer Science Center).
    • “Software Development Technology” (SPbU).
    • “Fundamentals of Programming” (SPbU).
    • “Data Processing in Python” (SPbU).
    • “Software Design” (ITMO University).
    • “Programming in C” (HSE University and SPbU).
    • “Programming in Kotlin” (HSE University and SPbU).
    • “Machine Learning in Software Engineering” (HSE University and SPbU).
  • Published 13 articles.
  • Held regular seminars and journal clubs throughout the year.
  • Presented 16 student projects.
  • 12 theses were written under the supervision of laboratory members (SPbU, HSE University, MIPT, ITMO University).

Publications

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

Read more

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

Read more

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)

Read more

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)

Read more

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)

Read more

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)

Read more

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)

Read more

On the Nature of Code Cloning in Open-Source Java Projects

Yaroslav Golubev, Timofey Bryksin // 15th International Workshop on Software Clones (IWSC)

Read more

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)

Read more

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)

Read more

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)

Read more

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)

Read more

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)

Read more

Programming Languages and Tools Lab

Publications

An Empirical Study of Partial Deduction for MiniKanren

Ekaterina Verbitskaia, Daniil Berezun, Dmitry Boulytchev // VPT-2021

Read more

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

Daniil Berezun, Dmitry Boulytchev // TFPIE-2021

Read more

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.

Read more

Mechanized Theory of Event Structures: A Case of Parallel Register Machine

Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov // SYRCoSE'21

Read more

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

Read more

Efficient Parallel Algorithms for String Comparison

Nikita Mishin, Daniil Berezun, Alexander Tiskin // ICPP 2021, August 2021

Read more

Context-Free Path Querying In Terms of Linear Algebra

Rustam Azimov // Proceedings of the VLDB 2021 PhD Workshop

Read more

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)

Read more

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)

Read more

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,

Read more

A Complexity Study for Interleaving Search

Dmitry Rozplokhas, Dmitry Boulytchev // miniKanren-2021

Read more

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)

Verification or Program Analysis Lab

  • Made 8 presentations at various events:
    • “ReduKtor: How we stopped worrying about bugs in the Kotlin compiler” by Daniil Stepanov, a seminar for members of the Machine Learning Methods in Software Engineering lab.
    • “Fuzzing of the Kotlin compiler: instructions for use” by Daniil Stepanov, a seminar for members of the Programming Languages and Tools Lab. 
    • “What compiler fuzzing is and how it can help make Kotlin better” by Daniil Stepanov. Kotlin team.
    • “Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types” by Daniil Stepanov (from ICST 2021).
    • “Partial Specifications of Libraries: Applications in Software Quality Assurance Tasks” by Vladimir Itsykson. Workshop: Effective development technologies in business scenarios.
    • “Static and dynamic analysis of software with the purpose of finding vulnerabilities in source code” by Vladimir Itsykson. Russian Wireless Workshop 2021 (RWW 2021).
    • “Partial Library Specifications: Improving precision of symbolic execution” by Vladimir Itsykson. Workshop: SAT/SMT solvers: Theory and Practice.
    • “Kex: how we are using SMT solvers to generate tests” by Azat Abdullin. Workshop: SAT/SMT solvers: Theory and Practice.
  • Taught 4 courses:
    • “Static Program Analysis” (SPbPU).
    • “Program Analysis” (HSE University).
    • “Software Development Technologies” (SPbPU).
    • “Software Testing” (SPbPU).
  • Published 6 articles.
  • The team participated in SBST Tool Competition 2021 with the KEX project and wrote an article based on the results.
  • ”Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types” by Daniil Stepanov, Marat Akhin, and Mikhail Belyaev won the Best Paper Award at ICST 2021.
  • New multi-brand industrial master's program in Computer Science and Computer Engineering was launched at the St. Petersburg Polytechnic University. It includes industrial tracks sponsored by JetBrains/SPbPU, Odnoklassniki, Huawei, Sigma, and Creonomyca.
  • 11 theses were written under the supervision of laboratory members (SPbPU).

Publications

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

Read more

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

Read more

Learning Research Lab

  • Taught 5 courses:
  • Published 1 article.
  • Held an open lecture “Learning strategies: What can we learn from cognitive research?”.
  • Released Learning Research Web Application 2020.1 – a platform for cognitive and socio-psychological research.
  • Cooperated with ETU “LETI” in large-scale longitudinal research among students majoring in technical and natural sciences that aims to reveal the main positive and negative factors that affect learning processes.
  • Presented 3 student projects:
    • “Instructional Scaffolding And Students’ Cognitive Engagement In Programming MOOCs” (HSE University).
    • “Academic success of university students” project group (HSE University).
    • “Humanities girls and techie boys: gender stereotypes in the exact sciences” project groups (HSE University).

Publications

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

Ivanyushina V.А., Alexandrov D.А.

Mobile Robot Algorithms Laboratory

  • Made 5 presentations at various events:
    • Anton Filatov held a master class and presented student projects as part of the Teacher week at Race4Scale (ETU “LETI”).
    • “Co-evolutionary hybrid intelligence“ by Kirill Krinkin, Yuliya Shichkina, and Andrey Ignatiev. BF-NAICS 2021 Baltic Forum: Neuroscience, Artificial Intelligence and Complex Systems.
    • “Co-evolutionary hybrid intelligence is a key concept toward the world intellectualization” by Kirill Krinkin, Yuliya Shichkina, and Andrey Ignatiev. WOSC 2021 World Organization of Systems and Cybernetics 18th Congress.
    • “International standardization in the field of AI” by Kirill Krinkin. Digital Industry of Industrial Russia.
    • “From modeling cognitive functions to co-evolving hybrid intelligence”, a seminar by Kirill Krinkin and Igor Bondar. AI in Industry Association.
  • Taught 21 courses:
    • “Programming” (ETU “LETI”).
    • “Mobile Development” (ITMO, ETU “LETI”).
    • “C++ Basics” (practice, SPbU).
    • “Classical Bayesian Filters, R&D” (ETU “LETI”).
    • “Linux-based Real-time Systems” (ETU “LETI”).
    • “Self-driving Cars” (HSE University and ITMO University).
    • “Algorithms and Data Structures” (ETU “LETI”).
    • “Computer Science” (ETU “LETI”).
    • “Data Analysis: R, Pandas” (ETU “LETI”).
    • “Introduction to Software Engineering” (ETU “LETI”).
    • “Linux Kernel Development” (ETU “LETI”).
    • “Computer Architecture” (SPbU).
    • “Operating Systems” (SPbU).
    • “Organization of Computers and Systems” (ETU “LETI”).
    • “SLAM Algorithms” (ETU “LETI”).
    • “Image Processing and Computer Vision Based on Neural Networks” (ETU “LETI”).
    • “Intelligent Systems” (ETU “LETI”).      
    • “AI Methods Overview. Visual Data Analysis Tools” (MGIMO).
    • “Visual Data Analysis Tools” (ETU “LETI”).
    • “Programming in Medical Systems” (ETU “LETI”).
    • “Algorithms in Medical Systems” (ETU “LETI”).
  • Educational projects:
    • Organized the finals of the Autonomous Driving Olympics at ETU “LETI”.
    • “Create a traffic light for a smart city” seminar was held at the Futurion fest, International festival of ideas and technologies “RUKAMI”, Engineering and Technological School #777 (ETS-777), St. Petersburg.
    • Organized Joint Advanced Student School (JASS 2021).
    • Laboratory members participated as experts in the FIRST Tech Challenge final.
    • Participated as FIRST Tech Challenge experts at the “First Robotics Championship – Nizhny Novgorod 2.0”.
    • Organized a field trip to the Laboratory of Intelligent Mobile Systems (ETU “LETI”) as part of vocational guidance for schoolchildren.
    • Organized a Summer online internship in Android App Development .
    • Classes within the additional educational discipline “STEM Laboratory” were held at ETS-777 and “Kudrovo” School, St. Petersburg.
    • Organized summer practice for ETS-777 schoolchildren (ETU “LETI”).
    • Launched Kotlin for Android Applications online course.
    • “STEM for children” school was organized by Kirill Krinkin, Tatiana Berlenko, and Konstantin Chaika.
    • Participated in “Principal Investigator in AI” school.
  • Anton Filatov held the “Scalable algorithms for simultaneous localization and mapping” seminar at Innopolis.
  • Published 18 articles.
  • Formed a new partnership with London Imperial College.
  • Presented 21 student projects.
  • 11 theses were written under the supervision of laboratory members (ETU “LETI”, HSE University, SPbU, and Computer Science Center).

Publications

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.

Read more

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.

Read more

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.

Read more

Resource Taxonomy for a Fog System

López L., Krinkin K. // Conference of Open Innovations Association, FRUCT. – FRUCT Oy, 2021. – №. 29. – С. 460-464.

Read more

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.

Read more

Correlation filter of 2D laser scans for indoor environment

Krinkin K., Filatov A. // Robotics and Autonomous Systems. – 2021. – Т. 142 - Q1

Read more

Autonomous Wheels And Camera Calibration In Duckietown Project

Krinkin K., Chayka K., Filatov A., Filatov A. // Procedia Computer Science. – 2021. – Т. 186. – С. 169-176.

Read more

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

Read more

Public Speaking Web Trainer

Pliushchenko D., Zaslavskiy M. // 2021 29th Conference of Open Innovations Association (FRUCT). – IEEE, 2021. – С. 485-490.

Read more

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

Read more

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

Read more

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)

Read more

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)

Read more

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”

Read more

Multi-Drone 3D Building Reconstruction Method

Anton Filatov, Mark Zaslavskiy, and Kirill Krinkin // Special Issue “Application of Mathematical Methods in Artificial Intelligence”

Read more

Оценивание качества обучения нейросетевых алгоритмов обработки информации

Чайка К.В., Шестопалов Р.П. // Информационно-экономические аспекты стандартизации и технического регулирования. 2021. № 2 (60). С. 17-26

Read more

Algorithms for Concurrent and Distributed Systems

  • Taught 4 courses:
    • “Programming Distributed Systems” (ITMO University).
    • “Parallel and Concurrent Algorithms” (MIPT).
    • “Parallel Algorithms” (ITMO University).
    • “Basic Algorithms and Data Structures” (ITMO University).
  • Formed new partnerships:
    • Stefan Schmid from the University of Vienna.
    • Dan Alistarh from IST Austria.
    • Danny Hendler from Ben-Gurion University.
    • Michael Spear from Lehigh University.
  • Published 4 articles.
  • Assisted in organizing the Hydra 2021 conference and the Bioinformatics Contest.
  • 8 theses were written under the supervision of laboratory members (ITMO University and MIPT).
  • Presented 4 student projects:
    • “Algorithms for verifying concurrent programs”.
    • “Self-adjusting networks on the grid”.
    • “Self-adjusting concurrent networks”.
    • “Efficient logarithmic range queries for binary search trees”.

Publications

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

Read more

Optimization Problems in Software Engineering

  • Delivered 4 talks at various sites:
  • Made 4 releases:
    • GADMA: Genetic Algorithm for Demographic Model Analysis.
    • GADMA new release: Genetic Algorithm for Demographic Model Analysis.
    • EvoGuess: framework for hardness estimating of SAT instances by decomposition set searching.
    • MetaFast: support pipeline for extracting unique features to compare groups of metagenomic samples
  • 4 articles were published.
  • Ekaterina Noskova became the winner of the Scholarship Program in System, Cellular and Molecular Biology from Skoltech.
  • The laboratory team joined the “Strong AI in Industry” center, ITMO University.
  • Danil Krylatykh and Konstantin Chukharev created an experimental stand with robotic arms. It is a demonstrator for the methods of control finite automata synthesis, being developed in the laboratory.
  • Launched a series of online seminars on SAT solutions and applications.
  • Presented 11 student projects.
  • 6 theses were written under the supervision of laboratory members (ITMO University).

Publications

BeBoSy: Behavior Examples meet Bounded Synthesis

Chivilikhin D., Zakirzyanov I., Ulyansev V. // IEEE Access, Vol. 9, pp. 27540-27551, 2021

Read more

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

Read more

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

Read more

Parameterized Algorithms Laboratory

  • Ivan Bliznets delivered the talk “New Length Dependent Algorithm for Maximum Satisfiability Problem” at AAAI 2021.
  • The HSE SPb team (team lead: Ivan Bliznets) participated in the International Mathematics Competition for University Students 2021.
  • Published 3 articles.
  • Presented 5 student projects.
  • 5 theses were written under the supervision of laboratory members (HSE University and SPbU).
  • Taught 13 courses at 3 different sites:

Publications

New Length Dependent Algorithm for Maximum Satisfiability Problem

Vasily Alferov, Ivan Bliznets // AAAI -2021 (A* conference)

Read more

Algorithmic Extensions of Dirac's Theorem

Fedor V. Fomin, Petr A. Golovach, Danil Sagunov, Kirill Simonov // Accepted to SODA 2022 (A* conference)

Read more

Fair division with minimal withheld information in social networks

Ivan Bliznets, Anton Bukov, Danil Sagunov // Submitted to AAAI 2022 (A* conference)