Anil Madhavapeddy
Professor of Planetary Computing
/ Talks

The role of AI in evidence based decision making in conservation actions on 25th Jun 2024. At the CCI speaking about our work on LLMs in analysing conservation literature. Part of the Conservation Evidence Copilots project.

Programming for the Planet on 27th May 2024. Planetary computing keynote at LambdaDays 2024, featuring Lambda Man. Part of the Planetary Computing project.

BBC report on the new Cambridge supercomputer ("Dawn") announced at the 2023 AI Summit on 2nd Nov 2023. An unexpected appearance on the BBC talking about a new supercomputer. Part of the Planetary Computing project.

Functional Programming for the Planet on 5th Sep 2023. Opening keynote at ICFP 2023 in Seattle. Part of the Planetary Computing project.

Leveraging Scientific Innovation and AI to Scale Carbon Markets on 7th Mar 2023. On stage with Mantle Labs discussing carbon credits. Part of the Trusted Carbon Credits project.

Financing Forests: A Credible Approach towards Halting Tropical Deforestation on 16th Nov 2022. Cambridge Computer Lab Wednesday seminar on tropical deforestation. Part of the Trusted Carbon Credits project.

17th William Pitt Seminar - Who's in Charge? on 1st Nov 2022. Pembroke College William Pitt Seminar on climate change. Part of the Remote Sensing of Nature project.

State of the OCaml Platform 2020 on 28th Aug 2020. Next steps for the OCaml Platform in 2020-2021, delivered online due to pandemic. Part of the OCaml Labs project.

Rebuilding Operating Systems with Functional Principles on 26th Feb 2020. Part 1 of my distinguished lecture series at St Andrews. Part of the Unikernels project.

The First Billion Real Deployments of Unikernels on 26th Feb 2020. Part 2 of my distinguished lecture series at St Andrews. Part of the Unikernels project.

Programming the Next Trillion Embedded Devices on 26th Feb 2020. Part 3 of my distinguished lecture series at St Andrews. Part of the Unikernels project.

State of the OCaml Platform on 8th Sep 2017. My annual talk at the OCaml Workshop. Part of the OCaml Labs project.

Unikernels: the rise of the library hypervisor in MirageOS on 14th Oct 2016. At DockerCon. Part of the Unikernels project.

The functional innards of Docker for Mac and Windows on 24th Jun 2016. At the London Functionals meetup.

Ian Eyberg, Joshua Bernstein, Anil Madhavapeddy at OSCON in Austin on 6th Jun 2016. Speaking to Alex Williams of The New Stack. Part of the Unikernels project.

Unikernel Systems is now part of Docker on 21st Jan 2016. Announcing the acquisition of Unikernel Systems by Docker. Part of the Unikernels project.

Immutable Distributed Infrastructure with Unikernels on 29th Sep 2015. Invited talk at NetPL 2015 on immutable infrastructure. Part of the Unikernels project.

The State of the OCaml Platform on 4th Sep 2015. Talk at the OCaml Workshop 2015. Part of the OCaml Labs project.

Unikernels: Functional Infrastructure with Mirage OS on 12th May 2015. At Esper's OCaml Meetup in California. Part of the Unikernels project.

Jitsu: Just-In-Time Summoning of Unikernels on 4th May 2015. At USENIX NSDI 2015. Read more in Jitsu: Just-In-Time Summoning of Unikernels.

BOB 2015 Keynote: Towards Functional Operating Systems on 23rd Jan 2015. Opening speaker at BOB 2015 on functional operating systems. Part of the Unikernels project.

Codemesh 2014: Nymote: Git Your Own Cloud Here on 17th Dec 2014. At CodeMesh 2014, talking about personal data management with unikernels. Part of the Personal Containers project.

Jitsu: Just-in-Time Summoning of Unikernels (new directions in operating systems) on 25th Nov 2014. Talking in London at New Directions in Operating Systems. Read more in Jitsu: Just-In-Time Summoning of Unikernels. Part of the Unikernels project.

MirageOS 2.0: branch consistency for Xen Stub Domains on 17th Oct 2014. At the Xen Summit explaining how Irmin+MirageOS can build stub domains for Xen hosts. Part of the Unikernels project.

OCaml 2014: The OCaml Platform v1.0 on 5th Sep 2014. My annual update on the OCaml Platform at ICFP. Read more in The OCaml Platform v1.0. Part of the OCaml Labs project.

Haskell Symposium 2014 Keynote on functional OS design on 5th Sep 2014. Me slightly nervously talking to a bunch of Haskellers about OCaml modules. Read more in Unikernels: library operating systems for the cloud. Part of the Unikernels project.

FLOSS Weekly 302: Open Mirage on 23rd Jul 2014. Randal Schwartz and Simon Phipps interview Anil Madhavapeddy about MirageOS on the FLOSS Weekly podcast (Episode 302). Part of the Unikernels project.

SE Radio Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language on 1st May 2014. I talk to Robert Blumen about OCaml and MirageOS on the Software Engineering Radio podcast. Part of the Unikernels project.

MirageOS and XAPI project update at XenSummit on 13th Nov 2013. Announcing the MirageOS 1.0 release at the Xen Summit 2013. Part of the Unikernels project.

Mirage Developer Preview 1 screencast on 26th Jul 2013. The MirageOS Developer Preview 1 screencast, showing how to initialise and build Unix and Xen kernels. Part of the Unikernels project.

OUD 2012: Towards an OCaml Platform and Introducing OCaml Labs on 17th Sep 2012. Announcing the formation of OCaml Labs with Yaron Minsky at ICFP 2012. Part of the OCaml Labs project.

OCaml Meeting 2011 - MirageOS on 19th Oct 2011. The OCaml Meeting 2011 talk on MirageOS in France, with full notes in Camel Spotting in Paris. Part of the Unikernels project.

Building the Xen toolstack using OCaml on 5th Nov 2010. Our experiences with Xen toolstack in OCaml at ICFP 2010. Read more in Using functional programming within an industrial product group: perspectives and perceptions. Part of the Xen Hypervisor project.

Mirage: A New Multi-Scale Operating System for Clouds and Crowds (2014) on 25th Oct 2010. An early tech talk at LinkedIn on MirageOS. Part of the Unikernels project.

Turning Down the LAMP: Software Specialisation for the Cloud on 22nd Jun 2010. The first outing for MirageOS at USENIX HotCloud 2010. Read more in Turning Down the LAMP: Software Specialisation for the Cloud. Part of the Unikernels project.

You can find more talks and videos from me in the linked project and paper pages, and also directly on the video pages below.