10 Oct 2025, 09:48 UTC≈1,920 views34 reactionsread 6 August 2026 В наше время может сложиться впечатление, что компиляторы вне LLVM уже не создаются. Это, конечно, не так и я хочу привести в пример два небольших компилятора, над которыми я работал в последнее время.
1. Компилятор HOREC из статьи HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры.
2. DSL-компилятор для проекта учебной игровой при…
👍34
Signed Peter Sovietov
16 Jun 2025, 16:59 UTC≈1,870 views34 reactionsread 6 August 2026 Forwarded from @sysconf_channel
#видеозаписи
Начинаем публиковать видео докладов sysconf 2025. Первым — выступление Петра Советова «Генератор случайных процессорных архитектур для обучения системному программированию»
YouTube | VK Видео
Скачать презентацию с сайта sysconf
👍34
Signed Peter Sovietov
21 May 2025, 10:47 UTC≈2,790 views32 reactionsread 6 August 2026 File
Недавно удалось лично пообщаться с несколькими известными преподавателями разработки компиляторов.
Евгений Зуев. Я был экспертом на его докладе. За семестр студентам необходимо разработать реализацию одного из возможных проектных языков. Преподаватель объясняет основы, используя мастер-язык. Идея мастер-языка мне показалась перспективной.
Иван Кулагин и Дмитрий Мельник. В рамках круглого стола они подготовили детал…
👍32
Signed Peter Sovietov
26 Nov 2024, 13:09 UTC≈3,170 views29 reactionsread 6 August 2026 В ближайшее время в Москве пройдет три конференции, связанные с системным программированием, а, значит, и с компиляторами.
1. 11-12 декабря. Открытая конференция ИСП РАН. Часть программы уже опубликована. Для преподавателей отдельный интерес представляет круглый стол по проблемам образования в области системного программирования. Для компиляторщиков -- секция «Технологии анализа, моделирования и трансформации програ…
👍29
Signed Peter Sovietov
29 Sept 2024, 18:20 UTC≈3,490 views56 reactionsread 6 August 2026 Я и мой студент, Кирилл Павлов, опубликовали статью "Библиотека llvm2py для анализа промежуточного представления LLVM и её применение в оценке степени распараллеливания линейных участков кода".
Чем может быть интересна работа студента второго курса бакалавриата? Анализ распараллеливания делается для варианта LLVM IR, где линейные участки заданы ярусно-параллельной формой (ЯПФ). Автоматическое построение ЯПФ позволяе…
👍56
Signed Peter Sovietov
23 Jul 2024, 12:18 UTC≈2,060 views12 reactionsread 6 August 2026 Forwarded from @covalue
Первый интерпретатор просто использует эти функции напрямую для рекурсивного аннотирования программы, не пытаясь вывести инварианты циклов (подставляя вместо них тривиально истинные формулы). Его корректность сводится к трем свойствам: (1) наислабейшее предусловие, полученное из вычисленного конечного состояния, действительно слабее предусловия, полученного из начального состояния, (2) все условия проверки, полученны…
👍12
Signed Alex Gryzlov
23 Jul 2024, 12:18 UTC≈1,390 views12 reactionsread 6 August 2026 Forwarded from @covalue
Bertot, [2008] "Structural abstract interpretation, A formal study using Coq"
+ порт на Агду
В статье обсуждается кодирование внутри теории типов подхода к статическому анализу программ, известного как абстрактная интерпретация (АИ). Для анализа взят простой императивный язык с целочисленными значениями (можно ограничить до натуральных) со сложением и булевым сравнением, мутабельными переменными, последовательной к…
👍12
Signed Alex Gryzlov
17 May 2024, 06:38 UTC≈2,970 views13 reactionsread 6 August 2026 Video
Программа с использованием сборщика мусора с алгоритмом Mark and Sweep.
👍13
Signed Sergey Bronnikov
17 May 2024, 06:37 UTC≈2,680 views4 reactionsread 6 August 2026 Video
Программа со счётчиком ссылок.
👍4
Signed Sergey Bronnikov
17 May 2024, 06:36 UTC≈2,500 views5 reactionsread 6 August 2026 Video
Программа без освобождения памяти (NO_GC).
👍5
Signed Sergey Bronnikov
17 May 2024, 06:36 UTC≈3,210 views29 reactionsread 6 August 2026 Возможно вы знакомы с алгоритмами сборки мусора, которые используются в языках программирования. Американский программист Кен Фокс (Ken Fox) написал программу с использованием разных алгоритмов сборки мусора и вариант программы без освобождения памяти, собрал данные для каждого варианта запуска программы и сгенерировал анимированные изображения для них. В репозитории представлены визуализации четырех основных алгорит…
👍29
Signed Sergey Bronnikov
29 Apr 2024, 04:57 UTC≈1,850 views20 reactionsread 6 August 2026 Implementation Strategies for Mutable Value Semantics
Dimitri Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta
https://kyouko-taiga.github.io/assets/papers/jot2022-mvs.pdf
Одно из неоспоримых достоинств языка Rust — он наглядно показал, что безопасная работа с указателями и ссылками сложна, и требует следовать довольно замысловатым правилам, уберегающим от неочевидных потенциальных проблем. Даже …
👍20
Signed Alexander Chichigin
Showing the 12 most recent of 20 posts we hold for @plcomp. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.