Программа PLC–2017
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJKLMNOPQRSTUVWXYZAA
1
3 апреля, понедельник, 120 ауд.
311 ауд.
2
10.00-12.00
Регистрация (фойе, перед 120 ауд.)
10:00-11:30
Сергей Васильев. Использование PVS-Studio (мастер-класс)
3
4
10.30-12.00
Воспоминания о А.Л.Фуксмане. Специальная секция
5
6
Доклады
7
10.30-11.00
Налбандян Ю.С. "Штрихи к биографии А. Л. Фуксмана"
8
11.00-11.30
Муратова Г. В. "А. Л. Фуксман и его роль в развитии Вычислительного центра Ростовского государственного университета"
9
10
12.00-12.20
Торжественное открытие - Штейнберг Б.Я., Абрамович С.М.
11
Пленарные доклады
12
112.20-12.50
Станислав Михалкович «Книга А.Л.Фуксмана «Технологические аспекты создания программных систем» и современность»
13
212.50-13.20
Филипп Хандельянц. Статический анализ кода: от теории к практике (спонсорский доклад, ООО «СиПроВер»)
14
313.20-13.50
Андрей Климов, Сергей A. Романенко. «Краткая история суперкомпиляции в России»
15
16
13.50-15.00Обед
17
Пленарные доклады
18
415.00-16.00
Екатерина Комендантская. «Сертифицированное автоматизированное доказательство теорем в системах типов»
19
516.00-16.30
Евгений Зуев. «Программная инфраструктура семантического анализа программ на С++»
20
616.30-17.00
Александр Легалов. «Языковая поддержка архитектурно-независимого параллельного программирования»
21
717.00-17.30
Аркадий Климов. «О парадигме универсального языка параллельного программирования»
22
23
18.00 ->Фуршет
24
25
4 апреля, вторник
26
Пленарные доклады
27
120 ауд
28
810.00-11.00
Илья Сергей «Зависимые типы для верификации реалистичного кода»
29
911.00-11.30
Борис Штейнберг. «Задачи развития оптимизирующей компиляции для высокопроизводительных процессоров новых архитектур»
30
1011.30-12.00
Андрей Терехов, Михаил Терехов. «Платформа РуСи для обучения и создания высоконадежных программных систем»
31
32
12.00-12.20
Кофе-брейк, время на переход
33
34
Секция 1 (211 ауд)
120 ауд.
35
1112.20-12.40
Александр Легалов. «Эволюционная разработка программ с применением процедурно-параметрической парадигмы»
12:30-14:00
Николай Шилов. Fun & Art of Formal Methods (мастер-класс)
36
1212.40-13.00
Екатерина Вербицкая. «Ostap: синтаксическое расширение OCaml для создания парсер-комбинаторов с поддержкой левой рекурсии»
37
1313.00-13.20
Софья Смолина, Екатерина Вербицкая. «Библиотека парсер-комбинаторов для синтаксического анализа графов»
38
1413.20-13.40
Дмитрий Косарев. «Уменьшение цены абстракции при типобезопасном встраивании реляционнного языка программирования в OCaml»
39
1513.40-14.00
Станислав Михалкович. «Проблемы реализации синтаксически сахарных конструкций в компиляторах»
40
41
Секция 2 (311 ауд)
42
1612.20-12.40
Иван Матковский. «Транслятор для функционально-потоковых параллельных программ»
43
1712.40-13.00
Михаил Бахтерев. «Потоковый механизм вывода графа программы в конструкторе компиляторов RiDE»
44
1813.00-13.20
Антон Подкопаев, Ори Лахав and Виктор Вафеядис. «Обещающая компиляция в ARMv8»
45
1913.20-13.40
Михаил Юрушкин, Станислав Семионов. «Переразмещение матриц к блочному виду компилятором языка Си с минимизацией использования дополнительной памяти»
46
2013.40-14.00
Александр Фролов. «Трансляция проблемно-ориентированного языка Green-Marl в параллельный код на Charm++ на примере задачи поиска сильно связных компонент в ориентированном графе»
47
48
14.00-15.00Обед
49
50
Секция 1 (211 ауд)
51
2115.00-15.20
Евгений Зуев, Алексей Канатов. «Beyond C++: проект современного языка программирования общего назначения»
52
2215.20-15.40
Александр Кручаненко. «Кроссплатформенное средство разработки программного обеспечения «Платформа ДОМИНАНТА»»
53
2315.40-16.00
Рустам Азимов, Семён Григорьев. «Синтаксический анализ графов и задача генерации строк с ограничениями»
54
2416.00-16.20
Дмитрий Ковалёв, Семён Григорьев. «Динамически формируемый код: синтаксический анализ контекстно-свободной аппроксимации»
55
56
Секция 2 (311 ауд)
57
2515.00-15.20
Николай Лукин, Александр Филимонов, Василий Тришин. «Облачная среда программирования однородных вычислительных систем»
58
2615.20-15.40
Юрий Михайлуц, Руслан Ибрагимов, Владислав Яковлев, Даниил Каримов. «Драйверы для обеспечения взаимодействия ускорителя с реконфигурируемой архитектурой и центрального процессора вычислительной системы»
59
2715.40-16.00
Сергей Гуда, Роман Морылёв, Афар Аллазов. «Генерация кода для графических ускорителей в ДВОР»
60
2816.00-16.20
Алексей Лацис, Светлана Дбар. «О модели программирования вычислительной схемотехники»
61
62
16.20-16.40Кофе-брейк
63
64
Секция 1 (211 ауд)
65
2916.40-17.00
Даниил Березун. «Трассирующая нормализация, основанная на игровой семантике и частичных вычислениях»
66
3017.00-17.20
Георгий Лукьянов, Артём Пеленицын. «Построение синтаксических анализаторов на основе алгебраических эффектов»
67
3117.20-17.40
Юлия Белякова. «Реализация сертифицированного интерпретатора для расширения простого типизированного лямбда-исчисления с концепт-параметрами»
68
3217.40-18.00
Игорь Ануреев. «Разработка операционной семантики языков программирования на основе двухэтапного метода концептуального проектирования информационных систем»
69
70
Секция 2 (311 ауд)
71
3316.40-17.00
Виктор Петренко, Елена Мeтелица, Роман Морылев, Борис Штейнберг. «Основанная на ОРС система обучения преобразованиям программ «Тренажер параллельного программиста».»
72
3417.00-17.20
Антон Баглий, Елена Алымова, Борис Штейнберг, Константин Гуфан. «Мультиязычный обфускатор программ и компилируемая библиотека непрозрачных предикатов»
73
3517.20-17.40
Андрей Михайлов, Алексей Хмельнов. «Анализ программного кода в объектных файлах Delphi, скомпилированных под платформу .NET»
74
3617.40-18.00
Виктор Георгиев. «Учебно-макетный вариант инструментальной системы "Преобразователь кода TCJ"» (автор не сможет приехать)
75
76
18.30-19.00, 120 ауд. - мини-концерт М.А. Фуксмана
77
19.00 ->Банкет
78
79
5 апреля, среда
80
81
Секция 1 (211 ауд)
82
3710.00-10.20
Борис Файфель. «Новые возможности системы HomeLisp»
83
3810.20-10.40
Валентина Глушкова. «СИГМА-спецификация языков программирования»
84
3910.40-11.00
Всеволод Квачёв. «Дизайн и реализация языка программирования с обобщенными множествами, типами и отображениями в качестве значений первого класса»
85
4011.00-11.20
Владимир Шелехов. «Синтез операторов предикатной программы»
86
87
Секция 2 (311 ауд)
88
4110.00-10.20
Иван Ивлев, Олег Штейнберг. «Распараллеливающее преобразование циклов "retiming"»
89
4210.20-10.40
Дмитрий Автономов, Олег Штейнберг. «Преобразование "Растягивание скаляров" в Оптимизирующей Распараллеливающей Системе»
90
4310.40-11.00
Ольга Молдованова and Михаил Курносов. «Анализ эффективности векторизующих компиляторов на архитектурах Intel 64 и Intel Xeon Phi»
91
4411.00-11.20
Елена Алымова. «Тестирование преобразований программ в компиляторе с заданным критерием качества»
92
93
11.20-11.40Кофе-брейк
94
95
Секция 1 (211 ауд)
96
4511.40-12.00
Пётр Лозов. «Конвертация функций высшего порядка в реляционную форму»
97
4612.00-12.20
Мансур Зиятдинов, Антон Марченко. «Свободные би-стрелки, или Как генерировать варианты учебных заданий по программированию»
98
4712.20-12.40
Алексей Головешкин. «Сквозная функциональность и её анализ в грамматике языка программирования»
99
12.40-13.00
100
Loading...
Main menu