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.

ocaml1126security145fp136systems73conference65conservation59biodiversity53unikernels52ai50distributed45mirageos43sensing39opensource38journal36idea-done35selfhosting33spatial31cloud30idea-ongoing29ocamllabs27llms26idea-medium25idea-beginner22forests22multicore22economics21evidence20carboncredits20preprint19xen17urop17ubicomp17idea-hard17networks17hci16icfp16mobile15satellite15devtools15embedded15

show: [all tags]

20258120246620233020221520211320201420197201810201752016920151520142120132020121620111520101162009220084200722006120059200472003720024200152000319991

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 )