По существу это была первая в нашей стране полнофункциональная операционная система для серийной ЭВМ, поддерживавшая мультипрограммный режим работы, пакетную обработку и режим разделения времени. За ней последовали ОС ИПМ для БЭСМ-6 (И. Б. Задыхайло) и другие, о которых уже было упомянуто.
Работы отдела М. Р. Шуры-Буры по языкам и системам программирования были начаты еще в 50-х годах с использованием операторного программирования на основе теории схем программ А. А. Ляпунова.
Результаты пионерских работ по автоматизации программирования были опубликованы в 1958 г.: М. Р. Шура-Бура, С. С. Камынин, Э. З. Любимский. Об автоматизации программирования при помощи программирующей программы. Проблемы кибернетики. Статью "Особенности программирующей программы для машины "Стрела-4"" М. Р. Шура-Бура опубликовал совместно с Н. П. Трифоновым в сборнике "Системы автоматизации программирования" в 1961 г.
В 1963 г. под руководством М. Р. Шуры-Буры был создан один из трех трансляторов с языка АЛГОЛ-60 для ЭВМ М-20 – транслятор ТА-2 с полной версией языка АЛГОЛ-60. За ним последовали системы программирования для БЭСМ-6 и других ЭВМ.
Концепция создания интегрированных систем программирования на базе общего промежуточного языка АЛМО (АЛгоритмический Машинно-Ориентированный) и прекомпиляторов с нескольких входных языков была предложена и развита Э. З. Любимским и С. С. Камыниным, сотрудниками отдела М. Р. Шуры-Буры.
В 80-х годах инструментом системного программирования для разработки компиляторов в ИПМ стал язык РЕФАЛ. Язык РЕФАЛ и его реализация были разработаны В. Ф. Турчиным, тогда сотрудником отдела М. Р. Шуры-Буры.
Технология РЕФАЛ была применена при создании компиляторов ФОРТРАН для ЭВМ ПС-3000, ЕС-1191, масштабируемого компилятора бортового модуля программного обеспечения космического корабля «Буран», программного обеспечения изделий специализированной техники "Булат 2", "Булат 3" (похожих на STARAN).
Технология РЕФАЛ имела успех вплоть до 1993 г., пока в стране разрабатывалась отечественная вычислительная техника и была потребность в создании собственных компиляторов.
Работы, связанные с языком РЕФАЛ, продолжаются в ИПМ и в настоящее время.
Другим направлением деятельности отдела М. Р. Шуры-Буры в области языков и систем программирования было создание и реализация непроцедурного языка программирования "Норма".
Эти работы были выполнены под руководством И. Б. Задыхайло. Они были направлены на решение проблемы высокоуровневого синтеза при проектировании прикладных программ.
Широкую известность в стране и за рубежом получили исследования в области теории сложности вычислений и логических программ. Многие результаты, полученные в ИПМ в этой области, стали теоретической базой для создания крупных инструментальных систем автоматизации логического программирования. В частности, такой системой является «ГЕСИОД», синтезирующая логические программы на основе их действующих прототипов.