Лаборатория Конструирования и Оптимизации Программ

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 354
__________________________________________________________________
Дата: 25.3.94
Время: 15.00
__________________________________________________________________
Сабельфельд В.К.
Тема: Потоковый анализ рекурсивных программ
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 353
__________________________________________________________________
Дата: 18.2.94
Время: 15.00
__________________________________________________________________
Грабарь А.В.
Тема: Генерация кода в системе СОКРАТ
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 351
__________________________________________________________________
Дата: 24.12.93
Время: 15.00
__________________________________________________________________
Цикоза В.А.
Тема: Уточненные модели анализа множеств значений пере-
менных (по работам Granger, Cousot, Halbwachs)
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 350
__________________________________________________________________
Дата: 17.12.93
Время: 15.00
__________________________________________________________________
Мавлютов И.Б.
Тема: Методы покадровой (peep-hole) оптимизации
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 347
__________________________________________________________________
Дата: 11.11.93
Время: 15.00
__________________________________________________________________
Булышева Л.А.
Тема: Разработка метода многофункционального совмещения
при автоматизации параллельного программирования для VLIW-про-
цессоров
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 346
__________________________________________________________________
Дата: 5.11.93
Время: 15.00
__________________________________________________________________
Шкляев Д.А.
Тема: Реферирование работы В.И.Борисенко «Алгоритм опре-
деления эквивалентности п-ленточных автоматов»
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 345
__________________________________________________________________
Дата: 29.10.93
Время: 15.00
__________________________________________________________________
Евстигнеев В.А.
Тема: Обзор языка SISAL и методов его реализации
(пpодолжение)
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 344
__________________________________________________________________
Дата: 22.10.93
Время: 15.00
__________________________________________________________________
Евстигнеев В.А.
Тема: Обзор языка SISAL и методов его реализации
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 343
__________________________________________________________________
Дата: 15.10.93
Время: 15.00
__________________________________________________________________
Алексеев Г.И.
Тема: Итоги летней школы по информатике и программированию
(ЛШИП-93)
__________________________________________________________________

__________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
Заседание N 342
__________________________________________________________________
Дата: 8.10.93
Время: 15.00
__________________________________________________________________
Шелехов В.И.
Тема: Объектный анализ программ
__________________________________________________________________