Язык / Language
Организаторы
Место проведения
Семинар проходит в Институте системного программирования РАН (ул. Александра Солженицына, 25), аудитория 110. Начало в 17:00.Последние доклады
- 17 декабря: О проблеме повышения надёжности смарт-контрактов через символьную верификацию моделей
- 31 октября: Технология предикатного и автоматного программирования
- 13 июня: Реляционные инварианты как решения нелинейных систем дизъюнктов Хорна с ограничениями
- 21 марта: Управление дублированной информацией в software данных
- 21 февраля: Методы и средства реализации программно-управляемого процесса разработки программного обеспечения критически важных информационных систем
Прошедшие доклады
Слайды и материалы всех прошедших докладов размещены в архиве.Список рассылки
sdat-seminar.
Присоединяйтесь!Комментарии
- Евгений Корныхин к записи 20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C
- Михаил Сабуров к записи 20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C
- Саша к записи 22 января: Система NPS: альтернативный подход в имитационном моделировании компьютерной сети
- Ян к записи 18 декабря: Операционная система «Реактос»
- Видеозапись выступления координатора проекта ReactOS | AllUNIX.ru — Всероссийский портал о UNIX-системах к записи 18 декабря: Операционная система «Реактос»
Author Archives: Евгений Корныхин
18 декабря: Операционная система «Реактос»
Брагин Алексей Владимирович — президент Фонда «Реактос». Выпускник МГТУ им. Н.Э.Баумана – окончил магистратуру кафедры ИУ7, а затем и аспирантуру. Начал заниматься операционными системами с 2002 года внеся значительный вклад в развитие проекта ReactOS, где занимался непосредственно разработкой ядра и … Continue reading
20 ноября: Операционная система Фантом ОС
Завалишин Дмитрий Константинович — совладелец и руководитель компании «Digital Zone». В различное время был держателем гейта из Фидонет в Интернет на узле (5020/128), модератором ряда эхоконференций Фидонет, в том числе su.os2.*, создателем проекта «прописи», создателем сетевого журнала «dz-online». После покупки … Continue reading
16 октября: Состояние и перспективы развития суперкомпьютерных технологий, актуальные задачи.
Скачать слайды к выступлению Эйсымонт Леонид Константинович — научный консультант предприятия ФГУП «НИИ “Квант”». Выпускник Московского Инженерно-Физического Института (1973, МИФИ), к.ф.-м.н. (1983, ИПМ им. М.В. Келдыша АН СССР). Область научных интересов — архитектура и программное обеспечение, элементно-конструкторская база суперкомпьютеров разного … Continue reading
22 мая: Генерация кода как задача математического программирования
Самборский Сергей Владиславович — старший научный сотрудник НИИСИ РАН (сектор автоматизации программирования), выпускник мех.-мат. факультета МГУ, занимается инструментальными средствами для разрабатываемых процессоров. Вьюкова Надежда Ивановна — старший научный сотрудник НИИСИ РАН, выпускник мех.-мат. факультета МГУ. Галатенко Владимир Антонович — старший … Continue reading
17 апреля: Расширяемые программы
Горбунов-Посадов Михаил Михайлович — зав. отделом Института прикладной математики имени М.В. Келдыша РАН, д.ф.-м.н., лауреат Премии Совета Министров СССР. Область научных интересов: инструментальные средства конструирования программ, электронные государственные закупки. В основе расширяемых программных конструкций лежат два взаимосвязанных постулата: (1) Любая … Continue reading
20 марта: Построение расписаний для строго-периодических систем реального времени
Зеленов Сергей Вадимович — старший научный сотрудник ИСП РАН. Окончил мех-мат МГУ, кандидат физико-математических наук. В настоящее время ведет научные исследования и разработку в области автоматизации проектирования интегрированной модульной авионики (ИМА). В докладе будут представлены результаты исследований в области построения … Continue reading
20 февраля: Интерактивный алгоритм составления тестовых случаев
Строк Федор Владимирович — выпускник совместной магистерской программы Высшей Школы Экономики и Яндекса «Анализ Интернет Данных». В данный момент аспирант отделения прикладной математики и информатики НИУ-ВШЭ. Работает старшим инженером по автоматизации тестирования в группе тестирования баннерной системы Яндекса. Область научных … Continue reading
19 декабря: Верификация параллельных программ в случае слабой консистентности памяти (по-английски)
Roland Meyer - профессор-ассистент теоретической информатики, руководитель группы теории параллельного программирования (Технический университет Кайзерслаутерн). Он окончил Университет Ольденбурга (Германия) и там же получил степень кандидата наук. Проходил стажировку в LIAFA (Laboratoire d’Informatique Algorithmique: Fondements et Applications), Париж. Научные интересы: автоматизация … Continue reading
21 ноября: Программно-конфигурируемые сети: практические проблемы и задачи.
Шалимов Александр Владиславович — старший программист-разработчик Центра Прикладных Исследований Компьютерных Сетей (ЦПИКС) и младший научный сотрудник МГУ имени М.В. Ломоносова. Окончил факультет ВМК МГУ, кандидат физико-математических наук. В 2010 году прошел стажировку в Microsoft Research (США), где занимался разработкой компилятора … Continue reading
17 октября: Исследовательские микроядерные операционные системы. Достижения последнего десятилетия, особенности архитектур, вызовы будущего.
Семинар «Технологии разработки и анализа программ» продолжает свою работу в 2013 году. Сартаков Василий Андреевич - аспирант МИФИ (факультет кибернетики и информационной безопасности), более пяти лет разработок в области встраиваемых и высокопроизводительных систем. Специалист по операционным системам, контрибьютор в нескольких … Continue reading