Skip to content

Commit f7b69a9

Browse files
imustafinimustafin
committed
deploy: 6566366 
1 parent 6e05902 commit f7b69a9

File tree

9 files changed

+622
-282
lines changed

9 files changed

+622
-282
lines changed

‎blog/experience-at-cit.html‎

Lines changed: 35 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,12 @@
1010
href="https://imustafin.tatar/blog/experience-at-cit"
1111
/>
1212

13+
<link
14+
rel="alternate"
15+
hreflang="ru"
16+
href="https://imustafin.tatar/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit"
17+
/>
18+
1319
<link
1420
rel="alternate"
1521
type="application/atom+xml"
@@ -95,7 +101,19 @@
95101
<li class="inline"><a href="/ilgiz">About</a></li>
96102
</ul>
97103

98-
<ul class="flex-1 space-x-2 mb-2"></ul>
104+
<ul class="flex-1 space-x-2 mb-2">
105+
<li class="inline">
106+
<a lang="en" href="/blog/experience-at-cit">English</a>
107+
</li>
108+
109+
<li class="inline">
110+
<a
111+
lang="ru"
112+
href="/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit"
113+
>Русский</a
114+
>
115+
</li>
116+
</ul>
99117
</div>
100118
</section>
101119

@@ -282,7 +300,7 @@ <h2 id="future-plans">Future plans</h2>
282300
There are more projects that we did at Constructor Institute of
283301
Technology which I would like to highlight, but I will leave
284302
them for the next posts. Subscribe to the
285-
<a href="/feed.xml">RSS feed</a> in order not to miss them!
303+
<a href="/ru/feed.xml">RSS feed</a> in order not to miss them!
286304
</p>
287305

288306
<p>
@@ -304,7 +322,21 @@ <h2 id="future-plans">Future plans</h2>
304322

305323
<footer
306324
class="bg-linear-[120deg] from-[#155799] to-ghaze-600 text-white mt-4 pt-4 pb-4"
307-
></footer>
325+
>
326+
<ul class="space-x-4 flex justify-center">
327+
<li class="inline">
328+
<a lang="en" href="/blog/experience-at-cit">English</a>
329+
</li>
330+
331+
<li class="inline">
332+
<a
333+
lang="ru"
334+
href="/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit"
335+
>Русский</a
336+
>
337+
</li>
338+
</ul>
339+
</footer>
308340
</div>
309341
</body>
310342
</html>

‎feed-multilang.xml‎

Lines changed: 85 additions & 252 deletions
Large diffs are not rendered by default.

‎feed.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<link href="https://imustafin.tatar/feed.xml" rel="self" type="application/atom+xml" />
77
<link href="https://imustafin.tatar" />
88
<id>https://imustafin.tatar/feed.xml</id>
9-
<updated>2025-09-02T19:11:15+00:00</updated>
9+
<updated>2025-09-05T18:38:36+00:00</updated>
1010

1111

1212

@@ -72,7 +72,7 @@ the paper provides more details.</p>
7272
<h2 id="future-plans">Future plans</h2>
7373
<p>There are more projects that we did at Constructor Institute of Technology
7474
which I would like to highlight, but I will leave them for the next posts.
75-
Subscribe to the <a href="/feed.xml">RSS feed</a> in order not to miss them!</p>
75+
Subscribe to the <a href="/ru/feed.xml">RSS feed</a> in order not to miss them!</p>
7676
7777
<p>Overall, I am happy that I had an opportunity to work on advanced
7878
software engineering topics in a skilled team led by Bertrand Meyer.

‎ru/feed.xml‎

Lines changed: 84 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,11 +6,94 @@
66
<link href="https://imustafin.tatar/ru/feed.xml" rel="self" type="application/atom+xml" />
77
<link href="https://imustafin.tatar" />
88
<id>https://imustafin.tatar/ru/feed.xml</id>
9-
<updated>2025-09-02T19:11:15+00:00</updated>
9+
<updated>2025-09-05T18:38:36+00:00</updated>
1010

1111

1212

1313

14+
<entry xml:lang="ru">
15+
16+
<title>Моя учёба в CIT</title>
17+
<link href="https://imustafin.tatar/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit" rel="alternate" type="text/html" title="Моя учёба в CIT"/>
18+
<published>2025-09-05T00:00:00+00:00</published>
19+
20+
<updated>2025-09-05T00:00:00+00:00</updated>
21+
<id>https://imustafin.tatar/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit</id>
22+
23+
<content type="html" xml:base="https://imustafin.tatar/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit">
24+
<![CDATA[<p>Constructor Institute of Technology (CIT) — это
25+
институт в Шаффхаузене, Швейцария, в котором я
26+
провёл два года моей аспирантуре в области верификации программного
27+
обеспечения на Эйфеле. К сожалению, <a href="https://institute.constructor.org/news/constructor-institute-technology-plans-cease-operations-schaffhausen-switzerland-refocusing">СIT было решено закрыть в 2025</a>.
28+
В этом посте я хочу сохранить ссылки на некоторые проекты,
29+
над которыми мы работали.</p>
30+
31+
<p>Я работал на <a href="https://se.constructor.ch/">кафедре программной инженерии</a>
32+
под руководством <a href="https://bertrandmeyer.com/">Бертрана Мейера</a>. В моё время
33+
на кафедре было ещё несколько аспирантов: <a href="https://huangl223.github.io/li/">Ли Хуан</a>
34+
(она успела защититься и получила степень, поздравляю!),
35+
<a href="https://se.constructor.ch/people/alessandro-schena">Алессандро Скена</a> и <a href="https://retoweber.info/">Рето Вебер</a>. Нашу научную и преподавательскую
36+
деятельность поддерживал <a href="https://se.constructor.ch/people/marco-piccioni">Марко Пиччони</a>.</p>
37+
38+
<h2 id="статическая-верификация-в-autoproof">Статическая верификация в AutoProof</h2>
39+
<p>Наша работа охватывала различные области программной инженерии.
40+
Особое внимание уделялось статической верификации. Главным продуктом
41+
команды в этой сфере является <a href="https://se.constructor.ch/reif-site/autoproof/">AutoProof</a>,
42+
который является частью научного окружения <a href="https://se.constructor.ch/reif-site/">Reif</a>.
43+
AutoProof — это статический верификатор для программ на Эйфеле.
44+
С его помощью можно автоматически проверить согласуется ли
45+
тело процедуры с контрактами.</p>
46+
47+
<p>Основная часть моего вклада в код верификатора заключается
48+
в реализации и расширении подхода, описанного в статье нашей кафедры
49+
<a href="https://se.constructor.ch/publications/concept-of-class-invariant-in-oop">“The concept of class invariant in object-oriented programming”</a>.
50+
К сожалению, наша работа была прервана закрытием института.</p>
51+
52+
<h2 id="могут-ли-llm-помочь-с-исправлением-верифицированного-по">Могут ли LLM помочь с исправлением верифицированного ПО?</h2>
53+
<p>Наше последнее исследование в институте рассматривало насколько
54+
чаты с LLM могут помочь в исправлении багов, когда у программистов
55+
есть доступ к верификтору. Отчёт об этом исследовании называется
56+
<a href="https://se.constructor.ch/publications/do-ai-models-help-produce-verified-fixes">“Do AI models help produce verified bug fixes?”</a>.</p>
57+
58+
<p>Я считаю, что верификация ПО может взять
59+
случайность в ответах больших языковых моделей под контроль. Верификатор
60+
может подтвердить, что исправление в самом деле “правильно”, а не просто
61+
“статистически выглядит подходящим”.</p>
62+
63+
<p>Мы попросили 25 программистов исправить баги в программах.
64+
Некоторым был доступен чат-бот и верификатор, некоторым было разрешено
65+
работать только с верификатором.</p>
66+
67+
<p>Результаты показали, что LLM наиболее полезны начинающим пользователям
68+
(чтобы добиться хоть какого-то результата) и экспертам (быстро реализовать
69+
самостоятельно придуманное решение). Разработчики со средним уровнем знаний
70+
получают меньше пользы от LLM.</p>
71+
72+
<p>Я <a href="https://se.constructor.ch/2025/07/25/ai-models-verified-bug-fixes">писал больше</a> об эксперименте в блоге кафедры. Конечно,
73+
в самой статье можно получить ещё больше информации.</p>
74+
75+
<h2 id="планы-на-будущее">Планы на будущее</h2>
76+
<p>У меня есть ещё несколько проектов из Constructor Institute of Technology,
77+
которые я бы хотел подсветить, но я оставлю их для будущих постов.
78+
Подпишитесь на <a href="/ru/feed.xml">RSS ленту</a>, чтобы их не пропустить!</p>
79+
80+
<p>В общем, я рад, что у меня была возможность для работы над продвинутыми
81+
темами программной инженерии в умелой команде, возглавляемой Бертраном Мейером.
82+
Условия работы были великолепными и позволили нам сконцентрироваться на
83+
науке. Лично мне грустно, что наша работа прервалась так резко.</p>
84+
85+
<p>Я надеюсь, что у нас ещё будет возможность собраться командой и
86+
продолжить нашу работу.</p>]]>
87+
</content>
88+
<summary type="html">
89+
<![CDATA[Constructor Institute of Technology (CIT) — это институт в Шаффхаузене, Швейцария, в котором я провёл два года моей аспирантуре в области верификации программного обеспечения на Эйфеле. К сожалению, СIT было решено закрыть в 2025. В этом посте я хочу сохранить ссылки на некоторые проекты, над которыми мы работали.]]>
90+
</summary>
91+
<author>
92+
<name>Ильгиз Мустафин</name>
93+
<uri>https://imustafin.tatar/</uri>
94+
</author>
95+
</entry>
96+
1497
<entry xml:lang="ru">
1598

1699
<title>PBDoom</title>

‎ru/index.html‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -187,34 +187,34 @@ <h1 id="привет-меня-зовут-ильгиз">
187187
<article>
188188
<h3 class="text-2xl">
189189
<a
190-
href="/blog/experience-at-cit"
191-
title="My Experience at CIT"
190+
href="/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit"
191+
title="Моя учёба в CIT"
192192
class="vlink no-underline hover:underline"
193193
>
194-
My Experience at CIT
194+
Моя учёба в CIT
195195
</a>
196196
</h3>
197197
<div class="italic space-x-4">
198198
<time
199199
class="inline-block"
200-
datetime="2025-09-02T00:00:00+00:00"
200+
datetime="2025-09-05T00:00:00+00:00"
201201
itemprop="datePublished"
202202
>
203-
2 сентября 2025
203+
5 сентября 2025
204204
</time>
205205
</div>
206206

207207
<div class="prose mt-2">
208208
<p>
209-
Constructor Institute of Technology (CIT) is an
210-
institute in Schaffhausen, Switzerland where I did two
211-
years of my PhD on software verification with Eiffel.
212-
Unfortunately, it was
209+
Constructor Institute of Technology (CIT) — это институт
210+
в Шаффхаузене, Швейцария, в котором я провёл два года
211+
моей аспирантуре в области верификации программного
212+
обеспечения на Эйфеле. К сожалению,
213213
<a
214214
href="https://institute.constructor.org/news/constructor-institute-technology-plans-cease-operations-schaffhausen-switzerland-refocusing"
215-
>decided to close CIT in 2025</a
216-
>. In this post I want to preserve links to some of the
217-
projects that we worked on.
215+
>СIT было решено закрыть в 2025</a
216+
>. В этом посте я хочу сохранить ссылки на некоторые
217+
проекты, над которыми мы работали.
218218
</p>
219219
</div>
220220
</article>

‎ru/блог/index.html‎

Lines changed: 12 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -236,33 +236,34 @@ <h1>Записи в блоге</h1>
236236
<article>
237237
<h2 class="text-2xl">
238238
<a
239-
href="/blog/experience-at-cit"
240-
title="My Experience at CIT"
239+
href="/ru/%D0%B1%D0%BB%D0%BE%D0%B3/%D1%83%D1%87%D1%91%D0%B1%D0%B0-%D0%B2-cit"
240+
title="Моя учёба в CIT"
241241
class="vlink no-underline hover:underline"
242242
>
243-
My Experience at CIT
243+
Моя учёба в CIT
244244
</a>
245245
</h2>
246246
<div class="italic space-x-4">
247247
<time
248248
class="inline-block"
249-
datetime="2025-09-02T00:00:00+00:00"
249+
datetime="2025-09-05T00:00:00+00:00"
250250
itemprop="datePublished"
251251
>
252-
2 сентября 2025
252+
5 сентября 2025
253253
</time>
254254
</div>
255255

256256
<div class="prose mt-2">
257257
<p>
258-
Constructor Institute of Technology (CIT) is an institute in
259-
Schaffhausen, Switzerland where I did two years of my PhD on
260-
software verification with Eiffel. Unfortunately, it was
258+
Constructor Institute of Technology (CIT) — это институт в
259+
Шаффхаузене, Швейцария, в котором я провёл два года моей
260+
аспирантуре в области верификации программного обеспечения
261+
на Эйфеле. К сожалению,
261262
<a
262263
href="https://institute.constructor.org/news/constructor-institute-technology-plans-cease-operations-schaffhausen-switzerland-refocusing"
263-
>decided to close CIT in 2025</a
264-
>. In this post I want to preserve links to some of the
265-
projects that we worked on.
264+
>СIT было решено закрыть в 2025</a
265+
>. В этом посте я хочу сохранить ссылки на некоторые
266+
проекты, над которыми мы работали.
266267
</p>
267268
</div>
268269
</article>

0 commit comments

Comments
 (0)