Научная программа Всероссийской научной конференции памяти А. Л. Фуксмана «Языки программирования и компиляторы ’2017»

Общая часть
Торжественное открытие, пленарные доклады. Воспоминания об А. Л. Фуксмане.

Дата: 03.04.2017	
Время	Тип доклада (пленарный, устный, стендовый)	ФИО докладчика	Название доклада	
10:00 – 10:10	Пленарный доклад 1	Михаил Карякин	Открытие конференции	
10:10 – 10:20	Пленарный доклад 2	Сергей Абрамович	Речь памяти А. Л. Фуксмана	
10:20 – 11:20	Пленарный доклад 3	Илья Сергей	Механизированная верификация распределенных приложений	
11:20 – 12:20	Пленарный доклад 4	Екатерина Комендантская	Сертифицированное автоматизированное доказательство теорем в системах типов	
12:20 – 13:00	Пленарный доклад 5	Виктор Касьянов	Теоретико–графовые методы и системы программирования	
14:00 – 14:40	Пленарный доклад 6	Александр Легалов	Языковая поддержка архитектурно–независимого параллельного программирования	
14:40 – 15:20	Пленарный доклад 7	Борис Штейнберг	Задачи развития оптимизирующей компиляции для высокопроизводительных процессоров новых архитектур	
Дата: 04.04.2017	
10:00 – 10:40	Пленарный доклад 8	Галина Муратова	А. Л. Фуксман и его роль в развитии системного программирования в Ростовском университете	
Дата: 05.04.2017	
18:00 – 18:40	Пленарный доклад 9	Михаил Горбунов-Посадов	Ищи однородность - найдешь расширяемость	

Компиляторы и интегрированные среды разработки
Парсеры, генераторы кода, анализ программного кода и оптимизирующие преобразования, интегрированные среды разработки.

Дата: 03.04.2017	
Время	Тип доклада (пленарный, устный, стендовый)	ФИО докладчика	Название доклада	
15:50 – 16:10	Устный доклад 1	Станислав Михалкович	Проблемы реализации синтаксически сахарных конструкций в компиляторах	
16:10 – 16:30	Устный доклад 2	Андрей Климов		История и обзор работ по суперкомпиляции	
16:30 – 16:50	Устный доклад 3	Дмитрий Ковалёв	Динамически формируемый код: синтаксический анализ контекстно–свободной аппроксимации	
17:20 – 17:40	Устный доклад 4	Евгений Зуев	Программная инфраструктура семантического анализа программ на С++	
17:40 – 18:00	Устный доклад 5	Ксения Долгорукова	Разработка масштабируемой системы оптимизации времени связывания	
Дата: 04.04.2017	
Время	Тип доклада (пленарный, устный, стендовый)	ФИО докладчика	Название доклада	
10:40 – 11:00	Устный доклад 6	Иван Ивлев	Распараллеливающее преобразование циклов "retiming"	
11:00 – 11:20	Устный доклад 7	Денис Дубров	Промежуточное представление программ для генерации схемы конвейерного вычислителя при компиляции программ языка С на процессор с программируемым ускорителем	
11:20 – 11:40	Устный доклад 8	Сергей Горишний	Интегрированная среда разработки – платформа Visual Data	
11:40 – 12:00	Устный доклад 9	Александр Мыльцев	Towards Next Effective Parser Generators with Scala Macros	
12:00 – 12:20	Устный доклад 10	Рустам Азимов	Синтаксический анализ графов и задача генерации строк с ограничениями	
12:20 – 12:40	Устный доклад 11	Сергей Гуда	Interactive CUDA Code Generator	
12:40 – 13:00	Устный доклад 12	Алексей Лацис	About the computational hardware logic design programming model	
14:00 – 14:20	Устный доклад 13	Александр Филимонов	Облачная среда программирования однородных вычислительных систем	
14:20 – 14:40	Устный доклад 14	Антон Петров	Интегрированная среда разработки функционально-потоковых параллельных программ	
14:40 – 15:00	Устный доклад 15	Михаил Бахтерев	Потоковый механизм вывода графа программы в конструкторе компиляторов RiDE	
15:00 – 15:20	Устный доклад 16	Сергей Панкратов	Автоматическая генерация тестов для GFX-offload компилятора Intel	
15:50 – 16:10	Устный доклад 17	Александр Монаков	Перенос вычислений на акселераторы NVIDIA в реализации OpenMP в компиляторе GCC	

Языки программирования и библиотеки
Разработка языков программирования (в том числе, DSL).

Дата: 04.04.2017	
Время	Тип доклада (пленарный, устный, стендовый)	ФИО докладчика	Название доклада	
16:10 – 16:30	Устный доклад 1	Дмитрий Косарев	Уменьшение цены абстракции при типобезопасном встраивании реляционнного языка программирования в OCaml	
16:30 – 16:50	Устный доклад 2	Александр Бугеря	Непроцедурный язык НОРМА и методы его трансляции для параллельных архитектур	
17:20 – 17:40	Устный доклад 3	Сергей Горишний	Программирование в терминах предметной области	
17:40 – 18:00	Устный доклад 4	Александр Фролов	Использование программной модели CHARM++ в качестве целевой платформы для компилятора проьлемно–ориентированного языка для обработки статических графов	
Дата: 05.04.2017	
10:00 – 10:20	Устный доклад 5	Алексей Канатов	Beyond C++: проект современного языка программирования общего назначения	
10:20 – 10:40	Устный доклад 6	Ольга Молдованова	Анализ эффективности векторизующих компиляторов на архитектурах Intel 64 и Intel Xeon Phi	
10:40 – 11:00	Устный доклад 7	Александр Легалов	Эволюционная разработка программ с применением процедурно-параметрической парадигмы	
11:00 – 11:20	Устный доклад 8	Андрей Терехов	Платформа РуСи для обучения и создания высоконадежных программных систем	
11:20 – 11:40	Устный доклад 9	Михаил Симуни	Распределенная запись для монад в функциональных языках програмирования	
11:40 – 12:00	Устный доклад 10	Юлия Удалова	Верификация и доказательство завершения функционально-потоковых параллельных программ	
12:00 – 12:20	Устный доклад 11	Лидия Городняя	Парадигмальная характеристика языков программирования	
12:20 – 12:40	Устный доклад 12	Аркадий Климов	О парадигме универсального языка параллельного программирования	
12:40 – 13:00	Устный доклад 13	Игорь Ануреев	Ontological operational semantics of C functions	
14:00 – 14:20	Устный доклад 14	Николай Шилов	Style vs. Paradigm in Programming	
14:20 – 14:40	Устный доклад 15	Станислав Семионов	High performance block matrix multiplcation	
14:40 – 15:00	Устный доклад 16	Денис Будяк	Русскоязычный компилируемый язык программирования с горячей заменой кода - "Яр"	
15:00 – 15:20	Устный доклад 17	Екатерина Вербицкая	Ostap: синтаксическое расширение OCaml для создания парсер-комбинаторов	
15:50 – 16:10	Устный доклад 18	София Смолина	Библиотека парсер-комбинаторов для синтаксического анализа графов	
16:10 – 16:30	Устный доклад 19	Александр Шинов	Алгоритм Метрополиса–Гастингса: реализации на Python и Go	
16:30 – 16:50	Устный доклад 20	Даниил Березун	Трассирующая нормализация, основанная на игровой семантике и частичных вычислениях	
17:20 – 17:40	Устный доклад 21	Владимир Васильев	Методы оптимизации функционально-потоковых параллельных программ	
17:40 – 18:00	Устный доклад 22	Павел Косов	Библиотечная поддержка процедурно-параметрической парадигмы в языке программирования C++	

Председатель программного комитета		                       Штейнберг Б. Я.