A team of researchers at Saratov State University is developing a safer software platform, namely the safe compiler.

The project managers and coordinators are Dean of the Faculty of Computer Science and Information Technologies Develops Safe Compiler Sergei Mironov, Chair of the Department of Programming Technologies Inna Batrayeva, and Associate Professor of the Department of System Analysis and Automatic Control Dmitrii Petrov. A master's degree student Pavel Dunayev and undergraduates Artemii Granat and Artyom Senkevich are working with the team.

Since 2022, this team of the faculty has been cooperating with the Institute for System Programming, the Russian Academy of Sciences, in research to develop secure software, as well as with a direct customer – SVD Embedded Systems LLC from St. Petersburg. All of them are interested in the reliability of the real-time operating systems being developed, everyone is concerned about the topic of a safe compiler that does not skip the program code containing errors and prevents optimisations that may lead to unpredictable behaviour of the software or contribute to the leakage of data processed by it.

Explaining in lay terms, a compiler is a programme that translates a text written in a programming language into a set of machine codes. With the help of compilers, computers understand different programming languages. In fact, it is a complex “translator” that builds or compiles a programme into an executable file. An executable file is a set of instructions for a computer that it understands and can execute. Many compilers have been developed for different programming languages.

Read more about this in the Safe Compiler article in the Research City section.