| April 15, Wednesday, 10.00 |
| Department of System Programming |
| II educational building, 6th floor, aud. 685 |
| 1 |
Improving the accuracy of tagged data analysis using symbolic calculations. |
| Report by Ignatiev V.N. (senior lecturer), Koryabkin D.A. (student, 2nd course of magistracy) and Shimchik N.V. (3rd year graduate student, ISP RAS) |
| 2 |
Building a path predicate as a task of abstract interpretation of a binary code. |
| Report by Soloviev M.A. (senior lecturer), Manushin D.V. (2nd year graduate student), Papazyan E.Yu. (student, 4th year) and Makarov S.S. (student, 3rd year) |
| 3 |
A system for deploying distributed services in a cloud environment. |
| Report by Korukhova L.S. (associate professor), Borisenko O.D. (researcher, ISP RAS) and Aksenova E.L. (2nd year graduate student) |
| 4 |
Prediction of the type of occupation of users of a social network. |
| Report by Gomzin A.G. (assistant) |
| 5 |
Optimization of noise selection in the ERGG algorithm to ensure graph variability. |
| Report by Turdakov D.Yu. (associate professor), Portnoy A.M. (student, 2nd course of magistracy) and Drobyshevsky M.D. (research trainee) |
| 6 |
Analysis of users of multiplayer online games. |
| Report by Turdakov D.Yu. (associate professor) and Stroev V.I. (student, 2nd course of magistracy) |
| 7 |
Development of methods for classifying network traffic based on machine learning. |
| Report by Get′man A.I. (assistant) and Ikonnikova M.K. (1st year graduate student, ISP RAS) |
| 8 |
Search for overflow errors of arrays with unknown size in C programs. |
| Report by Belevantsev A.A. (professor), Goremykin A.V. (student, 1st course of magistracy) and Borodin A.E. (senior researcher, ISP RAS) |
| 9 |
A method of reusing abstractions in static analysis based on a global set of attainable states. |
| Report by Khoroshilov A.V. (associate professor), Karpov M.E. (student, 2nd course of magistracy) and Andrianov P.S. (junior researcher, ISP RAS) |
