Бэкенд компилятора языка для верифицированных научных вычислений

ФИО студента: Андрущенко Антон Александрович

Кампус/факультет: Факультет компьютерных наук

Программа: Прикладная математика и информатика (Бакалавриат)

Оценка: 9

Год защиты: 2024

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

Текст работы (работа добавлена 20 мая 2024 г.)

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ