16 ноября - семинар "Технологии разработки и анализа программ"
5 views
Skip to first unread message
Eugene Kornykhin
Nov 14, 2017, 3:55:49 AM11/14/17
to Семинар <<Технологии разработки и анализа программ>>
Доброго времени суток! Прихоидте в этот четверг на семинар "Технологии
разработки и анализа программ". Он пройдет в ИСП РАН в 17:00.
Семинар будет посвящен вопросам определения моделей памяти для языков
программирования. Подкопаев Антон Викторович (матмех СПбГУ, JetBrains
Research) расскажет о своем подходе к определению модели памяти для
С/С++. Он не только составил модель памяти, но и доказал корректность
компиляции для "обещающей'" модели памяти в две модели процессорной
архитектуры ARM --- ARMv8 POP и ARMv8.3. Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=764 .
Институт системного программирования РАН имени В.П. Иванникова
находится по адресу - улица Александра Солженицына, дом 25. Ждем Вас!
С уважением,
Евгений Корныхин
разработки и анализа программ". Он пройдет в ИСП РАН в 17:00.
Семинар будет посвящен вопросам определения моделей памяти для языков
программирования. Подкопаев Антон Викторович (матмех СПбГУ, JetBrains
Research) расскажет о своем подходе к определению модели памяти для
С/С++. Он не только составил модель памяти, но и доказал корректность
компиляции для "обещающей'" модели памяти в две модели процессорной
архитектуры ARM --- ARMv8 POP и ARMv8.3. Аннотацию доклада Вы можете
прочитать на сайте семинара http://sdat.ispras.ru/?p=764 .
Институт системного программирования РАН имени В.П. Иванникова
находится по адресу - улица Александра Солженицына, дом 25. Ждем Вас!
С уважением,
Евгений Корныхин
Reply all
Reply to author
Forward
0 new messages