27 on this site · 51 links
Information Flow for Trusted Execution1st Jan 2020
Unikernels: the rise of the library hypervisor in MirageOS14th Oct 2016
The functional innards of Docker for Mac and Windows24th Jun 2016
Jitsu: Just-In-Time Summoning of Unikernels4th May 2015
MirageOS 2.0: branch consistency for Xen Stub Domains17th Oct 2014MirageOS 2.0: branch consistency for Xen Stub Domains17th Oct 2014
Xenstore TNG, using the Irmin database25th Jun 2014
SE Radio Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language1st May 2014
MirageOS and XAPI project update at XenSummit13th Nov 2013MirageOS and XAPI project update at XenSummit13th Nov 2013Breaking up is easy (with OPAM)17th Oct 2012
Programming the Xen cloud using OCaml1st Sep 2012Programming the Xen cloud using OCaml1st Sep 2012
The Wild West of UNIX I O5th Feb 2012
Reconfigurable Data Processing for Clouds1st May 2011Reconfigurable Data Processing for Clouds1st May 2011
Building the Xen toolstack using OCaml5th Nov 2010
Using functional programming within an industrial product group: perspectives and perceptions1st Sep 2010Using functional programming within an industrial product group: perspectives and perceptions1st Sep 2010
Unikernels1st Jan 2010