JetBrains Research
Looking Back at 2021

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

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

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

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

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:
  • Summer School on Cryptography and Information Security 2021.
  • International Conference SIBECRYPT 2021.
  • International Olympiad in Cryptography NSUCRYPTO 2021.
• 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

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:
  • Arend 1.6
  • Arend 1.7
• 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:
  • Plotly.kt 0.3 and 0.4.
  • Public release of gdml.kt.
  • KMath 0.2.
• 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

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

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

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

Machine Learning Methods in Software Engineering

• Timofey Bryksin delivered 2 keynotes:
  • “Machine Learning and IDEs: A JetBrains Case”, keynote at ICSME 2021.
  • “Integrating Refactoring Recommendations into an IDE: A JetBrains Story”, keynote at IWoR 2021.
• 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

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

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

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

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

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

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

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