-
Notifications
You must be signed in to change notification settings - Fork 0
2013 Activities
ASPLOS: 20th March
- Unikernels: Library Operating Systems for the Cloud. Anil Madhavapeddy on behalf of Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft.
SAS: 22nd March
- Concise Analysis using Implication Algebras for Task-Local Memory Optimisation. Leo White and Alan Mycroft.
OSCON: 26th July
- Mirage: Extreme Specialisation of Cloud Appliances. Anil Madhavapeddy and Richard Mortier on behalf of David Scott.
FOCI: 13th August
- Lost in the Edge: Finding Your Way with DNSSEC Signposts. Anil Madhavapeddy on behalf of Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Amir Chaudhry and Jon Crowcroft. Slides
CUFP: 23rd September
- OCaml Tutorial. Anil Madhavapeddy and Yaron Minsky.
OCaml 2013: 24th September
-
Ctypes: Foreign Calls in your Native Language. Jeremy Yallop.
-
The OCaml Platform v0.1. Anil Madhavapeddy on behalf of Amir Chaudhry, Thomas Gazagnaire, David Sheets, Philippe Wang, Leo White and Jeremy Yallop. Slides
-
Extension Points for OCaml. Leo White.
-
OCamlot: OCaml Online Testing. David Sheets on behalf of Anil Madhavapeddy, Amir Chaudhry and Thomas Gazagnaire. Slides
FP Days: 24th October
- Getting Started with Real World OCaml. Anil Madhavapeddy and Amir Chaudhry.
XEN PDS: 25th October
- MirageOS and XAPI Project Updates. Anil Madhavapeddy and Jon Ludlam.
QCon: 11th November
- San Francisco. My Other Internet is a Mirage. Anil Madhavapeddy.
ACM-HotNets: 22nd November
- Trevi: Watering Down Storage Hotspots with Cool Fountain Codes. Anil Madhavapeddy on behalf of George Parisis, Toby Moncaster and Jon Crowcroft.
Real World OCaml: 17th June
- Beta release of the book. Real World OCaml.
Jane Street: 1st September
- My Other Internet is a Mirage. Anil Madhavapeddy.
Real World OCaml: 7th November
- Book is released! Real World OCaml. Functional Programming for the Masses.
Facebook: 14th November
- MirageOS: Compiling Functional Library Operating Systems. Anil Madhavapeddy.
FP Lab: 29th November
- MirageOS: Tomorrow's Cloud, Today. Richard Mortier.
ACS Lecture: 3rd December
- Modular Operating System Construction. Anil Madhavapeddy.
Wednesday Seminar: 4th December
- MirageOS: Modular Systems Programming. Anil Madhavapeddy.
OCL: 1st February
- Compiler Hacking Session at Makespace.
OCL: 18th April
- Compiler Hacking Session at Makespace.
NYC OCaml Meetup: 7th May
- At Jane Street, NY. Making OCaml for the Masses. Anil Madhavapeddy, Amir Chaudhry, Leo White and Thomas Gazagnaire.
OCL: 27th July
- Compiler hacking session at the CL, including OCaml Labs, Arm and Citrix.
OCL: 7th September
- 1st Compiler Hacking Session in the CL.
OCL: 18th September
- Compiler Hacking Session at Makespace.
OCL: 6th November
- 3rd Compiler Hacking Session in the CL.
ACM - March
- Unikernels: Library Operating Systems for the Cloud. Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft. 2013 ACM 978-1-4503-1870-9/13/03. Published in ASPLOS '13, ACM SIGARCH Computer Architecture News and ACM SIGPLAN Notices.
SAS - March
- Concise Analysis using Implication Algebras for Task-Local Memory Optimisation. Leo White and Alan Mycroft. Static Analysis Volume 7935 of the series Lecture Notes in Computer Science pp 433-453.
FOCI - August
- Lost in the Edge: Finding Your Way with DNSSEC Signposts. Anil Madhavapeddy, Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Amir Chaudhry and Jon Crowcroft. Part of the 3rd USENIX on Free and Open Communications on the Internet.
JFP - November
- Commercial Users of Functional Programming 2012 Workshop Report. Michael Sperber and Anil Madhavapeddy. Published in the Journal of Functional Programming, Cambridge University Press / Volume 23 / Issue 06 / 2013, pp 701-712.
ACM - November
- Trevi: Watering Down Storage Hotspots with Cool Fountain Codes. Anil Madhavapeddy, George Parisis, Toby Moncaster and Jon Crowcroft. Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks. Article No. 22.