86 on this site · 359 links
On this siterelevancedate86
A Decade of Docker Containers1st Mar 2026#docker#journal#ocaml#opensource#oxcamlA Decade of Docker Containers on the CACM cover!24th Feb 2026#docker#ocaml#unikernelsSolomon Hykes unveiling the Docker Desktop Pinãta24th Feb 2026#docker#unikernelsFunctional Networking for Millions of Docker Desktops5th Dec 2025#docker#ocaml#unikernelsFunctional Networking for Millions of Docker Desktops1st Aug 2025#journal#oxcaml#unikernelsUnikernels wins the ASPLOS most influential paper award12th Apr 2025#awards#ocaml#systems#unikernelsInformation Flow Tracking for Heterogeneous Compartmentalized Software1st Oct 2023#conference#difc#difc-tee#security#systemsSecure Programming with Dispersed Compartments1st May 2022#hypervisor#kernel#security#systems#teeRebuilding Operating Systems with Functional Principles26th Feb 2020#fp#mirageos#ocaml#systems#unikernelsRebuilding Operating Systems with Functional Principles26th Feb 2020#embedded#keynote#mirageos#scotland#systemsThe First Billion Real Deployments of Unikernels26th Feb 2020#deployment#mirageos#systems#unikernelsThe First Billion Real Deployments of Unikernels26th Feb 2020#embedded#keynote#mirageos#scotland#systemsProgramming the Next Trillion Embedded Devices26th Feb 2020#embedded#keynote#mirageos#scotland#systemsMirageOS 4: the dawn of practical build systems for exotic targets1st Aug 2019#build-systems#mirageos#ocaml#unikernelsProgramming Unikernels in the Large via Functor Driven Development1st May 2019#fp#functors#mirageos#ocaml#unikernelsProgramming Unikernels in the Large via Functor Driven Development1st May 2019#mirageos#ocaml#ocamllabs#preprint#unikernelsAn architecture for interspatial communication1st Apr 2018#conference#irmin#mirageos#networking#osmoseInterspatial OS1st Jan 2018#distributed#networking#spatial#systems#unikernelsDaLi: Database as a Library1st May 2017#conference#databases#fp#irmin#ocamlUnikernels: the rise of the library hypervisor in MirageOS14th Oct 2016#docker#hypervisor#mirageos#ocaml#unikernels