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 |
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 |
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 |
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 |