-
Notifications
You must be signed in to change notification settings - Fork 0
2016 Activities
PEPM: 19th January (Florida, USA)
- Staging Generic Programming. Jeremy Yallop.
CIF @ Scale14X: 22 January (California, USA)
- Knock, knock: Unikernels Calling! Richard Mortier.
/dev/winter: 23 January (Cambridge, UK)
-
Surfacing deep magic with library operating systems. Mindy Preston.
-
My first unikernel with MirageOS. Matthew Gray.
Compose: 4 February (New York USA)
- Composing network operating systems. Mindy Preston.
BobKonf: 19 February (Berlin, Germany)
- Jackline: A secure instant messaging application, functional from the ground up. Hannes Mehnert.
TRON Workshop @ NDSS: 23 February (California, USA)
- Not-quite-so-broken TLS 1.3: Mechanised Conformance Checking. Hannes Mehnert.
FLOPS: 4th-6th March (Kochi, Japan)
- Declarative foreign function binding through generic programming. Jeremy Yallop, David Sheets and Anil Madhavapeddy.
CodeMesh: 4th November (London, UK)
- Distributed Consensus: Making the Impossible Possible. Heidi Howard.
UCL Security Group Presentation: 14th January (London, UK)
- Unikernels: Rise of the library operating system, and how to engineer not-quite-so-broken software. Anil Madhavapeddy.
Facebook TechTalk: 28 January (California, USA)
- Concurrent and Multicore OCaml: A deep dive. KC Sivaramakrishnan & Stephen Dolan.
MSR Seminar: 19 February (Cambridge, UK)
- Anil Madhavapeddy.
LDN Functionals: 14th June
- The functional innards of Docker for Mac and Windows. Anil Madhavapeddy.
LDN Functionals: 2nd August
- OCaml Multicore and Programming with Reagents. KC Sivaramakrishnan.
London Facebook Faculty Summit: 14th September
- Effective parallelism with Reagents. KC Sivaramakrishnan.
Rustat Conference: 29th September 2016
- Anil Madhavapeddy and KC Sivaramakrishnan talked about the inner workings of DataKit and DataBox.
SPLS, Edinburgh: 9th November 2016
- Stephen Dolan talked about Irrelevant Classical Logic in Agda
LCFS, Edinburgh: 8th November 2016
- Stephen Dolan presented his work with Alan Mycroft on Polymorphism, Subtyping and Type Inference in MLsub
-
Romain Calascibetta | Parsing your email with Mr Mime | Abstract
-
Enguerrand Decorne | Drop-in replacement for libtls | Abstract
-
Armaël Guéneau | Compiling algebraic effects to JavaScript using js_of_ocaml |
-
Philip Dexter | Approximate computing and loop perforation in OCaml | Article
-
Olivier Nicole | Macros in OCaml | Proposal
-
Qi Li
-
Liang Wang
-
UROP: Ciaran Lawlor
-
UROP: Joel Jakubovic
NetOS Talklets / SRG Seminars
Unanimous Revisited: Distributed consensus for geo-replication - 2nd Feb 2016
- Heidi Howard
Managing Infrastructure as code with Puppet - 16th Feb 2016
- Gareth Rushgrove
Towards Compilation of Affine Algebraic Effect Handlers - 26th April 2016
- Daniel Hillerström
Approximate Computing - 19th July 2016
- Philip Dexter
Flexible Paxos: Reaching Agreement Without Majorities - 10th November 2016
- Heidi Howard
Getting higher network performance on MirageOS - 15th November 2016
- Takayuki Imada
Polymorphism, subtyping and type inference in MLsub - 16th December 2016
- Stephen Dolan
LNETM: 18th January (London, UK)
- Unikernels. Anil Madhavapeddy.
OCL: 17 February (Cambridge, UK)
- Twelfth Compiler Hacking Session in N7, Pembroke College. Pre-hack demo by Spiros Eliopoulos.
MirageOS Hackathon: 11th-16th March (Marrakech, Morocco)
- Staging Generic Programming. Jeremy Yallop. To be published in Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation WINNER OF BEST PAPER AWARD.
- Not-quite-so-broken TLS 1.3: Mechanised Conformance Checking. David Kaloper Merskinjak & Hannes Mehnert. To be published in the TRON 2016 Workshop Technical Programme
-
Declarative foreign function binding through generic programming. Jeremy Yallop, David Sheets and Anil Madhavapeddy. To be published in the proceedings of Thirteenth International Symposium on Functional and Logic Programming
-
Representation without Taxation: A Uniform, Low-Overhead and High-Level Interface to Eventually Consistent Key-Value Stores. KC Sivaramakrishnan, Gowtham Kaki and Suresh Jagannathan. IEEE Data Engineering Bulletin, 39(1): 52-64
- Composable Scheduler Activations for Haskell. KC Sivaramakrishnan, Tim Harris, Simon Marlow and Simon Peyton Jones. Journal of Functional Programming (JFP) 2016
-
Lock-free programming for the masses. KC Sivaramakrishnan and Théo Laurent. OCaml Workshop 2016
-
Effective Concurrency with Algebraic Effects. Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy. OCaml Workshop
-
Compiling Links Effect Handlers to the OCaml Backend. Daniel Hilleström, Sam Lindley and KC Sivaramakrishnan. ML Workshop 2016
-
Eff Directly in OCaml. Oleg Kiselyov and KC Sivaramakrishnan. ML Workshop
-
Migrating MultiMLton to the Cloud. KC Sivaramakrishnan, Lukasz Ziarek and Suresh Jagannathan. ML Workshop