Antoine FLOC'H
[contact]    [publications]    [research]   [softwares]  [CV]  

I'm currently working on my Ph.D thesis in the CAIRN group, with my advisers Christophe Wolinski and Francois Charot. I'm funded by an INRIA grant under the Nano2012 project in partnership with ST Microelectronics.

Since January 2010 I'm involved in the LRS joint team between the CAIRN (University of Rennes1) and MELANGE (Colorado State University) groups.


IRISA, Office D068
Campus de Beaulieu
35042 Rennes CEDEX, France
Mail :
Phone : +33 2 99 84 75 48



I'm the main contributor of these softwares:

  • ARCAdE : Aspect Oriented Constraint Programming Environnement (
  • TOM mapping: EMF Metamodel Mapping DSL for TOM tree rewriting rules engine (
  • Gaya: Graph library and editors. Advanced algorithm such as pattern generation and graph covering (not available now)
  • I'm also involved in:

  • GeCoS : Generic Compiler Suite (
  • Polymodel : Polyhedral Metamodel and tools (
  • Graph Mapper: Graph library adapter generator for any EMF graph Metamodel through a mapping DSL (
  • JNIMap: Generation of JNI bindings to map a C library to Java through a simple DSL description. (
  • Publications

    International conferences

  • Model-Driven Engineering and Optimizing Compilers: A bridge too far ? Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoit Combemale, Sanjay Rajopadhye, and Robert B. France , MODELS 2011,16-21 October, Wellington, New Zealand

  • Combined Scheduling and Instruction Selection for Processors with Reconfigurable Cell Fabric Antoine Floch, Christophe Wolinski, Krzysztof Kuchcinski , ASAP 2010, Rennes, France

  • Constraint-Driven Instructions Selection and Application Scheduling in the DURASE system Kevin Martin, Christophe Wolinski,  Krzysztof Kuchcinski, Antoine Floch and François Charot , ASAP 2009, Boston, Massachussets, USA

  • Constraint-Driven Identification of Application Specific Instructions in the DURASE system Kevin Martin, Christophe Wolinski,  Krzysztof Kuchcinski, Antoine Floch and François Charot , SAMOS 2009,Samos, Greece
  • Workshops and tutorials

  • Graph Constraints in Embedded System Design Christophe Wolinski, Krzysztof Kuchcinski, Kevin Martin, Antoine Floch,  Erwan Raffin, François Charot, COESD 2010, Bologna, Italy

  • Design of Accelerators with Constraints Christophe Wolinski,  Krzysztof Kuchcinski, Kevin Martin, Antoine Floch and François Charot, , SweConsNet Workshop, 2009, Linköping, Sweden

  • S2S4HLS and LoMiTa flows in GeCoS Antoine Morvan, Ludovic L'Hours, Antoine Floch, Kevin Martin, M. Adeel Pasha, Amit Kumar, Maxime Naullet, Steven Derrien , University Booth at DATE, 2011, Grenoble, France

  • GeCoS : a source to source optimizing compiler for the automatic synthesis of parallel hardware accelerators Antoine Morvan, Amit Kumar, Antoine Floch, Steven Derrien , Designing for Embedded Parallel Computing Platforms at DATE, 2011, Grenoble, France

  • National conferences

  • Sélection d’instructions et ordonnancement parallèle simultanés pour la conception de processeurs spécialisés Antoine Floch, François Charot, Steven Derrien, Kevin Martin, Antoine Morvan, Christophe Wolinski, , SympA 2011, Saint-Malo, France

  • Sélection automatique d’instructions et ordonnancement d’applications basés sur la programmation par contraintes Kevin Martin, Christophe Wolinski,  Krzysztof Kuchcinski, Antoine Floch and François Charot, , SympA 2009, Toulouse, France


  • Compilation pour architectures reconfigurables à grain épais , Antoine Floch , Master thesis, 2007, University of Rennes 1, France