ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
ДатаТемаПреподавательЗадания
2
06.02.2023Вводное занятие. О курсе. Что такое автоматизация в программировании. Программа, цели. Как сдавать. Критерии оценки.
Семинар. Актуальные проблемы и анонсы тем курса		Антон Хританков
3
13.02.2023Тема. Предметно-ориентированные языки. DSL. Грамматики. Парсеры. Разработка языков.
Семинар. Разработка DSL для робота Karel на textX		Антон Хританков
4
20.02.2023Тема. Анализ кода репозиториев. Индукция и синтез программ. Задача программирования на естественном языке. Задача для робота Karel.
Семинар. (демо обученной модели - WikiSQL или другой)		Антон ХританковЛабораторная работа 1. Разработка DSL.
5
27.02.2023Тема. Методы синтеза программ. Элементы обучения с подкреплением. Beam search. Execution. Partial programs, Meta-induction. Language models.
Семинар. Пример text2code на WikiSQL или другой		Антон Хританков
6
06.03.2023Тема. Введение в тестирование. Моделирование и верификация программ. Модели конечных автоматов, pre- post- условий. Генерация тестов. Мутационное тестирование
Семинар. Демо написание модульных тестов и анализ кода		Антон Хританков
7
13.03.2023Тема. Автоматизация тестирования. Фаззинг. Тестирование свойств. Инварианты. Применения к различным задачам
Семинар. Демо тестирование инвариантами		Антон ХританковЛабораторная работа 3. Методы автоматического тестирования, инварианты
8
20.03.2023Тема. Формальные методы верификации. Введение в блокчейн и смарт контракты. Применение метода проверки моделей (model checking) для верификации блокчейн систем.
Семинар. Лабораторная работа. Верификация многосторонних соглашений		Антон Хританков
9
27.03.2023Тема. Статистические методы верификации.
Семинар. Лабораторная работа. Верификация многосторонних соглашений		Антон ХританковЛабораторная работа 4. Верификация многосторонних соглашений
10
03.04.2023Тема. Систематичекий обзор (SLR). Поиск и изучение литературы. Mapping Study. Link Review. Разбор примера SLR. Постановка и уточнение вопросов исследования.
Семинар. Доклады выбранных тем исследования (по 2-3 мин)		Антон ХританковВыбрать тему в рамках курса и примерные вопросы исследования. Выступить с докладом на 2-3 мин, рассказ про выбранную тему
11
10.04.2023Тема. Проблемы воспроизводимости в научных исследованиях. Оформление и требования к эксперименту. Анализ результатов. Воспроизведение эксперимента. Система mldev, DVC и др
Семинар. Доклады результатов обзора		Антон ХританковСоздать папку на гугл диске в ней и прислать по почте:
- отчет: вопросы исследования. критерии поиска.
- лонг лист
- шорт лист обзора (10+ наименований)
Сделать доклад на 5 мин с результатами обзора, анализом и предлагаемой к повторению статьей
12
17.04.2023Семинар. Подробный разбор статей по темам и подготовка эксперимента. Разобрать 1-2 статьи вместе с кодомАнтон ХританковЛабораторная работа 2. Синтез программ - NPS для Karel
13
24.04.2023Тема. Уточняется.
Q&A сессия. Консультация и доработки по проектам. Отработка выступлений. Результаты ревью		Антон ХританковКраткий доклад (5 мин.) с предварительными результатами эксперимента повторения
14
01.05.2023-Антон Хританков-
15
08.05.2023-Антон Хританков-
16
15.05.2023Итоговые представления докладов исследовательских проектовАнтон ХританковВыступление на семинаре. 10+5 мин
17
22.05.2023Дифференцированный зачетАнтон Хританков
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100