Anil Madhavapeddy

Registered user since Wed 18 Mar 2015

Name: Anil Madhavapeddy

Bio: I’m a University Lecturer at the University of Cambridge. I’ve worked in a variety of senior architecture, engineering, product management, sales and “whatever it takes” roles in industry (S, M, L, XL) as well as government and research (S, M, L). I completed my PhD in 2006 at the University of Cambridge Computer Laboratory in the Systems Research Group. You can read my thesis and various academic publications here. My research goal is to improve the security, reliability and performance of the Internet. I’m having great fun leading the OCaml Labs group at Cambridge, and building the Mirage unikernel operating system as a new foundation for networked, multi-scale applications. I also think about ubiquitous computing technologies, and develop open-source software such as the secure OpenBSD operating system.

Country: United Kingdom

Affiliation: OCaml Labs

Personal website:


PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
OCaml 2019Author of The OCaml Platform in 2019 within the OCaml 2019-track
Author of MirageOS 4: the dawn of practical build systems for exotic targets within the OCaml 2019-track
PLDI 2019Committee Member in External Review Committee within the PLDI Research Papers-track
OCaml 2018Author of OCaml on the ESP32 chip: Well Typed Lightbulbs Await within the OCaml 2018-track
Author of The OCaml Platform 1.0 within the OCaml 2018-track
ML 2017Author of Effectively tackling the awkward squad within the ML 2017-track
OCaml 2017Author of The State of the OCaml Platform: September 2017 within the OCaml 2017-track
PLDI 2018Author of Bounding Data Races in Space and Time within the PLDI Research Papers-track
NetPL 2015Speaker of Immutable Distributed Infrastructure with Unikernels within the NetPL-track
Speaker in Invited Speakers within the NetPL-track