Author Archives: Евгений Корныхин

16 ноября: Операционные методы в приложении к слабым моделям памяти

Подкопаев Антон Викторович — аспирант кафедры системного программирования математико-механического факультета СПбГУ, сотрудник JetBrains Research (Language Processing Lab). Антон Подкопаев работает над моделями памяти для языков С/С++ с учетом многопоточности. Модель памяти должна предоставлять гарантии программисту и тем ограничивать пространство возможных … Continue reading

Leave a comment

21 сентября: ИНТЕРКОМП-технология создания сложных систем управления

Грудцин Сергей Николаевич — кандидат физико-математических наук, ведущий специалист НПО «Алмаз». В докладе рассматривается новая отечественная технология ИНТЕРКОМП (ИНТЕРпретация и КОМПиляция) и ее применение для создания новых систем управления. ИНТЕРКОМП-технология представляет собой по своей сущности, содержанию и реализуемым функциям технологию … Continue reading

Leave a comment

27 апреля: Тестирование отказоустойчивости распределенной торговой системы методом эмуляции отказов

Костанбаев Сергей Витальевич — кандидат технических наук, главный специалист отдела разработки и сопровождения торгово-клиринговых систем Московской Биржи. Жердер Вадим Меерович — начальник отдела автоматизации тестирования, ПАО Московская биржа. Биржевые торговые системы — высоконагруженные системы, работающие в реальном времени, которые должны … Continue reading

Leave a comment

16 марта: Доказательство свойств функциональных программ методом насыщения равенствами

Гречаник Сергей Александрович — сотрудник Института прикладной математики РАН имени М.В. Келдыша. В 2011 году окончил факультет вычислительной математики и кибернетики МГУ имени М.В. Ломоносова. В докладе рассматривается метод преобразования программ на нестрогом функциональном языке первого порядка, основанный на комбинации … Continue reading

Leave a comment

16 февраля: Методы и средства верификации протоколов когерентности памяти

Буренков Владимир Сергеевич — научный сотрудник АО «МЦСТ». В 2012 году окончил факультет «Информатика и системы управления» МГТУ имени Н.Э. Баумана (магистр техники и технологий по направлению «Информатика и вычислительная техника»). В докладе будет рассмотрена проблема верификации протоколов когерентности памяти … Continue reading

Leave a comment

19 января: Кибербезопасность и бортовые операционные системы

Абрамов Александр Владимирович — генеральный директор ООО «НТЦ «АМДЭФ». Закончил факультет микроприборов и технической кибернетики МГИЭТ (ТУ). Работал над проектами ГУП НПЦ «Спурт» и НТЦ «АМДЭФ» по созданию аппаратуры помехоустойчивого кодирования сигналов спутниковой связи. Разработчик операционных систем реального времени «Пилот» … Continue reading

Leave a comment

17 ноября: Проект Ангара: вычислительные эксперименты на языке программирования F#

Сергей Березин — к.ф.-м.н., доцент на ВМК МГУ, руководит лабораторией «Информационных технологий в научных исследованиях». Читает авторские курсы лекций «Компьютерная графика» и «Объектно-ориентированное программирование на платформе .NET». В область профессиональных интересов входят научная визуализация, средства хранения и анализа данных, программные … Continue reading

Leave a comment

20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C

Козырев Владимир Петрович — кандидат технических наук, доцент кафедры кибернетики НИЯУ МИФИ, эксперт компании «ДС БАРС». В докладе рассматривается процесс верификации программ, разрабатываемых в соответствии с требованиями стандартов DO-178B/C, обязательные мероприятия (activities), проводимые в рамках этого процесса, и инструменты, используемые … Continue reading

2 Comments

15 сентября: Динамическая композиция программных компонентов

Гринкруг Ефим Михайлович — кандидат технических наук, профессор департамента программной инженерии факультета компьютерных наук НИУ ВШЭ. В прошлом — разрабочик ОС М-10 (НИИ Вычислительных комплексов имени М.А. Карцева, эксперт компании Параграф (www.parallelgraphics.com), начальник отдела LuxoftLabs и CТО компании Meshnetics. Обсуждается … Continue reading

Leave a comment

21 апреля: Методы деанонимизации пользователей сети Tor

Авдошин Сергей Михайлович — руководитель Департамента программной инженерии НИУ Высшая школа экономики, кандидат технических наук, профессор НИУ ВШЭ. Лазаренко Александр Вячеславович — студент 2 курса бакалавриата образовательной программы «Программная инженерия» НИУ Высшая школа экономики. На сегодняшний день одним из инструментов … Continue reading

Leave a comment