Mercredi 22 Mai

Retour à la vue des calendrier
Mercredi 22 Mai
Heure: 00:59 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Game semantics and applications to compilation (1/3): Semantic foundations of heterogeneous compilation
Description: Dan Ghica 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.