Francois Irigoin

Documents

Présentation

Directeur de recherche à MINES ParisTech

Informaticien

HDR, docteur université Pierre-et-Marie-Curie, ingénieur civil de l'École des mines de Paris

Domaines de compétences

Analyse statique. transformations, instrumentation et optimisation de programmes
Compilation
Développement de logiciels

Responsabilités

directeur du Centre de recherche en informatique (CRI)

Publications

Combining data and computation distribution directives for hybrid parallel rogramming : a transformation system

Rachid Habel , Frédérique Silber-Chaussumier , François Irigoin , Elisabeth Brunet , François Trahay

International Journal of Parallel Programming, 2016, 44 (6), pp.1268 - 1295. ⟨10.1007/s10766-016-0428-3⟩

Article dans une revue hal-01346661v1

API Compilation for Image Hardware Accelerators

Fabien Coelho , François Irigoin

ACM Transactions on Architecture and Code Optimization, 2013, Volume 9 (Issue 4), pp.1-25. ⟨10.1145/2400682.2400708⟩

Article dans une revue hal-00829650v1

Compilation pour cibles hétérogènes : le cas Terapix (version papier)

Serge Guelton , François Irigoin , Ronan Keryell

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, No 1, pp.9-33. ⟨10.3166/TSI.22.9-33⟩

Article dans une revue hal-00830160v1

Compilation et optimisation statique des communications hôte-accélérateur

Mehdi Amini , Fabien Coelho , François Irigoin , Ronan Keryell

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (8-10), pp.1205-1232. ⟨10.3166/tsi.31.1205-1232⟩

Article dans une revue istex hal-00826545v1

Polyèdres et compilation

François Irigoin , Mehdi Amini , Corinne Ancourt , Fabien Coelho , Béatrice Creusillet et al.

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, 31 (8-10), pp.987-1019. ⟨10.3166/tsi.31.987-1019⟩

Article dans une revue istex hal-00826543v1

Customizable Interoperability Assessment Methodology To Support Technical Processes Deployment In Large Companies

Clémentine Cornu , Vincent Chapurlat , Jean-Marc Quiot , François Irigoin

Annual Reviews in Control, 2012, vol.36 (No. 2), pp 300-308. ⟨10.1016/j.arcontrol.2012.09.011⟩

Article dans une revue hal-00790040v1

Efficient and effective array bound checking

Nga Thi Viet Nguyen , François Irigoin

ACM Transactions on Programming Languages and Systems (TOPLAS), 2005, 27 (3), pp.527 - 570. ⟨10.1145/1065887.1065893⟩

Article dans une revue hal-01662155v1

Alias verification for Fortran code optimization

Nga Thi Viet Nguyen , François Irigoin

Electronic Notes in Theoretical Computer Science, 2002, 65 (2), pp.52 - 66. ⟨10.1016/S1571-0661(04)80396-7⟩

Article dans une revue hal-01662150v1

Interprocedural Analyses of Fortran Programs

Béatrice Creusillet , François Irigoin

Parallel Computing, 1997, Vol. 24 (No. 3-4), pp.629-648. ⟨10.1016/S0167-8191(98)00028-3⟩

Article dans une revue hal-00752825v1

Interprocedural Array Region Analyses

Béatrice Creusillet , François Irigoin

International Journal of Parallel Programming, 1996, Vol. 24 (No. 6), pp. 513-546

Article dans une revue hal-00752611v1

A Linear Algebra Framework for Static HPF Code Distribution

Corinne Ancourt , Fabien Coelho , François Irigoin , Ronan Keryell

Scientific Programming, 1995, Vol. 6, pp.3-27

Article dans une revue hal-00752595v1

Automatic Code Generation of Distributed Parallel Tasks

Nelson Lossing , Corinne Ancourt , François Irigoin

Onzième rencontre de la communauté française de compilation, Sep 2016, Aussois, France

Communication dans un congrès hal-01431386v1

Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers

Nelson Lossing , Pierre Guillou , François Irigoin

16th IEEE International Working Conference on Source Code Analysis and Manipulation , Oct 2016, Raleigh, United States. pp.167-176, ⟨10.1109/SCAM.2016.20⟩

Communication dans un congrès hal-01359465v1

A Dynamic to Static DSL Compiler for Image Processing Applications

Pierre Guillou , Benoît Pin , Fabien Coelho , François Irigoin

19th Workshop on Compilers for Parallel Computing, Jul 2016, Valladolid, Spain

Communication dans un congrès hal-01352808v1

Automatic Code Generation of Distributed Parallel Tasks

Nelson Lossing , Corinne Ancourt , François Irigoin

19th IEEE International Conference on Computational Science and Engineering (CSE 2016), Aug 2016, paris, France. pp.234-241, ⟨10.1109/CSE-EUC-DCABES.2016.190⟩

Communication dans un congrès hal-01359468v1

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

Nelson Lossing , Pierre Guillou , François Irigoin

16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016), Oct 2016, Raleigh, United States

Communication dans un congrès hal-01431340v1

From Data to Effects Dependence Graphs: Source-to-Source Transformations for C

Nelson Lossing , Pierre Guillou , Mehdi Amini , François Irigoin

the 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom

Communication dans un congrès hal-01112308v1

LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications

Dounia Khaldi , Pierre Jouvelot , François Irigoin , Corinne Ancourt , Barbara Chapman

LLVM '15 Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, Nov 2015, Austin, United States. pp.2:1--2:8, ⟨10.1145/2833157.2833158⟩

Communication dans un congrès hal-01254368v1

Computing Invariants with Transformers: Experimental Scalability and Accuracy

Vivien Maisonneuve , Olivier Hermant , François Irigoin

Fifth International Workshop on Numerical and Symbolic Abstract Domains, Sep 2014, Munich, Germany. 14 p., Pages 17-31, ⟨10.1016/j.entcs.2014.08.003⟩

Communication dans un congrès hal-01058298v1

Automatic Streamization of Image Processing Applications

Pierre Guillou , Fabien Coelho , François Irigoin

The 27th International Workshop on Languages and Compilers for Parallel Computing, Parasol, Sep 2014, Hillsboro, United States. pp 224-238, ⟨10.1007/978-3-319-17473-0_15⟩

Communication dans un congrès hal-01096735v1

Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS Project

François Irigoin , Pierre Jouvelot , Rémi Triolet

France. pp.12-14, ⟨10.1145/2591635.2591645⟩

Communication dans un congrès hal-00984684v1

Dendrogram Based Algorithm for Dominated Graph Flooding

Fernand Meyer , Claude Tadonki , François Irigoin

International Conference on Computational Science (ICCS 2014), Jun 2014, Cairns, Australia. pp.586-598, ⟨10.1016/j.procs.2014.05.053⟩

Communication dans un congrès hal-01098077v1

ALICe: A Framework to Improve Affine Loop Invariant Computation

Vivien Maisonneuve , Olivier Hermant , François Irigoin

the 5th International Workshop on Invariant Generation (WING 2014), Jul 2014, Vienne, Austria

Communication dans un congrès hal-01086957v1

SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension

Dounia Khaldi , Pierre Jouvelot , François Irigoin , Corinne Ancourt

17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France

Communication dans un congrès hal-00823324v1

SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension

Dounia Khaldi , Pierre Jouvelot , François Irigoin , Corinne Ancourt

HiPEAC Computing Systems Week, May 2013, Paris, France

Communication dans un congrès hal-00828744v1

Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages

Dounia Khaldi , Pierre Jouvelot , Corinne Ancourt , François Irigoin

25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. pp 174-189, ⟨10.1007/978-3-642-37658-0_12⟩

Communication dans un congrès hal-00742536v1

Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions

Corinne Ancourt , Teodora Petrisor , François Irigoin , Eric Lenormand

15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013), Nov 2013, Zhangjiajie, China. pp. 800-811

Communication dans un congrès hal-00919433v1

SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension

Dounia Khaldi , Pierre Jouvelot , François Irigoin , Corinne Ancourt

6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France

Communication dans un congrès hal-00828772v1

Static Compilation Analysis for Host-Accelerator Communication Optimization

Mehdi Amini , Fabien Coelho , François Irigoin , Ronan Keryell

LCPC'2011 : The 24th International Workshop on Languages and Compilers for Parallel Computing, Sep 2011, Fort Collins, Colorado, United States. pp. 237-251

Communication dans un congrès hal-00743496v1

Interoperability Assessment in the Deployment of Technical Processes in Industry

Clémentine Cornu , Vincent Chapurlat , Jean-Marc Quiot , François Irigoin

INCOM 2012, The 14th edition of IFAC's triennal symposium INCOM, May 2012, Bucharest, Romania. pp. F20-F25

Communication dans un congrès hal-00750860v1

FREIA ANT-AF-2007-004

Michel Bilodeau , Christophe Clienti , Fabien Coelho , Serge Guelton , François Irigoin et al.

Congrès ANR, Jan 2016, Lyon, France

Communication dans un congrès hal-01526570v1

Data and Process Abstraction in PIPS Internal Representation

Fabien Coelho , Pierre Jouvelot , Corinne Ancourt , François Irigoin

Troisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France

Communication dans un congrès hal-00744294v1

PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPS

Mehdi Amini , Corinne Ancourt , Fabien Coelho , Béatrice Creusillet , Serge Guelton et al.

First International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France

Communication dans un congrès hal-00744312v1

Mixing Systems Engineering and Enterprise Modelling principles to formalize a SE processes deployment approach in industry

Clémentine Cornu , Vincent Chapurlat , Bernard Chiavassa , François Irigoin

Complex Systems Design & Management (CSDM 2011), Dec 2011, Paris, France. pp. 201-210

Communication dans un congrès hal-00750854v1

A complete industrial multi-target graphical tool-chain for parallel implementations of signal/image applications

Teodora Petrisor , Eric Lenormand , Corinne Ancourt , François Irigoin

The 14th International Workshop on Software and Compilers for Embedded Systems, Jun 2011, Schloss Rheinfels, St. Goar, Germany

Communication dans un congrès hal-00743506v1

Data and Process Abstraction in PIPS Internal Representation

Fabien Coelho , Pierre Jouvelot , Corinne Ancourt , François Irigoin

First Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France

Communication dans un congrès hal-00744291v1

A Maturity Model for the Deployment of Systems Engineering processes

Clémentine Cornu , Jean-Marc Quiot , Vincent Chapurlat , François Irigoin

IEEE 2012 International Systems Conference (SysCon 2012), Mar 2012, Vancouver, Canada. pp. 560-566, ⟨10.1109/SysCon.2012.6189535⟩

Communication dans un congrès hal-00743207v1

Compiling for a Heterogeneous Vector Image Processor

Fabien Coelho , François Irigoin

Troisièmes journées Nationales du GDR Génie de la Programmation et du Logiciel (GDR GPL 2011), Jun 2011, Lille, France

Communication dans un congrès hal-00744076v1

Compiling for an Heterogeneous Vector Image Processor

Fabien Coelho , François Irigoin

9th Workshop on Optimizations for DSP and Embedded Systems (ODES-9) In conjunction with: International Symposium on Code Generation and Optimization (CGO), Apr 2011, Chamonix, France. pp. 5-12

Communication dans un congrès hal-00919248v1

Compilation pour cibles hétérogènes : automatisation des analyses, transformations et décisions nécessaires

Serge Guelton , Ronan Keryell , François Irigoin

Rencontres francophones du Parallélisme (RenPar'20) Symposium en Architectures nouvelles de machines (SympA'14) et la Conférence Française en Systèmes d'Exploitation (CFSE 8), May 2011, Saint-Malo, France

Communication dans un congrès hal-00744284v1

Compilation et optimisation statique des communications hôte-accélérateur

Mehdi Amini , Fabien Coelho , François Irigoin , Ronan Keryell

Communication dans un congrès hal-00744259v1

Polyèdres et Compilation

François Irigoin , Mehdi Amini , Corinne Ancourt , Fabien Coelho , Béatrice Creusillet et al.

Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France

Communication dans un congrès hal-00743713v1

A model based systems engineering processes deployment framework

Clémentine Cornu , Bernard Chiavassa , Vincent Chapurlat , François Irigoin

6th International Conference on Software and Database Technologies, ICSOFT 2011, Jul 2011, Séville, Spain. pp.65-70

Communication dans un congrès hal-00659357v1

A Modular Static Analysis Approach to Affine Loop Invariants Detection

Corinne Ancourt , Fabien Coelho , François Irigoin

The Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.3-16, ⟨10.1016/j.entcs.2010.09.002⟩

Communication dans un congrès hal-00586338v1

Test of several approaches for the composition of web services in meteorology.

Benoît Gschwind , Lucien Wald , Robert Mahl , François Irigoin , Lionel Ménard

EnviroInfo 2007, Environmental Informatics and systems research, the 21st International Conference on "Informatics for Environmental Protection", 2007, France. pp.127-134

Communication dans un congrès hal-00222759v1

A case study of design space exploration for embedded multimedia applications in SoCs

Isabelle Hurbain , Corinne Ancourt , François Irigoin , Michel Barreteau , Juliette Mattioli et al.

the Seventeenth IEEE Internatioanl Workshop on Rapid System Prototyping 2006 (RSP'06), Jun 2006, Chania, Crête, Greece. pp. 133-139, ⟨10.1109/RSP.2006.1⟩

Communication dans un congrès hal-00752887v1

Scanning polyhedra with DO loops

Corinne Ancourt , François Irigoin

Principles and Pratice of Parallel Programming, PPoPP'91, Apr 1991, Williamsburg, Virginia,, United States. pp.Pages 39 - 50, ⟨10.1145/109626.109631⟩

Communication dans un congrès hal-00752774v1

Broadcast And Surveillance TechnologIes Over Networks - Armines DEMONSTRATOR

Corinne Ancourt , François Irigoin , Claude Tadonki , Mark Verhoeven

BASTION-ENIAC, May 2017, Gilze, Netherlands. 2017

Poster de conférence hal-01531978v1

Inondations dominées de Graphes Valués

Fernand Meyer , Claude Tadonki , François Irigoin

Séminaire de l'Institut Carnot M.I.N.E.S, Jul 2014, Paris, France. 2014

Poster de conférence hal-01093881v1

Programmation Haute Performance pour Architectures hybrides

Rachid Habel , François Irigoin , Frédérique Silber-Chaussumier

Conférence et Parallélisme, Architecture et Système : RenPar - CFSE - ComPas, Jan 2013, Grenoble, France

Poster de conférence hal-01086632v1

Program Sequentially, Carefully, and Benefit from Compiler Advances for Parallel Heterogeneous Computing

Mehdi Amini , Corinne Ancourt , Béatrice Creusillet , François Irigoin , Ronan Keryell

Magoulès Frédéric. Patterns for Parallel Programming on GPUs, 34, Saxe-Coburg Publications, pp. 149-169, 2012, 978-1-874672-57-9 ⟨10.4203/csets.34.6⟩

Chapitre d'ouvrage hal-01526469v1

Tiling

François Irigoin

David Padua Editorin-Chief. Encyclopedia of Parallel Computing, Springer Verlag, pp 2040-2049, 2011, 978-0-387-09765-7. ⟨10.1007/978-0-387-09766-4_511⟩

Chapitre d'ouvrage hal-00881140v1

Dependence Abstractions

François Irigoin

David Padua Editorin-Chief. Encyclopedia of Parallel Computing, Springer Verlag, pp 552-556, 2011, 978-0-387-09765-7. ⟨10.1007/978-0-387-09766-4_272⟩

Chapitre d'ouvrage hal-00881133v1