Anil Madhavapeddy, Professor of Planetary Computing

Creating high-performance, statically type-safe network applications

PhD thesis now available as a technical report

Creating high-performance, statically type-safe network applications
Anil Madhavapeddy.
Technical report (UCAM-CL-TR-775) at University of Cambridge, Computer Laboratory.
URL (cl.cam.ac.uk) DOI BIB PDF

# 1st Mar 2010

papers fp internet ocaml report security

This is a news item about a paper published on the 1st Mar 2010 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the wiki view to browse more entries.

ocaml1124security145fp136systems73conference64conservation59biodiversity53unikernels52distributed45ai45mirageos43sensing39opensource38idea-done35journal34selfhosting31idea-ongoing30cloud30spatial30ocamllabs27idea-medium25idea-beginner22llms22forests22multicore22economics21carboncredits20preprint19evidence18xen17urop17ubicomp17idea-hard17hci16icfp16networks16mobile15satellite15devtools15embedded15

show: [all tags]

20257020246620233020221520211320201420197201810201752016920151520142120132020121620111520101162009220084200722006120059200472003720024200152000319991

This site is © 1998-2025 Anil Madhavapeddy, all rights reserved, except where the content is otherwise licensed. There are no third-party trackers. You can follow me on the usual social media and some self-hosted ones.

Chat (Bluesky / Mastodon / LinkedIn / ~~Twitter~~)
Video (Recoil / EEG / OCaml)
Code (GitHub / GitLab@cam)
Feed (Atom )