Арвинд (специалист по информатике)

Арвинд Митал (18 мая 1947 г. — 17 июня 2024 г.), известный под мононимом Арвинд , был индийским ученым-компьютерщиком, профессором компьютерных наук и инженерии имени Джонсона в Лаборатории компьютерных наук и искусственного интеллекта (CSAIL) Массачусетского технологического института (MIT). Он был членом Института инженеров по электротехнике и электронике (IEEE) и Ассоциации вычислительной техники (ACM). Он также был избран членом Национальной инженерной академии в 2008 году ^[1] за вклад в потоки данных и многопоточные вычисления и разработку инструментов для высокоуровневого синтеза цифрового электронного оборудования.

Научные интересы Арвинда включали формальную верификацию крупномасштабных цифровых систем с использованием защищенных атомарных действий, моделей памяти и протоколов когерентности кэша для параллельных вычислительных архитектур и языков программирования . ^[2]

Прошлая работа сыграла важную роль в разработке динамических архитектур потоков данных , двух параллельных языков, Id и pH , и компиляции таких языков на параллельных машинах. ^[2]

В IIT Kanpur он получил степень бакалавра наук (B.Sc.) в области технологий (со специализацией на электротехнике ) в 1969 году. В ходе этого процесса он обнаружил, что его очень интересуют компьютеры. Затем, в Университете Миннесоты , он получил степень магистра наук (M.Sc.) в области компьютерных наук в 1972 году и степень доктора философии (Ph.D.) в области компьютерных наук в 1973 году. ^[3]

Арвинд провел свое диссертационное исследование в области операционных систем на основе математических моделей поведения программ. В Калифорнийском университете в Ирвайне , где он преподавал с 1974 по 1978 год, ^[2] он заинтересовался архитектурой компьютеров и языками программирования. ^[3]

Арвинд преподавал в кампусе ИИТ в Канпуре в 1977 и 1978 годах. ^[2] В 1978 году он присоединился к преподавательскому составу Массачусетского технологического института. ^[4] Он работал главным техническим консультантом спонсируемого ООН проекта «Компьютерные системы на основе знаний» в Индии с 1986 по 1992 год. В 1992–93 годах он был приглашенным профессором Fujitsu в Токийском университете . ^{[ требуется ссылка ]}

В 1992 году Арвинд и его команда CSAIL сотрудничали с Motorola в завершении работы над машиной Monsoon dataflow и связанным с ней программным обеспечением. Дюжина Monsoon была установлена ​​в Национальной лаборатории Лос-Аламоса и других университетах, прежде чем Monsoon ушел на пенсию в Музей компьютерной истории в Калифорнии. В 2000 году Арвинд взял двухлетний перерыв в преподавании в MIT, чтобы создать Sandburst, Inc, компанию по производству полупроводников без собственных производственных мощностей . Он был ее президентом до своего возвращения в MIT в 2002 году. ^{[ требуется цитата ]} В 2006 году Sandburst была приобретена Broadcom Corporation . ^[5]

В 2003 году он стал соучредителем Bluespec , Inc. со штаб-квартирой в Уолтеме, Массачусетс . Они производят проверенные наборы инструментов для синтеза автоматизации электронного проектирования (EDA). ^[6] Совместно с Леннартом Аугустссоном Арвинд разработал язык программирования Bluespec SystemVerilog (BSV), язык описания оборудования функционального программирования высокого уровня , который является вариантом Haskell , расширенным для управления проектированием микросхем и автоматизацией электронного проектирования в целом. ^{[7] [8] Он также работал с языком} Minispec, связанным с Bluespec . ^[9]

Он был генеральным председателем Международной конференции по суперкомпьютерам, состоявшейся в Кембридже, штат Массачусетс, в июне 2005 года. ^{[ необходима ссылка ]} Он также был председателем жюри по инжинирингу и компьютерным наукам премии Infosys с 2019 года. ^[10]

Арвинд был первым, кто занял кафедру Н. Рамы Рао на кафедре компьютерных наук и инженерии в ИИТ. Он занимал эту должность с 1998 по 1999 год. Также в это время он преподавал несколько недель в каждом семестре на кафедре CSE ИИТ в Канпуре. ^[11]

Более поздние исследования Арвинда использовали системы переписывания терминов (TRS) для высокоуровневой спецификации и описания архитектур и протоколов. Группа вычислительных структур в Массачусетском технологическом институте, которую он возглавлял, использует TRS для проектирования более быстрого оборудования и позволяет проводить более глубокое исследование конструкций. ^{[ необходима цитата ]}

Арвинд умер 17 июня 2024 года в возрасте 77 лет. ^[9]

В 2001 году Арвинд совместно с RS Nikhil опубликовал книгу « Неявное параллельное программирование в pH». «pH» — это язык программирования на основе Haskell со специальной поддержкой параллельной обработки.

Среди наиболее значимых и/или недавних статей, которые он написал или опубликовал в соавторстве:

• Джеймс Хо и Арвинд, «Описание и синтез оборудования, ориентированного на операции», IEEE TCAD, сентябрь 2004 г.
• Хари Балакришнан, Шринивас Девадас, Дуг Элерт и Арвинд, «Гарантии скорости и защита от перегрузки в коммутаторах с очередями ввода», IEEE Infocom, март 2004 г.
• Дэн Розенбанд и Арвинд, «Модульное планирование защищенных атомарных действий», DAC41, июнь 2004 г.
• Арвинд, Р. С. Нихил, Дэниел Розенбанд и Нирав Дейв, «Высокоуровневый синтез: необходимый компонент для проектирования сложных ASIC», ICCAD'04, ноябрь 2004 г.

Арвинд также входил в редколлегию нескольких журналов, включая Journal of Parallel and Distributed Computing и Journal of Functional Programming .

Арвинд получил следующие награды: премию имени Чарльза Бэббиджа от IEEE Computer Society (1994), премию выдающегося выпускника IIT Kanpur (1999), премию выдающегося выпускника Университета Миннесоты (2001) ^[12] и премию за выдающиеся достижения от Университета Миннесоты (2008). ^{[13] [14]}

В 1994 году он был избран членом IEEE, а в 2006 году — членом ACM. ^[15] В 2008 году он был избран в Национальную инженерную академию и был членом Лаборатории компьютерных наук и искусственного интеллекта (CSAIL) Массачусетского технологического института. ^[13]