Colloquium Program


To be defined...

May 30, 2023

10:00-10:10

Opening Speech
Alexander Petrenko (ISP RAS), Dmitry Pashchenko (PSTU)

10:10-11:10

Invited Talk

10:10-11:10

Model-Based Approach and DSLs in Product Line Development
Dmitry Koznov (SPbSU)

11:10-11:30

Coffee Break

11:30-12:50

Session: Formal Methods
Moderator: Andrew Mironov (Moscow State University)

11:30-11:50

Alias Analysis and Calculus based on Segmentation Address Memory Model
Igor Parfenov (Innopolis University)

11:50-12:10

“Symcrete” Memory Model with Lazy Initialization and Objects of Symbolic Sizes in KLEE
Sergey Morozov (HSE), Aleksandr Misonizhnik (IT Solutions), Dmitry Mordvinov, Dmitry Koznov (SPbSU)

12:10-12:30

Predicate Abstraction Refinement in Thread-Modular Analysis (via Zoom)
Veronika Rudenchik, Pavel Andrianov (ISP RAS)

12:30-12:50

Finding More Bugs with Software Model Checking using Delta Debugging
Oleg Petrov  (ISP RAS)

12:50-13:30

Session: Process Mining
Moderator: Nikolay Shilov (Innopolis University)

12:50-13:10

Using Process Mining to Leverage the Development of a Family of Mobile Applications
Lyudmila Rezunik, Alisa Perevoznikova, Daria Eremina, Alexey Mitsyuk (HSE University)

13:10-13:30

Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations
Anastasiya Sherstyugina, Roman Nesterov (HSE University)

13:30-14:10

Lunch

14:10-14:40

Introductory Tour of the Penza State Technological University (in Russian)

14:40-16:20

Session: Software Engineering
Moderator: Eugeny Markin (Penza State Technological University)

14:40-15:00

Approach to End-to-End Testing of the Application for Managing the Configuration of Enterprise Virtual Infrastructure (via Zoom)
Evgeniy Geraskin, Nikita Voinov (Peter the Great St.Petersburg Polytechnic University)

15:00-15:20

Writable PSI Generator for a Multi-Language IDE Platform
Alexander Bozhnyuk, Nikolai Tropin, Mikhail Volkov (SPbSU), Alexander Zakharov (Tula State University)

15:20-15:40

Debugger for Declarative DSL for Telecommunication Product Line
Taras Skazhenik (ITMO University), Dmitry Koznov (SPbSU)

15:40-16:00

Application of Design Patterns in the Development of the Architecture of Monitoring Systems
Aleksandra Pasynkova, Olga Vikentyeva (HSE University)

16:00-16:20

Towards Methods to Automatically Identify the Most Common Errors in Linux by Analyzing Git Commit Messages
Nikita Starovoytov, Nikolay Golovnev, Sergey Staroletov (Polzunov Altai State Technical University)

16:20-16:40

Coffee Break

16:40-17:00

Session: Application-Specific Methods and Tools, Part I
Moderator: Eugeny Markin (Penza State Technological University)

16:40-17:00

Development and Implementation of the Digital Steganography Method Based on the Embedding of Pseudoinformation
Olga Gvozdeva, Artem Gromov, Irina Gvozdeva (Penza State University of Architecture and Construction)

17:00-17:20

On the Issue of Using the Developed Software in the Educational Process for the Study of Acoustic Paths of Magnetostrictive Displacement Transducers
Aleksandr Vorontsov, Yuriy Slesarev, Artem Ivzanov (Penza State Technological University)

17:20-17:40

Simulation Modeling of Robot Interaction Algorithms
Mikhail Doryshin (HSE University)

18:00-21:00

Welcome Dinner

May 31, 2023

09:20-10:20

Invited Talk

09:20-10:20

Cybersecurity. SAST+DAST (via Zoom)
Shamil Kurmangaleev (ISP RAS)

10:20-10:40

Coffee Break

10:40-11:40

Session: Data Analysis
Moderator: Aleksandr Vorontsov (Penza State Technological University)

10:40-11:00

Development of Legal Document Classification System Based on Support Vector Machine
Yuri Nasu, Viacheslav Lanin (HSE University, Perm)

11:00-11:20

Investigation of Adversarial Attacks on Pattern Recognition Neural Networks
Denis Kotlyarov, Natalia Rzhevskaya, Gleb Dyudyun, Maria Lapina, Mikhail Babenko (North-Caucasus Federal University)

11:20-11:40

Knowledge-Based Feature Space Optimization for Neural Networks
Pavel Agafonov, Igor Kashirin (Ryazan State Radio Engineering University)

11:40-12:40

Session: System Programming and Hardware Design
Moderator: Antonina Nepeivoda (Program Systems Institute of RAS)

11:40-12:00

Framework for Machine Instruction Usage Analysis
Danila Pechenev, Iakov Kirilenko, Olga Afonina (St. Petersburg State University)

12:00-12:20

DFC: A Dataflow C Language
Ivan Grigorov (ISP RAS)

12:20-12:40

Asymptotic Estimates on the Area Complexity of Lookup Function
Vadim Zizov (Lomonosov Moscow State University)

12:40-13:40

Lunch

13:40-14:20

Session: Distributed Systems and Parallel Programming
Moderator: Sergey Staroletov (Altai State Technical University)

13:40-14:40

Deployment Approaches in Distributed Complex Event Processing
Arsenij Zorin, Irina Chernetskaya (Southwest State University)

14:00-14:20

Parallel Computations in Problems of Reconstruction of Distorted Images in Spatial-Spectral Form
Angelina Vyugina, Svetlana Baranova, Nataliya Grinchenko, Boris Kostrov (Ryazan State Radio Engineering University)

14:20-15:20

Session: Application-Specific Methods and Tools, Part II
Moderator: Sergey Staroletov (Altai State Technical University)

14:20-14:40

REDoS Detection in “Domino” Regular Expressions with Ambiguity Analysis
Antonina Nepeivoda (PSI RAS), Yulia Belikova, Kirill Shevchenko, Mikhail Teriukha, Danila Knyazihin, Aleksandr Delman, Anna Terentyeva (Bauman Moscow State Technical University)

14:40-15:00

Mathematical Modeling and Software for Calculating Regimes of Galvanic Wastewater Purification from Heavy and Nonferrous Metals in Devices with Flow-Through Three-Dimensional Electrodes
Valentina Kuzina, Alexander Koshev, Gleb Kupriyanko (Penza State University of Architecture and Construction), Valeriy Varentsov (Institute of Solid State Chemistry and Mechanochemistry of SB RAS)

15:00-15:20

Attitude of Students of Computer Science Specialities to Including Computer Simulators and Business Games in the Academic Progress
Nazgul Mustafina, Mikhail Plaksin, Nikolai Afanasev (HSE University)

15:20-15:40

Coffee Break

15:40-16:40

Book Presentation (in Russian)
Moderator: Alexander Petrenko (ISP RAS)

15:40-16:40

How to Write a Good Software Engineering Thesis (in Russian)
Dmitry Koznov (SPbSU)

17:00-20:00

City Tour

June 1, 2023

09:00-18:00

Excursion

09:00-18:00

Excursion to Nikolsk
Read more...