Computer Laboratory

OCaml Labs

Thomas Gazagnaire

Cambridge Computer Laboratory
Senior RA
http://thomas.gazagnaire.org

Projects

These are the projects that Thomas 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.

OCaml Platform

A rigorously designed, tested and documented base of OCaml libraries and tools.

Sep '12Oct '12Nov '12Dec '12Jan '13Feb '13Mar '13Apr '13May '13Jun '13Jul '13Aug '13Sep '13Oct '13Nov '13Dec '13Jan '14Feb '14Mar '14Apr '14
Thomas Gazagnaire OPAM 1.0 (if it builds, ship it)
Thomas Gazagnaire OPAM 1.1 (the CI and Test release)
Thomas Gazagnaire OPAM 1.2 (the Platform release)
Thomas Gazagnaire OPAM-in-a-box
Vincent Botbol OPAMDoc prototype
David Sheets OCamlot 0.2.0
David Sheets OCamlot 0.3.0
Anil Madhavapeddy Non-x86 Machine Pool
Amir Chaudhry Platform Preview
Jeremy Yallop Ctypes
Jeremy Yallop Ctypes stub generation
 

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
 

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