-
Notifications
You must be signed in to change notification settings - Fork 0
2016 Activities
Gemma Gordon edited this page Feb 12, 2016
·
24 revisions
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.
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.
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 Eliopolous.
MirageOS Hackathon: 11th-16th March (Marrakech, Morocco)
PEPM - January
- 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.
TRON - February
- 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
FLOPS - March
- 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