09:20-09:30

Welcome Speech
Alexander Petrenko (ISP PAS)

09:30-10:30

Invited Talk: In Memory of A.N. Terekhov

Dmitry Koznov (SPbSU)

10:30-11:00

Coffee Break

System Programming and Testing
Moderator: Ilya Kozmin (ISP RAS)

11:00-11:15

Designing a Full-System Virtual Machine Profiling Tool for Interrupt Storm Analysis
Zahar Antipov (HSE University), Evgeny Baskov (ISP RAS)

11:15-11:30

Extension of LZ4 Compression Algorithm for Handling Scatter-Gather Buffers in the Linux Kernel Block Layer
Alexander Bugaev, Georgy Sichkar, Anna Vasenina (SPbSU)

11:30-11:45

Intent-Based Networking for Industrial Network Devices Management
Erdem Tsyrenov, Dmitry Koznov, Eugeny Semyonov (SPbSU)

11:45-12:00

DIFFuzzer: One More Step Toward Specification-Based File System Quality Checking
Alexander Yanin, Vladimir Itsykson, Valeriy Kechin, Vyacheslav Kovalevsky (ITMO University)

12:00-12:15

MC/DC Measurement with gcov on an Embedded System
Roman Beliaev, Evgeny Gerlits, Alexander Sortov, Vitaly Cheptsov (ISP RAS)

Compiler Technologies
Moderator: Vladimir Itsykson (ITMO University)

12:15-12:30

ImplicitNullChecks: a Case for an AArch64 Constant Store in LLVM
Linar Galimov (ISP RAS), Denis Zavedeev (ISP RAS), Inna Batraeva (Saratov State University)

12:30-12:45

Search of Infinite Loops Using Static Analysis Methods
Artyom Fartygin (MIPT, ISP RAS), Vladimir Nemtsov (HSE University, ISP RAS), Alexey Borodin (ISP RAS)

12:45-13:00

On the Applicability of SOFA/SODA Antipattern Detection to Multi-Module Projects via a Pluggable Pre-Build Linter
Anton Timonin, Sergey Shershakov (HSE University)

13:00-13:15

Analysis of Normalization Strategies for a Symbolic Computation Library in Cangjie
Alexey Khamitsevich (ITMO University), Michael Belyaev (Lomonosov Research Institute)

13:15-14:15

Lunch

Digital Hardware Design
Moderator: Sergey Smolov (ISP RAS)

14:15-14:30

Raphael: An Open-Source Register-Transfer Level Arithmetic Optimization Tool Based on E-Graphs
Mikhail Litvinov, Alexander Kamkin (ISP RAS)

14:30-14:45

An Optimal Implementation Synthesis of D Memory Elements Based of Functional Transformations of Its Structural Variants
Andrey Boev (ISP RAS)

14:45-15:00

Research and Development of Static Detectors for Automatic Synthesizability Checking of Hardware Descriptions
Aleksey Shevtsov, Yan Churkin, Ruben Buchatskiy, Alexander Kamkin (ISP RAS)

15:00-15:15

Structural Analysis of Clock Domain Crossings in Digital Hardware Designs

Ilya Chernyavskikh (ISP RAS)

Application-Specific Computing Systems
Moderator: Mikhail Chupilko (ISP RAS)

15:15-15:30

Quantizing Ising Model Matrices for Combinatorial Optimization on RISC-V with Lichee Pi 4A
Aleksandr Bratenkov, Nadezhda Stepina, Igor Nikiforov, Olga Yusupova (SPbPU)

15:30-15:45

Machine Learning Operator Optimization using the TVM Framework on RISC-V RVV with Banana Pi BPI-F3
Nikita Cherepanov, Alisa Marfina, Nadezhda Stepina, Igor Nikiforov (SPbPU)

15:45-16:00

Comparative Analysis of Open-Source Video Analytics Systems for Task Distribution in Heterogeneous Computing Environments
Savva Balashov (Moscow Power Engineering Institute)

16:00-16:30

Coffee Break

Formal Verification
Moderator: Sergey Staroletov (Polzunov Altai State Technical University)

16:30-16:45

Using TLA+ to Specify Transactional Memory Models
Yeremey Pervunetskikh (HSE University)

16:45-17:00

Designing a Formal Model of Linux SMP Interrupt Handling for x86_64
Valeria Shevchenko, Egor Golikov, Sergey Staroletov (Polzunov Altai State Technical University)

17:00-17:15

Formal Modeling of a GPGPU Pipeline for Divergent Kernels
Yuri Grankin, Sergey Staroletov (Polzunov Altai State Technical University)

17:15-17:30

Anonymous Transaction System in Public Blockchain with Proof of Funds Origin Trustworthiness
Maxim Vasilyev, Igor Struchkov (ITMO University)

Theoretical Computer Science
Moderator: Andrey Belevantsev (ISP RAS)

11:00-11:17

Partial-Congruence-Based Trellis Automata Optimisation
Denis Kochetkov (Bauman Moscow State Technical University), Antonina Nepeivoda (PSI RAS)

11:17-11:34

Algorithm for Reverse Conversion from Hybrid Positional-Residue Number System
Aisanat Geryugova, Vladislav Lutsenko (NCFU)

11:34-11:51

An Epistemic Approach to Conflict-Free Replicated Data Types
Georgii Semenov (ITMO University)

11:51-12:08

On the Efficiency of Bounded Multi-Source Shortest Path Algorithm
Roman Gromov, Roman Nesterov (HSE University)

Petri Nets and Process Mining
Moderator: Antonina Nepeivoda (PSI RAS)

12:08-12:25

Goldfish: A Collaborative Web-Based Petri Net Editor with Real-Time Synchronization
Vladislav Kabakov, Alexey Mitsyuk (HSE University)

12:25-12:42

OCSD: Exploration of SOA-Based Systems Using Object-Centric Sequence Diagrams
Jinyu Zhou, Sergey Shershakov (HSE University)

12:42-12:59

Automated Structuring Event Information from Unstructured Textual Sources for Process Analysis Tasks
Kristina Voronova, Lyudmila Lyadova (HSE University)

12:59-13:16

Synthesis of Acyclic Models for Processes Without Repeating Events
Artyom Joulitov, Irina Lomazova (HSE University)

13:16-14:15

Lunch

Machine Learning and Artificial Intelligence
Moderator: Mikhail Lebedev (ISP RAS)

14:15-14:30

JavaCapsule: Memory-Augmented Iterative Debugging for High-Quality Java Code Generation

Dmitry Alexandrov, Vladimir Vasilevskiy, Anastasia Manushkina, Lyudmila Rezunik, Leon Kuligin, Nikita Dumkin, Michael Prozorskiy (HSE University), Kirill Pinigin (Innopolis University)

14:30-14:45

Automatic Test Generation from Execution State Using Large Language Models

Maksim Parshin (SPbSU), Daniil Stepanov (ITMO University), Dmitry Koznov (SPbSU)

14:45-15:00

Detecting Machine-Generated Text: A Threshold-Based Ensemble of Semantic, Stylistic and Perplexity Features
Alexey Staroverov, Nikita Petrov (HSE University)

15:00-15:15

Development of a CASE Platform with Generative Artificial Intelligence and an MCP Agent Layer
Bogdan Polygalov, Viacheslav Lanin (HSE University)

15:15-15:30

A Hybrid Algorithm for Converting SwiftUI Code to a Web Representation Using Large Language Models
Mikhail Prozorskiy, Dmitry Alexandrov, Nikita Dumkin (HSE University)

15:30-15:45

A Hybrid Method for Semantic Search with Adaptive Binary Hashing on Transformer Models
Nikita Dumkin, Dmitry Alexandrov, Mikhail Prozorskiy (HSE University)

15:45-16:00

The EG-TD3 Machine Learning Architecture: Evolutionary-Guided Twin Delayed Deep Deterministic Policy Gradient
Hank-Debain Djambong Tenkeu, Dmitry Alexandrov (HSE University)

16:00-16:30

Coffee Break

Application-Specific Methods and Tools
Moderator: Ilya Kozmin (ISP RAS)

16:30-16:45

Computer-Interpretable Format IDS++ for Specification and Verification of Requirements in Construction: Idea, Concept, Implementation
Evgenii Zorin, Vitaly Semenov, Semen Arishin, Sergei Morozov (ISP RAS)

16:45-17:00

Discrete Markowitz Portfolio Optimisation with OpenSource Classical and Quantum-Inspired Solvers: A CrossMarket Walk-Forward Study
Konstantin Patrushev, Sergey Avdoshin (HSE University)

17:00-17:15

A Method for Automatic Verification and Correction of Document Formatting in Educational Contexts
Viktoria Akkuzina, Olga Vikentyeva (HSE University)

17:15-17:30

AIGame: Architecture of the Platform for Studying AI-Agent Interaction and Immersion
Elizaveta Egorova (HSE University)