Anil Madhavapeddy | |
---|---|
![]() Anil Madhavapeddy | |
Citizenship | Irish |
Alma mater |
|
Scientific career | |
Fields | |
Institutions | University of Cambridge Docker |
Thesis | Creating high-performance, statically type-safe network applications (2006) |
Doctoral advisor | Andy Hopper and David Greaves |
Website | https://www.cst.cam.ac.uk/people/avsm2 |
Anil Madhavapeddy is the Professor of Planetary Computing at the Department of Computer Science and Technology in the University of Cambridge, a Fellow of Pembroke College, Cambridge, and a J M Keynes Fellow.[1] He is the Founding Director of the Cambridge Centre for Carbon Credits,[2] aiming to distribute funds raised through the sale of carbon credits in a verifiable manner.[3]
Education
[edit]Madhavapeddy graduated from Imperial College London in 1999,[citation needed] and obtained his PhD in Computer Science from the University of Cambridge in 2006 for research on programming languages and operating systems supervised by Andy Hopper and David Greaves.[4]
Research and Teaching
[edit]Madhavapeddy is the author of Real World OCaml, the second edition of which was published in Oct 2022 by Cambridge University Press,[5] with an earlier edition in 2013 by O'Reilly Media.[6] RWO has been used as a text in computer science courses such as Princeton’s COS326,[7] Cornell’s CS6110[8] and UPenn’s CIS 120.[9] At Cambridge, Anil teaches the Foundations of Computer Science course[10] in the Computer Science Tripos which introduces functional programming. Past lecturers of this course include Lawrence Paulson, Alan Mycroft and Amanda Prorok.
Madhavapeddy primarily researches programming languages and operating systems. He is one of the main creators of unikernel library operating systems,[11][12][13] and has researched parallelism[14] and effect systems[15] for functional languages such as OCaml.
Madhavapeddy's latest project is a collaboration with Srinivasan Keshav and Andrew Balmford on verifiable carbon credits for nature-based solutions,[16] which has been seen as an alternative to cryptocurrency tokens[17]
Industry
[edit]Madhavapeddy has made substantial contributions to open source software such as MirageOS,[18][19][20] OCaml,[21] Docker, Xen[22] and OpenBSD.[23][24] He is currently a Council Member at the Tezos Foundation[25][26] and the advisory board of OpenUK.[27] He co-founded Unikernel[28] Systems in 2015, which was acquired by Docker in 2016[29][30] where he served as a Docker maintainer, introducing technologies such as HyperKit,[31] VPNKit[32] and DataKit[33] that made Docker for Desktop possible.[34][35]
Madhavapeddy has been a senior maintainer of OCaml since 2011, where he helped develop the OCaml Package Manager,[36] the tooling ecosystem,[37][38] as well as support for multicore parallelism and effect handlers in OCaml 5.0.[39] He has published over 150 software libraries for OCaml.[40]
He co-founded High Energy Magic Ltd in 2003[41] with Eben Upton and others, which was an early implementation of interactive barcodes in camera-phones[42][43] and later commercialised as ShotCodes.
Madhavapeddy also served on the core team at the Horde project from 1999 until 2008,[44] where he helped develop the IMP webmail client and the Chora CVS viewer.[45]
He worked on the Mars Polar Lander ground data systems in 1998[46][47] and subsequently at NetApp to deploy early content delivery networks using NetCache[48]
External links
[edit]References
[edit]- ^ Matu, Shakira (27 October 2020). "J M Keynes Fellows". www.cshss.cam.ac.uk.
- ^ Madhavapeddy, Anil (2 November 2021). "Professor Anil Madhavapeddy". 4c.cst.cam.ac.uk.
- ^ Noone, Greg (17 March 2022). "Can crypto save the planet?". Tech Monitor. Retrieved 8 February 2023.
- ^ Madhavapeddy, Anil (2010). Creating high-performance, statically type-safe network applications. cl.cam.ac.uk (PhD thesis). University of Cambridge.
- ^ Madhavapeddy, Anil; Minsky, Yaron (September 2022). Real World OCaml (2nd ed.). Cambridge: Cambridge University Press. ISBN 9781009129220.
- ^ Minsky, Yaron; Madhavapeddy, Anil; Hickey, Jason (December 2013). Real World OCaml (1st ed.). O'Reilly Media. ISBN 9781449323912.
- ^ "COS 326: Functional Programming (Fall 2016)". www.cs.princeton.edu.
- ^ "CS 6110: Resources". www.cs.cornell.edu.
- ^ "CIS120 Resources". www.cis.upenn.edu.
- ^ "Department of Computer Science and Technology – Course pages 2019–20: Foundations of Computer Science". www.cl.cam.ac.uk. Retrieved 27 January 2020.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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. arXiv:2004.11663. doi:10.1145/3408995. S2CID 216144811. Retrieved 9 January 2023.
- ^ 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.
- ^ "Cambridge Centre for Carbon Credits (4C)". 4c.cst.cam.ac.uk.
- ^ Dhanesha, Neel (26 May 2022). "WeWork co-founder Adam Neumann's new crypto project sounds like a scam within a scam". Vox.
- ^ Robert Bluman (May 2014). "Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language". website (Podcast).
- ^ "Interview with Anil Madhavapeddy and Richard Mortier, MirageOS: compiling functional library operating systems". archive.fosdem.org.
- ^ Randal Schwartz (July 2014). "FLOSS Weekly 302 OpenMirage". website (Podcast).
- ^ "OCaml.org governance". OCaml.
- ^ Kurth, Lars (23 February 2017). "Xen Project's MirageOS Expands its Ecosystem in Latest Release".
- ^ "openbsd stats". oxide.org.
- ^ "OpenBSD: Innovations". www.openbsd.org.
- ^ "About the Tezos Foundation". Tezos Foundation.
- ^ "Anil Madhavapeddy - Council Member at Tezos Foundation". THE ORG.
- ^ "Sustainability Advisory Board". OpenUK.
- ^ MSV, Janakiram. "Unikernels - The Shiny New Object In The Cloud". Forbes. Retrieved 8 February 2023.
- ^ "Docker Acquires Unikernel Systems As It Looks Beyond Containers". Techcrunch. January 2016.
- ^ "Why does Unikernel Systems Joining Docker Make A Lot of Sense? - High Scalability -". highscalability.com.
- ^ "moby/hyperkit". 2 January 2023 – via GitHub.
- ^ "VPN-friendly networking devices for HyperKit". 3 January 2023 – via GitHub.
- ^ "Improving Docker with Unikernels: Introducing HyperKit, VPNKit and DataKit". www.docker.com. Docker. 18 May 2016.
- ^ Yaron Minsky (November 2021). "What is an Operating System?". website (Podcast). Jane Street Capital.
- ^ The functional innards of Docker for Mac and Windows on YouTube
- ^ "opam - A package manager for OCaml". 24 February 2023 – via GitHub.
- ^ "OCaml Labs". anil.recoil.org.
- ^ "OCaml Users and Developers Workshop 2012". OCaml.
- ^ "Topics tagged multicore-monthly". OCaml.
- ^ "OCaml Packages · Search Result". OCaml.
- ^ ltd, company check. "HIGH ENERGY MAGIC LIMITED. Free business summary taken from official companies house information. Free alerts. Registered as 04752113". Company Check.
- ^ "Camera Phone snapshots connect the dots". New York Times. October 2004.
- ^ "From the Prawn of Time". Wired. June 2004.
- ^ "Team - The Horde Project". www.horde.org.
- ^ "Authors - Chora - The Horde Project". www.horde.org.
- ^ "Mars Polar Lander 1998 site mirror". Space Research Institute.
- ^ Doherty, N.; A. Madhavapeddy. Application of Distributed Web Site Acceleration: Mars Polar Lander (PDF) (Technical report). NetApp.
- ^ Madhavapeddy, A.; A. Crivelli. How to Build a Content Delivery Network (PDF) (Technical report). NetApp.