title: Implementation of distiller for model language in Haskell
metadata.name: dc.contributor.advisor
metadata.value: Вербицкая Екатерина Андреевна
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Verbickaa Ekaterina Andreevna
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Винник Екатерина Петровна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Vinnik Ekaterina Petrovna
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Григорьев Семен Вячеславович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Grigorev Semen Vaceslavovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-04-06T21:50:09Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-04-06T21:50:09Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2022
metadata.name: dc.identifier.other
metadata.value: 069158
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/40224
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В настоящее время не существует техники удаления промежуточных структур данных, которая могла бы эффективно оптимизировать операции разреженной линейной алгебры. Поиски такой техники в настоящее время ведутся в академической среде, и наиболее интересной из них является дистилляция. Это достаточно сложная техника, единственная существующая ее реализация не является стабильной и обладает рядом недостатков. Так как вокруг этой реализации построен интерфейс пользователя и некоторая инфраструктура, представляется возможным модифицировать существующую архитектуру проекта с тем, чтобы встроить в него новую реализацию, не обладающую недостатками старой. В данной работе была пересмотрена архитектура проекта, разработана новая реализация алгоритма дистилляции и интегрирована в проект. С целью обеспечения стабилизации реализации, были упрощены некоторые шаги алгоритма. Новая реализация была протестирована с помощью различных методик – функционального тестирования, тестирования свойств, интеграционного тестирования.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: промежуточные структуры данных
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: разреженная линейная алгебра
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: дистилляция
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: метавычисления
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: суперкомпиляция
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: суперлинейное ускорение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: intermediate data structure
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: intermediate data structure elimination
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: metacomputations
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: sparse linear algebra
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: distillation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: supercompilation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: superlinear speedup
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Implementation of distiller for model language in Haskell
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Реализация дистиллятора для простого функционального языка на Haskell
metadata.lang: ru_RU
resources.filename: 443_Vinnik_diploma.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/40224/2/443_Vinnik_diploma.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 384,91 kB
resources.filename: reviewSV_Ekaterina_Vinnik._Otzyv_naucnogo_rukovoditela_na_VKR_bakalavra.sgn.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/40224/3/reviewSV_Ekaterina_Vinnik._Otzyv_naucnogo_rukovoditela_na_VKR_bakalavra.sgn.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 103,73 kB
resources.filename: reviewSV_st069158_Vinnik_Ekaterina_Petrovna_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/40224/4/reviewSV_st069158_Vinnik_Ekaterina_Petrovna_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,1 kB