|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Батузов Кирилл Андреевич пользователь
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра системного программирования, ассистент, с 1 сентября 2022, по совместительству
Прежние места работы (Нажмите для отображения)Соавторы: Падарян В.А., Ефимов В.Ю., Аветисян А.И., Беззубиков А.А., Белеванцев А.А., Белов Н.А., Горемыкин О.В., Жуйков Р.А., Кошелев В.К., Кудрявцев А.О., Меркулов А.П., Минибаев Е.М., Соловьев М.А.
7 статей, 1 книга, 8 докладов на конференциях, 3 тезисов докладов, 3 НИР, 1 диссертация
Количество цитирований статей в журналах по данным
Web of Science: 1,
Scopus: 1
IstinaResearcherID (IRID): 15021512
Деятельность
-
Статьи в журналах
-
- 2016 Features of the deterministic replay in the case of a minimum device set
- Efimov V.Yu, Batuzov K.A., Padaryan V.A., Avetisyan A.I.
- в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 42, № 3, с. 174-186 DOI
-
- 2016 Задача глобального распределения регистров во время динамической двоичной трансляции
- Батузов К.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 5, с. 199-214 DOI
-
-
- 2012 Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU
- Батузов К.А., Довгалюк П.А., Кошелев В.К., Падарян В.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 22, с. 77-94
-
-
- 2011 Оптимизация динамической двоичной трансляции
- Батузов К.А., Меркулов А.П.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 20, с. 37-50
-
-
Статьи в сборниках
-
- 2017 Automatic Dynamic Binary Translator Generation from Instruction Set Description
- Bezzubikov Alexandr, Belov Nikita, Batuzov Kirill
- в сборнике 2017 Ivannikov ISPRAS Open Conference (ISPRAS), издательство IEEE Computer Society (United States), том 1 DOI
-
-
Книги
- 2012 Практические задачи по вводному курсу программирования: учебное пособие
- Батузов К.А., Белеванцев А.А., Жуйков Р.А., Кудрявцев А.О., Падарян В.А., Соловьев М.А.
- место издания Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова Москва, ISBN 978-5-89407-498-6, 80 с.
-
Доклады на конференциях
-
- 2019 Предметно-ориентированный отладчик для системы динамической двоичной трансляции QEMU (Устный)
- Авторы: Аветисян А.И., Минибаев Е.М., Батузов К.А.
- «Ломоносовские чтения - 2019». Секция «ВМК», Москва, МГУ, Россия, 15-25 апреля 2019
-
- 2018 Учебный курс «Архитектура ЭВМ и язык ассемблера» с точки зрения системного программиста (Устный)
- Авторы: Батузов К.А., Падарян В.А., Соловьев М.А.
- OS DAY 2018, Москва, Россия, 17-18 мая 2018
-
- 2018 Methods and software tools for analysis of binary code security (Устный)
- Авторы: Падарян В.А., Соловьев М.А., Гетьман А.И., Батузов К.А., Ефимов В.Ю., Бакулин М.Г., Панасенко С., Горемыкин О.В.
- Ivannikov Memorial Workshop, Ереван, Армения, 3-4 мая 2018
-
- 2018 Исследование влияния размера блоков трансляции на возможности проведения оптимизаций во время динамической двоичной трансляции (Устный)
- Авторы: Батузов К.А., Беззубиков А.А.
- Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
-
- 2017 Автоматическая генерация динамического двоичного транслятора по описанию набора инструкций (Устный)
- Авторы: Батузов К.А., Беззубиков А.А., Белов Н.А.
- Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, Россия, 29 ноября - 2 декабря 2017
-
- 2017 Применение полносистемных программных эмуляторов в задачах анализа безопасности бинарного кода (Устный)
- Авторы: Падарян В.А., Батузов К.А., Ефимов В.Ю., Горемыкин О.В.
- 26 конференция «Методы и технические средства обеспечения безопасности информации» (МиТСОБИ), Санкт-Петербург, Россия, 26-29 июня 2017
-
- 2016 Задача глобального распределения регистров во время динамической двоичной трансляции (Устный)
- Автор: Батузов К.А.
- ISPRAS Open, Москва, Россия, 1-2 декабря 2016
-
- 2015 Применение программных эмуляторов для полносистемного анализа бинарного кода мобильных платформ (Устный)
- Авторы: Батузов Кирилл Андреевич, Падарян Вартан Андроникович, Тихонов Андрей Юрьевич, Ефимов Василий Юрьевич
- XVII Научно-практическая конференция «РусКрипто’2015», Московская область, Солнечногорский район, отель «Солнечный Park Hotel & SPA», Россия, 17-20 марта 2015
-
-
Тезисы докладов
-
- 2019 Предметно-ориентированный отладчик для системы динамической двоичной трансляции QEMU
- Аветисян А.И., Батузов К.А., Минибаев Е.М.
- в сборнике Научная конференция ЛОМОНОСОВСКИЕ ЧТЕНИЯ. Тезисы докладов. 15-25 апреля 2019 г., серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, Факультет вычислительной математики и кибернетики, издательство ООО "МАКС Пресс" (Москва), тезисы, с. 15-16
-
- 2018 Исследование влияния размера блоков трансляции на возможности проведения оптимизаций во время динамической двоичной трансляции
- Батузов К.А., Беззубиков А.А.
- в сборнике Ломоносовские чтения 2018 ф-т ВМК МГУ, место издания Макс-Пресс, тезисы, с. 32-33
-
- 2017 Применение полносистемных программных эмуляторов в задачах анализа безопасности бинарного кода
- Падарян В.А., Батузов К.А., Ефимов В.Ю., Горемыкин О.В.
- в сборнике Материалы 26-й научно-технической конференции «Методы и технические средства обеспечения безопасности информации», место издания Санкт-Петербургский политехнический университет Петра Великого Санкт-Петербург, тезисы, с. 12-14
-
-
НИРы
-
- 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
- Кафедра системного программирования
- Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Архипенко К.В., Батузов К.А., Бахтин В.А., Белеванцев А.А., Гомзин А.Г., Дудина И.А., Иванишин В.А., Игнатьев В.Н., Козырев В.И., Корныхин Е.В., Кузьменкова Е.А., Кукушкин К.В., Кулямин В.В., Майоров В.Д., Малышев Н.Е., Малышко В.В., Манушин Д.В., Ниськов Ф.В., Падарян В.А., Петренко А.К., Соловьев М.А., Теймуразов К.Б., Турдаков Д.Ю., Хорошилов А.В.
-
- 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
- Кафедра системного программирования
- Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.
-
- 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
- Кафедра системного программирования
- Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Алексиянц А.В., Андрианов И.А., Батузов К.А., Бахтин В.А., Белеванцев А.А., Буздалов Д.В., Вартанов С.П., Гайсарян С.С., Гомзин А.Г., Горемыкин О.В., Дудина И.А., Иванишин В.А., Камкин А.С., Карпов Л.Е., Клеменков П.А., Корныхин Е.В., Кошелев В.К., Крюков В.А., Кузнецов К.А., Кузнецов С.Д., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Мандрыкин М.У., Меркулов А.П., Морозов С.В., Падарян В.А., Петренко А.К., Посконин А.В., Притула М.Н., Серебряков В.А., Соловьев М.А., Тарлапан О.А., Теймуразов К.Б., Турдаков Д.Ю., Федоренко Д.Г., Хорошилов А.В., Шарыгин Е.Ю., Шуберт А.В.
-
-
Диссертация
-
- 2018 Исследование и разработка методов оптимизации программ для систем динамической двоичной трансляции
- Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
- Автор: Батузов К.А., МГУ имени М.В. Ломоносова
- Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
- Защищена в совете Д 002.087.01 при ИСП РАН
-