Galois Tech Talk: Adventures in Foreign Function Interfaces

1 view
Skip to first unread message

Don Stewart

Aug 14, 2008, 2:45:33 PM8/14/08
Next week's Galois Tech Talk:


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


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 ( 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 <> is appreciated, but not required.
If you're interested in giving a talk, we're always looking for new


Reply all
Reply to author
0 new messages