Talk at “Compiling Complete Programs into Circuits” 2012

I gave a contributed talk on GOS/Verity at the CCPC workshop, part of the ASPLOS conference. The focus of the talk was on the fact that using a semantic notion of function call it is possible to support separate compilation and a foreign function interface. This is very useful because it means we can use libraries and low-level things such as device drivers. The video is here.

About Dan Ghica

Reader in Semantics of Programming Languages // University of Birmingham // https://twitter.com/danghica // https://www.facebook.com/dan.ghica
This entry was posted in Geometry of Synthesis. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

*

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>