Ivannikov Institute for System Programming of the RAS