Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">Galois Tech Talk: Adventures in Foreign Function Interfaces</h1> <div class='date'><time class="dtstart dt-start" title="2008-08-19T10:30:00" datetime="2008-08-19T10:30:00">Tuesday, August 19, 2008 from 10:30am</time>–<time class="dtend dt-end" title="2008-08-19T12:00:00" datetime="2008-08-19T12:00:00">noon</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202390439'><span class='fn org p-name'>Galois, Inc</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">421 SW 6th Ave. Suite 300</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">OR</span> <span class="postal-code p-postal-code">97204</span> <div class="country-name p-country-name">US</div> (<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>) </div> </div> <div class="description p-description"> <p>Title: Adventures in Foreign Function Interfaces</p> <p>Speaker: Joel Stanley</p> <pre><code> Galois, Inc. </code></pre> <p>Date: Tuesday, August 19th, 10.30am</p> <p>Location: Galois, Inc.</p> <pre><code> 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, Oregon </code></pre> <p>Abstract:</p> <pre><code>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). </code></pre> <p>About the Galois Tech Talks.</p> <pre><code>Galois (<a href="http://galois.com">http://galois.com</a>) 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 <<a href="mailto:d...@galois.com">d...@galois.com</a>> is appreciated, but not required. If you're interested in giving a talk, we're always looking for new speakers. </code></pre> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="http://groups.google.com/group/pdxfunc/browse_thread/thread/21d166d2c615874c">Website</a></li> </ul> </div>