(Диссертация) С.А. Гречаник Доказательство свойств функциональных программ методом насыщения равенствами Диссертация Автореферат
С.А. Гречаник Полипрограммы как представление множеств функциональных программ и преобразования над ними. Препринты ИПМ им. М.В.Келдыша. 2017. No 5. DOI: doi:10.20948/prepr-2017-5. link pdf
С.А. Гречаник Доказательство свойств функциональных программ методом насыщения равенствами. Программирование. 2015. No 3. с. 44—61
S.A. Grechanik. Inductive Prover Based on Equality Saturation for a Lazy Functional Language. In Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Vol. 8974 / ed. by A. Voronkov, I. Virbitskaite. Springer, 2014. Pp. 127–141. (Lecture Notes in Computer Science).
S.A. Grechanik. Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Extended Version). In Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation / ed. by A. Klimov, S. Romanenko. Pereslavl-Zalessky, Russia : Pereslavl Zalessky: Publishing House ”University of Pereslavl”, July 2014. pdf
S.A. Grechanik. Supercompilation by hypergraph transformation. Keldysh Institute preprints, 2013, No. 26, 24 pages. link pdf
Sergei A. Grechanik. Overgraph Representation for Multi-Result Supercompilation. In Third International Valentin Turchin Workshop on Metacomputation (Proceedings of the Third International Valentin Turchin Workshop on Metacomputation. Pereslavl-Zalessky, Russia, July 5-9, 2012). A.V. Klimov and S.A. Romanenko, Ed. - Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2012, 260 p. ISBN 978-5-901795-28-6, pages 48-65 pdf slides
I'm a graduate of computer science and mathematics from Lomonosov Moscow State University, the Faculty of Computational Mathematics and Cybernetics, the chair of System Programming.