17 on this site · 0 links
On this siterelevancedate17
A Decade of Docker Containers1st Mar 2026#docker#journal#ocaml#opensource#oxcamlFunctional Networking for Millions of Docker Desktops1st Aug 2025#cloud#journal#networks#ocaml#oxcamlInformation Flow Tracking for Heterogeneous Compartmentalized Software1st Oct 2023#conference#difc#difc-tee#security#systemsProgramming 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#osmoseDaLi: Database as a Library1st May 2017#conference#databases#fp#irmin#ocamlFLICK: Developing and Running Application-Specific Network Services1st Jun 2016#cloud#conference#distributed#systems#unikernelsNot-Quite-So-Broken TLS1st Aug 2015#conference#mirageos#ocaml#security#unikernelsJitsu: Just-In-Time Summoning of Unikernels1st May 2015#conference#dns#embedded#mirageos#securityUnikernels: Rise of the Virtual Library Operating System1st Nov 2013#cloud#distributed#fp#journal#systemsTrevi: watering down storage hotspots with cool fountain codes1st Nov 2013#conference#distributed#networks#storage#systemsUnikernels: library operating systems for the cloud1st Mar 2013#cloud#conference#mirageos#ocaml#securityCost, Performance & Flexibility in OpenFlow: Pick three1st Jun 2012#conference#fp#mirageos#networks#sdnThe case for reconfigurable I/O channels1st Mar 2012#cloud#conference#systems#unikernelsTurning Down the LAMP: Software Specialisation for the Cloud1st Jun 2010#cloud#conference#mirageos#ocaml#securityMultiscale not multicore: efficient heterogeneous cloud computing1st Apr 2010#architecture#cloud#conference#internet#unikernelsUsing Dust Clouds to Enhance Anonymous Communication1st Mar 2010#cloud#conference#distributed#security#tor