2014 Activities

Conferences

FOSDEM: 2nd February

• MirageOS: Compiling Functional Library Operating Systems. Anil Madhavapeddy and Richard Mortier. Video

FPX: 14th March

• My Other Operating System is a Mirage: MirageOS. Anil Madhavapeddy.

FLOPS: 5th June

• Lightweight Higher Kinded Polymorphism Jeremy Yallop and Leo White. Slides

OSCON: 24th July

• Nymote: Git Your Own Cloud Here. Anil Madhavapeddy and Richard Mortier.

ECOOP: 30th July

• Build Your Own Functional Operating System workshop. Anil Madhavapeddy and Richard Mortier.

XEN PDS: 18th August

• MirageOS 2.0: Branch Consistency for Xen Stub Domains. Anil Madhavapeddy, David Scott and Thomas Gazagnaire.

ML: 4th September

• Type-Level Module Aliases: Independent and Equal. Jacques Garrigue and Leo White.

• Modular Implicits. Leo White, Frederic Bour and Jeremy Yallop.

• Metaprogramming with ML Modules in the MirageOS. Anil Madhavapeddy on behalf of Thomas Gazagnaire, David Scott and Richard Mortier. Slides

CUFP: 5th September

• Introduction to OCaml. Leo White and Jeremy Yallop.

OCaml 2014: 5th September

• Multicore Ocaml. Stephen Dolan, Leo White and Anil Madhavapeddy. Video

• Introduction to 0install. Thomas Leonard. Slides / Video

• Transport Layer Security Purely in OCaml. Hannes Mehnert and David Kaloper Meršinjak. Slides / Video

• The OCaml Platform v1.0. Anil Madhavapeddy on behalf of Amir Chaudhry, Jeremie Diminio, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White and Jeremy Yallop. Slides / Video

• Irminsule: A Branch-Consistent Distributed Library Database. Thomas Gazagnaire on behalf of Amir Chaudhry, Anil Madhavapeddy, Richard Mortier, David Scott, David Sheets, Gregory Tsipenyuk and Jon Crowcroft. Slides / [Video] (https://www.youtube.com/watch?v=_RzF1mAHUAA&list=UUP9g4dLR7xt6KzCYntNqYcw)

Haskell Symposium: 5th September

• Unikernels: Functional Operating System Design. Anil Madhavapeddy.

ICFP: 5th September

• Co-Effects: A Calculus of Context-Dependent Computation. Tomas Petricek, Dominic Orchard and Alan Mycroft.

FConf: 9th October

• Compile Your Own Cloud with MirageOS. Thomas Gazagnaire.

CodeMesh: 5th November

• Nymote: Git Your Own Cloud Here. Anil Madhavapeddy.

OSIO: 25th November

• Jitsu: Just-In-Time Summoning of Unikernels. Anil Madhavapeddy on behalf of Thomas Gazagnaire, David Scott, Richard Mortier, Thomas Leonard, David Sheets, Amir Chaudhry, Jon Crowcroft, Balraj Singh and Mindy Preston.

M4NG: 8th December

• Moana: A Case for Redefining the Internet Service Abstraction, Yan Shvartshnaider and Maxmillion Ott.

IRILL: 9th December

• State of the Mirage: An OCaml Unikernel. Anil Madhavapeddy.

arXiv: 15th December

• Kadupul: Living on the Edge with Virtual Currencies and Time-Locked Puzzles. Magnus Skjegstad, Anil Madhavapeddy and Jon Crowcroft.

CCC: 27th December

• Trustworthy Secure Modular Operating System Engineering. David Kaloper Meršinjak and Hannes Mehnert. Video

---

Other talks/presentations

T2: 13th February

• Trilogy 2 EU Review: Liquid Scheduling with Unikernels. Anil Madhavapeddy.

UCN: 14th March

• Nottingham/Cambridge UCN Kickoff. User-Centric Networking. Anil Madhavapeddy and Richard Mortier.

CL: 2nd April

• Seminar. Irminsule Status Report. Thomas Gazagnaire.

CL, May

• Higher-kinded programming in ML. Jeremy Yallop (and Leo White).

SE-Radio: 30th May

• Podcast for Professional Software Developers: Episode 24. MirageOS and OCaml. Anil Madhavapeddy.

Nagoya University, June

Ctypes: foreign calls in your native language. Jeremy Yallop (and David Sheets and Anil Madhavapeddy).

CL: 26th June

• Mirage 2.0: Less Is More. Anil Madhavapeddy.

LFCS seminar, University of Edinburgh, August

• Lightweight higher-kinded polymorphism. Jeremy Yallop (and Leo White).

OPW: 20th August

• Outreach Program for Women. Summer Internships.

IT Copenhagen: 9th September

• MirageOS and OCaml TLS: Fun Operating System Engineering. Hannes Mehnert.

BT CIO Briefing: 7th October

• Let a Billion Clouds Bloom. Anil Madhavapeddy.

Washington Uni: 3rd December

• Systems Group Seminar. Git Your Own Cloud: Summoning Unikernels. Richard Mortier.

---

Meetups/Compiler Hacking

OCL: 18th February

• Third Compiler Hacking Session at the CL.

TVFP: 17th March

• Thames Valley Functional Programmers Meetup.

CL: 29th April

• 5th Compiler Hacking Session at the CL.

CL: 25th June

• 6th Compiler Hacking Session at the CL.

CL: 24th July

• 7th Compiler Hacking Session at Citrix

CL: 23rd September

• 8th Compiler Hacking Session at Mill Lane. Joint F#/OCaml event.

---

Papers

ACM - January

• Unikernels: The Rise of the Virtual Library Operating System. Anil Madhavapeddy and David Scott. Communications of the ACM, January 2014, Vol 57, Number 1.

FLOPS - June

• Lightweight and Higher Kinded Polymorphism Jeremy Yallop and Leo White. Published in the Journal of Functional and Logic Programming, Volume 8475 of the series Lecture Notes in Computer Science pp 119-135.

ARC - 20th July

• Analysis of Raft Consensus - Technical Report. Heidi Howard.

JFP - September

• Commercial Users of Functional Programming 2013 Workshop Report. Marius Eriksen, Michael Sperber and Anil Madhavapeddy. Published in the Journal of Functional Programming, Cambridge University Press / Volume 25 / 2015, e3 (17 pages).

ACM OCaml - September

• Irminsule; a branch-consistent distributed library database. Thomas Gazagnaire, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier,1 David Scott2 David Sheets and Gregory Tsipenyuk

• Transport Layer Security purely in OCaml. Hannes Mehnert and David Kaloper Meršinjak.

• Introduction to 0install. Thomas Leonard.

• The OCaml Platform v1.0. Anil Madhavapeddy, Amir Chaudhry, Jeremie Diminio, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White and Jeremy Yallop.

• Multicore Ocaml. Stephen Dolan, Leo White and Anil Madhavapeddy.

ACM SIGPLAN ML - September

Papers published in the Electronic Proceedings in Theoretical Computer Science.

• Modular Implicits. Leo White, Frederic Bour and Jeremy Yallop.

• Metaprogramming with ML Modules in the MirageOS. Anil Madhavapeddy, Thomas Gazagnaire, David Scott and Richard Mortier.

• Type-Level Module Aliases: Independent and Equal. Jacques Garrigue and Leo White.

ACM SIGPLAN - September

• Co-Effects: A Calculus of Context-Dependent Computation. Tomas Petricek, Dominic Orchard and Alan Mycroft. Published in the ICFP '14 Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming.

CL - 25th November

• Regional Clouds: Technical Considerations. Jatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, W. Kuan Hon and Christoper Millard.

MW4NG - December

• Moana: A Case for Redefining the Internet Service Abstraction, Yan Shvartshnaider and Maxmillion Ott. Published in the Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, Article No. 2.

arXiv - December

• Kadupul: Living on the Edge with Virtual Currencies and Time-Locked Puzzles. Magnus Skjegstad, Anil Madhavapeddy and Jon Crowcroft. Published in Networking and Internet Architecture.