Рецензия на бакалаврскую работу студента математико-механического факультета Ефремова Ростислава Сергеевича “Поиск состояний гонки в приложениях, исполняемых в среде ОС z/OS”  В представленной работе автор ставит и решает задачу обоснованного выбора способа обнаружения гонок в среде ОС z/OS и разработке программной реализации соответствующего детектора.  В первой части работы последовательно и рассмотрены существующие подходы к автоматическому обнаружению гонок и аккуратно проанализированы возможные проблемы, которые могут возникнуть из-за специфики выбранной операционной системы. Во второй части автор сконцентрировался на описании реализации детектора и решении основных технических сложностей. В заключении работы указаны пути дальнейшего развития и доработки полученной утилиты.  В целом работа производит очень положительное впечатление. В достаточной мере рассмотрены основные актуальные алгоритмы статического и динамического анализа. Аргументированно обоснован выбор конкретного алгоритма как наиболее приемлемого по совокупности критериев в выбранной программной среде. Схема работы детектора представлена в понятном виде и снабжена необходимыми пояснениями. Грамотно обоснованы основные принятые технические решения и проанализирована их эффективность с точки зрения производительности.  Из недостатков работы можно выделить следующие. 1.	Недостаточно описан итоговый выбранный алгоритм DataCollider. Опущена основная часть – а как он, собственно, находит гонки.  2.	В работе приведены результаты применения детектора только на одном приложении. Хотелось бы увидеть информацию о гонках в других приложениях и их анализ, классификацию и т.д. 3.	В программировании допустимо и даже общепринято употребление многих англицизмов, но некоторые слова типа “реентерабельность”, “детекция” и “екстент” являются откровенной калькой, а их использование затрудняет восприятие текста.  Перечисленные недостатки не влияют на общее высокое качество работы. Поставленые задачи решены, а результаты описаны грамотным языком в хорошо структурированной форме. Считаю, что работа заслуживает оценки “отлично”.   ст. инженер-программист ООО “Эксперт-Система”, к.т.н.   Трифанов Виталий Юрьевич