Declarative Foreign Function Binding Through Generic Programming

/ Papers / Declarative Foreign Function Binding Through Generic Programming

In the proceedings of Functional and Logic Programming (FLOPS), Feb 2016
PDF

URL

BibTeX

DOI

Abstract. Foreign function interfaces are typically organised monolithically, tying together the specification of each foreign function with the mechanism used to make the function available in the host language. This leads to inflexible systems, where switching from one binding mechanism to another (say from dynamic binding to static code generation) often requires changing tools and rewriting large portions of code.

Authors. Jeremy Yallop, David Sheets and Anil Madhavapeddy

See Also. This publication was part of the OCaml Labs and Unikernels projects.

News Updates

Jan 2023. «

» Recap of the OCaml community in 2022 posted along with plans to join the 'fediverse'.

Apr 2022. «

» Update posted to the OCaml community on progress towards OCaml 5.0.

Feb 2022. «

» Update posted to the OCaml community on post-multicore-merge activities in OCaml trunk.

Dec 2021. «

» Update posted to the OCaml community on major multicore code review with Inria.

Oct 2021. «

» Update posted to the OCaml community on confirmation that the effect system will appear in OCaml 5.0.

Aug 2021. «

» Published a roadmap for OCaml.org's revamp.

Aug 2020. «

» Update on multicore OCaml being ready for testing / «

» Talk on the state of the OCaml Platform in 2020.

Apr 2020. «

» Update the OCaml community on multicore progress and linked preprint of ICFP submission on the runtime.

Feb 2020. «

» Part 3 / «

» Part 2 / «

» Delivered the distinguished seminar series at St Andrews on rebuilding Operating Systems with functional principles.

Jan 2020. «

» Began updating the OCaml community regularly with multicore monthly reports.

Nov 2018. «

» Rearranged the OCaml opam repository layout.

Sep 2017. «

» Talk on the state of the OCaml Platform.

Oct 2016. «

» DockerCon talk on unikernels and MirageOS.

Jun 2016. «

» Interviewed by The New Stack at OSCON in Austin, Texas / «

» Updated the MirageOS community about the 2016 hack retreat.

May 2016. «

» Announced HyperKit, VPNKit and DataKit for the Docker ecosystem.

Feb 2016. «

» Paper on declarative approaches to foreign function bindings at FLOPS 2016.

Jan 2016. «

» Announced that Unikernel Systems is now part of Docker.

Sep 2015. «

» Update on the state of the OCaml Platform / «

» Invited talk at NetPL on Immutable Distributed Infrastructure with Unikernels.

May 2015. «

» Talk at Esper on functional programming with unikernels.

Apr 2015. «

» Updated the OCaml community on annual OCaml Labs activities for 2014.

Feb 2015. «

» Announced a call for sponsorships for ICFP 2015 in my role as industrial relations chair.

Jan 2015. «

» Gave BOB 2015 keynote on functional Operating Systems.

Nov 2014. «

» New Directions in Operating Systems talk on Jitsu.

Oct 2014. «

» At the Xen Summit speaking about branch consistency for Xen Stub Domains.

Sep 2014. «

» Gave Haskell Symposium 2014 Keynote on functional OS design / «

» Talk on the OCaml Platform reaching v1.0.

Aug 2014. «

» Note on talks from OCaml Labs at ICFP 2014.

Jul 2014. «

» Announced the release of MirageOS 1.2, and a roadmap towards MirageOS 2.0 / «

» Announced the long-awaited release of MirageOS 2.0 / «

» Appeared on FLOSS Weekly 302 about Open Mirage.

May 2014. «

» Appeared on SE Radio Episode 204 about Mirage and OCaml.

Mar 2014. «

» Call for sponsorships for ICFP 2014 in my role as industrial relations chair / «

» Note on an experiment to improve the coupling of opam with GitHub / «

» Note on the Codio support for the opam package manager.

Jan 2014. «

» Note on the discussions around my recent CACM article on unikernels.

Dec 2013. «

» Updated the OCaml community on the activities of OCaml Labs in 2013.

Nov 2013. «

» MirageOS and XAPI project update at XenSummit / «

» Note on integrating Docker and opam more effectively.

Sep 2013. «

» Note on the release of the OPAM 1.1 beta / «

» Liveblog from the CUFP 2013 workshop at ICFP / «

» Liveblog from the OCaml 2013 workshop.

Jul 2013. «

» Mirage Developer Preview 1 screencast.

Apr 2013. «

» Note on how to grep the source code for all packages on opam.

Oct 2012. «

» Discussing how we disaggregated MirageOS into opam packages / «

» Announced the opening of OCaml Labs at Cambridge, along with Jane Street support.

Sep 2012. «

» Note on how to build XenStore stub domains using MirageOS / «

» Recording of the OCaml Labs announcement.

Feb 2012. «

» Note on using ARM Dreamplugs with OCaml published.

Oct 2011. «

» At the OCaml Meeting 2011 speaking about MirageOS.

Sep 2011. «

» Liveblog on the talks at CUFP 2011.

Jun 2011. «

» Note discussing an OCaml interface to our new CIEL dataflow engine / «

» Published a note on delimited continuations vs Lwt in OCaml for MirageOS.

Apr 2011. «

» Trip report about the new OCaml Users Group in Paris / «

» Blogged about the growth of functional programming in the Systems Research Group.

Oct 2010. «

» Announced that the MirageOS website now self-hosted on MirageOS! / «

» At LinkedIn giving tech talk about Mirage.

Jun 2010. «

» At HotCloud for the first talk about MirageOS.