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


Открытая конференция по компиляторным технологиям

2 декабря 2015 года в главном здании Российской академии наук по инициативе ИСП РАН и компании Samsung прошла Открытая конференция по компиляторным технологиям, посвященная методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ.

Открытая конференция по компиляторным технологиям, 2015


Программа конференции (Презентация).

Среда, 2 декабря 2015 года.

8:30

Утренний чай и кофе, регистрация участников конференции.

08:50

Приветственное слово. Выступление В.П. Иванникова, д.ф.м.н., академика РАН, профессора.

09:00

Grigori Fursin, Сhief scientist of the non-profit cTuning Foundation, France

«Collective Knowledge Project: a community-driven approach to performance Optimization».

Подробнее

09:40

Владиславлев В.Е., OOO «SMWare»

«Оптимизирующий компилятор на базе библиотеки UTL и инфраструктуры LLVM для архитектур ARM и MIPS».

Презентация

Подробнее

10:00

Монаков Александр, ИСП РАН, Россия

«Перенос вычислений на акселераторы NVIDIA в реализации OpenMP в компиляторе GCC».

Подробнее

10:20

Маслов М.В., ООО «Эльбрус технологии», Россия

«Динамический двоичный транслятор для запуска Intel x86 кодов на микропроцессорах ARM».

Презентация

Подробнее

10:40

Максименков Д.А., АО «МЦСТ», Россия

«Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований».

Презентация

Подробнее

11:00

Чай и кофе.

11:20

Dmitry Botcharnikov, LLC Samsung R&D Institute Rus, Russia

«Approaches in optimizing V8 JavaScript engine».

Презентация

Подробнее

11:40

Варданян В.Г., Иванишин В.А., Асрян С.А., Хачатрян A.А., Акопян Дж.А., ЕрГУ, Армения

«Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM».

Презентация

Подробнее

12:00

Четверина О.А., АО «МЦСТ», Россия

«Методы коррекции профильной информации в процессе компиляции».

Презентация

Подробнее

12:20

Волконский В.Ю., Нейман-заде М.И., Ермолицкий Александр Викторович, Маркин А.Л., Четверина О.А., АО «МЦСТ», Россия

«Агрессивная инлайн-подстановка функций для VLIW-архитектур».

Презентация

Подробнее

12:40

Роман Жуйков, Евгений Шарыгин, ИСП РАН, Россия

«Методы предварительной оптимизации программ на языке JavaScript».

Презентация

Подробнее

13:00

Горелов М.А., АО «МЦСТ», Россия

«Настройка режимов кэширования обращений в память оптимизирующим компилятором».

Презентация

Подробнее

13:20

Обед.

14:20

Курмангалеев Ш.Ф., Нурмухаметов А.Р., Харченко Н.А., ИСП РАН, Россия

«Обфусцирующий компилятор».

Презентация

Подробнее

14:40

Фурсова Н.И., Довгалюк П.М., Васильев И.А., Новгородский государственный университет имени Ярослава Мудрого, Россия

«Использование ABI для интроспекции виртуальных машин».

Презентация

Подробнее

15:00

Ермаков М.К., Московский Государственный Университет им. М.В.Ломоносова, Россия

«Повышение производительности итеративного динамического анализа за счёт применения статической инструментации исполняемого кода».

Презентация

Подробнее

15:20

Долгорукова К.Ю., ИСП РАН, Россия

«Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM».

Презентация

Подробнее

15:40

Чай и кофе.

16:00

Бородин А.Е., ИСП РАН, Россия

«Статический анализатор Svace как коллекция анализаторов разных уровней сложности».

Презентация

Подробнее

16:20

Дергачёв А.В., Сидорин А.В., LLC Samsung R&D Institute Rus, Russia

«Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения».

Презентация

Подробнее

16:40

Сыромятников С.В., ИСП РАН, Россия

«Реализация средств взаимодействия между обнаружителями дефектов в шаблонном языке поиска для синтаксических деревьев».

Презентация

Подробнее

17:00

Саргсян С.С., Курмангалеев Ш.Ф., ИСП РАН, Россия

«Методы поиска клонов кода на основе семантического анализа программ».

Презентация

Подробнее

17:20

Вартанов С.П., Московский государственный университет им. М.В.Ломоносова, Россия

«Инструментация виртуальной машины Dalvik с целью исследования использования памяти в Java-приложениях на платформе Android».

Презентация

Подробнее

17:40

A.Kanatov, E.Zouev, Samsung, Russia

«Alternative approach to inheritance».

Презентация

Подробнее

18:00

Кулагин И.И., Курносов М.Г., СибГУТИ, Россия

«Инструментация и оптимизация выполнения транзакционных секций многопоточных программ».

Презентация

Подробнее

18:20

Подведение итогов, закрытие первого дня конференции.

Среда, 2 декабря 2015 года.


Сhief scientist of the non-profit cTuning Foundation, France


Grigori Fursin

«Collective Knowledge Project: a community-driven approach to performance Optimization».

Смотреть видеозапись выступления


OOO «SMWare»


Владиславлев В.Е.

«Оптимизирующий компилятор на базе библиотеки UTL и инфраструктуры LLVM для архитектур ARM и MIPS».

Смотреть видеозапись выступления


ИСП РАН, Россия


Монаков Александр

«НРС и HP».

Смотреть видеозапись выступления


ООО «Эльбрус технологии», Россия


Гимпельсон В.Д.

«Динамический двоичный транслятор для запуска Intel x86 кодов на микропроцессорах ARM».

Смотреть видеозапись выступления


NVIDIA Ltd., Россия


Максименков Д.А.

«Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований».

Смотреть видеозапись выступления


LLC Samsung R&D Institute Rus, Russia


Dmitry Botcharnikov

«Approaches in optimizing V8 JavaScript engine».

Смотреть видеозапись выступления


ЕрГУ, Армения


Варданян В.Г.

«Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM».

Смотреть видеозапись выступления


АО «МЦСТ», Россия


Четверина О.А.

«Методы коррекции профильной информации в процессе компиляции».

Смотреть видеозапись выступления


АО «МЦСТ», Россия


Ермолицкий Александр Викторович

«Агрессивная инлайн-подстановка функций для VLIW-архитектур».

Смотреть видеозапись выступления


ИСП РАН, Россия


Роман Жуйков

«Методы предварительной оптимизации программ на языке JavaScript».

Смотреть видеозапись выступления


АО «МЦСТ», Россия


Горелов М.А.

«Настройка режимов кэширования обращений в память оптимизирующим компилятором».

Смотреть видеозапись выступления


ИСП РАН, Россия


Нурмухаметов А.Р.

«Обфусцирующий компилятор».

Смотреть видеозапись выступления


Использование ABI для интроспекции виртуальных машин


Фурсова Н.И.

«Использование ABI для интроспекции виртуальных машин».

Смотреть видеозапись выступления


Московский государственный университет им. М.В.Ломоносова, Россия


Ермаков М.К.

«Повышение производительности итеративного динамического анализа за счёт применения статической инструментации исполняемого кода».

Смотреть видеозапись выступления


ИСП РАН


Долгорукова К.Ю.

«Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM».

Смотреть видеозапись выступления


ИСП РАН, Россия


Бородин А.Е.

«Статический анализатор Svace как коллекция анализаторов разных уровней сложности».

Смотреть видеозапись выступления


LLC Samsung R&D Institute Rus, Russia


Дергачёв А.В.

«Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения».

Смотреть видеозапись выступления


ИСП РАН, Россия


Сыромятников С.В.

«Реализация средств взаимодействия между обнаружителями дефектов в шаблонном языке поиска для синтаксических деревьев».

Смотреть видеозапись выступления


ИСП РАН, Россия


Саргсян С.С.

«Методы поиска клонов кода на основе семантического анализа программ».

Смотреть видеозапись выступления


Московский государственный университет им. М.В.Ломоносова, Россия


Вартанов С.П.

«Инструментация виртуальной машины Dalvik с целью исследования использования памяти в Java-приложениях на платформе Android».

Смотреть видеозапись выступления


Samsung, Russia


A.Kanatov

«Alternative approach to inheritance».

Смотреть видеозапись выступления


СибГУТИ, Россия


Кулагин И.И.

«Инструментация и оптимизация выполнения транзакционных секций многопоточных программ».

Смотреть видеозапись выступления