These are some publications made by the group. They are arranged on sections depending on the system they refer to, or put in the miscellaneous section if they do not refer to a particular system we made. Within each section, the most recent one goes first. You may refer to the systems page for more information on a particular system or project.

Clive related

Nix related

Octopus related

See also the Plan B papers. The octopus is indeed a new way of architecting Plan B.

Plan B related


PhD Theses


Older papers

Those ones related to 2K are here because they were produced while working in Off++ (now a closed project) and also because 2K is kind of related to what we are trying to do now, which means that it's useful to have the links here too.