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


Кошелев Владимир Константинович

Межпроцедурный статический анализ для поиска ошибок в исходном коде программ на языке С#

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

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

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

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

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

Официальный оппонент: Гергель Виктор Павлович, доктор технических наук (05.13.12).

Место работы, должность: Директор Института информационных технологий, математики и механики Нижегородского государственного университета имени Н. И. Лобачевского.

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

  1. Гергель В.П., Линёв А.В. Проблемы и перспективы достижаения экзафлопного уровня производительности суперкомпьютерных систем, Вестник Нижегородского университета им. Н.И. Лобачевского. 2012. № 3-1. С. 189-198.
  2. Гергель В.П., Швецов В.И. Суперкомпьютерных технологии в Нижегородском государственном университете // Информатизация образования и науки, №17, издательство: Государственный научно-исследовательский институт информационных технологий и телекоммуникаций (Москва), 2013 – С. 25-38
  3. Антонов А.С., Воеводин В.В., Гергель В.П., Соколинский Л.Б. Системный подход к суперкомпьютерному образованию // Вестник Южно-Уральского государственного университета. Серия «Вычислительная математика и информатика», том 2, №2, издательство: Южно-Уральский государственный университет (национальный исследовательский университет) (Челябинск), 2013 – С. 5-17
  4. А. А. Сиднев, В. П. Гергель, Автоматический выбор наиболее эффективных реализаций алгоритмов // Вычислительные методы и программирование: новые вычислительные технологии, том 15, №4, издательство: Научно-исследовательский вычислительный цент МГУ им. М.В. Ломоносова (Москва), 2014 – С. 579-592
  5. Гергель В.П., Мееров И.Б., Сысоев А.В., Русаков А.В., Одинцов И.О., Самофалов В.В. Программа профессиональной сертификации по параллельному программированию // Вестник Нижегородского Государственного университета им. Н.И. Лобачевского, № 4-1, издательство: Национальный исследовательский Нижегородский государственный университет им. Н.И. Лобачевского (Нижний Новгород), 2012 – С. 41-44
  6. Гергель В.П., Сиднев А.А. Методы и программные средства макромодульной разработки программ // Вестник Нижегородского университета им. Н.И. Лобачевского, №5-2, издательство: Национальный исследовательский Нижегородский государственный университет им. Н.И. Лобачевского (Нижний Новгород), 2012 – С. 294-300
  7. Гергель В.П., Баркалов К.А. Создание системы подготовки высококвалифицированных кадров в области суперкомпьютерных технологий в Приволжском федеральном округе // Школа будущего, №3, издательство: Некоммерческое партнерство Федеративный комитет развития педагогических технологий и образовательной инженерии «Школа будущего» (Москва), 2012 – С. 132-135
  8. Воеводин В.В., Гергель В.П., Соколинский Л.Б., Демкин В.П., Попова Н.Н., Бухановский А.В. Развитие системы суперкомпьютерного образования в России: текущие результаты и перспективы // Вестник Нижегородского Государственного университета им. Н.И. Лобачевского, № 4-1, издательство: Национальный исследовательский Нижегородский государственный университет им. Н.И. Лобачевского (Нижний Новгород), 2012 – С. 268-274

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

Официальный оппонент: Павлов Евгений Геннадьевич, кандидат технических наук (05.13.11).

Место работы, должность: ООО «Исследовательский центр Самсунг», старший инженер-программист, руководитель проектов.

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

  1. Кораблин Ю. П., Павлов Е. Г. Разработка верификатора объектов синхронизации драйверов для операционной системы Linux на основе процессной семантики // Программная инженерия. 2012. № 8. С. 2–10.
  2. Кораблин Ю.П., Павлов Е.Г. Вопросы верификации драйверов Linux на основе процессной семантики // Ученые записки РГСУ. 2012. №7. С. 165–172.
  3. Кораблин Ю.П., Павлов Е.Г. Разработка инструментов верификации драйверов на основе семантических моделей // Программные продукты и системы. 2012. № 1. С. 128–134.
  4. Кораблин Ю.П., Павлов Е.Г. Разработка инструментальных средств анализа драйверов операционной системы Linux // Программные продукты и системы. 2012. № 3. С. 160–165.

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

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

Контактные данные: 119333, Москва, Вавилова, д.44, кор.2, +7 499 1356260, ipiran@ipiran.ru, ipiran.ru

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

  1. Серебряков В. А., Атаева О. М. Основные понятия формальной модели семантических библиотек и формализация процессов интеграции в ней // Программные продукты и системы, 2015. № 4. С. 180–187.
  2. Атаева О.М., Серебряков В.А. Персональная цифровая библиотека Libmeta как среда интеграции связанных открытых данных // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XVI Всероссийской конференции RCDL. – 2014. – С. 42-47
  3. Атаева О. М., Кулагин М. В., Серебряков В. А. Основные понятия для построения формальной модели семантических библиотек и описания процессов интеграции в ней // Научный сервис в сети Интернет: Труды XVII Всероссий ской научной конференции (Новороссийск, 21–26 сентября 2015). – М.: ИПМ им. М. В. Келдыша, 2015. С. 8–15.
  4. Атаева О.М., Серебряков В.А. Подход к созданию персональной семантической электронной библиотеки // Электронные библиотеки: перспективные методы и технологии, электронные коллекции: Труды XV Всероссийской конференции RCDL. – 2013. – Т. 13. – С.285-291
  5. Кудашев Е.Б., Серебряков В.А. Инфраструктура научных информационных ресурсов и систем // Российский научный электронный журнал "Электронные библиотеки". – 2013. – Т. 16. – №. 6.
  6. Vorontsov K.V., Potapenko A.A. Tutorial on Probabilistic Topic Modeling: Additive Regularization for Stochastic Matrix Factorization // AIST'2014, Analysis of Images, Social networks and Texts. — Springer International Publishing Switzerland, 2014. Communications in Computer and Information Science (CCIS). Vol. 436. pp. 29–46.
  7. Соколов Е.А., Воронцов К.В. Минимизация вероятности переобучения для композиций линейных классификаторов низкой размерности // Интеллектуализация обработки информации (ИОИ-2012): Докл. — Москва: Торус Пресс, 2012. С. 82–85.
  8. Соколов И.А., Степченков Ю.А., Бобков С.Г., Захаров В.Н., Дьяченко Ю.Г., Рождественский Ю.В., Сурков А.В. Базис реализации Супер-ЭВМ эксафлопсного класса // Информатика и ее применения, том 8, №1, издательство: Федеральный исследовательский центр «Информатика и управление» Российской Академии наук (Москва), 2014 – С. 45-70

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

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

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

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