Доброго времени суток!
В третий четверг месяца мы приглашаем Вас в Институт системного
программирования РАН имени В.П. Иванникова на Городской
научно-практический семинар "Технологии разработки и анализа
программ".
Ближайшая встреча семинара состоится в ноябре. На семинар приедет
Подкопаев Антон Викторович (матмех СПбГУ, JetBrains Research). Он
занимается исследованием моделей памяти языков программирования в
рамках своей кандидатской диссертации. Антон расскажет о своем подходе
к определению модели памяти для С/С++. Он не только составил модель
памяти, но и доказал корректность компиляции для "обещающей'" модели
памяти в две модели процессорной архитектуры ARM --- ARMv8 POP и
ARMv8.3. Аннотацию доклада Вы можете прочитать на сайте семинара
http://sdat.ispras.ru/?p=764 .
Ждем Вас на семинаре в четверг, 16 ноября, в 17:00. Адрес ИСП РАН:
Москва, ул. Александра Солженицына, дом 25. Во вложении письма Вы
можете посмотреть постер семинара.
С уважением,
Евгений Корныхин