Galois Tech Talk: Adventures in Foreign Function Interfaces
Title: Adventures in Foreign Function Interfaces
Speaker: Joel Stanley
Date: Tuesday, August 19th, 10.30am
Location: Galois, Inc.
421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, Oregon
In-process integration and data exchange between multiple language runtimes is a classic software engineering challenge. This talk describes our experiences in building an open-source tool for generating an "FFI bridge" between Poly/ML and OCaml, via the common C FFI provided by both language's runtimes. The first intended use of this tool is to programmatically generate a bridge between Isabelle (on the Poly/ML side) and Intel's Decision Procedure Toolkit API (on the OCaml side).
About the Galois Tech Talks.
Galois (http://galois.com) has been holding weekly technical seminars for several years on topics from functional programming, formal methods, compiler and language design, to cryptography, and operating system construction, with talks by many figures from the programming language and formal methods communities. The talks are open and free. If you're planning to attend, dropping a note to <d...@galois.com> is appreciated, but not required. If you're interested in giving a talk, we're always looking for new speakers.