Implementation of distiller for model language in Haskell

Abstract

В настоящее время не существует техники удаления промежуточных структур данных, которая могла бы эффективно оптимизировать операции разреженной линейной алгебры. Поиски такой техники в настоящее время ведутся в академической среде, и наиболее интересной из них является дистилляция. Это достаточно сложная техника, единственная существующая ее реализация не является стабильной и обладает рядом недостатков. Так как вокруг этой реализации построен интерфейс пользователя и некоторая инфраструктура, представляется возможным модифицировать существующую архитектуру проекта с тем, чтобы встроить в него новую реализацию, не обладающую недостатками старой. В данной работе была пересмотрена архитектура проекта, разработана новая реализация алгоритма дистилляции и интегрирована в проект. С целью обеспечения стабилизации реализации, были упрощены некоторые шаги алгоритма. Новая реализация была протестирована с помощью различных методик – функционального тестирования, тестирования свойств, интеграционного тестирования.

Currently, there is no intermediate data structure elimination technique that can efficiently optimize sparse linear algebra operations. The search for such a technique is currently being conducted in the academic area, and the most interesting of them is distillation. This is a very complex technique, the only existing implementation of it is not stable and has a number of disadvantages. Since the user interface and some infrastructure are built around this implementation, it seems like a suitable solution to modify the existing architecture of the project in order to embed a new implementation that does not have the disadvantages of the old one. In this work, the project architecture was revised, a new implementation of the distillation algorithm was developed and integrated into the project. In order to ensure the stability of the implementation, some steps of the algorithm have been simplified due to the fact that it is very complex. The new implementation was tested using various techniques - functional testing, property-based testing, integration testing.