Anil Madhavapeddy Explained

Anil Madhavapeddy
Citizenship:Irish
Thesis Title:Creating high-performance, statically type-safe network applications
Thesis Year:2006
Thesis Url:https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-775.html
Workplaces:University of Cambridge
Docker
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

Madhavapeddy graduated from Imperial College London in 1999, 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

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

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]

Madhavapeddy has been a senior maintainer of OCaml since 2011, where he helped develop the OCaml Package Manager,[35] the tooling ecosystem,[36] [37] as well as support for multicore parallelism and effect handlers in OCaml 5.0.[38] He has published over 150 software libraries for OCaml.[39]

He co-founded High Energy Magic Ltd in 2003[40] with Eben Upton and others, which was an early implementation of interactive barcodes in camera-phones[41] [42] and later commercialised as ShotCodes.

Madhavapeddy also served on the core team at the Horde project from 1999 until 2008,[43] where he helped develop the IMP webmail client and the Chora CVS viewer.[44]

He worked on the Mars Polar Lander ground data systems in 1998[45] [46] and subsequently at NetApp to deploy early content delivery networks using NetCache[47]

External links

Notes and References

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