10:00-10:15

Opening Speech
Alexander Petrenko (ISP RAS), Representatives of NCFU

10:15-11:15

Invited Talk

10:15-11:15

AI-driven Software Engineering: Overview, Advancements and Challenges
Konstantin Sorokin (ISP RAS)

11:15-11:35

Coffee Break

11:35-13:20

Session: Formal Methods and Test Automation
Moderator: Vladislav Lutsenko (NCFU)

11:35-11:55

Block-Abstraction Memoization for Symbolic Memory Graphs
Oleg Petrov (ISP RAS)

11:55-12:15

Bisimulations in Memory Finite Automata
Antonina Nepeivoda (Bauman MSTU, PSI RAS), Aleksandr Delman, Anna Terentyeva (Bauman MSTU)

12:15-12:35

Deriving Test Suites for Software Checking Based on Extended Finite State Machine
Maxim Morozov (ISP RAS)

12:35-12:50

Uncertainty Problem in High-level Model Based Trace Analysis as Part of Runtime Verification
Aleksei Karnov (ISP RAS)

12:50-13:05

On the Automated Unit Tests Generation for Java Applications Using Spring
Kirill Shishin, Ilia Muravev, Egor Kulikov (St. Petersburg State University)

13:05-13:20

Four-Dimensional ACC Analysis
Nazgul Mustafina, Mikhail Plaksin, Polina Mikisheva (HSE)

13:20-14:10

Lunch

14:10-14:40

Introductory Tour of the NCFU Museum (in Russian)

14:40-15:10

Session: Network Security
Moderator: Vladislav Lutsenko (NCFU)

14:40-14:55

Applicances of Different Kind of Storage Systems for Network Traffic Analysis Results
Vladislav Egorov, Roman Ponomarenko, Aleksandr Getman (ISP RAS)

14:55-15:10

Intelligent Algorithms for Detecting Attacks in the Web Environment
Maria Lapina, Vitaly Movzalevskaya, Marina Tokmakova, Mikhail Babenko (NCFU), Viktor Kochin (BSU)

15:10-16:10

Session: Logic Synthesis
Moderator: Vladislav Lutsenko (NCFU)

15:10-15:25

Experimental Comparison of Logic Circuit Synthesis Methods
Maksim Vershkov, Alexey Yagzhov, Nikita Romanov, Egor Znatnov, Anna Fedotova (ISP RAS, HSE)

15:25-15:40

Technology-Independent Power Optimization of Combinational Circuits
Anastasiya Kurganskaya, Alexey Yagzhov, Alexander Kamkin, Sergey Smolov (ISP RAS, HSE)

15:40-15:55

Structural Technology Mapping with Power Optimization
Anna Fedotova, Mikhail Chupilko (ISP RAS, HSE)

15:55-16:10

Cut-based Technology Mapper with Optimizations
Daniil Garyaev, Egor Belin, Grigory Mazov, Vladislav Shtrenev, Mikhail Chupilko (ISP RAS, HSE, PRUE)

16:10-16:30

Coffee Break

16:30-17:00

Session: Computer Arithmetic
Moderator: Vladislav Lutsenko (NCFU)

16:30-16:45

High Speed Method of Conversion Numbers from Residue Number System to Positional Notation
Vladislav Lutsenko, Mikhail Babenko (NCFU)

16:45-17:00

Development of a System for Testing the Accuracy and Efficiency of Homomorphic Encryption Libraries for Rational Numbers with a Fixed Mantissa
Egor Shiriaev, Mikhail Babenko, Ekaterina Bezuglova, Maria Lapina (NCFU)

17:00-18:10

Session: Software Engineering
Moderator: Vladislav Lutsenko (NCFU)

17:00-17:20

Application of Generative Artificial Intelligence for Risk Management of Software Projects
Anna Dzheiranian, Mikhail Plaksin (HSE)

17:20-17:40

Ontology-based Neurointerface IoT Integration Approach
Ivan Labutin, Svetlana Chuprina (Perm State University)

17:40-17:55

TQL: A Case Study of Integrating DSL in a Product

Artyom Belousov (ISP RAS, HSE)

17:55-18:10

Implementing a Persistent Key-Value Storage Engine to Improve the Efficiency of Sequential Data Reading

Aleksandra Tkachenko, Nikita Voinov (Peter the Great St. Petersburg Polytechnic University)

18:30-21:00

Welcome Dinner

09:20-10:20

Invited Talk

09:20-10:20

Formal Library Specifications: Application in the Tasks of Integration, Analysis and Synthesis of Programs
Vladimir Itsykson (ITMO University)

10:20-10:25

Break

10:25-11:00

Session: Software Engineering in Education
Moderator: Gleb Dudun (NCFU)

10:25-10:45

Data-Driven Approach to Curriculum Analysis
Yuri Nasu, Mikhail Drobinin, Mark Efanov, Viacheslav Lanin (HSE)

10:45-11:00

TOGAF in the Creation of Educational IT-Infrastructure
Marina Sakhipova, Alexandr Mikhailov (HSE)

11:00-11:20

Coffee Break

11:20-11:55

Session: Data Visualization
Moderator: Gleb Dudun (NCFU)

11:20-11:35

Merging Directly-Follows Graphs and Sankey Diagrams for Visualizing Acyclic Educational Processes
Ilya Derezovskiy, Nikita Shaimov, Irina Lomazova, Alexey Mitsyuk (HSE)

11:35-11:55

Designing Data Visualization System Based on Language-Oriented Approach
Anna Dzheiranian, Ivan Ermakov, Kirill Proskuryakov, Lyudmila Lyadova (HSE, Perm State University)

11:55-13:00

Session: Static Analysis and Testing
Moderator: Gleb Dudun (NCFU)

11:55-12:15

Detection of Dead Function Calls as Source Code Defects through Static Analysis
Vera Vasilieva, Alexey Borodin, Alexander Volkov (ISP RAS)

12:15-12:30

Detecting Errors in the Pandas Software Module Using the Svace Static Code Analyzer
Maria Lapina, Maxim Khodakov (NCFU)

12:30-12:45

Exploring the Taxonomy of Commits in Cyber-Physical Systems for Enhanced Error Fixes Investigation
Nikita Starovoytov, Sergey Staroletov (Polzunov Altai State Technical University)

12:45-13:00

Case Study of Creating Test Suite for RISC-V Microprocessors Using Errata Sheets
Nikita Garaev (ISP RAS, HSE)

13:00-13:45

Lunch

13:45-15:05

Session: System Programming
Moderator: Gleb Dudun (NCFU)

13:45-14:05

Deterministic SpaceWire Network Stack for ARINC 653 RTOS
Vladislav Aleinik, Vitaly Cheptsov (ISP RAS)

14:05-14:20

Call Graph Construction for Operating System Kernels
Sergey Ignatov (ISP RAS)

14:20-14:35

Development and Implementation of Syzkaller Dashboard Alternative for Continuous Linux Kernel Fuzzing
Alexey Panov, Vladislav Nikolaev (Astra Group)

14:35-14:50

Optimization of Multiplication in the RISC-V Architecture Using Bitmanip Extension
Alexander Lekomtsev, Kirill Smirnov (St. Petersburg State University)

14:50-15:05

Tool for Analysing BPU Performance
Danil Slinchuk, Aleksei Efremov, Vladimir Kutuev (St. Petersburg State University)

15:05-16:20

Session: Neural Networks
Moderator: Gleb Dudun (NCFU)

15:05-15:25

Methods for Designing Privacy-Preserving Neural Networks
Maria Lapina, Nikita Fisenko, Egor Shiriaev (NCFU), S Neelakandan (R.M.K Engineering College)

15:25-15:45

GraphTyper: Neural Types Inference from Code Represented as Graph
German Arutyunov, Sergey Avdoshin (HSE)

15:45-16:05

Generation of Spatial Time Series Data
Alena Kropacheva, Dmitry Girdyuk, Anton Pershin (St. Petersburg State University), Illarion Iov (ITMO)

16:05-16:20

Creating Distributed Artificial Neural Networks Based on Orthogonal Transformations

Nikolay Vershkov, Mikhail Babenko, Vladislav Lutsenko, Nataliya Kuchukova (NCFU)

16:20-16:40

Coffee Break

17:00-20:00

City Tour

10:00-11:00

Closing of the Conference

11:00-…

Departure of participants