Sites Inria

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.

Mots-clés : Gallium Séminaire Paris - Rocquencourt

Haut de page

Suivez Inria