Computer Laboratory

OCaml Labs

Publications

Unikernels: the Rise of the Virtual Library Operating System
Download
Anil Madhavapeddy and Dave Scott
in Communications of the ACM, Jan 2014

Real World OCaml: Functional Programming for the Masses
Download
Yaron Minsky, Anil Madhavapeddy and Jason Hickey
in O'Reilly Associated, Nov 2013

Trevi: Watering Down Storage Hotspots with Cool Fountain Codes
Download
George Parisis, Toby Moncaster, Anil Madhavapeddy and Jon Crowcroft
in Twelfth ACM Workshop on Hot Topics in Networks (HotNets-XII), Nov 2013

Commercial Users of Functional Programming 2012 Workshop Report
Download
Michael Sperber and Anil Madhavapeddy
in Journal of Functional Programming, Nov 2013

Lost In the Edge: Finding Your Way With Signposts
Download
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry and Jon Crowcroft
in USENIX FOCI 2013, Aug 2013

Concise analysis using implication algebras for task-local memory optimization
Download
Leo White and Alan Mycroft
in Static Analysis Symposium 2013, Apr 2013

Unikernels: Library Operating Systems for the Cloud
Download
Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft
in ASPLOS 2013, Mar 2013

Evolving TCP. How hard can it be?
Download
Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand, Jon Crowcroft
in ACM CoNEXT 2012 Student Workshop, Dec 2012

Turning down the LAMP: Software Specialisation for the Cloud
Download
Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley and Jon Crowcroft
in HotCloud 2010, Jun 2010