tgoop.com/cpprussia_channel/662
Last Update:
#доклады
Как компиляторы на основе LLVM моделируют неопределенное поведение и извлекают из него пользу
ℹ️ О чем доклад: как компиляторы на основе LLVM, такие как Clang, решали проблему представления неопределенного поведения в своем IR.
Познакомимся с понятием отложенного UB, из-за которого опасный код не взрывается сразу, и поговорим о том, как LLVM с ним работает.
Как было раньше и как стало сейчас, как от этого выигрывает оптимизатор, и какие опасности подстерегают тех, кто недостаточно осторожен с конструкциями, которые могут производить UB.
🗣 Спикер: Макс Казанцев — разработчик компиляторов с опытом более 10 лет. Работал над JIT- и AOT-компиляторами для Dalvik и ART JVM для ОС Android в Intel, занимался разработкой оптимизаций для компилятора Falcon в Azul Systems. Разрабатывал компиляторы для нейронных сетей в Cadence.
С 2017 по 2023 год — активный участник сообщества LLVM, автор около 1000 патчей, в основном относящихся к цикловым оптимизациям на LLVM IR.
Сейчас занимается перспективными вычислительными разработками в Сбере.
Читает курс лекций по компиляторам в Новосибирском государственном университете.
Подробности и билеты
BY C++ Russia — канал конференции
Share with your friend now:
tgoop.com/cpprussia_channel/662