Второй петербургский митап по системам «Systems»
О событии
Второй петербургский митап по системному программированию. На митапе планируется три научных и инженерных доклада на тему системного программирования для студентов и инженеров петербургских компаний.
Количество мест ограничено!
Планируемые доклады:
1. TBD (Дмитрий Иванов, Яндекс)
2. Неопределённое поведение: если про него не думаете, это не значит, что его нет (PVS-Studio)
О докладе: Тема неопределённого поведения (UB) в языке C++ освещается и обсуждается многие годы, но это не значит, что она исчерпала себя. Это плата, которую программисты отдают за эффективные оптимизации кода, такие как удаление ряда проверок. C++ - опасный инструмент, и не помешает лишний раз напомнить, как правильно держать его в руках.Причём с приходом инструментов вайб-кодинга ситуация, скорее всего, даже ухудшится, так как станет ещё сложнее удерживать неопределённое поведение под контролем. Обсудим эту тему, заглянув в будущее.
3. Введение в теорию многогранников для оптимизации кода (Кирилл Сабитов)
Современные многоядерные архитектуры и процессоры с поддержкой векторных инструкций требуют сложных оптимизаций, с которыми классические методы часто не справляются. Ручная оптимизация - это трудоемко и непереносимо. Мы рассмотрим подход на основе теории многогранников (Polyhedral Model). Он позволяет математически строго находить оптимальные преобразования (тайлинг, распараллеливание, слияние циклов) для статических частей программы (SCoPs), обеспечивая локальность данных и максимальный параллелизм.
Митап проходит при поддержке «Городских сервисов Яндекса» (https://dev.go.yandex).
Организаторы: Михаил Лукин (канал GPGPU_RU https://t.me/gpgpu_ru, член ПК cppconf.ru), Роман Елизаров, Виталий Аксенов (член ПК cppconf.ru) и Константин Бац.
Контактные лица
