Vous pouvez vous abonner à nos annonces de séminaires
                     http://gallium.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                        Amphi Turing du bâtiment 1

                          VENDREDI 14 juin, 10h30

                                 ---------
                                 Dan Ghica
                                 ---------

                          University of Birmingham

             =================================================
             Semantic foundations of heterogeneous compilation
             =================================================

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.