Andrei Tatarnikov
- Visiting Lecturer:Faculty of Computer Science / School of Software Engineering
- Andrei Tatarnikov has been at HSE University since 2024.
Education and Degrees
- 2018
Candidate of Sciences* (PhD) in Mathematical Support and Software in Computers, Complexes and Computer Networks
Thesis Title: Automated construction of test program generators for microprocessors on the basis of formal specifications - 2013
Master's in Software Engineering
HSE University - 2006
Degree in Information Security in Automated Systems
Tula State University
* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
Courses (2023/2024)
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Economic Sciences; 2 year, 3, 4 module)Rus
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Social Sciences; 2 year, 3, 4 module)Rus
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Eng
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Past Courses
Courses (2022/2023)
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Eng
- Static Code Analysis (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
Courses (2021/2022)
Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Eng
Courses (2020/2021)
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Eng
- Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
Courses (2019/2020)
- Computer Architecture and Operating Systems (Bachelor’s programme; Faculty of Computer Science; 2 year, 2-4 module)Eng
- Introduction to Programming (Bachelor’s programme; Faculty of Computer Science; 1 year, 1, 2 module)Eng
- Software Quality Assurance and Testing (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
Publications20
- Chapter Tatarnikov A., Kamkin A. MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors, in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science / Ed. by A. K. Petrenko, A. Voronkov. Vol. 10742. Springer, 2018. doi P. 387-393. doi
- Chapter Kamkin A., Чупилко М. М., Смолов С. А., Проценко А. С., Коцыняк А. М., Tatarnikov A. Test Program Generator MicroTESK for RISC-V, in: 2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV). Austin : IEEE Computer Society, 2018. P. 6-11. doi
- Article Татарников А. Д., Камкин А. С., Проценко А. С., Смолов С. А. Генератор тестовых программ для архитектуры RISC-V на основе инструмента MicroTESK // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2018. № 2. С. 2-8. doi
- Chapter Kamkin A., Tatarnikov A., Проценко А. С., Смолов С. А., Коцыняк А. М., Чупилко М. М. Maintaining ISA Specifications in MicroTESK Test Program Generator, in: 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV). IEEE, 2017. P. 10-14. doi
- Chapter Tatarnikov A., Kamkin A., Чупилко М. М., Коцыняк А. М. MicroTESK: Specification-Based Tool for Constructing Test Program Generators, in: Hardware and Software: Verification and Testing. HVC 2017. Lecture Notes in Computer Science Vol. 10629: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017. Cham : Springer, 2017. doi P. 217-220. doi
- Article Татарников А. Д. Обзор методов и средств генерации тестовых программ для микропроцессоров // Труды Института системного программирования РАН. 2017. Т. 29. № 1. С. 167-194. doi
- Chapter Tatarnikov A. An Approach to Instruction Stream Generation for Functional Verification of Microprocessor Designs, in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016). Yerevan : IEEE, 2016. P. 270-273. doi
- Article Tatarnikov A. Language for Describing Templates for Test Program Generation for Microprocessors // Proceedings of the Institute for System Programming of the RAS. 2016. Vol. 28. No. 4. P. 77-98. doi
- Article Татарников А. Д., Камкин А. С., Проценко А. С., Чупилко М. М., Коцыняк А. М. Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK // Труды Института системного программирования РАН. 2016. Т. 28. № 6. С. 87-102. doi
- Article Татарников А. Д. Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. Т. II. С. 38-45.
- Article Татарников А. Д. Построение поведенческих моделей микропроцессоров для генерации тестовых программ // Известия высших учебных заведений. Физика. 2016. Т. 59. № 8-2 . С. 97-100.
- Article Tatarnikov A., Kamkin A., Проценко А. С. An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms // Proceedings of the Institute for System Programming of the RAS. 2015. Vol. 27. No. 3. P. 125-138. doi
- Chapter Kamkin A., Tatarnikov A., Смолов С. А., Проценко А. С., Коцыняк А. М., Чупилко М. М. Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units, in: 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV). IEEE, 2015. P. 1-6. doi
- Article Татарников А. Д., Камкин А. С., Проценко А. С. Генерация тестовых программ для микропроцессоров на основе спецификаций подсистем памяти // Известия высших учебных заведений. Физика. 2015. Т. 58. № 11-2. С. 70-74.
- Chapter Татарников А. Д. Инструмент автоматизации разработки генераторов тестовых программ для микропроцессоров на основе формальных спецификаций // В кн.: Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции / Под общ. ред.: А. Н. Тихонов, В. Н. Азаров, У. В. Аристова, М. В. Карасев, В. П. Кулагин, Ю. Л. Леохин, Б. Г. Львов, Н. С. Титкова, С. У. Увайсов. М. : МИЭМ НИУ ВШЭ, 2015. С. 53-54.
- Chapter Tatarnikov A., Коцыняк А. М. A Generic Knowledgebase for Test Generation, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. doi
- Article Татарников А. Д., Камкин А. С., Смолов С. А., Чупилко М. М., Сергеева Т. И. Расширяемая среда генерации тестовых программ для микропроцессоров // Программирование. 2014. Т. 1. № 40. С. 3-14. doi
- Article Татарников А. Д., Камкин А. С., Чупилко М. М., Коцыняк А. М., Смолов С. А., Сортов А. А. Средства функциональной верификации микропроцессоров // Труды Института системного программирования РАН. 2014. Т. 26. № 1. С. 149-200. doi
- Chapter Tatarnikov A., Kamkin A., Сергеева Т. И., Утехин А. Б. MicroTESK: An Extendable Framework for Test Program Generation, in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013 / Отв. ред.: A. Kamkin.; Ed. by A. Petrenko, A. Terekhov. Kazan : -, 2013. P. 51-57 . doi
- Chapter Tatarnikov A., Kamkin A. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors, in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012. Perm : -, 2012. P. 64-69. doi
Conferences
- 2018
8th RISC-V Workshop (Barcelona). Presentation: Test Generator MicroTESK for RISC-V
- 2017
Perspectives of System Informatics - 11th International Andrei Ershov Informatics Conference, PSI 2017 (Moscow). Presentation: MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors
- Haifa Verification Conference (Хайфа). Presentation: MicroTESK: Specification-Based Tool for Constructing Test Program Generators
- Workshop on RTL and High Level Testing (WRTLT'17) (Taipei). Presentation: A Modular Test Program Generator: Integrating Multiple Test Engines into a Single Framework
RISC V Developers Forum (Москва). Presentation: Генератор тестовых программ MicroTESK for RISC-V
- Design, Automation, and Test in Europe (DATE 2017) (Lausanne). Presentation: Combining MicroTESK and SPIN for Verification of Multi-core Microprocessors
- 2016Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем» (Москва). Presentation: MicroTESK: Среда генерации тестовых программ для микропроцессоров на основе формальных спецификаций системы команд и описаний тестовых сценариев
- ISPRAS Open (Москва). Presentation: Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK
- Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Presentation: Language for Describing Templates for Test Program Generation for Microprocessors
- 2013Design, Automation, and Test in Europe (DATE 2013) (Grenoble). Presentation: Advanced Test Program Generator for Microprocessors
- 50th Design Automation Conference (DAC 2013) (Austin). Presentation: C++TESK and MicroTESK Hardware Verification Toolkits
- 2012Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2012 (Пермь). Presentation: MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors