Пантилимонов Михаил Вячеславович

Публикации в базе данных Math-Net.Ru

1. Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang
   
   Труды ИСП РАН, 35:5 (2023),  169–192
2. Настройка критериев планировщика СУБД с учётом динамической компиляции
   
   Труды ИСП РАН, 34:4 (2022),  101–116
3. Динамическая компиляция пользовательских функций на языке PL/pgSQL
   
   Труды ИСП РАН, 32:5 (2020),  67–80
4. Кэширование машинного кода в динамическом компиляторе SQL-запросов для СУБД PostgreSQL
   
   Труды ИСП РАН, 32:1 (2020),  205–220