Stepanov31mar26
Докладчики: Семён Степанов (магистрант СПбГУ) Тема: Реферат статьи Implementation and Synthesis of Math Library Functions (Ian Briggs, Yash Lad, Pavel Panchekha, POPL-24) Аннотация: Работа предлагает язык и систему (MegaLibm) для автоматической генерации реализаций математических функций с гарантированной точностью. Вместо ручного написания кода пользователь задаёт алгоритм в DSL, после чего система синтезирует оптимальную реализацию. Корректность проверяется через оценку численной ошибки. Это позволяет получать быстрые и точные реализации, иногда лучше, чем в стандартных математических библиотеках.
Докладчики: Семён Степанов (магистрант СПбГУ) Тема: Реферат статьи Implementation and Synthesis of Math Library Functions (Ian Briggs, Yash Lad, Pavel Panchekha, POPL-24) Аннотация: Работа предлагает язык и систему (MegaLibm) для автоматической генерации реализаций математических функций с гарантированной точностью. Вместо ручного написания кода пользователь задаёт алгоритм в DSL, после чего система синтезирует оптимальную реализацию. Корректность проверяется через оценку численной ошибки. Это позволяет получать быстрые и точные реализации, иногда лучше, чем в стандартных математических библиотеках.