Агибалов05май26
Докладчик: Матвей Сергеевич Агибалов (студент ММФ НГУ) Тема: На пути к дедуктивной верификации реализаций умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями Аннотация: Задача повышения производительности умножения матриц является актуальной задачей современного программирования. При решении этой задачи в программном коде умножения матриц реализуют оптимизации, что затрудняет анализ полученных реализаций и может приводить к появлению в них ошибок. Дедуктивная верификация может гарантировать корректность программного кода относительно спецификаций, описывающих результат работы программы в зависимости от ее входных данных. В докладе будет представлен первоначальный этап исследования, нацеленный на дедуктивную верификацию реализаций классического умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями.
Докладчик: Матвей Сергеевич Агибалов (студент ММФ НГУ) Тема: На пути к дедуктивной верификации реализаций умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями Аннотация: Задача повышения производительности умножения матриц является актуальной задачей современного программирования. При решении этой задачи в программном коде умножения матриц реализуют оптимизации, что затрудняет анализ полученных реализаций и может приводить к появлению в них ошибок. Дедуктивная верификация может гарантировать корректность программного кода относительно спецификаций, описывающих результат работы программы в зависимости от ее входных данных. В докладе будет представлен первоначальный этап исследования, нацеленный на дедуктивную верификацию реализаций классического умножения матриц с направленными на повышение эффективности использования кэш-памяти оптимизациями.