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

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