09:30-09:35

Welcome Speech

09:35-10:35

Invited Talk

09:35-10:35

Query Processing in Modern Analytical DBMS
George Chernishev (Saint Petersburg State University)

10:35-11:05

Coffee Break

11:05-12:05

Software Verification
Moderator: Vladimir Itsykson

11:05-11:20

[ONLINE] Bounding Thread Switches in Dynamic Analysis of Multithreaded Programs
Veronika Rudenchik, Pavel Andrianov, Vadim Mutilin (ISP RAS)

11:20-11:35

[ONLINE] Leveraging Colored Symbolic Memory Graphs for Detecting DRM-Specific Errors in Linux Drivers
Ekaterina Orlova, Anton Vasilyev, Oleg Petrov (ISP RAS)

11:35-11:50

DIFFuzzer: Detecting File System Errors with Differential Grey-box Fuzzing
Vyacheslav Kovalevsky, Valeriy Kechin, Vladimir Itsykson (ITMO University)

11:50-12:50

Specification Languages and Language Processing Tools
Moderator: Dmitry Koznov

11:50-12:05

[ONLINE] Converting User Specifications into Executable Program Code
Artem Borisov, Sergey Kucherov (Southern Federal University)

12:05-12:20

[ONLINE] Development of a Method for Formalizing Requirements to Improve Compliance with User Expectations of an Information System
Alexander Zhukov, Alexander Sviridov (Southern Federal University)

12:20-12:35

[ONLINE] Designing Refactoring Tool for Object-Oriented Code Based on Metrics
Artem Korznikov (Perm State University), Nataliya Datsun (HSE University)

12:35-12:50

PereFlex: A Tool for Automated Evaluation of Error Recovery in Parsers
Olga Bachishche, Grigory Raykin, Daria Vasina, Daniil Shushakov (ITMO University), Yaroslav Vorobiev (HSE University), Semyon Grigorev (SPbSU)

12:50-13:10

Poster Announcements (2 minutes per poster)

Automated Code Evaluation System for Programming Education: Integrating Static Analysis and Machine Learning
Nazgul Mustafina, Olga Vikentyeva (HSE University)

AI-Game
Oleg Garanin, Arseniy Varaksin (HSE University)

Algorithms Vectorization for Calculation Optimization on RISC-V Architecture
Kirill Shemaev, Pavel Rebdev, Nadezhda Stepina, Igor Nikiforov

Software Engineering of the AI-based Analytics for Industrial Air Emissions Forecasting
Igor Chernitsin, Aleksei Kychkin (HSE University)

Methods of Identifying Fake News in the Information Space
Alina Bagautdinova, Vladislav Kovalev, Mikhail Babenko, Maria Lapina, Natalia Shiryaeva (NCFU)

A Vulnerability Detection Module in Cloud Storage Virtualization Systems
Kirill Sysoev, Mikhail Rusanov, Yulia Andrusenko, Maria Lapina, Mikhail Babenko, Gleb Dudun (NCFU)

Detection of SQL Injections into the Network Using Machine Learning Methods
Nikolay Kapshuk, Elena Timofeeva, Maria Lapina, Mikhail Babenko (NCFU)

Game Engines, Benchmarks and 3D Modeling Software
Vladimir Dudnikov, Artyom Ikonnikov, Egor Shiriaev, Julia Andrusenko, Mikhail Babenko (NCFU), Vitalii Lapin (Stavropol Regional Clinical Consulting and Diagnostic Center)

Machine Learning Methods for Detecting Phishing Domains
Yulia Dyadkova, Maria Lapina, Tatiana Peleshenko, Julia Andrusenko, Mikhail Babenko (NCFU)

Machine Learning Methods for Detecting Attacks on TCAB Text Classification
Roman Gubin, Maria Lapina, Mikhail Babenko, Irina Oblasova, Artyom Solomyanko (NCFU)

Research and Use of Machine Learning Algorithms to Detect Fraudulent Websites
Dmitry Lukyanov, Vitaly Lapin, Maria Lapina (NCFU)

Comparative Analysis of Machine Learning Methods for Solving the Problem of Predicting Failures in Gas Turbine Engines
Mikhail Kondrashov, Mikhail Babenko, Maria Lapina (NCFU), Yana Agakhanova (MIPT)

13:10-14:05

Lunch

14:05-14:35

Poster Session

14:35-15:35

Digital Hardware Synthesis and Analysis
Moderator: Sergey Smolov

14:35-14:50

Correlation Identification of NPN-4 Classes Distributions in Optimization of Logic Circuits
Anastasia Kurganskaya, Maksim Vershkov, Alexander Kamkin (ISP RAS)

14:50-15:05

Optimization in Logic Synthesis: Scaling up the Known Method
Maksim Vershkov (ISP RAS)

15:05-15:20

Methods of Super-Cell Generation for Technology Mapping
Mikhail Chupilko, Lev Miroshnichenko, Egor Belin, Nikita Chertok (ISP RAS)

15:20-15:35

Application of SVAN Static Analysis Tool for Functional Verification of Open RTL Models
Sophia Panova, Sergey Smolov, Marina Volkova (ISP RAS)

15:35-16:35

Computer Networks and Cloud Computing
Moderator: Maxim Gromov

15:35-15:50

A Machine Learning Methods for Detecting Network Attacks
Nazar Podruchnii, Mikhail Babenko, Maria Lapina, Vitalii Lapin, Elena Timofeeva (NCFU)

15:50-16:05

RTT Prediction using Offline and Online Learning
Ivan Stepanov, Roman Ponomarenko, Denis Golovash, Anton Pochidko, Alexander Getman (ISP RAS)

16:05-16:20

[ONLINE] The Dynamic Adaptive Packet Buffering (DAPB) Algorithm for Service Mesh Performance Enhancement Based on eBPF
Hank-Debain Djambong Tenkeu, Dmitry Alexandrov (HSE University)

16:20-16:35

An Approach for Horizontal Scaling of Simulation Model Execution in Cloud Environment
Nikita Kubov, Artem Sabutkevich, Igor Nikiforov (SPbPU)

16:35-17:05

Coffee Break

17:05-18:05

Application-Specific Language and Tools (1)
Moderator: TBD

17:05-17:20

Generating Compact Residue Number Systems Bases
Vladislav Lutsenko, Mikhail Babenko (NCFU)

17:20-17:35

Combining Logical Reasoning and LLMs Toward Creating Multi-Agent Smart Home Systems
Mikhail Prozorskiy, Lyudmila Rezunik, Dmitry Alexandrov (HSE University)

17:35-17:50

[ONLINE] A Distributed Framework for Large-Scale Data Analysis Using Bio-Inspired Sensory-Motor Algorithms
Daniil Potapov, Sergey Staroletov (Polzunov Altai State Technical University)

17:50-18:05

Vision Language Models Quantization
Alisa Shalamkova (HSE University)

18:30-22:00

Welcome Dinner

09:30-10:30

Tutorial

09:30-10:30

Designing Prompts for Software Engineering Tasks: A Practical Route
Konstantin Sorokin (ISP RAS)

10:30-11:00

Coffee Break

11:00-12:00

AI in Software Engineering
Moderator: Konstantin Sorokin

11:00-11:15

Advanced Type Inference Techniques for Python Using Large Language Models
Valeriya Abdrakhmanova, Konstantin Sorokin (ISP RAS)

11:15-11:30

An Approach to LLM-based Code Completion for Python
Alexander Bozhnyuk, Mikhail Volkov, Nikolai Tropin (SPbSU), Vladimir Vasilyev (Dubna State University), Daria Vasina, Maxim Nikitin (ITMO University)

11:30-11:45

A Preliminary Analysis of Prompt Engineering in Large Language Models for Code Generation
Yaroslav Yudinskikh, Vladimir Ivanov (Innopolis University)

11:45-12:00

[ONLINE] Generating and Debugging Java Code using LLMs based on Associative Recurrent Memory
Vladimir Vasilevskiy, Dmitry Alexandrov (HSE University)

12:00-13:00

System Programming
Moderator: Sergey Staroletov

12:00-12:15

Architecture for Time Synchronization in an Onboard SpaceWire Network of ARINC 653 Nodes
Ilya Rusetskiy, Vladislav Aleinik, Vitaly Cheptsov (ISP RAS)

12:15-12:30

Development of Logbook System for Real-Time Operating System
Yuri Savinykh, Vitaly Cheptsov (ISP RAS)

12:30-12:45

Improving Image Analysis and Processing Performance on the RISC-V Platform with Lichee Pi 4A
Nikita Cherepanov, Nadezhda Stepina, Igor Nikiforov (SPbPU)

12:45-13:00

Using Software-Defined Performance Counters to Construct a GPU Power Consumption Model
Alexey Gulin, Sergey Staroletov (Polzunov Altai State Technical University)

13:00-14:00

Lunch

14:00-14:30

Round Table on Security-by-Design
Moderator: Alexander Petrenko

14:30-15:30

Petri Nets
Moderator: Nikita Chertok

14:30-14:45

Relaxed Lazy Soundness Verification for Data Petri Nets
Nikolai Suvorov, Irina Lomazova (HSE University)

14:45-15:00

A Tool for Implementation and Analysis of Petri Net Unfolding Algorithms
Timur Timergalin, Roman Nesterov (HSE University)

15:00-15:15

Evaluating Structural Complexity of Workflow Nets Modeling Asynchronous Agent Interactions
Egor Zemlyanoy, Roman Nesterov (HSE University)

15:15-15:30

[ONLINE] Analysis of Processes Represented by UML Diagrams Using Petri Nets
Katarina Samoylova (Perm State University), Elena Zamyatina (HSE University)

15:30-16:15

Application-Specific Language and Tools (2)
Moderator: TBD

15:30-15:45

Modification of the Smith-Waterman Algorithm for Local Alignment of Genetic Sequences Based on the Sliding-Window Method
Ekaterina Bezuglova, Egor Shiriaev, Nikolay Kucherov, Mikhail Babenko (NCFU)

15:45-16:00

[ONLINE] Comparative Analysis of Requirements Prioritization Methods for Personalized Nutrition Web Applications
Anna Mozhegova, Vyacheslav Lanin (HSE University)

16:00-16:15

[ONLINE] Integrating Ontology-Based Approach to Data Visualization and AI-Driven Plotly Visualization
Anna Dzheiranian, Lyudmila Lyadova (HSE University)

16:15-16:45

Coffee Break

16:45-17:30

Application-Specific Language and Tools (2), continuation
Moderator: TBD

16:45-17:00

[ONLINE] AI-Assistant Development and Integration into Learning Management System
Ekaterina Karavaeva, Georgii Lanin, Vladimir Vasilevskij (HSE University), Dmitry Prokudin (MSU)

17:00-17:15

[ONLINE] The Process Optimization of Human Body Movements Tracking Based on Data from Virtual Cameras on a 3D Scene
Zhengwu Pan (HSE University)

17:15-17:30

Development of Knowledge-based Intelligence for Sustainability Assessment of Russian Regions
Danil Fedoseev, Viacheslav Lanin (HSE University), Alexey Neroslov (Perm State University)

18:00-20:00

Excursion

09:30-15:00

Excursion to Mashuk