16 ноября: Операционные методы в приложении к слабым моделям памяти

Антон Подкопаев

Антон Подкопаев

Подкопаев Антон Викторович — аспирант кафедры системного программирования математико-механического факультета СПбГУ, сотрудник JetBrains Research (Language Processing Lab).

Антон Подкопаев работает над моделями памяти для языков С/С++ с учетом многопоточности. Модель памяти должна предоставлять гарантии программисту и тем ограничивать пространство возможных поведений программы. С другой стороны, модель памяти обязана учитывать оптимизирующее поведение компиляторов и процессоров, т.к. они влияют на семантику многопоточной программы. Антон Подкопаев предложил операционный вариант модели памяти для языков C/С++ и доказал корректность компиляции для «обещающей’» модели памяти в две модели процессорной архитектуры ARM — ARMv8 POP и ARMv8.3.

Доклад состоится 16 ноября 2017 года в 17:00 в Институте системного программирования РАН имени В.П. Иванникова. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 110.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>