From the OCaml Labs wiki
Jump to: navigation, search

The OCaml Labs Team present at many academic conferences and non-academic events in order to disseminate their work and demonstrate real-world applications of their features.


14 Jan - UCL, London Security Group Presentation Unikernels: Rise of the library operating system, and how to engineer not-quite-so-broken software Anil Madhavapeddy

28 Jan - Facebook, California TechTalk: Concurrent and Multicore OCaml: A deep dive KC Sivaramakrishnan and Stephen Dolan

19 Feb - MSR, Cambridge Seminar: Anil Madhavapeddy

26 Apr - Systems Research Group, Computer Lab, Cambridge Talklet: Towards Compilation of Affine Algebraic Effects Handlers Daniel Hillerström

25 May - Minute Madness, Computer Lab, Cambridge Unikernels in 60 seconds Anil Madhavapeddy

Unikernels in 60 seconds: Minute Madness

27 May - REMS Workshop, Computer Lab, Cambridge Workshop seminars: NQSB-TLS, HUGINN-TCP Hannes Mehnert

14 Jun - London Functional Programmers, Jane Street, London Docker: The functional innards of Docker for Mac and Windows Anil Madhavapeddy

16 Jun - Systems Research Group Seminar, Computer Lab, Cambridge Ios: Why work when you can delegate? Heidi Howard


21 Jan - Imperial College, London Seminar for students: Unikernels: A Principled Foundation for Networked Services Anil Madhavapeddy

16 Mar - T2, London T2 EU 2014 Project Review: Irmin: Mergeable Persistent Data Structures Anil Madhavapeddy

18 Mar - TU Darmstadt, Germany Seminar for students: State of the Mirage Jon Crowcroft

8 May - Jane Street, New York OCaml Update: Discussed multicore and modular implicits. Anil Madhavapeddy and Thomas Gazagnaire

10 Jun - ARM, Cambridge Lunch 'n Learn: NQSB-TLS. Hannes Mehnert and David Kaloper

July, Darwin College Sciences Group, Cambridge Silence is Golden: Controlling Communication and Coordination in Distributed Databases. KC Sivaramakrishnan

12 Nov - CL, Cambridge KAIST visit:

  • The Mirage of Usable Infrastructure. Dr. Richard Mortier
  • Networks. Prof. Jon Crowcroft

18 Nov - Paris OCaml Developers meeting: Multicore OCaml Update KC Sivaramakrishnan

18 Nov - INRIA, Paris OCaml Consortium meeting: OCaml: State of the Platform KC Sivaramakrishnan


13 Feb - T2, London Trilogy 2 EU Review: Liquid Scheduling with Unikernels Anil Madhavapeddy

14 Mar - UCN, Nottingham Nottingham/Cambridge UCN Kickoff. User-Centric Networking Anil Madhavapeddy and Richard Mortier

2 Apr - CL, Cambridge Seminar. Irminsule Status Report Thomas Gazagnaire

30 May - SE-Radio Podcast for Professional Software Developers: Episode 24. MirageOS and OCaml Anil Madhavapeddy

26 June - CL, Cambridge Mirage 2.0: Less Is More Anil Madhavapeddy

20 August - OPW, Cambridge Outreach Program for Women Summer Internships

9 Sep - IT Copenhagen, Denmark MirageOS and OCaml TLS: Fun Operating System Engineering Hannes Mehnert

7 Oct - BT CIO Briefing Let a Billion Clouds Bloom Anil Madhavapeddy

3 Dec - Washington Uni, USA Systems Group Seminar. Git Your Own Cloud: Summoning Unikernels Richard Mortier


17 Jun - Real World OCaml, Worldwide Beta release of the book. Real World OCaml

1 Sep - Jane Street, London My Other Internet is a Mirage Anil Madhavapeddy

7 Nov - Real World OCaml, Worldwide Book is released! Real World OCaml

14 Nov - Facebook, London MirageOS: Compiling Functional Library Operating Systems Anil Madhavapeddy

29 Nov - FP Lab MirageOS: Tomorrow's Cloud, Today Richard Mortier

3 Dec - ACS Lecture, Cambridge Modular Operating System Construction Anil Madhavapeddy

4 Dec - Wednesday Seminar, CL Cambridge MirageOS: Modular Systems Programming Anil Madhavapeddy