Архив семинаров

Семинар №1. Руслан Смелянский - Анализ поведения программ

Доклад состоялся 26 ноября 2009 года.

Руслан Леонидович Смелянский - чл.-корр. РАН, профессор, д.ф.-м.н., зав.лаб.вычислительных комплексов факультета ВМиК МГУ имени М.В. Ломоносова. Область научных интересов: архитектуры мультипроцессорных вычислительных систем, формальные модели параллельных вычислений, методы и средства спецификации и верификации поведения программ, моделирование, анализ функционирования, синтез и адаптация мультипроцессорных вычислительных систем.

Скачать слайды доклада.

Видеозапись сделана и любезно предоставлена Алексеем Анатольевичем Бурцевым.


Семинар №2. Александр Волков, Сергей Марков - Использование статического анализа для поиска дефектов программного кода

Доклад состоялся 17 декабря 2009 года.

Александр Волков и Сергей Марков - сотрудники Института системного программирования РАН (Москва).

Скачать слайды доклада.

Доклад:

Дискуссия:

Видеозапись доклада сделана и любезно предоставлена Алексеем Анатольевичем Бурцевым.


Семинар №3. Виктор Кулямин - Формализация интерфейсных стандартов на практике

Доклад состоялся 21 января 2010 года.

Виктор Кулямин - доцент, старший научный сотрудник Института системного программирования РАН (Москва).

Основные интересы: программная инженерия, формальные методы программной инженерии, тестирование на основе моделей, анализ требований к программному обеспечению, компонентные технологии.

Скачать слайды доклада.


Семинар №4. Денис Иванов - Технологии и инструментальные средства разработки прикладного программного обеспечения критических по безопасности систем

Доклад состоялся 18 февраля 2010 года.

Денис Владимирович Иванов - MBA, старший научный сотрудник ЛВМ Механико-математического ф-та МГУ, первый вице-президент ОАО «Корпорация «Русские системы»» (Москва).

Скачать слайды доклада.


Семинар №5. Алексей Лациc - Технологии разработки прикладного ПО для реконфигурируемых вычислительных структур (ПЛИС)

Доклад состоялся 18 марта 2010 года.

Алексей Оттович Лацис - заведующий сектором Института прикладной математики РАН (Москва).

Области интересов: архитектура железа и ОС суперкомпьютеров, модели и технологии параллельного программирования, нетрадиционные HPC - архитектуры. Автор книги «Как построить и использовать суперкомпьютер», М., «Бестселлер», 2003г.

Скачать слайды доклада.

Скачать материалы по Гибридному Реконфигурируемому Вычислителю (Руководство пользователя, Руководства программиста).

Доклад:

Дискуссия:

Видеозапись выполнена и любезно предоставлена Алексеем Анатольевичем Бурцевым.


Семинар №6. Павел Яковенко - Технология виртуализации: акцент на защиту приложений от несанкционированных действий операционной системы

Доклад состоялся 15 апреля 2010 года.

Павел Яковенко - младший научный сотрудник Института системного программирования РАН (Москва).

Области интересов: функциональное тестирование на базе TTCN-3 (одна из публикаций в этой области отмечена наградой «лучший доклад конференции»), операционные системы, аппаратная виртуализация.

Скачать слайды доклада.


Семинар №7. Глеб Райко, Сергей Рогожкин, Антон Павлов - ОС реального времени на базе стандарта ARINC 653: архитектура и управление ресурсами

Доклад состоялся 20 мая 2010 года.

Глеб Олегович Райко - заведующий сектором НИИСИ РАН, Сергей Рогожкин и Антон Павлов - сотрудники НИИСИ РАН (Москва).

Области интересов докладчиков: cистемное программирование, архитектуры операционных систем, микропроцессорные архитектуры. В настоящее время докладчики участвуют в разработке ОС реального времени со статическим распределением ресурсов.

Скачать слайды доклада.


Семинар №8. Алексей Саватеев - Создание облачных приложений для реального мира

Доклад состоялся 3 июня 2010 года.

Алексей Саватеев - старший архитектор по Windows Azure Platform в компании Microsoft.

Скачать слайды доклада.


Семинар №9. Константин Серебряный - ThreadSanitizer, или как мы ищем ошибки в многопоточном коде

Доклад состоялся 16 сентября 2010 года.

Константин Серебряный - сотрудник компании Google (Москва).

Скачать слайды доклада.


Семинар №10. Ben Livshits - Web Browsers: Производительность и безопасность

Доклад состоялся 7 октября 2010 года.

Бен Лившиц - сотрудник Microsoft Research (Redmond).

Исследовательские интересы включают статический и динамический анализ программ. Текущие исследования связаны с разработкой инструментов для повышения безопасности ПО, в частности, поиск дефектов типа «переполнение буфера» в Си-программах и других уязвимостей (например, cross-site scripting, SQL injections и т.п.) в Web-приложениях путем комбинации методов статического и динамического анализа.

Скачать слайды доклада.


Семинар №11. Александр Матросов - Stuxnet: как, зачем и почему?

Доклад состоялся 21 октября 2010 года.

Александр Матросов - руководитель Центра вирусных исследований и аналитики ESET.

Скачать слайды доклада.


Семинар №12. Андрей Гулин - Технологии Яндекса. Алгоритм машинного обучения MatrixNet

Доклад состоялся 16 декабря 2010 года.

Андрей Гулин - сотрудник компании Яндекс, отдел качества поиска.

Области интересов: искусственный и естественный интеллект, высокопроизводительные вычислительные системы, виртуальная реальность.

Скачать слайды доклада.


Семинар №13. Алексей Хорошилов, Вадим Мутилин - Статическая верификация драйверов устройств ОС Linux. Проект LDV

Доклад состоялся 20 января 2011 года.

Алексей Хорошилов - старший научный сотрудник Института системного программирования РАН, Вадим Мутилин - младший научный сотрудник Института системного программирования РАН (Москва).

Скачать слайды доклада.

Сайт проекта.


Семинар №14. Евгений Шатохин - Динамический анализ и верификация модулей ядра ОС Linux. Проект KEDR

Доклад состоялся 17 февраля 2011 года.

Евгений Шатохин - младший научный сотрудник Института системного программирования РАН (Москва).

Скачать слайды доклада.

Сайт проекта.


Семинар №15. Ирина Шошмина, Юрий Карпов - К практическому использованию метода проверки на модели

Доклад состоялся 17 марта 2011 года.

Ирина Владимировна Шошмина - старший преподаватель СПбГПУ (Санкт-Петербург). Юрий Глебович Карпов - профессор, доктор технических наук, СПбГПУ (Санкт-Петербург).

Скачать слайды доклада.


Семинар №16. Евгений Родин, Михаил Подурец - Среда поддержки разработки ПО авиационного электронного оборудования

Доклад состоялся 21 апреля 2011 года.

Евгений Родин - заместитель директора по производству ДС БАРС (Москва), Михаил Подурец - руководитель проекта ДС БАРС (Москва).

Научные интересы: DO-178В, конфигурационное управление, разработка и верификация ПО с повышенными требованиями к безопасности, методологии управления проектами.

Скачать слайды доклада.


Семинар №17. Амир Шакуров - Компонентное программирование и определение типов данных во время исполнения

Доклад состоялся 19 мая 2011 года.

Амир Шакуров - аспирант ГУ-ВШЭ (Москва).

Скачать слайды доклада.


Семинар №18. Александр Илюшин - Решение проблем построения параллельных программных систем путем использования понятий «пространство» и «время»

Доклад состоялся 15 сентября 2011 года.

Илюшин Александр Иванович - к.ф.-м.н., ведущий научный сотрудник ИПМ РАН им. М.В.Келдыша, доцент кафедры “Вычислительная механика” мех.мат. МГУ (Москва)

Научные интересы: Системное программирование, управление данными, объектно-ориентированное программирование, протоколы сетей ЭВМ, объектно-ориентированные распределенные программные системы, интернет-комплексы, вычислительные модели.

Скачать слайды доклада.


Семинар №19. Иосиф Иткин - Модели тестирования систем высокочастотной торговли

Полная аннотация доклада

Доклад состоялся 20 октября 2011 года.

Иткин Иосиф Леонидович - управляющий директор Exactpro Systems LLC.

Скачать слайды доклада.


Семинар №20. Виталий Семенов - Объектно-ориентированное программирование в ограничениях – новое приложение в программной инженерии

Полная аннотация доклада

Доклад состоялся 17 ноября 2011 года.

Семенов Виталий Адольфович - профессор, д.ф.-м.н., ведущий научный сотрудник ИСП РАН. Научные интересы: технологии объектно-ориентированного программирования, модели данных, интеграция CAD/CAM технологий.

Скачать слайды доклада.


Семинар №21. Дмитрий Волканов - Метод сбалансированного выбора модулей бортовой вычислительной системы с учётом требований к ее надёжности

Полная аннотация доклада

Доклад состоялся 15 декабря 2011 года.

Волканов Дмитрий Юрьевич - к.ф.-м.н, ассистент кафедры АСВК факультета ВМК МГУ имени М.В. Ломоносова. Окончил факультет ВМК. Сотрудник Лаборатории вычислительных комплексов факультета ВМК. Научные интересы: надёжность, отказоустойчивость, имитационное моделирование, встроенные системы, эволюционные алгоритмы.

Скачать слайды доклада.


Семинар №22. Денис Сидоров - Avalanche — инструмент обнаружения программных дефектов при помощи динамического анализа

Полная аннотация доклада

Доклад состоялся 19 января 2012 года.

Денис Сидоров - выпускник факультета ВМК МГУ, сотрудник ИСП РАН с 1998 года, ведущий разработчик отдела системного программирования (группа анализа программ). Проекты: Klocwork Insight (система обратной инженерии, архитектурного и статического анализа), Avalanche. Области научных интересов: статический и динамический анализ программ, автоматический поиск ошибок в программах, автоматическая трансформация программ.

Скачать слайды доклада.


Семинар №23. Александр Жданов — Универсальная программа природы - адаптивное управление. Структура и алгоритм программы, практические приложения

Полная аннотация доклада

Доклад состоялся 16 февраля 2012 года.

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

Скачать слайды доклада.


Семинар №24. Василий Балашов — Технология и инструментальные средства поддержки жизненного цикла ПО бортовых вычислительных систем

Полная аннотация доклада

Доклад состоялся 15 марта 2012 года.

Балашов Василий Викторович - к.ф.-м.н., м.н.с. ЛВК МГУ имени М.В. Ломоносова. С 2001 года участвует в научно-технических работах по созданию технологий и инструментальных средств отработки ПО авиационных бортовых вычислительных систем.

Скачать слайды доклада.


Семинар №25. Александр Александров — Инженерия ПО - Процессные риски тестирования

Полная аннотация доклада

Доклад состоялся 19 апреля 2012 года.

Александр Леонидович Александров – к.ф.-м.н., ст. научн. сотр., доцент, руководитель группы в компании Luxoft. Окончил мехмат МГУ и аспирантуру МГУ. После окончания МГУ в 1970 году работал в Вычислительном центре МГУ и на факультете ВМК МГУ до 1999 года. Занимался разработкой стандартов языков программирования, компиляторов, разработкой и эксплуатацией информационных систем, тестированием и документированием, поставкой проекционного оборудования, управлением проектами. Затем перешёл в компанию Luxoft. Эксперт по управлению качеством, инструктор Luxoft Training. Область научных интересов – тестирование ПО, анализ требований к программному обеспечению, совершенствование процессов программной инженерии, обучение, консалтинг.

Скачать слайды доклада.


Семинар №26. Александр Летичевский (мл.) — Символьная верификация и дедуктивное тестирование программных систем

Полная аннотация доклада

Доклад состоялся 22 ноября 2012 года.

Летичевский Александр Александрович – к.ф.-м.н., ст.научн.сотр. Института кибернетики имени В.М. Глушкова (Киев). Области интересов – символьное и доказательное моделирование, техника инвариантов, техники тестирования спецификаций, автоматизация доказательств, индуктивный вывод, верификация формальных спецификаций.

Скачать слайды доклада.


Семинар №27. Александр Камкин — Динамическая проверка HDL-описаний на основе эталонных моделей

Полная аннотация доклада

Доклад состоялся 20 декабря 2012 года.

Александр Камкин – к.ф.-м.н., старший научный сотрудник Института системного программирования РАН. Область научных интересов: спецификация и верификация цифровой аппаратуры, статический и динамический анализ HDL-описаний, генерация тестов для микропроцессоров.

Скачать слайды доклада.


Семинар №28. 17 января — Моделирование и формальная верификация микроархитектуры

Полная аннотация доклада

Доклад состоялся 17 января 2013 года.

Александр Готманов – научный сотрудник Московского отделения лаборатории САПР (Strategic CAD Labs, Intel Corporation (Москва). В 2005 году закончил факультет ВМК МГУ имени М.В. Ломоносова. Область деятельности – моделирование, анализ и оптимизация микроархитектуры СБИС (в частности, формальная верификация транспортной логики, т.н. коммуникационных фабрик, сетей и систем на кристалле).

Скачать слайды доклада.


Семинар №29. 21 февраля — SEMAT: к теории программной инженерии. Состояние и направления развития.

Полная аннотация доклада.

Доклад состоялся 21 февраля 2013 года.

Позин Борис Аронович - доктор технических наук, профессор, Председатель SEMAT Russian Chapter, технический директор (CTO) компании ЕС-Лизинг, член правления фонда ФОСТАС.

Скачать слайды доклада.


Семинар №30. 21 марта — Process mining: извлечение, анализ и совершенствование процессов на основе логов событий.

Полная аннотация доклада.

Доклад состоялся 21 марта 2013 года.

Ломазова Ирина Александровна - д.ф.-м.н., профессор, НИУ Высшая школа экономики.

Скачать слайды доклада.


Семинар №31. 18 апреля — Исследования Microsoft Research в области верификации программных систем.

Полная аннотация доклада.

Доклад состоялся 18 апреля 2013 года.

Елена Анатольевна Павлова – к.т.н., координатор программ, Microsoft.

Скачать слайды доклада.

One Response to Архив семинаров

  1. Бурцев Алексей Анатольевич says:

    Я снимал видео ещё первого семинара (с докладом Смелянского).
    Видео-файл (в формате mpg) передавал одному из организаторов семинара
    Березину Сергею Борисовичу (ему диск передал мой сын Михаил).
    Не понимаю, почему это видео вы до сих пор не выложили на свой сайт.
    У меня есть видео-файл и 2-го доклада (Волкова-Маркова), только я не знаю, кому его передать, чтобы он попал на ваш сайт.
    С уважением, Бурцев А.А., с.н.с. отдела ОГК НИИСИ РАН
    28 ноября 2011 г. 12:56.

Добавить комментарий для Бурцев Алексей Анатольевич Отменить ответ

Ваш e-mail не будет опубликован. Обязательные поля помечены *

*

Можно использовать следующие HTML-теги и атрибуты: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>