Новости
Новости ИСП РАН
18 Апреля, 2017
Научная конференция «Ломоносовские чтения–2017»
Уважаемые сотрудники ИСП РАН,
в настоящее время на факультете ВМК МГУ проходит Научная конференция «Ломоносовские чтения–2017».
Завтра (19 апреля 2017 г.) в 10:00 состоятся доклады кафедры СП (II учебный корпус, 6 этаж, ауд. 685, кафедра «Системного программирования»):
- Распараллеливание циклов с регулярными зависимостями по данным на кластеры с графическими процессорами. Доклад профессора Крюкова В.А., асп. Колганова А.С., студ. Шохина К.О.
- Перенос вычислений на акселераторы NVIDIA в реализации OpenMP в компиляторе GCC. Доклад профессора, директора ИСП РАН Аветисяна А.И., н.с. ИСП РАН Монакова А.В.
- Изменение модели обработки данных в СУБД PostgreSQL для оптимизации выполнения запросов. Доклад доцента, зав. отделом ИСП РАН Турдакова Д.Ю., студ. Шер А.Р.
- Методы компиляции запросов к СУБД на основе специализации кода. Доклад ассистента Гетьмана А. И., с.н.с. ИСП РАН Мельника Д.М., асп., стажера-исследователя ИСП РАН Шарыгина Е.Ю.
- Проблемы статического и динамического анализа архитектурных моделей. Доклад профессора Петренко А.К., доцента Хорошилова А.В., доцента Корныхина Е.В.
- Проверка UML-моделей с помощью генерации текстовых спецификаций. Доклад доцента Коруховой Л.С., доцента Малышко В.В., студ. Ершова М.С.
- К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера. Доклад доцента, в.н.с. ИСП РАН Белеванцева А.А., асп. Дудиной И.А.
- Извлечение алгоритмов из бинарного кода для повторного использования. Доклад ст. преподавателя Соловьева М.А., студ. Манушина Д.В.
- Использование анализа помеченных данных для поиска дефектов в программах на языке C#. Доклад профессора, зав. отделом ИСП РАН Гайсаряна С.С., студ. Беляева М.В.
- О способах задания семантики машинных команд при разработке декодера в эмуляторе Qemu. Доклад доцента, в.н.с. ИСП РАН Падаряна В.А., студ. Белова Н.А.
- Динамическое символьное исполнение Java-программ. Доклад профессора, директора ИСП РАН Аветисяна А.И., м.н.с. ИСП РАН Вартанова С.П.
Приглашаем всех желающих.