Операции разреженной линейной алгебры становятся всё более востребованными в прикладных задачах. Например, в анализе графов, в машинном обучении, биоинформатике. Однако алгоритмы, строящихся на основе операций линейной алгебры, сталкиваются с проблемой промежуточных структур данных, создание которых уменьшает производительность конечных решений. Вместе с этим, разреженность данных влечёт за собой использование специальных структур данных и специфичных алгоритмов их обработки, которые оказываются не очень эффективными для современного аппаратного обеспечения. Что приводит к созданию специализированных аппаратных решений для работы с разреженными матрицами. Учитывая всё сказанное выше, интересно выяснить, можно ли эффективно совместить оптимизации кода, направленные на устранение промежуточных структур данных и специализированные аппаратные решения. Изучению данного вопроса и посвящена работа Алексея Валерьевича.

В ходе работы Алексей Валерьевич расширил возможности инструмента FHW, позволяющего синтезировать описание аппаратной схемы по программе на языке Haskell. В частности, добавил возможность хранить входные параметры функции в памяти. Кроме этого, Алексей Валерьевич реализовал стенд, объединяющий дистиллятор (оптимизатор, устраняющий промежуточные структуры в программах на функциональных языках программирования) и  FHW.  После чего он провёл ряд экспериментов, позволяющих сделать выводы о перспективах предложенного подхода.

Работа выполнена на достойном инженерном и исследовательском уровне, результаты представлялись на тематических конференциях. В ходе исследования Алексей Валерьевич проявил самостоятельность, целеустремлённость, способность решать нетривиальные инженерные и исследовательские задачи.

Текст отчёта в достаточной мере отражает содержание работы, написан достаточно аккуратно и подробно.

Считаю, что Тюрин Алексей Валерьевич заслуживает оценки “Отлично(A)”.