|
|
Публикации в базе данных Math-Net.Ru
-
Beyond LLVM: evaluating fast code generation alternatives for query compilation in PostgreSQL
Труды ИСП РАН, 37:6(2) (2025), 77–92
-
Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков
Труды ИСП РАН, 37:4(1) (2025), 111–146
-
TSAR: инструмент для оценки статических анализаторов
Труды ИСП РАН, 37:2 (2025), 79–96
-
Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR
Труды ИСП РАН, 37:1 (2025), 87–106
-
Система статического анализа для языка описания аппаратуры SystemVerilog
Труды ИСП РАН, 37:1 (2025), 7–40
-
Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang
Труды ИСП РАН, 35:5 (2023), 169–192
-
Настройка критериев планировщика СУБД с учётом динамической компиляции
Труды ИСП РАН, 34:4 (2022), 101–116
-
Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением
Труды ИСП РАН, 33:4 (2021), 195–210
-
Динамическая компиляция пользовательских функций на языке PL/pgSQL
Труды ИСП РАН, 32:5 (2020), 67–80
-
Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL
Труды ИСП РАН, 32:1 (2020), 205–220
-
Обзор методов динамической компиляции запросов
Труды ИСП РАН, 29:3 (2017), 179–224
-
Динамическая компиляция SQL-запросов для СУБД PostgreSQL
Труды ИСП РАН, 28:6 (2016), 37–48
-
Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL
Труды ИСП РАН, 28:4 (2016), 217–240
© , 2026