Anil Madhavapeddy

Anil Madhavapeddy
Anil Madhavapeddy
Anil Madhavapeddy
시민권아일랜드의
모교
과학경력
필드
기관케임브리지 대학교
도커
논문정적으로 유형이 안전한 고성능 네트워크 애플리케이션 생성 (2006)
박사지도교수앤디 호퍼와 데이비드 그리브스
웹사이트https://www.cst.cam.ac.uk/people/avsm2

Anil Madhavapeddy는 캠브리지 대학의 컴퓨터 과학 기술부의 행성 컴퓨팅 교수이며, 캠브리지의 펨브로크 칼리지의 연구원이며, JM 케인스의 연구원입니다.[1] 그는 Cambridge Centre for Carbon Credits의 창립 이사로,[2] 탄소 배출권 판매를 통해 조달된 자금을 검증 가능한 방식으로 분배하는 것을 목표로 하고 있습니다.[3]

교육

Madhavapeddy는 1999년에 Imperial College London을 [citation needed]졸업하고 2006년에 Andy Hopper와 David Greaves가 감독하는 프로그래밍 언어와 운영 체제에 대한 연구로 캠브리지 대학에서 컴퓨터 과학 박사 학위를 취득했습니다.[4]

연구와 교육

Anil은 Real World Ocaml의 저자이며, 2022년 10월 캠브리지 대학 출판부가 발행한 두 번째 판,[5] 2013년 O'Reilly Media가 이전 판을 발행했습니다.[6] RWO는 Princeton의 [7]COS326, Cornell의 CS6110[8] 및 Upen의 CIS 120과 같은 컴퓨터 과학 과정에서 텍스트로 사용되었습니다.[9] 캠브리지에서 Anil은 기능 프로그래밍을 소개하는 컴퓨터 과학 트라이포스에서 컴퓨터 과학 기초 과정을[10] 가르칩니다. 이 강의의 과거 강사로는 로렌스 폴슨, 앨런 마이크로프트, 아만다 프로록 등이 있습니다.

Madhapeddy는 주로 프로그래밍 언어와 운영 체제를 연구합니다. 그는 유니커널 라이브러리 운영체제의 주요 제작자 중 [11][12][13]한 명이며, OCaml과 같은 기능 언어에 대한 병렬[14] 및 효과[15] 시스템을 연구했습니다.

Madhavapeddy의 최근 프로젝트는 Sriniivasan Keshav 및 Andrew Balmford와 함께 자연 기반 솔루션의 검증 가능한 탄소 크레딧에 대한 협업으로,[16] 암호화폐 토큰의[17] 대안으로 여겨졌습니다.

산업

Madhavapeddy는 MirageOS,[18][19][20] OCaml,[21] Docker, Xen[22] 및 OpenBSD와 같은 오픈 소스 소프트웨어에 상당한 기여를 했습니다.[23][24] 그는 현재 Tezos Foundation과[25][26] OpenUK의 자문 이사회에서 평의원으로 일하고 있습니다.[27] 그는 2015년[28] 유니커널 시스템즈를 공동 설립했으며, 2016년[29][30] 도커 유지보수 담당자로 인수되어 도커 for Desktop을[32] 가능하게 한 [31]하이퍼킷, VPNKit, DataKit[33] 등의 기술을 선보였습니다.[34][35]

Madhapeddy는 2011년부터 OCaml의 수석 유지 관리자로 근무해 왔으며,[37][38] OCaml 5.0의 멀티코어 병렬화 및 효과 처리기 지원뿐만 아니라 OCaml Package Manager,[36] 툴링 에코시스템을 개발하는 데 도움을 주었습니다.[39] 그는 OCaml을 위한 150개 이상의 소프트웨어 라이브러리를 출판했습니다.[40]

그는 2003년에[41] Eben Upton 등과 함께 High Energy Magic Ltd를 공동 설립했습니다. 이는 카메라[42][43] 폰에 대화형 바코드를 초기에 구현한 것이었고 나중에 ShotCodes로 상업화되었습니다.

Madhavapeddy는 1999년부터 2008년까지 Horde 프로젝트의 핵심 팀에서 근무하며 [44]IMP 웹메일 클라이언트와 Chora CVS 뷰어 개발을 도왔습니다.[45]

1998년에는[46][47] Mars Polar Lander 지상 데이터 시스템에서 근무했으며, 이후 NetApp에서 NetCache를[48] 사용하여 초기 컨텐츠 전송 네트워크를 구축했습니다.

외부 링크

참고문헌

  1. ^ Matu, Shakira (27 October 2020). "J M Keynes Fellows". www.cshss.cam.ac.uk.
  2. ^ Madhavapeddy, Anil (2 November 2021). "Professor Anil Madhavapeddy". 4c.cst.cam.ac.uk.
  3. ^ Noone, Greg (17 March 2022). "Can crypto save the planet?". Tech Monitor. Retrieved 8 February 2023.
  4. ^ Madhavapeddy, Anil (2010). Creating high-performance, statically type-safe network applications. cl.cam.ac.uk (PhD thesis). University of Cambridge.
  5. ^ Madhavapeddy, Anil; Minsky, Yaron (September 2022). Real World OCaml (2nd ed.). Cambridge: Cambridge University Press. ISBN 9781009129220.
  6. ^ Minsky, Yaron; Madhavapeddy, Anil; Hickey, Jason (December 2013). Real World OCaml (1st ed.). O'Reilly Media. ISBN 9781449323912.
  7. ^ "COS 326: Functional Programming (Fall 2016)". www.cs.princeton.edu.
  8. ^ "CS 6110: Resources". www.cs.cornell.edu.
  9. ^ "CIS120 Resources". www.cis.upenn.edu.
  10. ^ "Department of Computer Science and Technology – Course pages 2019–20: Foundations of Computer Science". www.cl.cam.ac.uk. Retrieved 27 January 2020.
  11. ^ Madhavapeddy, Anil; Scott, David J. (15 December 2013). "Unikernels: Rise of the Virtual Library Operating System". ACM Queue. 11 (11): 30–44. doi:10.1145/2557963.2566628. ISSN 1542-7730. S2CID 29494014. Retrieved 9 January 2023.
  12. ^ Madhavapeddy, Anil; Mortier, Richard; Rotsos, Charalampos; Scott, David; Singh, Balraj; Gazagnaire, Thomas; Smith, Steven; Hand, Steven; Crowcroft, Jon (16 March 2013). "Unikernels: library operating systems for the cloud". ACM SIGARCH Computer Architecture News. 41 (1): 461–472. doi:10.1145/2490301.2451167. ISSN 0163-5964. Retrieved 9 January 2023.
  13. ^ Madhavapeddy, Anil; Leonard, Thomas; Skjegstad, Magnus; Gazagnaire, Thomas; Sheets, David; Scott, Dave; Mortier, Richard; Chaudhry, Amir; Singh, Balraj; Ludlam, Jon; Crowcroft, Jon; Leslie, Ian (4 May 2015). "Jitsu: just-in-time summoning of unikernels". Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation. NSDI'15. USA: USENIX Association. pp. 559–573. ISBN 978-1-931971-21-8.
  14. ^ Sivaramakrishnan, KC; Dolan, Stephen; White, Leo; Jaffer, Sadiq; Kelly, Tom; Sahoo, Anmol; Parimala, Sudha; Dhiman, Atul; Madhavapeddy, Anil (3 August 2020). "Retrofitting parallelism onto OCaml". Proceedings of the ACM on Programming Languages. 4 (ICFP): 113–1–113:30. doi:10.1145/3408995. S2CID 216144811. Retrieved 9 January 2023.
  15. ^ Sivaramakrishnan, KC; Dolan, Stephen; White, Leo; Kelly, Tom; Jaffer, Sadiq; Madhavapeddy, Anil (18 June 2021). "Retrofitting effect handlers onto OCaml". Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI 2021. New York, NY, USA: Association for Computing Machinery. pp. 206–221. arXiv:2104.00250. doi:10.1145/3453483.3454039. ISBN 978-1-4503-8391-2.
  16. ^ "Cambridge Centre for Carbon Credits (4C)". 4c.cst.cam.ac.uk.
  17. ^ Dhanesha, Neel (26 May 2022). "WeWork co-founder Adam Neumann's new crypto project sounds like a scam within a scam". Vox.
  18. ^ Robert Bluman (May 2014). "Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language". website (Podcast).
  19. ^ "Interview with Anil Madhavapeddy and Richard Mortier, MirageOS: compiling functional library operating systems". archive.fosdem.org.
  20. ^ Randal Schwartz (July 2014). "FLOSS Weekly 302 OpenMirage". website (Podcast).
  21. ^ "OCaml.org governance". OCaml.
  22. ^ Kurth, Lars (23 February 2017). "Xen Project's MirageOS Expands its Ecosystem in Latest Release".
  23. ^ "openbsd stats". oxide.org.
  24. ^ "OpenBSD: Innovations". www.openbsd.org.
  25. ^ "About the Tezos Foundation". Tezos Foundation.
  26. ^ "Anil Madhavapeddy - Council Member at Tezos Foundation". THE ORG.
  27. ^ "Sustainability Advisory Board". OpenUK.
  28. ^ MSV, Janakiram. "Unikernels - The Shiny New Object In The Cloud". Forbes. Retrieved 8 February 2023.
  29. ^ "Docker Acquires Unikernel Systems As It Looks Beyond Containers". Techcrunch. January 2016.
  30. ^ "Why does Unikernel Systems Joining Docker Make A Lot of Sense? - High Scalability -". highscalability.com.
  31. ^ "moby/hyperkit". 2 January 2023 – via GitHub.
  32. ^ "VPN-friendly networking devices for HyperKit". 3 January 2023 – via GitHub.
  33. ^ "Improving Docker with Unikernels: Introducing HyperKit, VPNKit and DataKit". www.docker.com. Docker. 18 May 2016.
  34. ^ Yaron Minsky (November 2021). "What is an Operating System?". website (Podcast). Jane Street Capital.
  35. ^ YouTube의 Mac 및 Windows용 도커 기능 내부
  36. ^ "opam - A package manager for OCaml". 24 February 2023 – via GitHub.
  37. ^ "OCaml Labs". anil.recoil.org.
  38. ^ "OCaml Users and Developers Workshop 2012". OCaml.
  39. ^ "Topics tagged multicore-monthly". OCaml.
  40. ^ "OCaml Packages · Search Result". OCaml.
  41. ^ ltd, company check. "HIGH ENERGY MAGIC LIMITED. Free business summary taken from official companies house information. Free alerts. Registered as 04752113". Company Check.
  42. ^ "Camera Phone snapshots connect the dots". New York Times. October 2004.
  43. ^ "From the Prawn of Time". Wired. June 2004.
  44. ^ "Team - The Horde Project". www.horde.org.
  45. ^ "Authors - Chora - The Horde Project". www.horde.org.
  46. ^ "Mars Polar Lander 1998 site mirror". Space Research Institute.
  47. ^ Doherty, N.; A. Madhavapeddy. Application of Distributed Web Site Acceleration: Mars Polar Lander (PDF) (Technical report). NetApp.
  48. ^ Madhavapeddy, A.; A. Crivelli. How to Build a Content Delivery Network (PDF) (Technical report). NetApp.