Bob (https://bob.osau.re) est un logiciel polyglotte (grâce à Cosmopolitan

• http://justine.lol/cosmopolitan/) de transfert de fichiers en OCaml dont le relai est un unikernel (MirageOS - https://mirage.io). Cette conférence permet l’introduction:
• de ce qu’est un unikernel (application en tant que système d’exploitation)
• du développement de logiciels en OCaml
• et de comment faire un logiciel portable et "polyglotte" (fonctionnant sur tous les systèmes grâce à Cosmopolitan et Esperanto (https://github.com/dinosaure/esperanto)
• et de la reproductibilité en OCaml (https://builds.robur.coop/)

On y introduira aussi une description du protocole, de son implémentation au travers de preuves grâce à Coq et du futur du logiciel (multicast, resuming, etc.)."