Séminaire des équipes de recherche
Semantic foundations of heterogeneous compilation
- Date : 14/06/2013
- Lieu : Rocquencourt, Amphithéâtre A. Turing - bâtiment 1
- Intervenant(s) : Dan Ghica
- Organisateur(s) : Gallium
This is an introductory, motivational and methodological talk in which I will describe my "Seamless Computing" research programme. By "seamless" I mean that programming languages for unconventional architectures (e.g. distributed, reconfigurable, heterogeneous) can still conform to the long-established principles of machine independence, recast in this new setting. I will talk about when and how such conventional languages (higher-order, imperative, concurrent) can be compiled in a seamless way, using ideas based on the Geometry of Interaction and on game semantics.