Институт системного программирования им. В.П. Иванникова РАН


Ермаков Михаил Кириллович

Методы повышения эффективности итеративного динамического анализа программ

Диссертация защищена

Искомая степень: Кандидат технических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 2016-10-10.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 2016-12-15.

Официальный оппонент: Горбунов-Посадов Михаил Михайлович, доктор физико-математических наук (05.13.11).

Место работы, должность: Федеральное государственное учреждение "Федеральный исследовательский центр Институт прикладной математики им. М.В. Келдыша Российской академии наук", заведующий отделом.

Основные публикации за последние 5 лет:

  1. Горбунов-Посадов, М.М. Мультимедийная иллюстрация математической модели в журнальной публикации. // Математическое моделирование. — 2016. — Т. 28 (9). — С. 94-100.
  2. Анимация и видео в научной публикации. / М.М. Горбунов-Посадов, Д.С. Ролдугин, М.И. Слепенков, И.В. Тузов // Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва). — 2015. — № 104(2015). — С. 1-32
  3. Диссертационные материалы в онлайновой библиотеке. / В.М. Богданова, М.М. Горбунов-Посадов, Т.А. Полилова, М.И. Слепенков // Препринты ИПМ им. М.В. Келдыша, издательство ИПМ им. М.В. Келдыша РАН (Москва). — 2015. — № 62 (2015). — С. 1-12
  4. Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования. / М.П. Галанин, М.М. Горбунов-Посадов, А.В. Ермаков, В.В. Лукин, А.С. Родин, К.Л. Шаповалов // Труды Института системного программирования РАН. — 2014. — Т. 26 (3). — С. 51-67
  5. Архитектура программной платформы сопровождения вычислительного эксперимента Теметос. / М.П. Галанин, М.М. Горбунов-Посадов, А.В. Ермаков, В.В. Лукин, А.С. Родин, К.Л. Шаповалов // Препринты Института прикладной математики им. МВ Келдыша РАН. — 2013. — № 99 (2013). — С. 1-23
  6. Комплекс программ CaPpaPI для проведения вероятностных расчетов термомеханики тепловыделяющих элементов. / С.М. Богатырь, М.П. Галанин, М.М. Горбунов-Посадов, А.С. Гусев, А.С. Еременко, А.В. Ермаков, В.И. Кузнецов, В.В. Лукин, В.В. Новиков, А.С. Родин, А.В. Салатов, М.В. Сыпченко, А.А. Фальков, К.Л. Шаповалов // Препринты Института прикладной математики им. МВ Келдыша РАН. — 2012. — № 55 (2012). — С. 1-39

Отзыв оппонента: Скачать

Официальный оппонент: Булычев Дмитрий Юрьевич, кандидат физико-математических наук (05.13.11).

Место работы, должность: Федеральное государственное бюджетное образовательное учреждение высшего образования "Санкт-Петербургский государственный университет", доцент кафедры системного программирования.

Основные публикации за последние 5 лет:

  1. Polynomial-Time Optimal Pretty-Printing Combinators with Choice. / A. Podkopaev, D. Boulytchev // Perspectives of System Informatics. Lecture Notes in Computer Science, Berlin. – 2015. – No. 8974 – P. 257–265.
  2. Precise garbage collection for C++ with a non-cooperative compiler. / D. Berezun, D. Boulytchev // In Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. – 2014.
  3. Булычев, Д.Ю. Компонентизация языковых процессоров на основе расширяемых типов данных и управляемых ими преобразователей. // Системное программирование. – 2012. – Т. 7. – С. 69-89.
  4. Efficiently Scrapping Boilerplate Code in OCaml. / D. Boulytchev, A. Mechtaev // In Proceedings of ACM SIGPLAN Workshop on ML. – 2011.

Отзыв оппонента: Скачать

Ведущая организация: Вычислительный центр им. А.А. Дородницына Российской академии наук Федерального исследовательского центра «Информатика и управление» Российской академии наук

Контактные данные: 119333, Москва, ул. Вавилова, д. 40, 8-499-135-04-40, wcan@ccas.ru, http://www.ccas.ru/

Основные публикации за последние 5 лет:

  1. Атаева О. М., Серебряков В. А. Персональная цифровая библиотека Libmeta как среда интеграции связанных открытых данных //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XVI Всероссийской конференции RCDL. – 2014. – С. 42-47.
  2. Атаева О. М. и др. Интеграция данных по теплофизическим свойствам веществ методами онтологического моделирования //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской конференции RCDL. – 2013. – Т. 13. – С. 63-69.
  3. Атаева О. М., Серебряков В. А. Подход к созданию персональной семантической электронной библиотеки //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской конференции RCDL. – 2013. – Т. 13. – С.285-291.
  4. Кудашев Е. Б., Серебряков В. А. Инфраструктура научных информационных ресурсов и систем //Российский научный электронный журнал "Электронные библиотеки". – 2013. – Т. 16. – №. 6.
  5. Еркимбаев А. О. и др. Интеграция данных по свойствам веществ и материалов на основе онтологического моделирования предметной области //Материалы научной конференции "Интернет и современное общество". – 2012. – С. 38-47.
  6. Кузнецов К. А. и др. Онтологическое моделирование и публикация данных об Особо Охраняемых Природных Территориях //Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XIV Всероссийской конференции RCDL. – 2012. – С. 215-221.

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 15 из 21 членов диссертационного совета: Томилин А.Н., Петренко А.К., Карпов Л.Е., Аветисян А.И., Дроздов А.Ю., Жданов А.А., Захаров В.Н., Крюков В.А., Кузюрин Н.Н., Лаврищева Е.М., Машечкин И.В., Позин Б.А., Семенов В.А., Серебряков В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать