Galois Tech Talk: Adventures in Foreign Function Interfaces
Don Stewart
------------------------------------------------------------------------
Title: Adventures in Foreign Function Interfaces
Speaker: Joel Stanley
Galois, Inc.
Date: Tuesday, August 19th, 10.30am
Location: Galois, Inc.
421 SW 6th Ave. Suite 300
(3rd floor of the Commonwealth Building)
Portland, Oregon
Abstract:
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 <do...@galois.com> is appreciated, but not required.
If you're interested in giving a talk, we're always looking for new
speakers.
------------------------------------------------------------------------