-
Notifications
You must be signed in to change notification settings - Fork 0
2015 Activities
JFLA: 7th January (Val d'Ajol, France)
- Mergeable Persistent Data Structures. Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy.
Real World Crypto: 7th January (London, UK)
- TODO Hannes gave a lightning talk on Nqsb-TLS.
Bob Konf: 22nd January (Berlin, Germany)
- Keynote: Towards Functional Operating Systems. Anil Madhavapeddy. Video
FOSDEM: 6th February (Brussels, Belgium)
- Unikernel demo in the Xen Booth. Amir Chaudhry.
QCon: 5th March (London, UK)
- Building Functional Infrastructure with MirageOS. Anil Madhavapeddy.
Morgan Stanley CTO Summit: 15th March (London, UK)
- TODO Unikernel talks, and panel on the future of cloud computing.
USENIX NSDI: 6th May (Oakland, California, USA)
- Jitsu: Just-In-Time Summoning of Unikernels. Anil Madhavapeddy and Magnus Skjegstad presented the Jitsu paper on behalf of Thomas Leonard, Thomas Gazagnaire, David Sheets, Dave Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft and Ian Leslie.
HCSS: 6th May (Annapolis, MD, USA)
- Not-Quite-So-Broken TLS. David Kaloper Meršinjak on behalf of Hannes Mehnert, Anil Madhavapeddy and Peter Sewell.
IFIP WG2.8: 26th May (Kefalonia, Greece)
- Working Group 2.8. Immutable Distributed Infrastructure for Unikernels. Anil Madhavapeddy.
QCon: 10th June (Belfast, NI)
- Designing Secure Services with Unikernels - A Tough Nut to Crack. Anil Madhavapeddy.
FPX: 11th June (London, UK)
- Build Your Own Effects. Jeremy Yallop.
FMATS: 11th June (Cambridge, UK)
- Talk on safe TLS stack work. Hannes Mehnert. Fourth Workshop on Formal Methods And Tools for Security
QCon: 12th June (New York, USA)
- Functional Distributed Programming with Irmin. Anil Madhavapeddy on behalf of Benjamin Farinier, Thomas Gazagnaire, Thomas Leonard and Mindy Preston.
TNG Big TechDay: 12th June (London, UK)
- Nymote: Git Your Own Cloud Here. Richard Mortier. Video
SIGPLAN PLDI: 16th June (Santa Barbara, California, USA)
- Declarative Programming over Eventually Consistent Data Stores. KC Sivaramakrishnan, Gowtham Kaki and Suresh Jagannathan.
Enthusiasticon (Source Code Berlin): 20th June (Berlin, Germany)
- MirageOS: Leaving Legacy Behind - A Clean-Slate Approach to Operating Systems. Hannes Mehnert. Video
PolyConf: 4th July (Poznan, Poland)
- Unikernels! Amir Chaudhry. Video (*Fixed video)
ECOOP: 6th July (Prague, Czech Republic)
- Immutable Distributed Infrastructure with Unikernels. Anil Madhavapeddy. Video
USENIX Security: 12th August (Washington DC, USA)
- Not-Quite-So-Broken TLS: Lessons in Re-engineering a Security Protocol Specification and Implementation. Hannes Mehnert and David Kaloper Meršinjak on behalf of Anil Madhavapeddy and Peter Sewell. Video
Aarhus: 19th August (Aarhus, Denmark)
- Personal Data: Thinking Inside the Box. Richard Mortier.
OCaml 2015/ICFP: 4th September (Vancouver, Canada)
-
Persistent Networking with Irmin and MirageOS. Mindy Preston, on behalf of Maghus Skjegstad, Thomas Gazagnaire, Richard Mortier and Anil Madhavapeddy. Video
-
The State of the OCaml Platform. Anil Mahavapeddy, on behalf of Amir Chaudhry, Thomas Gazagnaire, Jeremy Yallop and David Sheets. Video
-
Modular Macros. Jeremy Yallop and Leo White.
-
Effective Concurrency Through Algebraic Effects. Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy. Video
-
A Review of the Growth of the OCaml Community. Amir Chaudhry. Video
11 Netzpolitik: 4th September (Berlin, Germany)
Software Circus: 10th September (Amsterdam, Netherlands)
- Git Your Own Immutable Infrastructure via Unikernels. Anil Madhavapeddy.
Strange Loop: 26th September (St Louis, Missouri, USA)
- Non-Imperative Network Programming. Mindy Preston. Video
SOSP: 5th October (Monterey, California, USA)
- SibylFS: Formal Specification and Oracle-Based Testing for POSIX and Real-World File Systems. Tom Ridge on behalf of David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy and Peter Sewell.
LAMBDA World: 24th October (Cadiz, Spain)
CodeMesh: 3rd November (London, UK)
- Unikernels and hyper-elastic clouds. Amir Chaudhry
Cambridge TechTalks: 17th November (Cambridge, UK)
- Reaching Reliable Agreement in an Unreliable World. Heidi Howard. Slides
DockerCon EU Cool Hack: 23rd November (Barcelona, Spain)
- Unikernels, Meet Docker: a cool hack that combined unikernels with Docker in order to ease management and deployment. Amir, Anil, Jeremy, Jeremy, Martin, Mindy.
Imperial College: 21st January (London, UK)
- Seminar for students. Unikernels: A Principled Foundation for Networked Services. Anil Madhavapeddy.
T2: 16th March (London, UK)
- T2 EU 2014 Project Review. Irmin: Mergeable Persistent Data Structures. Anil Madhavapeddy.
TU Darmstadt: 18th March (Germany)
- Seminar for students. State of the Mirage. Jon Crowcroft.
Jane Street NYC OCaml Update: 8th May (New York, USA)
- TODO slides. Updated Jane Street on OCaml progress, discussed multicore and modular implicits.
ARM Lunch 'n Learn: 10th June (Cambridge, UK)
- Hannes and David presented nqsb-TLS.
Darwin College Sciences Group (Cambridge, UK)
- Silence is Golden: Controlling Communication and Coordination in Distributed Databases. KC Sivaramakrishnan. Slides
KAIST visit to Computer Lab: 12th November (Cambridge, UK)
-
The Mirage of Usable Infrastructure. Dr. Richard Mortier.
-
Networks. Prof. Jon Crowcroft
OCaml Developer's meeting: 18th November (Paris, France)
- Multicore OCaml Update, KC Sivaramakrishnan. Slides
OCaml Consortium meeting: 18th November (Paris, France)
- OCaml: State of the Platform (November, 2015), KC Sivaramakrishnan Slides
OUPS: 20th January (Paris, France)
- OCaml User Meeting in Paris. Irmin: A Git-like Distributed Library. Thomas Gazagnaire.
OCL: 5th February (Cambridge, UK)
- 9th Compiler Hacking Session at the Computer Lab. Talk from Oleg Kiselyov: Generating Code with Polymorphic Let.
S-REPLS: 30th April (Middlesex, UK)
- South of England Regional Programming Seminar. Organised by Ohad Kammar, Dominic Mulligan and Jeremy Yallop.
OCL: 28th August (Cambridge, UK)
- 10th Compiler Hacking Session at the Computer Lab. Including ML and OCaml talks in the afternoon prior to hacking session in the evening.
Polyglot: 2nd September (Vancouver, Canada)
- Local functional programming meetup. Anil talked about "functional distributed programming with Irmin".
OUPS: 10th November (Paris, France)
- OCaml User Meeting in Paris.
S-REPLS 2: 20th November (Middlesex, UK)
- South of England Regional Programming Seminar. Organised by Jaap Boender, Raja Nagarajan and Andrei Popescu.
London Unikernels Meetup: 26th November (London, UK)
- Anil or Mindy are doing a demonstration of MirageOS at the first unikernels meetup.
OCL: 30th November (Cambridge, UK)
- Eleventh Compiler Hacking Session at the Outer Parlour, Pembroke College.
JFLA - January
- Mergeable Persistent Data Structures. Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy. Published in the 26th Journées Francophones of Logic Languages.
ACM SIGOPS - January
- Raft Refloated - Do We Have Consensus? Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft. Published in the ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts archive Volume 49 Issue 1, January 2015, Pages 12-21.
arXiv - January
- Personal Data: Thinking Inside the Box. Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy and Richard Mortier. Published in Computers and Society.
USENIX NSDI - May
- Jitsu: Just-In-Time Summoning of Unikernels. Anil Madhavapeddy, Magnus Skjegstad, Thomas Leonard, Thomas Gazagnaire, David Sheets, Dave Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft and Ian Leslie. Published in the Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation.
ACM SIGPLAN PLDI - June
- Declarative Programming over Eventually Consistent Data Stores. KC Sivaramakrishnan, Gowtham Kaki and Suresh Jagannathan. Published in the Proceedings of the ACM SIGPLAN 2015 ACM 978-1-4503-3468-6/15/06.
USENIX SECURITY - August
- Not-Quite-So-Broken TLS: Lessons in Re-engineering a Security Protocol Specification and Implementation. David Kaloper Meršinjak, Hannes Mehnert, Anil Madhavapeddy, Peter Sewell Published in the Proceedings of the 24th USENIX Security Symposium.