Проекты за года
Fingerprint Узнайте самые подробные результаты анализа активности Кафедра системного программирования. Указанные в этом разделе метки относятся к работам этих участников организации. Вместе они формируют уникальную картину его активности.
Сотрудничество
Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.
Профили
Баклановский Максим Викторович
- Кафедра системного программирования - старший преподаватель
Лицо: научно-педагогический персонал
Брыксин Тимофей Александрович
- Кафедра системного программирования - доцент
Лицо: научно-педагогический персонал
Булычев Дмитрий Юрьевич
- Кафедра системного программирования - доцент
Лицо: научно-педагогический персонал
Проекты
RFBR_ASP_2020: Формальная семантика многопоточных и распределенных систем с слабыми моделями согласованности на основе структуры событий
Кознов, Д. В. & Моисеенко, Е. А.
1/09/20 → 1/09/22
Проект: исполнение гранта/договора › исполнение гранта/договора в целом
Dog_2020: Автоматическая генерация модульных тестов для языков Си/Си++
Кириленко, Я. А., Григорьев, С. В., Мордвинов, Д. А. & Мисонижник, А. В.
7/08/20 → 7/08/21
Проект: исполнение гранта/договора › исполнение гранта/договора в целом
RFBR_a_2018 - 3: Методы и средства разработки языковых процессоров на основе использования поверхностно-встроенных языков: 2020 г. этап 3
Кознов, Д. В., Григорьев, Д. А., Смирнова, А. Н., Березун, Д. А., Вербицкая, Е. А., Булычев, Д. Ю., Луцив, Д. В., Подкопаев, А. В. & Григорьев, С. В.
29/03/20 → 26/12/20
Проект: исполнение гранта/договора › исполнение этапа гранта/договора
Результат исследований
A Sequential Subspace Quasi-Newton Method for Large-Scale Convex Optimization
Senov, A., Granichin, O. & Granichina, O., июл 2020, American Control Conference, ACC 2020. Institute of Electrical and Electronics Engineers Inc., стр. 3627-3632 9147989. (Proceedings of the American Control Conference).Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование
A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub
Golubev, Y., Eliseeva, M., Povarov, N. & Bryksin, T., 29 июн 2020. 11 стр.Результат исследований: Материалы конференций › материалы
Building Implicit Vector Representations of Individual Coding Style
Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., 27 июн 2020. 8 стр.Результат исследований: Материалы конференций › материалы
Виды деятельности
A.P. Ershov Informatics Conference
Андрей Николаевич Терехов (Член программного комитета)
2 июл 2019 → 3 июл 2019
Деятельность: Участие в типах событий или организация типов событий › Участие в конференции, заседании рабочей группы, ...
Software Engineering Conference in Russia
Андрей Николаевич Терехов (Член программного комитета)
14 ноя 2019 → 15 ноя 2019
Деятельность: Участие в типах событий или организация типов событий › Участие в конференции, заседании рабочей группы, ...
First international workshop on frontiers in software engineering education
Андрей Николаевич Терехов (Участник)
11 ноя 2019 → 13 ноя 2019
Деятельность: Участие в типах событий или организация типов событий › Участие в конференции, заседании рабочей группы, ...