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
In 2021
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

- Made 3 presentations at the Moscow Conference on Computational Biology 2021:
- “Fast gene set enrichment analysis with multi-level Monte-Carlo approach” by Alexey Sergushichev.
- “Method for detection of parallel adaptation with genome rearrangements in bacterial populations” by Nikita Alexeev.
- “Identification and separation of sources of transcriptional variability in single-cell RNA-seq data” by Konstantin Zaitsev.
- Released 3 projects:
- Published 4 articles.
- Co-organized the Bioinformatics Contest.
- 3 thesis projects were written under the supervision of laboratory members (ITMO University).
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
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

- Delivered 5 conference talks:
- 3 accepted poster presentations for the ACM-BCM Workshop on Algorithms in Bioinformatics WABI 2021.
- 2 accepted poster talks for the Moscow Conference on Computational Molecular Biology MCCMB 2021.
- 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
Semi-supervised peak calling with SPAN and JBR Genome Browser
Oleg Shpynov et al. // Bioinformatics, May 2021
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:
- Institute of Higher Nervous Activity and Neurophysiology of RAS: analysis of single cell stimulation of neurons and modeling of their activity to establish possible additionally active receptors in addition to blocked ones.
- Institute of Translational Biomedicine, Saint Petersburg State University: neuromorphic networks with variable topology, regulation of neuronal metabolism by glial cells.
- 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
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
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

- 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

- Delivered 8 talks at various events:
- “Using modern machine learning methods on KASCADE data for science and education” by Viktoria Tokareva. DLCP-2021.
- “Legacy of Tunka-Rex software and data” by Pavel Bezyazeekov. DLCP-2021.
- Alumni talk by Dmitriy Kostunin. KSETA PhD Workshop.
- “New insights from old cosmic rays: A novel analysis of archival KASCADE data” (poster session) by Dmitriy Kostunin. ICRC 2021.
- “Reconstruction of sub-threshold events of cosmic-ray radio detectors using an autoencoder”' by Pavel Bezyazeekov. ICRC 2021.
- ”Tunka-Rex Virtual Observatory” (poster session) by Vladimir Lenok. ICRC 2021.
- “Big data in Astrophysics” by Dmitriy Kostunin. JetBrains Research meetup in Munich.
- “Introduction in ground-based Astroparticle Physics” by Dmitriy Kostunin, a seminar at MIPT.
- Released 2 projects:
- Tunka-Rex Virtual Observatory: a Tunka-Rex experiment virtual observatory with a data access API (on the KCDC platform). https://www.youtube.com/watch?v=ZZxNYnYz-L8
- Machine learning particle classification for KASCADE data: an educational application for visualizing the analysis of the mass composition of cosmic rays.
- Formed new partnerships:
- KIT (Karlsruhe Institute of Technology): collaboration on KCDC and Tunka-Rex.
- Mathematical Center in Akademgorodok: joint projects on Machine Learning.
- CEA (French Alternative Energies and Atomic Energy Commission): collaboration on the Astro-Colibri project (student internships).
- INR RAS (Institute for Nuclear Research of the Russian Academy of Sciences): collaboration in the processing and interpretation of KASCADE-Grande data (submitted a joint application to the Russian Science Foundation).
- Datalore: a series of publications on data science in astroparticle physics (in progress).
- DESY Zeuthen: development of tools for searching for gamma transients of very high energies.
- Nuclear Physics Methods Laboratory: students scientific supervision in the MIPT master's program.
- Alina Mikhailenko held the “Machine and Deep Learning in Astrophysics” seminar.
- Published 4 articles.
- Nine of our students participated in the Great Mathematical Workshop with the project “Hunting Space Accelerators: Search for Ultra-High Energy Photons Using Machine Learning”.
- Our Astroparticle Physics team participated in the G2Net Gravitational Wave Detection @Kaggle challenge, placing 146th out of 1219 and scoring 0.87874, just a pinch behind the winner's 0.88538.
- Laboratory members held seminars and created notebook tasks for students as part of the International Cosmic Day.
- Presented 10 student projects.
Publications
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
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
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 and Dependent Types Group

- Delivered talks at various events:
- “The Arend proof assistant” by Valery Isaev. Spring School on Homotopy Type Theory.
- “Introduction to homotopy type theory” by Valery Isaev. Logic seminar, Institute of Mathematics of the Czech Academy of Sciences.
- A number of talks and lectures on Arend and homotopy type theory at Lalambda 2021 School.
- 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
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:
- “Introduction to Scientific Programming in Kotlin” (MIPT).
- “Statistical Methods in Experimental Physics” (MIPT).
- “Advanced Programming in Python” (pilot, MIPT).
- “Development Tools” (pilot, MIPT + JetBrains).
- “Numerical Methods” (pilot, MIPT + Skoltech).
- Held 8 seminars:
- “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”.
- “Development of a physical event metadata system for NICA project experiments”.
- 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.
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
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
Multi-Queues Can Be State-of-the-Art Priority Schedulers
Anastasiia Postnikova, Nikita Koval, Giorgi Nadiradze, Dan Alistarh // Accepted at PPoPP’22
Cyber-Physical Systems Lab

- Made 6 presentations at various events:
- “Event-driven Temporal Logic Pattern for Control Software Requirements Specification” by Vladimir Zyubin, Igor Anureev, Natalia Garanina, Sergey Staroletov, Andrei Rozov, and Tatiana Liakh. 9th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran.
- “Using Process-Oriented Structured Text for the IEC 61499 Functional Block Specification” by Vladimir Zyubin and Andrei Rozov. CSMML Workshop: Control Software: Methods, Models, and Languages in the framework of MEDI, Tallinn, Estonia.
- “Static Checking Consistency of Temporal Requirements for Control Software” by Natalia Garanina and Dmitry Koznov. CSMML Workshop: Control Software: Methods, Models, and Languages in the framework of MEDI, Tallinn, Estonia.
- “Process-Oriented Programming of Control Software for Complex Technical Systems” by Vladimir Zyubin. Control and Automation in Electrical Devices and Systems International Summer School for Students and Postgraduates.
- “Statistical foundations of neural networks and the impact of errors on the quality of modeling” by Vladimir Zyubin. Technoprom 2021, Novosibirsk, Russia.
- “Psychological aspects of complex information systems programming” by Vladimir Zyubin. VIII International Conference “Knowledge – Ontologies – Theories 2021”.
- 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
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 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
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)
Programming Languages and Tools Lab

- Delivered conference talks and lectures:
- “Beyond the Elementary Representations of Program Invariants over Algebraic Data Types” by Yurii Kostyukov. PLDI 2021.
- “Solving Constrained Horn Clauses over ADTs by Finite Model Finding” by Yurii Kostyukov. HCVS 2021.
- “Programming Language Memory Models: Problems, Solutions, and Directions” by Anton Podkopaev. SYRCoSE 2021.
- “Property Directed Symbolic Execution” by Dmitry Mordvinov. SYRCoSE 2021.
- “Distilling Sparse Linear Algebra” by Aleksey Tyurin. ICFP 2021 SRC.
- “Context-Free Path Querying In Terms of Linear Algebra” by Rustam Azimov. VLDB 2021: PhD Workshop.
- “Context-free path querying: Obstacles on the way to adoption” by Semyon Grigorev. Fourteenth LDBC TUC Meeting.
- “Viterbi Algorithm Specialization Using Linear Algebra” by Ivan Tyulyandin. SEIM 2021.
- “Context-Free Path Querying with All-Path Semantics by Matrix Multiplication” by Rustam Azimov. GRADES NDA 2021.
- A number of talks and lectures (by Anton Podkopaev, Evgenii Moiseenko, and Egor Namakonov) at the Lalambda 2021 Conference.
- Taught 12 courses at 4 different sites:
- “Programming Languages and Compilers” (HSE University and Computer Science Center).
- “Programming Languages Semantics” (Computer Science Center).
- “Mathematical Logic in Computer Science” (practice, SPbU).
- “Operating Systems” (practice, SPbU).
- “Metacomputing” (HSE University and ITMO University).
- “Theory of Formal Languages” (SPbU).
- “Programming Practice” (SPbU).
- “Computer Data Processing Structures and Algorithms” (SPbU).
- “Graph Theory” (SPbU).
- “Introduction to Machine Learning” (SPbU).
- “Algorithms and Data Structures” (SPbU).
- “Additional Chapters of Mathematical Logic and Theory of Algorithms” (SPbU).
- Released 5 projects:
- RInGen: Horn clauses solver for algebraic data types.
- CuBool and pyCuBool: a linear Boolean algebra primitives and operations library on the CUDA platform and a python wrapper for it.
- SPbLA and pyspbla: a linear Boolean algebra primitives and operations library on the GPGPU platform (CUDA + OpenCL)and a Python wrapper for it.
- cfpq-data: a Python package for the creation, manipulation, and study of the structure, dynamics, and functions of complex Graphs and Grammars used for experimental analysis of Context-Free Path Querying algorithms.
- RedisGraph + CFPQ: an extension for RedisGraph which allows context-free path querying.
- 16 seminars were held:
- “Efficient implementation of arrays in the SAC functional language” by Nikita Volnov.
- “Staged Selective Parser Combinators” by Dmitrii Kosarev.
- “Converting applications to a native executable image in the GraalVM project” by Oleg Pliss.
- “Flow2Vec: Value-Flow-Based Precise Code Embedding” by Egor Orachev.
- “Fuzzing of the Kotlin compiler: instructions for use” by Daniil Stepanov.
- “The Fine-Grained and Parallel Complexity of Andersen’s Pointer Analysis” by Ekaterina Shemetova.
- “Effective Programming in OCaml” by KC Sivaramakrishnan.
- “Incorrectness Separation Logic” by Vladimir Gladshtein.
- “Full reduction at full throttle” by Dmitrii Mikhailovskiy.
- “Modal Type Theory” by Anton Trunov.
- “Cameleer: a Deductive Verification Tool for OCaml” by Mário Pereira.
- “Semantics of First-order Horn Clause Logic” by Yue Li.
- “Tupling via Constructive Algorithmics” by Ekaterina Verbitskaya.
- “Iris, a Modern Concurrent Separation Logic” by Dmitriy Khalanskiy.
- “Recent Developments in Concurrent Kleene Algebra” by Paul Brunet.
- Regular seminar on Formal Languages.
- Published 15 articles.
- Formed a new partnership with the School of Computing, Dublin City University, Ireland: collaboration with Geoff Hamilton on the distiller to optimize sparse linear algebra functions and a joint work on an article on this topic.
- Presented 8 student projects.
- 6 theses were written under the supervision of laboratory members (HSE University and SPbU).
- Members of the laboratory defended their candidate’s (Dmitry Mordvinov) and master’s (Yurii Kostyukov, Alexandr Misonizhnik, and Konstantin Batoev) thesis.
Publications
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)
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
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
Learning Research Lab
- Taught 5 courses:
- “Introduction to Digital Social Research” (HSE University).
- “Information Systems” (HSE University).
- “Cognitive Psychology and Social Behavior” (HSE University).
- Research Seminar “Analytical Sociology and Big Data” (HSE University).
- “Digital Social Research” (HSE University).
- 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.
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
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
Optimization Problems in Software Engineering

- Delivered 4 talks at various sites:
- “Temporal specification mining for IEC 61499 function blocks using evolutionary algorithms and model checking” by Daniil Chivilikhin. IEEE Congress on Evolutionary computation.
- “Science. Why do we need Bioinformatics?” by Vladimir Ulyantsev. Kartaev and Makharadze Show, Radio Mayak.
- “Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms” by Daniil Chivilikhin. 27th International Conference on Principles and Practice of Constraint Programming.
- “Multi-objective optimization of very expensive black-box functions with SMAC” seminar by Ekaterina Noskova. Chebyshev Laboratory, SPbU.
- 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
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
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:
- “Algorithms and Data Structures” (SPbU).
- “Algorithms and Data Structures” (HSE University and ITMO University + JetBrains).
- “Theoretical Computer Science: Computability” (SPbU).
- “Theoretical Computer Science” (SPbU).
- “Parameterized Algorithms” (HSE University and SPbU).
- “Approximation Algorithms Part 2” (HSE University).
- “Approximation Algorithms” (SPbU).
- “Discrete Mathematics” (HSE University).
- “Discrete Mathematics Part 2” (HSE University and SPbU).
- “Discrete Mathematics” (SPbU).
- “Randomized Algorithms” (SPbU and HSE University).
- “Exact Exponential Algorithms” (HSE University).
- “Combinatorics and Graph Theory” (HSE University and ITMO University + JetBrains).
Publications
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)