Анил Мадхавапедди
Анил Мадхавапедди | |
|---|---|
 Анил Мадхавапедди | |
| Гражданство | ирландский |
| Альма-матер |
|
| Научная карьера | |
| Поля | |
| Учреждения | Кембриджский университет Докер |
| Диссертация | Создание высокопроизводительных статически типобезопасных сетевых приложений (2006 г.) |
| Докторантура | Энди Хоппер и Дэвид Гривз |
| Веб-сайт | https://www.cst.cam.ac.uk/people/avsm2 |
Анил Мадхавапедди — профессор планетарных вычислений на факультете компьютерных наук и технологий Кембриджского университета , член Пембрук-колледжа в Кембридже и научный сотрудник Дж. М. Кейнса. [1] Он является директором-основателем Кембриджского центра углеродных кредитов. [2] целью которого является распределение средств, полученных за счет продажи углеродных кредитов, поддающимся проверке способом. [3]
Образование
[ редактировать ]Мадхавапедди окончил Имперский колледж Лондона в 1999 году. [ нужна ссылка ] и получил степень доктора компьютерных наук в Кембриджском университете в 2006 году за исследования языков программирования и операционных систем под руководством Энди Хоппера и Дэвида Гривза. [4]
Исследования и преподавание
[ редактировать ]Мадхавапедди — автор книги Real World OCaml, второе издание которой было опубликовано в октябре 2022 года издательством Cambridge University Press . [5] с более ранним изданием O'Reilly Media в 2013 году . [6] RWO использовался в качестве текста в курсах информатики, таких как COS326 в Принстоне , [7] Корнелла CS6110 [8] и UPenn ’s CIS 120. [9] В Кембридже Анил преподает курс «Основы информатики». [10] в программе Computer Science Tripos, посвященной функциональному программированию . Среди прошлых лекторов этого курса Лоуренс Полсон , Алан Майкрофт и Аманда Пророк.
Мадхавапедди в первую очередь исследует языки программирования и операционные системы . Он является одним из главных создателей операционных систем unikernel- библиотеки. [11] [12] [13] и исследовал параллелизм [14] и системы эффектов [15] для функциональных языков, таких как OCaml .
Последний проект Мадхавапедди — это сотрудничество со Шринивасаном Кешавом и Эндрю Балмфордом по поддающимся проверке углеродным кредитам для природных решений . [16] который рассматривается как альтернатива криптовалютным токенам [17]
Промышленность
[ редактировать ]Мадхавапедди внес существенный вклад в разработку программного обеспечения с открытым исходным кодом, такого как MirageOS . [18] [19] [20] ОКамл , [21] Докер , Зен [22] и OpenBSD . [23] [24] В настоящее время он является членом совета Тезос . Фонда [25] [26] и консультативный совет OpenUK. [27] Он стал соучредителем Unikernel [28] Systems в 2015 году, которая была приобретена Docker в 2016 году. [29] [30] где он работал сопровождающим Docker , внедряя такие технологии, как HyperKit, [31] VPNKit [32] и датакит [33] это сделало возможным Docker для настольных компьютеров. [34] [35]
Мадхавапедди был старшим специалистом по сопровождению OCaml с 2011 года, где он помогал в разработке менеджера пакетов OCaml . [36] экосистема инструментов, [37] [38] а также поддержка многоядерного параллелизма и обработчиков эффектов в OCaml 5.0. [39] Он опубликовал более 150 библиотек программного обеспечения для OCaml. [40]
В 2003 году он стал соучредителем High Energy Magic Ltd. [41] с Эбеном Аптоном и другими, что было ранней реализацией интерактивных штрих-кодов в телефонах с камерой. [42] [43] и позже коммерциализирован как ShotCodes .
Мадхавапедди также входил в основную команду проекта «Орда» с 1999 по 2008 год. [44] где он участвовал в разработке клиента веб-почты IMP и средства просмотра Chora CVS. [45]
он работал над наземными системами данных Mars Polar Lander . В 1998 году [46] [47] а затем в NetApp для развертывания первых сетей доставки контента с использованием NetCache. [48]
Внешние ссылки
[ редактировать ]- Персональный сайт
- Страница факультета Кембриджского университета
- Страница факультета Пембрук-Колледжа
Ссылки
[ редактировать ]- ^ Мату, Шакира (27 октября 2020 г.). «Стипендиаты Дж. М. Кейнса» . www.cshss.cam.ac.uk .
- ^ Мадхавапедди, Анил (2 ноября 2021 г.). «Профессор Анил Мадхавапедди» . 4c.cst.cam.ac.uk.
- ^ Нун, Грег (17 марта 2022 г.). «Может ли криптовалюта спасти планету?» . Технический монитор . Проверено 8 февраля 2023 г.
- ^ Мадхавапедди, Анил (2010). Создание высокопроизводительных статически типобезопасных сетевых приложений . cl.cam.ac.uk (кандидатская диссертация). Кембриджский университет.
- ^ Мадхавапедди, Анил; Минский, Ярон (сентябрь 2022 г.). Реальный мир OCaml (2-е изд.). Кембридж: Издательство Кембриджского университета . ISBN 9781009129220 .
- ^ Мински, Ярон; Мадхавапедди, Анил; Хики, Джейсон (декабрь 2013 г.). Реальный мир OCaml (1-е изд.). О'Рейли Медиа . ISBN 9781449323912 .
- ^ «COS 326: Функциональное программирование (осень 2016 г.)» . www.cs.princeton.edu .
- ^ «CS 6110: Ресурсы» . www.cs.cornell.edu .
- ^ «Ресурсы СНГ120» . www.cis.upenn.edu .
- ^ «Кафедра компьютерных наук и технологий - Страницы курса 2019–20: Основы информатики» . www.cl.cam.ac.uk. Проверено 27 января 2020 г.
- ^ Мадхавапедди, Анил; Скотт, Дэвид Дж. (15 декабря 2013 г.). «Юникеры: развитие операционной системы виртуальной библиотеки» . Очередь АКМ . 11 (11): 30–44. дои : 10.1145/2557963.2566628 . ISSN 1542-7730 . S2CID 29494014 . Проверено 9 января 2023 г.
- ^ Мадхавапедди, Анил; Мортье, Ричард; Ротсос, Харалампос; Скотт, Дэвид; Сингх, Балрадж; Газаньер, Томас; Смит, Стивен; Хэнд, Стивен; Кроукрофт, Джон (16 марта 2013 г.). «Unikernels: библиотеки операционных систем для облака» . Новости компьютерной архитектуры ACM SIGARCH . 41 (1): 461–472. дои : 10.1145/2490301.2451167 . ISSN 0163-5964 . Проверено 9 января 2023 г.
- ^ Мадхавапедди, Анил; Леонард, Томас; Скьегстад, Магнус; Газаньер, Томас; Шитс, Дэвид; Скотт, Дэйв; Мортье, Ричард; Чаудри, Амир; Сингх, Балрадж; Лудлам, Джон; Кроукрофт, Джон; Лесли, Ян (4 мая 2015 г.). «Джитсу: своевременный вызов юникеров». Материалы 12-й конференции USENIX по проектированию и внедрению сетевых систем . НСДИ'15. США: Ассоциация USENIX. стр. 559–573. ISBN 978-1-931971-21-8 .
- ^ Сиварамакришнан, КЦ; Долан, Стивен; Белый, Лео; Джаффер, Садик; Келли, Том; Саху, Анмол; Паримала, Судха; Дхиман, Атул; Мадхавапедди, Анил (3 августа 2020 г.). «Модернизация параллелизма в OCaml» . Труды ACM по языкам программирования . 4 (ICFP): 113–1–113:30. arXiv : 2004.11663 . дои : 10.1145/3408995 . S2CID 216144811 . Проверено 9 января 2023 г.
- ^ Сиварамакришнан, КЦ; Долан, Стивен; Белый, Лео; Келли, Том; Джаффер, Садик; Мадхавапедди, Анил (18 июня 2021 г.). «Модернизация обработчиков эффектов в OCaml» . Материалы 42-й Международной конференции ACM SIGPLAN по проектированию и реализации языков программирования . PLDI 2021. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 206–221. arXiv : 2104.00250 . дои : 10.1145/3453483.3454039 . ISBN 978-1-4503-8391-2 .
- ^ «Кембриджский центр углеродных кредитов (4C)» . 4c.cst.cam.ac.uk.
- ^ Дханеша, Нил (26 мая 2022 г.). «Новый криптопроект соучредителя WeWork Адама Неймана звучит как мошенничество внутри мошенничества» . Вокс .
- ^ Роберт Блюман (май 2014 г.). «Анил Мадхавапедди об операционной системе Mirage Cloud и языке OCaml» . сайт (подкаст).
- ^ «Интервью с Анилом Мадхавапедди и Ричардом Мортье, MirageOS: компиляция функциональных библиотек операционных систем» . archive.fosdem.org .
- ^ Рэндал Шварц (июль 2014 г.). «FLOSS Weekly 302 OpenMirage» . сайт (подкаст).
- ^ «Управление OCaml.org» . ОКамл .
- ^ Курт, Ларс (23 февраля 2017 г.). «MirageOS от Xen Project расширяет свою экосистему в последней версии» .
- ^ «Статистика openbsd» . оксид.орг .
- ^ «OpenBSD: Инновации» . www.openbsd.org .
- ^ «О Фонде Тезос» . Фонд Тезос .
- ^ «Анил Мадхавапедди — член совета Фонда Тезос» . ОРГ .
- ^ «Консультативный совет по устойчивому развитию» . OpenUK.
- ^ МСВ, Джанакирам. «Unikernels — новый блестящий объект в облаке» . Форбс . Проверено 8 февраля 2023 г.
- ^ «Docker приобретает системы Unikernel, выходящие за рамки контейнеров» . Техкранч . Январь 2016.
- ^ «Почему присоединение Unikernel Systems к Docker имеет большой смысл? — Высокая масштабируемость —» . highscalability.com .
- ^ "моби/гиперкит" . 2 января 2023 г. – через GitHub.
- ^ «Сетевые устройства с поддержкой VPN для HyperKit» . 3 января 2023 г. – через GitHub.
- ^ «Улучшение Docker с помощью Unikernels: представление HyperKit, VPNKit и DataKit» . www.docker.com . Докер. 18 мая 2016 г.
- ^ Ярон Мински (ноябрь 2021 г.). «Что такое операционная система?» . сайт (подкаст). Джейн Стрит Кэпитал .
- ^ Функциональные возможности Docker для Mac и Windows на YouTube.
- ^ «opam — менеджер пакетов для OCaml» . 24 февраля 2023 г. – через GitHub.
- ^ «ОКамл Лабс» . anil.recoil.org .
- ^ «Семинар пользователей и разработчиков OCaml 2012» . ОКамл .
- ^ «Темы с тегами multicore-monthly» . ОКамл .
- ^ «Пакеты OCaml · Результат поиска» . ОКамл .
- ^ ООО, проверка компании. «HIGH ENERGY MAGIC LIMITED. Бесплатное бизнес-резюме, взятое из официальной информации компаний. Бесплатные оповещения. Зарегистрировано как 04752113» . Проверка компании .
- ^ «Снимки с камеры телефона соединяют точки» . Нью-Йорк Таймс . Октябрь 2004 года.
- ^ «Из креветки времени» . Проводной . Июнь 2004 года.
- ^ «Команда — Проект Орда» . www.horde.org .
- ^ «Авторы — Хора — Проект Орда» . www.horde.org .
- ^ "Зеркало сайта Mars Polar Lander 1998" . Институт космических исследований .
- ^ Доэрти, Н.; А. Мадхавапедди. Применение распределенного ускорения веб-сайтов: Mars Polar Lander (PDF) (Технический отчет). НетАпп .
- ^ Мадхавапедди, А.; А. Кривелли. Как построить сеть доставки контента (PDF) (технический отчет). НетАпп .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
