Program Analysis
Свежий (весна 2020) курс по анализу программ, с неплохим выбором тем.
https://cmu-program-analysis.github.io/
#analysis
Post #10
354
- Oct 10, 2025В наше время может сложиться впечатление, что компиляторы вне LLVM уже не создаются. Это,…
- Jun 16, 2025#видеозаписи Начинаем публиковать видео докладов sysconf 2025. Первым — выступление Петра…
- May 21, 2025Недавно удалось лично пообщаться с несколькими известными преподавателями разработки компи…
- Nov 26, 2024В ближайшее время в Москве пройдет три конференции, связанные с системным программирование…
- Sep 29, 2024Я и мой студент, Кирилл Павлов, опубликовали статью "Библиотека llvm2py для анализа промеж…
- Jul 23, 2024Первый интерпретатор просто использует эти функции напрямую для рекурсивного аннотирования…