С весны 2004 на кафедре Алгебры и дискретной математики Мехмата РГУ регулярно (по вторникам в 19:00) проводятся семинары по автоматическому распараллеливанию программ. Слушателями и докладчиками являются не только участники группы OРС, семинар открыт для всех желающих.


Основными темами докладов на семинаре являются:

  • Cистемы автоматического распараллеливания.
  • Оптимизирующая распараллеливающая система.
  • Методы распараллеливания программ.
  • Реконфигурируемый компьютинг.


Фотографии. Участники семинара, 2011 год, осень:




Фотографии. Участники семинара, 2009 год, осень:









Фотографии. Участники семинара, 2007 год, осень:





Фотографии. Участники семинара, 2006 год:






Фотографии. Участники семинара, 2005 год:




Фотографии. Участники семинара, 2004 год:







За 2004 год не сохранилось подробной хронологии докладов, в программе семинара прозвучали в том числе следующие доклады:

  • Несколько докладов по распараллеливающей системе Polaris. Докладчики: Александр Бутов, Сергей Науменко, Виктор Петренко, Денис Черданцев, Милена Еремеева.
  • Язык параллельного программирования Charm++ и СК Blue Gene. Докладчик: Денис Черданцев, аспирант.
  • Разбиение программ на треды и язык Charm++. Докладчик: Константин Огренич.
  • SSA-form по книге Cooper K.D., Torcson L. Engineering a Compiler. // Morgan Kaufmann Publishers, Elsvier Science, San Francisko, USA, 2003. Докладчик: Денис Макошенко.
  • Автоматизация тестирования семантики компиляторов. Докладчик: Мария Архипова.
  • Сети Петри. Докладчик: Штейнберг Б.Я.
  • Распараллеливание рекуррентных циклов. Докладчик: Милена Еремеева.
  • Информационные зависимости в программе. Докладчик: Александр Шульженко, аспирант.
  • Преобразования программ в Открытой распараллеливающей системе. Докладчик: Штейнберг Б.Я.
  • Динамическое распараллелливание циклов. Докладчик: Тузаев Александр.
  • Комплекс с автоматическим распределением ресурсов (Машина Бурцева В.С.). Докладчик: Виктор Петренко.
  • Новое внутреннее представление Открытой распараллеливающей системы. Докладчик: Виктор Петренко.
  • Система полуавтоматического распараллеливания ParaWise. Докладчик: Роман Морылев.
  • Таймирующие функции и опитимизация вычисления гнезд циклов" (по работам Лиходеда Н.А.). Докладчик: Константин Гуфан.
  • Межпроцедурный анализ. Докладчик: Зиновий Нис, аспирант.
  • Синтактический и семантический анализ. Докладчик: Крицкий С.П., к.т.н.
Доклады

06.11.2012

О самом интересном на МСКФ-2012

Докладчик: Штейнберг Б.Я.



06.11.2012

Особенности математического обеспечения квантовых компьютеров

Докладчик: Белявский Г.И.



03.04.2012

Processor Design and Platform Architecture Design. Solution Overview

Докладчик: Алымова Е.



03.04.2012

О состоянии и ближайших перспективах C2HDL конвертора

Докладчик: Дубров Д.В.



27.03.2012

Анализ псевдонимов в ОРС

Докладчик: Гуда С.



20.03.2012

О переходе на новый граф зависимостей

Докладчик: Морылев Р.



20.03.2012

Граф информационных связей ОРС (ДВОР): сравнение с аналогами, перспективы развития и возможности создания самостоятельного продукта

Докладчик: Скиба И.С.



06.03.2012

О системе предупреждения угрозы наводнений

Докладчик: Баглий А.



28.02.2012

Emulation and Binary Conversion

Докладчик: Нис З.



15.11.2011

Обощенные суффиксные деревья

Докладчик: Бут А.



08.11.2011

Визуализация решетчатых графов в системе ДВОР

Докладчик: Крыщенко А.



08.11.2011

Одновременная оптимизация использования распределенной и кэш-памяти

Докладчики: Гервич Л., Юрушкин М.



01.11.2011

Об исключении индуктивных переменных в ДВОР для уточнения информационных зависимостей

Докладчик: Шаповалов В.



25.10.2011

Расчет и визуализация предельно допустимых санитарно-защитных зон.


Расчет и визуализация на видеокарте напряженности поля

Докладчик: Рошаль А.С.



18.10.2011

О конференции по математическому моделированию

Докладчики: Кравченко Е.Н., Юрушкин М.В.



11.10.2011

О школах программирования в США и Германии и об условиях целесообразности доказательства правильности программ

Докладчик: Брагилевский В.Н.



4.10.2011

Совместное проектирование программных и аппаратных средств


Проблемы в организации ИТ-бизнеса

Докладчик: Терехов А.Н.



27.09.2011

О конференции «Научный сервис в сети Интернет: экзафлопсное будущее»

Докладчик: Штейнберг Б.Я.



05.04.2011

Распараллеливание подпрограмм с генерацией OpenMP кода

Докладчик: Баглий А.



01.03.2011

Easy Flow. Язык описания композитного приложения. Верификация и валидация программ.

Докладчик: Алымова Е.



12.10.2010

Побеспокойтесь об окружающей среде прежде чем начать распараллеливать

Докладчик: Мухутдинова Т.


Отображение исходного кода на гибридную архитектуру (RISC + DSP)

Докладчик: Баглий А.



05.10.2010

Обзор стандарта OpenCL

Докладчик: Морылев Р.



25.05.2010

Гененация MPI кода в ДВОР

Докладчик: Кравченко Е.



27.04.2010

Компонентный подход к построению оптимизирующих компиляторов

Докладчик: Пересказывал Петренко В.



31.03.2010

Полиэдральное представление GCC Graphite

Докладчик: Гуда С.



08.02.2010

February Ops5

Докладчик: Петренко В.



22.12.2009

Диалоговая оптимизация в ОРС

Докладчик: Морылев Р.



08.12.2009

Optimizing Technologies

Докладчик: Петренко В.


Build System

Докладчик: Петренко В.



08.12.2009

SSA-форма для массивов

Докладчик: Шаповалов В.



24.11.2009

November Ops5

Докладчик: Петренко В.



17.11.2009

Использование общего кода. Code reuse

Докладчик: Штейнберг Р.


Going Deep. Part 1

Докладчик: Петренко В.



03.11.2009

Доклады с конференции в Дюрсо 2009

Докладчик: Пересказывал Штейнберг Б. Я.



27.10.2009

llvm+clang. Парсер для ОРС с поддержкой C'99

Докладчик: Нис З.


Тестирование по методу черного ящика

Докладчик: Морылев Р.


Автоматическое распараллеливание некоторого класса Фортран-программ. Отображение на кластер

Докладчик: Пересказывал Штейнберг О.



20.10.2009

Анализ указателей

Докладчик: Полуян С.


October Ops5

Докладчик: Петренко В.



06.10.2009

Welcome to Ops5

Докладчик: Петренко В.



12.05.2009

Препроцессор пакета ANSIS и его недостатки

Докладчик: Наседкин А. В., д.ф.-м.н., проф.


Дополнительная информация о языке описания электронных схем (PADL)

Докладчик: Хайрудинов А./.



28.04.2009

Математические модели и методы дискретного анализа технической диагностики и их новые направления

Докладчик: Чернов А.В., зав. каф. прикладной математики РГСА



31.03.2009

О языке описания электронных схем PADL

Докладчик: Хайрудинов А.


О тестировании программного комплекса "Эльбрус"

Докладчик: Алымова Е/.



17.03.2009

Анализ потока данных элементов массива. Array SSA form

Докладчик: Шаповалов В.



16.12.2008

Нейросети. Восприятие мозгом пространства-времени

Докладчик: Цукерман В.Д. (НИИНК ЮФУ)



09.12.2008

Использование внтуреннего представления Reprise

Докладчик: Петренко В.



25.11.2008

Новое внутреннее представление ОРС - Repirse

Докладчик: Петренко В.



11.11.2008

Ops5 & Reprise

Докладчик: Петренко В.



14.10.2008

Intel Parallel Studio

Докладчик: Лунев С. (Intel, Москва)



07.10.2008

О языке параллельного программирования Colamo

Докладчик: Кравченко Г.



08.07.2008

Тестирование преобразований ОРС

Докладчик: Морылев Р.


О новом внутреннем для ОРС

Докладчик: Петренко В.В.



13.05.2008

О задаче информатизации госуслуг России.

Докладчик: Садовов В.В.



06.05.2008

Построение решетчатых графов для программ с внешними переменными

Докладчик: Молотников З. В.



29.04.2008

Основы схемотехники. Часть третья

Докладчик: Маевский А.Э.



22.04.2008

Оптимизирующие преобразования на основе SSA формы в ОРС

Докладчики: Шаповалов В., Ивченко А., Поважный А.



15.04.2008

Основы схемотехники. Часть вторая

Докладчик: Маевский А.Э.



08.04.2008

Основы схемотехники

Докладчик: Маевский А.Э.



11.03.2008

Проект Compsys - cистемы компиляции и проектирования встроенного вычислительного ПО (DSP и VLIM-устройства)

Докладчик: Гуда С. А.



05.02.2008

Архитектура суперкомпьютера с глобально адресуемой памятью, разрабатываемая в НИЦЭВТ

Докладчик: Дёмин С.П.


О проекте архитектуры суперкомпьютера, разрабатываемого В.В. Корнеевым в ФГУП "КВАНТ" (г. Москва)

Докладчик: Штейнберг Б.Я.



11.12.2007

Результаты тестирования преобразований и парсера ОРС

Докладчики: Хайрудинов Антон, Юрушкин Михаил


Система автоматического тестирования преобразований

Докладчики: Бушманова Наталья, Лобачева Маргарита, Харитонова Любовь, Алымова Елена



23.10.2007

Сравнительный обзор компиляторов GNU, Intel, PGI

Докладчик: Коваль В.В., н.с. НИИ ФОХ ЮФУ



16.10.2007

Формальное описание семантики языков программирования с помощью атрибутных грамматик. Достоинства и недостатки

Докладчик: Ильичева О.А., к.ф.-м.н., доц.



9.10.2007

Вычислительные системы с перестраиваемой архитектурой

Докладчик: Адигеев М.Г., к.т.н., доц.

Определение точек вставки фи-функций в SSA-форме с помощью определения границ доминаторов на управляющем графе программы

Докладчик: Шаповалов В.Н., маг. мехмата ЮФУ


17.04.2007

Инверсия циклов в ОРС.

Докладчик: З. Молотников.


Визуализация графа вызовов в ОРС.

Докладчик: Е. Кравченко.


Раскрутка и развёртка циклов в ОРС.

Докладчик: И. Скиба.


Приведение парсера ОРС к стандарту ANSI C-99.

Докладчик: А. Баглий.



10.04.2007

Проект StarBridge/ Использование ПЛИС.

Докладчик: З. Молотников.



03.04.2007

Опыт использования кластера НИИ НК ЮФУ.

Докладчик: Р. Такиджи-Хамбурян, с.н.с. НИИ НК ЮФУ.


Использование ПЛИС для вычислений с плавающей запятой.

Докладчик: А. Поважный.



01.04.2007

Распараллеливание с помощью аппаратных средств. Отличия тувинской школы танца с бубном от якутской. Зарубежные аналоги: эскимосский варган.

Докладчик: Великий Шаман, Говорящий с Духами Шериг-оол Ооржак.



20.03.2007

"Школа параллельного программирования Интел" в феврале 2007 г.

Докладчик: доц. каф. ПМП мехмата ЮФУ Чердынцева М.И.



05.12.2006

Работа с графом информационных зависимостей. Продолжение темы, начатой 28.11.

Докладчик: Зиновий Нис, Роман Штейнберг


05.12.2006

Цифровые фильтры и потоки данных.

Докладчик: О. Штейнберг



28.11.2006

Собрание разработчиков ОРС. Проверка эквивалентности преобразований на примере одного преобразования.

Докладчик: Зиновий Нис, Роман Штейнберг



21.11.2006

Математическая модель фазового кодирования событийных последовательностей в мозге.

Докладчик: Цукерман Валерий Давыдович



16.05.2006

Построение решетчатых графов с внешними переменными.

Докладчик: М. Гуревич


Особенности параллельного программирования с помощью процессов и нитей.

Докладчик: Савельев В.А.


02.05.2006

ZS1 Central Processor.

Докладчики: Скиба И., Молотников З.


Алгоритм параллельного умножения разреженной матрицы на вектор на компьютере с сегментированной памятью.

Докладчик: Штейнберг Б.Я.



25.04.2006

An efficient, protected message interface.

Докладчик: Поважный А.

Automatic Code Mapping on an Intelligent Memory Architecture.

Докладчик: Баглий А.


18.04.2006

Анализ текстов на естественных языках.

Докладчик: Сумбатян М.А.

О курсах параллельного программирования Интел.

Докладчик: Савельев В.А.


11.04.2006

Об участии в Конференции Разработчиков Компьютерных Игр (КРИ-2006).

Докладчик: Петренко В.В.


04.04.2006

Реализация динамических проверок информационных зависимостей в ОРС в случае нелинейных индексных выражений.

Докладчик: Тузаев А.

Автоматические оценки погрешностей вычислений в ОРС.

Докладчик: Черданцев Д.


28.03.2006

Расщепление гнезд циклов с условными операторами.

Докладчик: Гуфан К.

Преобразование тесных гнезд циклов действием неунимодулярных матриц.

Докладчик: Шилов М.


21.03.2006

Совещание разработчиков ОРС.


14.03.2006

Совещание разработчиков ОРС.


13.12.2005

Распараллеливание рекуррентных циклов методом опережающего вычисления коэффициентов.

Докладчик: Штейнберг Олег


13.12.2005

Реализация динамического распараллеливания в ОРС.

Докладчик: Морылев Роман


06.12.2005

Обзор формальных семантик языков программирования.

Докладчик: Ильичева О.А.


29.11.2005

Лямбда-исчисление.

Докладчик: Зиновий Нис.


22.11.2005

Особенности языка JAVA.

Докладчик: Ромоданов Н. А.


15.11.2005

Систолические структуры

Докладчик: Штейнберг Роман


15.11.2005

Data Stream

Докладчик: Гуревич М.


08.11.2005

Подстановка индексных переменных на основе решетчатых графов.

Докладчик: Шульженко А.


25.10.2005

SSA-FORM (продолжение)

Докладчик: Шаповалов В.


25.10.2005

О внутреннем представлении компилятора GCC.

Докладчики: Петренко В.В.


18.10.2005

Минимизация ширины стека при обходе дерева (при вычислении выражений).

Докладчики: Штейнберг Б.Я.


18.10.2005

SSA-FORM

Докладчик: Шаповалов В.


11.10.2005

Реализация оптимизирующих преобразований с помощью структурных предикативных грамматик.

Докладчики: Кваптинов Б. Ю., Крицкий С.П.


04.10.2005

О конференциях в Дюрсо и Дивноморском



17.05.2005

Приведение матрицы к эрмитовой форме.

Докладчик: Михаил Шилов, мехмат.


10.05.2005

Разрезание и слияние циклов в Открытой распараллеливающей системе. Статистика неразрезаемых циклов.

Докладчик: Александр Бутов, мехмат.


10.05.2005

Проект TRIPS.

Докладчик: Александр Пыхалов, мехмат.


03.05.2005

Автоматическая генерация MPI кода в Открытой распараллеливающей системе.

Докладчик: Сергей Науменко, мехмат.


03.05.2005

Распараллеливание рекуррентных циклов в Открытой распараллеливающей системе.

Докладчик: Милена Еремеева, мехмат.


26.04.2005

Ruby-Algebra.

Докладчик: Докладчик: Олег Штейнберг, мехмат.


19.04.2005

Программирование ПЛИС.

Докладчик: А. Береза, докторант ТРТУ.


12.04.2005

Тайлинг и разрыв итераций.

Докладчик: Михаил Гуревич, Мехмат.


12.04.2005

Индуктивные переменные и алгоритм их нахождения. По статье M. Wolf "Beyond Induction Variables"

Докладчик: Василий Шаповалов, Мехмат.


05.04.2005

Распараллеливающая система SUIF

Докладчик: Михаил Бушков, Мехмат.


05.04.2005

Нахождение и использование ориентированных разрезов реальных графов алгоритмов (по статье Фролова А.В.)

Докладчик: Константин Гуфан, Мехмат.


29.03.2005

Неунимодулярное преобразование пространства итераций

Докладчик: Михаил Шилов, Мехмат.


22.03.2005

Метод решения систем неравенств Фурье-Моцкина

Докладчик: Михаил Шилов, Мехмат.


22.03.2005

Проект "МиниТера"

Докладчик: Константин Гуфан, Мехмат.


15.03.2005

Язык описания аппаратуры VHDL

Докладчик: Владимир Уразовский, Физфак.


01.03.2005

Система обучения программированию PascalABC

Докладчик: Михалкович С.С., к.ф.м.н., Мехмат .


22.02.2005

Система преобразований программ "HATS"

Докладчик: Зиновий Нис, Мехмат.


22.02.2005

Язык синхронного программирования "Esterel"

Докладчик: Денис Черданцев, Мехмат.


15.02.2005

Система преобразований программ "Stratego"

Докладчик: Зиновий Нис, Мехмат.


15.02.2005

Решетчатый граф

Докладчик: Александр Шульженко, Мехмат.


08.02.2005

Перестраиваемые архитектуры

Докладчик: Милена Еремеева, Мехмат.


Рейтинг@Mail.ru © Optimizing Parallelizing System Group 2001-2017