2016 Activities

Jump to bottom Edit New page

yallop edited this page Jan 20, 2016 · 24 revisions

Conferences

PEPM: 19th February (Florida, USA)

Staging Generic Programming. Jeremy Yallop.

** FLOPS: 4th-6th March** (Kochi, Japan)

Declarative foreign function binding through generic programming. Jeremy Yallop, David Sheets and Anil Madhavapeddy

Other talks/presentations

UCL Security Group Presentation: 14th January (London, UK)

MirageOS. Anil Madhavapeddy.

Meetups/Compiler Hacking

MirageOS Hackathon: 11th-16th March (http://marrakech2016.mirage.io)

Papers

Staging Generic Programming. Jeremy Yallop. To be published in Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
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