Головы Гидры / Антон Подкопаев // 31.05.2021
About Hydra conference: https://jrg.su/6Cf8RP — — Телеграм-чат для обсуждения: https://tlgg.ru/@hydraconf На этот раз в гостях у Алексея Федорова и Никиты Коваля будет Антон Подкопаев — руководитель группы исследователей слабых моделей памяти в JetBrains Research, доцент в НИУ ВШЭ (СПб) и кандидат физико-математических наук. Участники пообщаются о применимости Coq в индустрии, важности формальных доказательств в целом и о том, почему это критично для weak memory models. И заодно обсудят проект Антона — модель памяти IMM, которая обобщает модели памяти процессорных архитектур.
About Hydra conference: https://jrg.su/6Cf8RP — — Телеграм-чат для обсуждения: https://tlgg.ru/@hydraconf На этот раз в гостях у Алексея Федорова и Никиты Коваля будет Антон Подкопаев — руководитель группы исследователей слабых моделей памяти в JetBrains Research, доцент в НИУ ВШЭ (СПб) и кандидат физико-математических наук. Участники пообщаются о применимости Coq в индустрии, важности формальных доказательств в целом и о том, почему это критично для weak memory models. И заодно обсудят проект Антона — модель памяти IMM, которая обобщает модели памяти процессорных архитектур.