Colloquium Program


May 24, 2022

08:00-09:00

Transfer Moscow-Voronovo

09:00-10:00

Check-In & Registration

10:00-10:10

Opening Speech

Alexander K. Petrenko, Andrey N. Terekhov (via Zoom), and Sergey A. Lebedev (via Zoom)

10:10-11:10

Invited Talk (via Zoom)

10:10-11:10

Neural Source Code Processing with Transformers: Applications, Approaches, Open Problems

Nadezhda Chirkova (HSE University)

11:10-11:50

Session: Software and Computer Engineering

Moderator: Andrei Klimov (Keldysh Institute of Applied Mathematics of RAS)

11:10-11:30

Diff Tool for Comparing .NET Assemblies in the Rider IDE

Vladislav Miroshnikov (Saint Petersburg State University)

11:30-11:50

Extensible IP-Core Library for High-Level Synthesis

Ivan Grigorov (HSE, ISP RAS)

11:50-12:00

Break

12:00-13:00

Invited Talk (via Zoom)

12:00-13:00

Programming Massively Parallel Heterogeneous Systems

Georgi Gaydadjiev (University of Groningen, Plekhanov Russian University of Economics)

13:00-14:00

Lunch

14:00-15:20

Session: Functional and Security Verification

Moderator: Nikolay Shilov (Innopolis University)

14:00-14:20

Solving Equations over Automata with Timeouts

Ekaterina Shirokova (Tomsk State University) and Nina Yevtushenko (ISP RAS)

14:20-14:40

Detection of Remote Code Execution Vulnerabilities using Abstract Interpretation

Roman Kholin and Dennis Gamayunov (Lomonosov Moscow State University)

14:40-15:00

The Algorithm of Test Generation from Functional Specification using Open IE Model and Clustering

Kirill Kobyshev and Sergey Molodyakov (Peter the Great St. Petersburg Polytechnic University)

15:00-15:20

An Approach to Test Program Generation for Memory Coherence Verification of "Elbrus" Microprocessors

Vladimir Agafonov, Pavel Frolov, and Aleksey Meshkov (MIPT, MCST, INEUM)

15:20-16:00

Application-Specific Methods and Tools, Part I

Moderator: Sergey Smolov (ISP RAS, Plekhanov RUE)

15:20-15:40

Wi-Fi Sensing Human Detection with Kolmogorov-Wiener Filter and Gated Recurrent Neural Networks

Pavel Shibaev and Andrei Chupakhin (Lomonosov Moscow State University)

15:40-16:00

Handwritten Signature Verification Service

Sophia Vdovkina and Sergey Shibanov (Penza State University)

16:00-16:30

Coffee Break

16:30-19:00

Software Verification Tutorial, Part I (in Russian)

Moderator: Evgeny Novikov (ISP RAS)

16:30-17:30

Klever: a Software Verification Framework

Evgeny Novikov (ISP RAS)

17:30-17:40

Break

17:40-18:20

Detecting Memory Safety Bugs with Klever

Anton Vasilyev (ISP RAS)

18:20-19:00

Detecting Bugs in Concurrent Programs with Klever

Pavel Andrianov (ISP RAS)

19:00-21:00

Welcome Dinner

May 25, 2022

08:30-09:00

Breakfast

09:00-10:00

Invited Talk

09:00-10:00

Formal Operational Semantics in Practice (K-framework Applications in Industry)

Vasyl Dyadov (Kaspersky Lab)

10:00-10:10

Break

10:10-11:10

Software Verification Tutorial, Part II(in Russian)

Moderator: Vadim Mutilin (ISP RAS)

10:10-11:10

Software Verication with Abstractions and Refinements

Vadim Mutilin (ISP RAS)

11:10-11:40

Coffee Break

11:40-13:00

Software Verification Tutorial, Part II, cont.(in Russian)

Moderator: Vadim Mutilin (ISP RAS)

11:40-12:20

SMG: an Analysis of Symbolic Memory Graphs

Anton Vasilyev (ISP RAS)

12:20-13:00

CPALockator: a Thread-Modular Approach for Data Race Detection

Pavel Andrianov (ISP RAS)

13:00-14:00

Lunch

14:00-16:00

Session: Information Systems

Moderator: Mikhail Chupilko (ISP RAS, Plekhanov RUE)

14:00-14:20

Automated Object Storage Management Approach with Operator SDK and Custom Resource Definition

Kirill Stonozhenko, Igor Nikiforov, and Sergey Ustinov (Peter the Great St. Petersburg Polytechnic University)

14:20-14:40

Design Patterns for a Knowledge-Driven Analytical Platform Core

Viktor Zayakin (HSE), Lyudmila Lyadova (HSE), and Evgeny Rabchevsky (SEUSLAB LLC)

14:40-15:00

Semantic Annotation Module For Legal Acts Analysis System

Roman Salakhov (HSE)

15:00-15:20

Architecture of a Software System for Designing Robust Business Processes

Katarina Samoylova (HSE)

15:20-15:40

Actor-Oriented Approach for Business-Process Management of Analytical System Development

Timofey Pribylev (HSE), Mikhail Zaytsev (GlowByte Consultung), and Olga Vikentyeva (HSE)

15:40-16:00

Visualization of Dynamic Reporting Data of an Information and Analytical system for Making Managerial Decisions

Anastasia Kiryushina, Olga Ivanenko, Diana Shayakhmetova, Anton Drozhzhin, and Anastasia Koroleva (HSE)

16:00-16:30

Coffee Break

16:30-17:30

Application-Specific Methods and Tools, Part II

Moderator: Sergey Smolov (ISP RAS, Plekhanov RUE)

16:30-16:50

An Approach to Displaying Data to Users of Telemedicine Systems for Early Detection of Diseases by ECG

Alexey Busenkov, Eduard Kholodov, Roman Novikov (HSE), and Boris Pozin (EC-leasing)

16:50-17:10

A Web Application to Promote Blood Donation in Russia

Pavel Smirnov, Vera Malinovskaya, and Nikita Voinov (Peter the Great St. Petersburg Polytechnic University)

17:10-17:30

Research and Development of Algorithms for Solving the Two-Dimensional Irregular Stock Cutting Problem

Maxim Poryvai and Andrey Chupakhin (Lomonosov Moscow State University)

17:30-17:45

Closing Speech

17:45-18:45

Check-Out

19:00

Transfer Voronovo-Moscow