Новости ИСП РАН

Научная конференция «Ломоносовские чтения–2017»

Уважаемые сотрудники ИСП РАН,
в настоящее время на факультете ВМК МГУ проходит Научная конференция «Ломоносовские чтения–2017».

Завтра (19 апреля 2017 г.) в 10:00 состоятся доклады кафедры СП (II учебный корпус, 6 этаж, ауд. 685, кафедра «Системного программирования»):

1. Распараллеливание циклов с регулярными зависимостями по данным на кластеры с графическими процессорами. Доклад профессора Крюкова В.А., асп. Колганова А.С., студ. Шохина К.О.
2. Перенос вычислений на акселераторы NVIDIA в реализации OpenMP в компиляторе GCC. Доклад профессора, директора ИСП РАН Аветисяна А.И., н.с. ИСП РАН Монакова А.В.
3. Изменение модели обработки данных в СУБД PostgreSQL для оптимизации выполнения запросов. Доклад доцента, зав. отделом ИСП РАН Турдакова Д.Ю., студ. Шер А.Р.
4. Методы компиляции запросов к СУБД на основе специализации кода. Доклад ассистента Гетьмана А. И., с.н.с. ИСП РАН Мельника Д.М., асп., стажера-исследователя ИСП РАН Шарыгина Е.Ю.
5. Проблемы статического и динамического анализа архитектурных моделей. Доклад профессора Петренко А.К., доцента Хорошилова А.В., доцента Корныхина Е.В.
6. Проверка UML-моделей с помощью генерации текстовых спецификаций. Доклад доцента Коруховой Л.С., доцента Малышко В.В., студ. Ершова М.С.
7. К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера. Доклад доцента, в.н.с. ИСП РАН Белеванцева А.А., асп. Дудиной И.А.
8. Извлечение алгоритмов из бинарного кода для повторного использования. Доклад ст. преподавателя Соловьева М.А., студ. Манушина Д.В.
9. Использование анализа помеченных данных для поиска дефектов в программах на языке C#. Доклад профессора, зав. отделом ИСП РАН Гайсаряна С.С., студ. Беляева М.В.
10. О способах задания семантики машинных команд при разработке декодера в эмуляторе Qemu. Доклад доцента, в.н.с. ИСП РАН Падаряна В.А., студ. Белова Н.А.
11. Динамическое символьное исполнение Java-программ. Доклад профессора, директора ИСП РАН Аветисяна А.И., м.н.с. ИСП РАН Вартанова С.П.

Приглашаем всех желающих.