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

31 октября: Технология предикатного и автоматного программирования

Шелехов Владимир Иванович — к.т.н. зав.лаб. Системного Программирования, Институт Систем Информатики им. А.П. Ершова СО РАН, Новосибирск. Аннотация (орфография и пунктуация авторские): Одной из предпосылок исследований стало осознание безнадежности императивного программирования. В целях построения адекватной технологии программирования рассматривается классы программ: … Continue reading

Leave a comment

13 июня: Реляционные инварианты как решения нелинейных систем дизъюнктов Хорна с ограничениями

Дмитрий Мордвинов — аспирант кафедры системного программирования СПбГУ, сотрудник JetBrains Research. Индуктивные инварианты являются удобным инструментом доказательства корректности программ. В последнее время популярны подходы к автоматическому выводу индуктивных инвариантов как решений систем дизъюнктов Хорна с ограничениями. Однако довольно часто решения … Continue reading

Leave a comment

21 марта: Управление дублированной информацией в software данных

Кознов Дмитрий Владимирович — доктор технических наук, профессор кафедры системного программирования СПбГУ. В компаниях по разработке ПО и в отдельных программных проектах к настоящему времени накапливается большое количество данных – требования, ошибки и отчёты об ошибках, запросы на изменения, комментарии … Continue reading

Leave a comment

21 февраля: Методы и средства реализации программно-управляемого процесса разработки программного обеспечения критически важных информационных систем

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

Leave a comment

20 сентября: Автоматное программирование: определение, модель, реализация

Любченко Вячеслав Селиверстович — независимый разработчик. Научные интересы: автоматное программирование. В докладе дается оценка текущему состоянию автоматного программирования. По мнению автора доклада, это универсальная технология проектирования программ на базе теории конечных автоматов. Рассматриваются вопросы формализации и реализации автоматного программирования. В … Continue reading

Leave a comment

21 июня: К вопросу построения инструмента формальной верификации смарт-контрактов

Шишкин Евгений Сергеевич — ведущий исследователь, научный отдел компании ИнфоТеКС. Научные интересы: дедуктивные методы формальной верификации, методы формальной спецификации, построение специализированных доменных логик, спецификация и верификация распределенных и реагирующих систем, функциональное программирование. Информационные системы на базе технологии блокчейн способны реализовывать … Continue reading

Leave a comment

1 марта: О верификации программ, манипулирующих строковыми данными

Непейвода Антонина Николаевна — м.н.с. центра мультипроцессорных систем ИПС им. А.К. Айламазяна РАН. Научные интересы: преобразование и анализ программ, формальные языки и грамматики. В докладе будет рассмотрена проблема преобразования и верификации программ, манипулирующих строками. Предложен новый метод описания свойств параметризованных … Continue reading

Leave a comment

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

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

Leave a comment

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

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

Leave a comment

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

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

Leave a comment