Preuves, Programmes et Systèmes

sem2009/abstracts/ghica

Geometry of Synthesis: From programs to digital circuits via game semantics

Dan Ghica (U. Birmingham)

Abstract

I explain the basic idea of digital synthesis using game semantics and some of the technical challenges that needed to be overcome to make this technique work in practice. I will focus in particular on overcoming the mismatch between a game model that is asynchronous, and a circuit model that is synchronous. I will conclude my talk with some methodological points on the new unifying perspective that game semantics can bring on apparently unrelated concepts from programming languages and hardware design.