- разработка новых и улучшение существующих алгоритмов и структур данных, которые используются для создания оптимизирующих компиляторов: разработка быстрого алгоритма построения формы статического единственного присваивания; разработка интегральной структуры данных, которая представляет информацию о доминировании и о значении переменных в программе в виде, который способствует ускорению работы представительному множеству преобразований потока данных программы и увеличивает количество случаев применимости таких преобразований; разработка алгоритма перевода программы в предикатную форму, позволяющего минимизировать накладные расходы (количество дополнительных операций, которые вставляются в код программы) при данном преобразовании программы; развитие анализа предикатных выражений и усиление эффективности применения оптимизаций, работающих на основе предикатного анализа; развитие метода анализа зависимостей в цикловых регионах программы, позволившего снять практически все ограничения на условия применимости такого анализа; разработка единого метода решения задач межпроцедурного анализа потока данных, в том числе задачи межпроцедурной нумерации значений (Value Numbering); разработка алгоритмов планирования ациклических и произвольных областей программы, интегрированных с преобразованиями потока данных и управления и с возможностью оценки эффективности каждого шага планирования;
- разработка методологии отката на каждом шаге планирования, позволяющей оценивать качество планирования и возвращаться в исходное состояние в случае, если текущий шаг планирования ухудшил ситуацию;
- разработка новых методов построения компонент оптимизирующей компиляции: разработка методологии реализации блоков оптимизирующей компиляции, позволяющей распараллеливать работу компилятора; разработка методологии портирования блоков оптимизирующей компиляции в контексте произвольной существующей инфраструктуры оптимизирующей компиляции; разработка иерархии компонент оптимизирующей компиляции, каждый уровень в которой представляет собой независимый блок от наследующих его функциональность уровней.
1.Дроздов А.Ю. Компонентный подход к построению оптимизирующих компиляторов. // Программирование. 2009. № 5, с. 70-80
2.Дроздов А.Ю., Особенности и перспективы Универсальной технологии оптимизирующей компиляции. // Сборник научных трудов ИТМиВТ им. С.А. Лебедева РАН, Выпуск №1, Материалы Всероссийской конференции «Перспективы развития высокопроизводительных архитектур. История, современность и будущее отечественного компьютеростроения», 2008, С. 62-74.
3.А.Ю. Дроздов, С.В. Новиков. Авто-распараллеливатель программ, реализованный на основе компонентной технологии построения оптимизирующих компиляторов. // Программирование. 2009. № 6, с. 1-24.
4.Дроздов А. Ю., Кирнасов А.Е. Анализ предикатных выражений и его использование в оптимизирующих компиляторах для архитектур с явно выраженным параллелизмом // Информационные технологии, № 7, 2005 г., с. 40-45.
5.Дроздов А.Ю., Новиков С.В. Эффективный алгоритм построения формы статического единственного присваивания // Информационные технологии, № 3, 2005 г.
6.Дроздов А.Ю, Владиславлев В.Е. Межпроцедурный анализ указателей // Информационные технологии, Приложение № 2, Февраль 2005 г., с. 2-13.
7.Дроздов А. Ю., Сыркин А. Г. Методы контекстного межпроцедурного распространения свойств значений переменных программы // Информационные технологии, Приложение № 2, Февраль 2005 г., с. 14-18.
8.Дроздов А. Ю., Тютюник О. М., Шилов В.В. Эффективная реализация графа потока зависимостей // Информационные технологии, Приложение № 2, Февраль 2005 г., с. 19-23.
9.Дроздов А. Ю., Новиков С. В., Шилов В.В. Эффективный алгоритм преобразования потока управления в поток данных // Информационные технологии, Приложение № 2, Февраль 2005 г., с. 23-31.
10.Дроздов А.Ю, Боханко А.С. Дерево значений: новая структура данных, объединяющая информацию о потоке управления и доминировании // Информационные технологии, № 12, 2004 г.
11.Дроздов А. Ю., Корнев Р.М., Боханко А.С. Индексный анализ зависимостей по данным // Информационные технологии и вычислительные системы, № 3, 2004г., с. 27-37.
12.Дроздов А. Ю., Степаненков А. М. Управляемые пакеты оптимизаций // Информационные технологии и вычислительные системы, № 3, 2004г., с. 93-101.
13.Дроздов А. Ю., Степаненков А. М. Технология оптимизации циклов для архитектур с аппаратной поддержкой конвейеризации циклов // Информационные технологии и вычислительные системы, № 3, 2004г., с. 52-62.
14.Волконский В.Ю., Дроздов А.Ю., Ровинский Е.В. Метод использования мелкоформатных векторных операций в оптимизирующем компиляторе // Информационные технологии и вычислительные системы, № 3, 2004г.. с. 63-77.
15.Дроздов А. Ю., Кан А.В. Анализ межпроцедурная нумерация значений. // Компьютеры в учебном процессе, № 6, 2005 г.
16.Дроздов А. Ю., Новиков С. В., Боханко А. С., Галазин А. Б., Def-Use граф и методы его использования в современных оптимизирующих компиляторах. // Компьютеры в учебном процессе. № 12. 2005. C. 3-14.
17.Дроздов А.Ю., Новиков С.В. Исследование методов преобразования программы в предикатную форму для архитектур с явно выраженной параллельностью. // Компьютеры в учебном процессе, № 5, 2005 г.
18.Дроздов А.Ю., Перекатов В.И., Шлыков С.Л. Задача планирования операций по кластерам для архитектур с разделением исполнительных устройств на кластеры // Компьютеры в учебном процессе, № 3, 2005 г.
19.Дроздов А.Ю., Кирнасов А.Е., Перекатов В.И. Использование результатов анализа предикатных выражений для эффективного применения оптимизирующих преобразований программ // Компьютеры в учебном процессе, № 3, 2005 г.
20.Дроздов А.Ю., Степаненков А.М. Методы комбинирования алгоритмов анализа и оптимизаций в современных оптимизирующих компиляторах // Компьютеры в учебном процессе, № 11, 2004 г.
21.Дроздов А.Ю., Степаненков А.М. Методы оптимизации цикловых участков процедур, основанные на аппаратной поддержке архитектуры // Компьютеры в учебном процессе, № 10, 2004 г.
22.Дроздов А.Ю., Ровинский Е.В. Технология использования векторных операций для получения оптимального кода // Компьютеры в учебном процессе, № 9, 2004 г.
23.Боханко А.С., Дроздов А.Ю., Корнев Р.М. Анализ зависимостей по данным в цикловых регионах программы // Компьютеры в учебном процессе, № 8, 2004 г.
24.Дроздов А. Ю., Новиков С. В., Боханко А. С., Галазин А. Б., Глобальный граф потока данных и его роль в проведении оптимизирующих преобразований программ. // Высокопроизводительные вычислительные системы и микропроцессоры: сборник трудов ИМВС РАН, Выпуск N8, 2005
25.Боханко А. С., Дроздов А. Ю., Новиков С. В., Шлыков С. Л., Распределение регистров методом раскраски графа несовместимости для VLIW-архитектур. // Высокопроизводительные вычислительные системы и микропроцессоры: сборник трудов ИМВС РАН, Выпуск N8, 2005.
26.Дроздов А.Ю., Новиков С.В. Улучшение алгоритмов построения формы статического единственного присваивания // IХ Санкт-Петербургская Международная конференция Региональная Информатика-2004 «РИ-2004» Санкт-Петербург, 22-24 июня 2004 года.
27.Дроздов А.Ю., Владиславлев В.Е. Эффективный алгоритм межпроцедурного анализа указателей // IХ Санкт-Петербургская Международная конференция Региональная Информатика-2004 «РИ-2004» Санкт-Петербург, 22-24 июня 2004 года.
28.Боханко А.С., Дроздов А.Ю. Обобщенное представление информации о потоке данных и доминировании // IХ Санкт-Петербургская Международная конференция Региональная Информатика-2004 «РИ-2004» Санкт-Петербург, 22-24 июня 2004 года.
29.Боханко А.С., Дроздов А.Ю. Оптимизация «Расширенное удаление излишних операций чтения из памяти» // В трудах Международной молодежной научной конференции «XXX Гагаринские чтения», Москва, 2004.
30.Б. А. Бабаян А. К. Ким, Ю. Х. Сахин, А. Ю. Дроздов и др. ИМВС РАН Научно-технический отчет по НИР «Поисковые исследования и разработка архитектурных и логических принципов построения универсальных вычислительных систем «Эльбрус-4» с производительностью пентафлопового диапазона». Разработка принципов построения однокристального мультипроцессора. Глава 3: Исследование зависимостей по данным и управлению в алгоритмах задач. Москва 2003г.
31.Б. А. Бабаян , А. К. Ким, Ю. Х. Сахин, А. Ю. Дроздов и др. Российская академия наук. Институт микропроцессорных вычислительных систем (ИМВС). Отчет о научно-исследовательской работе. Программа фундаментальных научных исследований ОИТВС РАН "Оптимизация вычислительных архитектур под конкретные классы задач, информационная безопасность сетевых технологий". Направление № 2 "Высокопараллельная, масштабируемая кластерная архитектура, приспосабливаемая под конкретные приложения". Раздел 9: Особенности генерации кода для архитектур с разделением исполнительных устройств на кластеры. Москва 2003.
32.Дроздов А.Ю., Степаненков А.М. Методы глобального планирования программ, предлагаемые для использования в современных оптимизирующих компиляторах для архитектур с явно выраженным параллелизмом. "Сборник тезисов XXI научно-технической конфренции войсковой части 03425"
Москва, в/ч 03425, 2003г.
33.Дроздов А.Ю., Новиков С.В. Методы совместного планирования путей программы, предлагаемые для использования в современных оптимизирующих компилятора. "Сборник тезисов XXI научно-технической конфренции войсковой части 03425" Москва, в/ч 03425, 2003г.
34.Дроздов А.Ю. Методы анализа программ, предлагаемые для использования в современных оптимизирующих компиляторах. "Сборник тезисов XXI научно-технической конференции войсковой части 03425",
Москва, в/ч 03425, 2003г.
35.A. Drozdov, I. Moukhin, A. Kasinsky, S. Okunev, A. Ostanevich, Y. Rumyantsev, A. Sushentsov, V. Tikhonov, V. Volkonski, K. Yaremenko. The optimizing compiler for the Elbrus-3 supercomputer // In Proceedings of the "International Congress on Computer Systems and Applied Mathematics ( CSAM´93 )", Abstracts. - St. Petersburg, July 19-23, 1993. - P. 127-128.
36.В. Ю. Волконский, А. Ю. Дроздов, А. И. Касинский, И. А. Мухин, С. К. Окунев, А. Ю. Останевич, А. Л. Сушенцов и др. Оптимизирующая транслирующая система для МВК "Эльбрус-3" // В трудах международной конференции "Высокопроизводительные вычислительные системы в управлении и научных исследованиях”, Тезисы. - Алма-Ата, сентябрь 1991 г. - С. 70.