Recovery of High-Level Intermediate Representations of Algorithms from Binary Codeдоклад на конференции