===== Research projects and publications =====

{{:me:kh.jpg?nolink&150 |}}**<fs large>Anton S. Khritankov, Ph.D.</fs>** \\ Associate Professor, HSE University, MIPT \\ Project Lead, [[https://mlrep.gitlab.io/mldev|MLDev]] \\ \\
SPIN РИНЦ: [[https://elibrary.ru/author_profile.asp?authorid=969204|5374-4010]] \\
ORCID: [[https://orcid.org/0000-0003-2889-9436|0000-0003-2889-9436]] \\
Scopus AuthorID: [[https://www.scopus.com/authid/detail.uri?partnerID=HzOxMe3b&authorId=36237523300&origin=inward|36237523300]] \\
[[https://scholar.google.com/citations?user=OtxWKpMAAAAJ&hl=en|Google Scholar]] \\


----

==== Contents ====

[[#research_projects|Research projects]]

  * [[#machine_learning_and_experiment_reproducibility| Machine learning and experiment reproducibility ]]
  * [[#feedback_loops_in_machine_learning_systems| Feedback loops in machine learning systems ]]
  * [[#systems_modeling_and_verification| Systems modeling and verification ]]
  * [[#methods_for_plagiarism_detection| Methods for academic plagiarism detection ]]
  * [[#distributed_systems_performance| Distributed systems performance ]]

[[#other_publications| Other publications ]]

[[#teaching_and_courses| Teaching and courses ]]



===== Research projects =====

==== Machine learning and experiment reproducibility ====

Project dates: 2020 - now

We develop MLDev reproducibility toolkit for machine learning experiments as part of the project.

Project web page: https://mlrep.gitlab.io/mldev

Part of ODS ML4SG community: https://ods.ai/projects/mldev


[[http://objectoriented.ru/mlrep|Workshop on Experimentation in Data Science 2021]]

[[http://objectoriented.ru/mlrep-2020|Workshop on Experimentation in Data Science 2020]]


Publications

  - Khritankov, A., Pershin, N., Ukhov, N., & Ukhov, A. (2021, October). MLDev: Data Science Experiment Automation and Reproducibility Software. In International Conference on Data Analytics and Management in Data Intensive Domains (pp. 3-18). Cham: Springer International Publishing [[https://arxiv.org/abs/2107.12322|arXiv:2107.12322]].
  - Konstantin Vorontsov, Vladimir Iglovikov, Vadim Strijov, Andrey Ustuzhanin, and Anton Khritankov. Roundtable: Challenges in repeatable experiments and reproducible research in data science.Proceedings of MIPT (Trudy MFTI), 13(2):90–99, 2021. [[https://mipt.ru/upload/medialibrary/a96/09.pdf|Download from mipt.ru]]


==== Feedback loops in machine learning systems ====

Project dates: 2020 - now

The project studies effects of feedback loops in production machine learning systems.

  - Khritankov, A. (2023). Positive feedback loops lead to concept drift in machine learning systems. Applied Intelligence, 1-19. [[https://doi.org/10.1007/s10489-023-04615-3|DOI: 10.1007/s10489-023-04615-3]]
  - Khritankov, A., & Pilkevich, A. (2021). Existence conditions for hidden feedback loops in online recommender systems. In Web Information Systems Engineering–WISE 2021: 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26–29, 2021, Proceedings, Part II 22 (pp. 267-274). Springer International Publishing. [[https://doi.org/10.1007/978-3-030-91560-5_19|DOI:10.1007/978-3-030-91560-5_19]]
  - A. Khritankov. Hidden Feedback Loops in Machine Learning Systems: A Simulation Model and Preliminary Results <nowiki>//</nowiki>  International Conference on Software Quality. - vol 404. - 2021 - p. 54-65. [[https://doi.org/10.1007/978-3-030-65854-0_5|DOI: 10.1007/978-3-030-65854-0_5]] [[https://arxiv.org/abs/2101.05673|arXiv:2101.05673]]


==== Systems modeling and verification ====

Project dates: 2019 - now

The project aims at developing software modeling and verification methods. Current focus of the project is verification methods for smart contracts and blockchain systems.

  - Iakusheva, S., & Khritankov, A. (2023, September). Metamorphic Testing for Recommender Systems. In International Conference on Analysis of Images, Social Networks and Texts (pp. 281-293). Cham: Springer Nature Switzerland.
  - Iakusheva S., Khritankov A., Harbachonak D. Metamorphic testing for generative artificial intelligence systems <nowiki>//</nowiki> In System Informatics, A.P. Ershov Institute of Informatics Systems SB RAS. - 2023. - № 22. - С. 37-44.
  - Fedotov, I. A., Khritankov, A. S., & Obidare, M. D. (2023). Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems. Programming and Computer Software, 49(5), 448-454. [translation from Russian]
  - Iakusheva, S., & Khritankov, A. (2022, May). Composite metamorphic relations for integration testing. In Proceedings of the 2022 8th International Conference on Computer Technology Applications (pp. 98-105). [[https://arxiv.org/pdf/2305.00888|arXiv:2305.00888]]
  - И.А. Федотов, А.С. Хританков, М.Д. Обидаре. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра. <nowiki>//</nowiki> Программная инжерения. - № 13 (Т. 4). - 2022. - с. 200-208 [[http://www.novtex.ru/prin/rus/10.17587/prin.13.200-208.html| На сайте журнала]]
  - Fedotov, I., Khritankov, A., & Barger, A. (2022, September). Optimizing multi-party agreement protocols. In 2022 4th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS) (pp. 55-58). IEEE. [[https://ieeexplore.ieee.org/abstract/document/9909284/|View at IEEEXplore]]
  - Fedotov, I., Khritankov, A., & Barger, A. (2022, January). Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties. In 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM) (pp. 100-105). [[https://arxiv.org/pdf/2112.02397|arXiv:2112.02397]]
  - I. Fedotov, A. Khritankov. Statistical Model Checking of Common Attack Scenarios on Blockchain <nowiki>//</nowiki> In Temur Kutsia: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Hagenberg, Austria, September 8-10, 2021, Electronic Proceedings in Theoretical Computer Science 342, pp. 65–77. [[https://arxiv.org/abs/2109.02803|arXiv:2109.02803]]
  - Y. Ivanova, A. Khritankov. RegularMutator: A Mutation Testing Tool for Solidity Smart Contracts <nowiki>//</nowiki> Procedia Computer Science 178. - 2020 - p. 75-83. [[https://www.sciencedirect.com/science/article/pii/S1877050920323826|Online at SceinceDirect]]
  - Федотов И. А., Хританков А. С. Систематический обзор исследований в области автоматической верификации кода смарт-контрактов <nowiki>//</nowiki> Программная инженерия, №1. - 2020 - c. 3–13. {{ :me:smart_contract_verification.pdf | PDF}}
  - Иванова Ю. А., Хританков А.С. "Исследование применимости мутационного тестирования для повышения надежности смарт-контрактов." <nowiki>//</nowiki> In Международная научная конференция SCVRT2019" Ситуационные центры и информационно-аналитические системы класса 4i для задач мониторинга и безопасности". - 2019. - pp. 65-69.
 

==== Methods for academic plagiarism detection ====

Project dates: 2013 - 2016

A corporate research project aimed at analysing plagiarism in research publications and development of plagiarism detection methods. The main result of the project is a cross-language plagiarism detection method implemented in Antiplagiat software.

  - Романов А.В., Хританков А.С. Отбор кандидатов при поиске заимствований в коллекции документов на иностранном языке <nowiki>//</nowiki> In Интеллектуализация обработки информации ИОИ-2016ю - 2016. - с. 178-179.
  - Romanov A. V., Kuznetsova M. V., Bakhteev O. Yu., Khritankov A. S. Machine-Translated Text Detection in a Collection of Russian Scientific Papers <nowiki>//</nowiki> Компьютерная лингвистика и интеллектуальные технологии: По материалам ежегодной Международной конференции «Диалог» (Москва, 1—4 июня 2016 г.). Вып. 15 (22)<nowiki>. — М.:</nowiki> Изд-во РГГУ, 2016.- с. 578-589. [[http://www.dialog-21.ru/media/3794/romanov.pdf|PDF]]
  - O. Bakhteev, R. Kuznetsova, A. Romanov and A. Khritankov, "A monolingual approach to detection of text reuse in Russian-English collection," Artificial Intelligence and Natural Language and Information Extraction, Social Media and Web Search FRUCT Conference (AINL-ISMW FRUCT), 2015, St. Petersburg, 2015, pp. 3-10. <nowiki>doi: 10.1109/AINL-ISMW-FRUCT.2015.7382960</nowiki>
  - A. S. Khritankov, P. V. Botov, N. S. Surovenko, S. V. Tsarkov, D. V. Viuchnov and Y. V. Chekhovich, "Discovering text reuse in large collections of documents: A study of theses in history sciences," Artificial Intelligence and Natural Language and Information Extraction, Social Media and Web Search FRUCT Conference (AINL-ISMW FRUCT), 2015, St. Petersburg, 2015, pp. 26-32. <nowiki>doi: 10.1109/AINL-ISMW-FRUCT.2015.7382965</nowiki> [[https://www.fruct.org/publications/ainl-fruct/files/Khr.pdf|PDF]]
  - Ботов П.В., Вьючнов Д.В., Суровенко Н.С., Хританков А.С., Царьков С.В., Чехович Ю.В. Структуры заимствований в диссертациях по историческим наукам <nowiki>//</nowiki> Электронные библиотеки: перспективные методы и технологии, электронные коллекции: XVI Всероссийская научная конференция RCDL-2014 (Дубна, 13-16 октября 2014 г.): труды конференции. – Дубна: ОИЯИ, 2014. – С. 303-309.  

==== Distributed systems performance ====

Project dates: 2005 - 2011

The project aimed at developing load distribution algorithms and load measurements models. The main results of the project are optimal load balancing algorithms for web server farms, load balancing algorithms for A*-like search algorithms for parallel computing systems and a performance evaluation model for distirbuted Grid systems.

Main results have been achieved while studying at [[http://mpit.ru|MIPT]].


=== 2011 ===
  - Хританков А.С. Метод анализа производительности распределенных приложений на основе эталонных моделей <nowiki>//</nowiki> Параллельные вычислительные технологии (ПаВТ-2011): труды международной научной конференции (Москва, 28 марта - 1 апреля 2011 г.) [Электронный ресурс] Челябинск: Издательский центр ЮУрГУ, 2011. - 730 с. [[http://omega.sp.susu.ru/books/conference/PaVT2011/full/147.pdf|PDF]]. - сс. 343-351.

=== 2010 ===
  - Хританков А.С. Модель оценки эффективности распределенных приложений в среде «СКИФ-ГРИД». <nowiki>//</nowiki> Современные информационные технологии и ИТ-образование. Сборник докладов научно-практической конференции: учебно-методическое пособие. Под ред. проф. В. А. Сухомлина. – М.: ИНТУИТ.РУ, 2010. – 640 с. – c. 612-620. 
  - Хританков А.С. Математическая модель характеристик производительности распределённых вычислительных систем <nowiki>//</nowiki> ТРУДЫ МФТИ. — 2010. — Том 2, № 1(5). — с. 110-115.
  - Хританков А.С. Оценка эффективности распределенных систем при решении задач переменного размера. <nowiki>//</nowiki> Научно-технический вестник СПбГУ ИТМО. – 2010. – № 2(66). – с. 66-71.
  - Хританков А.С. Анализ эффективности распределенного решения некоторых видов задач глобальной оптимизации <nowiki>//</nowiki> Тезисы докладов 17-ой Международной научной конференции «Математика. Компьютер. Образование» (25-30 января 2010). – Ижевск: РХД, 2010. – с. 190.

=== 2009 ===
  - Хританков А.С. Модели и алгоритмы распределения нагрузки. Алгоритмы на основе сетей СМО <nowiki>//</nowiki> Информационные технологии и вычислительные системы. – 2009. – № 3. – с. 33-48. [[http://www.isa.ru/jitcs/images/stories/2009/03/33_48.pdf|PDF]]
  - Хританков А.С. Модели и алгоритмы балансировки нагрузки. Модели коллектива вычислителей. Модели с соперником <nowiki>//</nowiki> Информационные технологии и вычислительные системы. – 2009. – № 2. – с. 65-80. [[http://www.isa.ru/jitcs/images/stories/2009/02/65_80.pdf|PDF]]
  - Афанасьев А.П., Посыпкин М.А., Хританков А.С. Аналитическая модель оценки производительности распределенных систем <nowiki>//</nowiki> Программные продукты и системы. – 2009. – № 4. – с. 60-64.
  - A.S. Khritankov. Performance model for distributed systems. <nowiki>//</nowiki> Research poster at International Supercomputing Conference 2009, Hamburg, Germany. Скачать копию.
  - Хританков А.С. Об одном алгоритме балансировки вычислительной нагрузки в распределенных системах <nowiki>//</nowiki> Параллельные вычислительные технологии (ПаВТ’2009): Труды международной научной конференции (Нижний Новгород, 30 марта – 3 апреля 2009 г.). – Челябинск: Изд. ЮУрГУ, 2009. – 839 с. – c. 778-783. Скачать
  - Хританков А.С. Оценка эффективности распределённых систем при решении задач переменного размера <nowiki>//</nowiki> Труды 52-й научной конференции МФТИ «Современные проблемы фундаментальных и прикладных наук». Часть IX. Инновации и высокие технологии. – 2009. – с. 32-35.
  - Хританков А.С. Анализ производительности распределенных вычислительных комплексов на примере системы X-Com <nowiki>//</nowiki> Труды Всероссийской суперкомпьютерной конференции «Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность» (г. Новороссийск, 21-26 сентября 2009 г.). – 2009. – с. 46-52.
  - Хританков А.С. Анализ эффективности системы метакомпьютинга X-Com в эксперименте по докингу протеин-лиганд <nowiki>//</nowiki> Современные информационные технологии и ИТ-образование. Сборник докладов научно-практической конференции: учебно-методическое пособие. Под ред. проф. В. А. Сухомлина. – М.: ИНТУИТ.РУ, 2009. – 848 с. – c. 799-806.

=== 2008 ===
  - Хританков А.С. Оценка характеристик производительности распределенных вычислительных систем <nowiki>//</nowiki> Труды XV Научной конференции студентов, аспирантов и молодых ученых «Ломоносов». – 2008. – с. 53-54.
  - Посыпкин М.А., Хританков А.С. О понятии ускорения и эффективности в распределенных системах <nowiki>//</nowiki> Труды Всероссийской научной конференции «Научный сервис в сети Интернет: решение больших задач». – 2008. – с. 149-155.
  - Посыпкин М.А., Хританков А.С. О понятии производительности в распределенных вычислительных системах <nowiki>//</nowiki> Труды ИСА РАН. – 2008. – Т. 32. – c. 26-32.
  - Хританков А.С. О характеристиках производительности распределенных систем <nowiki>//</nowiki> Труды 51-ой научной конференции МФТИ. – 2008.

=== 2007 ===
  - Хританков А.С. Математическая модель характеристик производительности распределенных вычислительных систем <nowiki>//</nowiki> Труды 50-й научной конференции МФТИ. – 2007. – с. 86-88.
  - Хританков А.С. Способ балансировки нагрузки при распределенном решении задач оптимизации методом ветвей и границ <nowiki>//</nowiki> [[http://urss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=66913|Труды международной конференции САИТ-2007]], Т. 2. – 2007. – с. 247-251. {{:me:khritankov_bnb.pdf|PDF}}

=== 2006 ===
  - Хританков А.С. Механизм распределенных вычислений методом ветвей и границ <nowiki>//</nowiki> Труды 49-ой Научной Конференции МФТИ, 2006.
  - Хританков А.С. Distributed Benchmark. Система исследования алгоритмов распределения нагрузки в распределенных вычислительных системах на основе CORBA. <nowiki>//</nowiki> Труды 49-ой Научной Конференции МФТИ, 2006.

=== 2005 ===
  - Хританков А.С. Сложности балансировки сессионной нагрузки <nowiki>//</nowiki> Труды 48-ой Научной Конференции МФТИ, 2005.
  - Хританков А.С. Оптимальное распределение нагрузки открытого типа на совокупность разнородных узлов. <nowiki>//</nowiki> Труды Международной конференции САИТ-2005, Переславль, 2005. - с. 229-235. Скачать препринт статьи. {{:me:khritankov-optimallb-sait2005.pdf|PDF}}, {{:me:конференция_слайды_pic.pdf|слайды}}


===== Other publications =====

  - Tatiana Kuvshinova and Anton Khritankov. 2019. Improving a Language Model Evaluator for Sentence Compression Without Reinforcement Learning. In Proceedings of the Tenth International Symposium on Information and Communication Technology (SoICT 2019). Association for Computing Machinery, New York, NY, USA, 92–97. <nowiki>DOI:https://doi.org/10.1145/3368926.3369713</nowiki>
  - Хританков А.С. Сценарная оценка возможных архитектурных изменений на примере одного класса программ анализа данных. <nowiki>//</nowiki> Современные информационные технологии и ИТ-образование [Текст] / Сборник избранных трудов VIII Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. - М.: ИНТУИТ.РУ, 2013. – 829 с. – с. 414-421.
  - А. С. Хританков. Линейки программных продуктов: современное состояние и стандарты <nowiki>//</nowiki> Программная инженерия. - 2017. - № 9. - с. 387–395. {{:me:khritankov-sple-20170606-7-site.pdf|PDF}}
  - Khritankov A. An Approach to Software Project Feasibility Study Using Stochastic Risk Model during Proposal Preparation <nowiki>//</nowiki> In Proceedings of The 5th Central and Eastern European Software Engineering Conference in Russia 2009 (CEE-SECR’2009), Moscow, Russia, October 28th-29th, 2009. - IEEE, 2010. - pp. 37-42.
  -     Белавина Е.В., Леонова М.В., Ткачман Г.Д., Хританков А.С. Конкурсный механизм многокритериального отбора инвестиционно-привлекательных проектов для бизнес-инкубатора МФТИ <nowiki>//</nowiki> Труды 49-ой Научной Конференции МФТИ, 2006.

===== Teaching and courses =====

  - [[:asd|Course Advanced Software Design (2021-now)]]
  - [[:pps-new|Курс Проектирование программных систем (2009-now)]]
  - [[apmdd:seminar|Машинное обучение в программной инженерии (2017-now)]]
  - [[apmdd:spring2016|Course "Programming automation" (2014-2016)]]
  - [[seml:seml|Программная инженерия для анализа данных (2017-now)]]
  - [[https://openedu.ru/course/hse/ARSD/|Анализ требований для разработчиков ПО (2023-now, online course)]]
==== Books ====

  - [[:pps-book|Хританков А.С., Полежаев В.А., Андрианов А.И. Сборник задач по проектированию программных систем. 2-е. изд. – Екатеринбург: Издательские решения, 2017. – 240 с.; ил. ISBN 978-5-4485-7954-7]]
  - [[:pps-book|Хританков А.С., Штукатуров А.Н., Андрианов А.И. Сборник задач по проектированию программных систем. – М.:  2012. – 104 с.; ил. ISBN 978-5-9903923-1-1]]

==== Research publications ====

  - Хританков А.С. Опыт обучения методам проектирования программных систем. <nowiki>//</nowiki> Программная инженерия. - 2012. - № 4. - с. 44-47.

==== Tutorials and teaching aids ====

  - Межуев И.Ю., Хританков А.С. Проектирование пакетов : учеб.-метод. пособие. - М.: МФТИ, 2019. - 38 с.
  - Хританков А.С. Принципы объектно-ориентированного проектирования : учеб.-метод. пособие. – М.: МФТИ, 2016. – 32 с.
  - Хританков А.С. Командный проект по объектно-ориентированному проектированию: Методическое пособие − М.: МФТИ, 2012. − 35 с.
  - Хританков А.С. Объектно-ориентированные технологии проектирования и язык UML. Учебно-методическое пособие. – М.: МФТИ, 2012.