Computer Laboratory

OCaml Labs

Jon Crowcroft

Cambridge Computer Laboratory
Principal Investigator
http://www.cl.cam.ac.uk/~jac22

Projects

These are the projects that Jon is working on. The project list includes other people's tasks on the same project too, as it's helpful to see interdependencies this way. Click on the project headings to see more information about it.

Mirage OS

A high-performance, type-safe library OS written in OCaml.

Sep '12Oct '12Nov '12Dec '12Jan '13Feb '13Mar '13Apr '13May '13Jun '13Jul '13Aug '13Sep '13Oct '13Nov '13Dec '13Jan '14Feb '14Mar '14Apr '14
Anil Madhavapeddy Unikernel Mirage prototype
Amir Chaudhry Xen.org incubation
Vincent Bernardoff Mirari
Dave Scott Mirage Developer Preview
Anil Madhavapeddy Mirage 1.0
Balraj Singh Formalisms for packet processing
Gabor Pali kFreeBSD
Bogdan-Alexandru Matican Nigori
 

Illuminate

Connecting cyber-physical devices with rigorous programming, coordination and persistence.

Sep '12Oct '12Nov '12Dec '12Jan '13Feb '13Mar '13Apr '13May '13Jun '13Jul '13Aug '13Sep '13Oct '13Nov '13Dec '13Jan '14Feb '14Mar '14Apr '14
Heidi Howard Signpost prototype
Daniel Bünzli Declarative graphing library
Anil Madhavapeddy Raspberry OCaml
 

Trilogy 2

Building a resilient liquid OS, with multipath and adaptive scheduling.

Sep '12Oct '12Nov '12Dec '12Jan '13Feb '13Mar '13Apr '13May '13Jun '13Jul '13Aug '13Sep '13Oct '13Nov '13Dec '13Jan '14Feb '14Mar '14Apr '14
Vsevolod Stakhov Polyversal TCP prototype
Thomas Gazagnaire Irminsule prototype