Colloquium Program
Zoom Link
May 30, 2023
10:00-10:10 |
Opening Speech |
10:10-11:10 |
Invited Talk |
10:10-11:10 |
Model-Based Approach and DSLs in Product Line Development |
11:10-11:30 |
Coffee Break |
11:30-12:50 |
Session: Formal Methods |
11:30-11:50 |
Alias Analysis and Calculus based on Segmentation Address Memory Model |
11:50-12:10 |
“Symcrete” Memory Model with Lazy Initialization and Objects of Symbolic Sizes in KLEE |
12:10-12:30 |
Predicate Abstraction Refinement in Thread-Modular Analysis (via Zoom) |
12:30-12:50 |
Finding More Bugs with Software Model Checking using Delta Debugging |
12:50-13:30 |
Session: Process Mining |
12:50-13:10 |
Using Process Mining to Leverage the Development of a Family of Mobile Applications |
13:10-13:30 |
Discovering Process Models from Event Logs of Multi-Agent Systems Using Event Relations |
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 |
14:40-15:00 |
Approach to End-to-End Testing of the Application for Managing the Configuration of Enterprise Virtual Infrastructure (via Zoom) |
15:00-15:20 |
Writable PSI Generator for a Multi-Language IDE Platform |
15:20-15:40 |
Debugger for Declarative DSL for Telecommunication Product Line |
15:40-16:00 |
Application of Design Patterns in the Development of the Architecture of Monitoring Systems |
16:00-16:20 |
Towards Methods to Automatically Identify the Most Common Errors in Linux by Analyzing Git Commit Messages |
16:20-16:40 |
Coffee Break |
16:40-17:00 |
Session: Application-Specific Methods and Tools, Part I |
16:40-17:00 |
Development and Implementation of the Digital Steganography Method Based on the Embedding of Pseudoinformation |
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 |
17:20-17:40 |
Simulation Modeling of Robot Interaction Algorithms |
18:00-21:00 |
Welcome Dinner |
May 31, 2023
09:20-10:20 |
Invited Talk |
09:20-10:20 |
Cybersecurity. SAST+DAST (via Zoom) |
10:20-10:40 |
Coffee Break |
10:40-11:40 |
Session: Data Analysis |
10:40-11:00 |
Development of Legal Document Classification System Based on Support Vector Machine |
11:00-11:20 |
Investigation of Adversarial Attacks on Pattern Recognition Neural Networks |
11:20-11:40 |
Knowledge-Based Feature Space Optimization for Neural Networks |
11:40-12:40 |
Session: System Programming and Hardware Design |
11:40-12:00 |
Framework for Machine Instruction Usage Analysis |
12:00-12:20 |
DFC: A Dataflow C Language |
12:20-12:40 |
Asymptotic Estimates on the Area Complexity of Lookup Function |
12:40-13:40 |
Lunch |
13:40-14:20 |
Session: Distributed Systems and Parallel Programming
|
13:40-14:40 |
Deployment Approaches in Distributed Complex Event Processing |
14:00-14:20 |
Parallel Computations in Problems of Reconstruction of Distorted Images in Spatial-Spectral Form |
14:20-15:20 |
Session: Application-Specific Methods and Tools, Part II |
14:20-14:40 |
REDoS Detection in “Domino” Regular Expressions with Ambiguity Analysis |
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 |
15:00-15:20 |
Attitude of Students of Computer Science Specialities to Including Computer Simulators and Business Games in the Academic Progress |
15:20-15:40 |
Coffee Break |
15:40-16:40 |
Book Presentation (in Russian) |
15:40-16:40 |
How to Write a Good Software Engineering Thesis (in Russian) |
17:00-20:00 |
City Tour |
June 1, 2023
09:00-18:00 |
Excursion |
09:00-18:00 |
Excursion to Nikolsk |