Открытая лекция «weak memory models»

Антон — кандидат физико-математических наук, руководитель группы слабых моделей памяти в лаборатории языковых инструментов JetBrains Research, доцент департамента информатики НИУ ВШЭ (СПб) и постдок в MPI-SWS (Германия). Научные интересы: формальная верификация, сертификационный и функциональный стили программирования, семантика языков программирования.

На лекции речь пойдёт о моделях памяти в целом. Лектор расскажет, почему и как обещающая модель памяти решает существующие проблемы моделей памяти языков программирования, и затронет доказательства корректности компиляции из обещающей модели в модели x86-TSO, Power и ARMv8.3 с использованием промежуточной модели памяти (IMM).