Открытая конференция по компиляторным технологиям
Новости
Открытая конференция по компиляторным технологиям
2 декабря 2015 года в главном здании Российской академии наук по инициативе ИСП РАН и компании Samsung прошла Открытая конференция по компиляторным технологиям, посвященная методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ.
Программа конференции (Презентация).
Среда, 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
12:40
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 года.
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».
Смотреть видеозапись выступления
СибГУТИ, Россия
Кулагин И.И.
«Инструментация и оптимизация выполнения транзакционных секций многопоточных программ».
Смотреть видеозапись выступления