Аспирантура ИСП РАН


Иванишин Владислав Анатольевич

Направление подготовки: 09.06.01 «Информатика и вычислительная техника».
Направленность (специальность): 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Дата зачисления: 01 октября 2015 года.
Приказ о зачислении: 11-у от 23.09.2015 года.
Срок окончания аспирантуры: 30 сентября 2019 года.
Форма обучения: очная.

Научные публикации до поступления в аспирантуру

  1. Методы динамической и предварительной оптимизации программ на языке JavaScript. Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин. Труды Института системного программирования РАН, том 26, 2014 г., выпуск 1, cтр. 297-314. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Экзамены

Педагогика высшей школы: отлично, июнь 2016 года.

Кандидатские экзамены

Иностранный язык: отлично, июнь 2016 года.
История и философия науки: отлично, июнь 2017 года.
Специальность 05.13.11: отлично, 29 сентября 2017 года.

Достижения в научно-исследовательской деятельности

Тема диссертационного исследования: Методы компиляции программ на динамических языках в статически типизированное внутреннее представление.
Утверждена на заседании Учёного совета ИСП РАН: Протокол №2015-15 от 25.12.2015 года.
Научный руководитель: Гайсарян Сергей Суренович, к.ф.-м.н., доцент, зав. отделом Компиляторных технологий.

Сведения о планируемой диссертационной работе

В настоящее время большую популярность приобрели языки программирования с большой степенью динамизма. По этой причине крайне желательной оказывается более высокая производительность реализаций этих языков. Компиляция динамических языков существенно сложнее традиционной статической компиляции по той причине, что во время выполнения кода могут происходить события, связанные с изменением типов полей объектов, самой структуры объектов, автоматической сборкой мусора и др. Тема диссертационной работы подразумевает применение накопленного опыта компиляции статических языков к динамическим языкам и изысканию методов разрешения противоречий, возникающих в этом процессе.

Информация об участии в конференциях различного уровня

  1. V. Ivanishin, E. Kudryashov, A. Monakov, D. Melnik, J. Lee. System-Wide Elimination of Unreferenced Code and Data in Dynamically Linked Programs //Proceedings of Ivannikov ISPRAS Open Conference, 2017
  2. Аветисян А.И., Монаков А.В., Иванишин В.А. Полносистемная оптимизация размера кода и данных для динамически скомпонованных программ. Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018.

Список опубликованных научных и учебно-методических работ

  1. V. Ivanishin, E. Kudryashov, A. Monakov, D. Melnik, J. Lee. System-Wide Elimination of Unreferenced Code and Data in Dynamically Linked Programs //Proceedings of Ivannikov ISPRAS Open Conference, 2017
  2. Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM. Варданян В.Г., Иванишин В.А., Асрян С.А., Хачатрян A.А., Акопян Дж.А. Труды Института системного программирования РАН Том 27. Выпуск 6. 2015 г. Стр. 33-48. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).