Конструирование и оптимизация программ

Объединенный учебно-научный семинар кафедры программирования НГУ и Института систем информатики имени А.П. Ершова СО РАН проводится с 1979 года. В нем участвуют студенты, специализирующиеся на кафедре, институтские и университетские аспиранты, преподаватели кафедры и сотрудники института, а также ученые и преподаватели из других российских и зарубежных организаций.

Основные темы работ, изучаемых на семинаре, связаны с исследованиями, направленными на разработку методов и средств повышения качества математического обеспечения ЭВМ, главным образом его эффективности и надежности. В частности, на семинаре изучаются результаты фундаментальных исследований по разработке теоретических основ трансформационного программирования и его развитию в сторону синтеза программ и перспективных архитектур, а также рассматриваются экспериментальные и прикладные проекты, базирующиеся на разрабатываемых теоретических концепциях и методах.
На семинаре представляются новые научные результаты, заслушиваются обзорные и реферативные доклады, проводится апробация дипломных работ и магистерских, кандидатских и докторских диссертаций.

Лучшие оригинальные доклады, заслушанные на семинаре, публикуются в ежегодных сборниках серии научных трудов «Конструирование и оптимизация программ», издаваемых в ИСИ СО РАН под редакцией проф. В.Н. Касьянова.

Сайт семинара: http://pco.iis.nsk.su/seminar.

Тема следующего семинара: 

Использование инфраструктуры LLVM/Clang для реализации транслятора и метагенератора в проекте C-light

Докладчик: 

Д.А. Кондратьев

Дата проведения: 
21.11.2017 - 14:30