Francois Irigoin

66
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

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

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

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 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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-00744259v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

The SPIRE Methodology of Compiler Parallel Intermediate Representation Design

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

[Research Report] A/613/CRI, Centre de Recherche en Informatique - MINES ParisTech - PSL Research University. 2015

Rapport (rapport de recherche) hal-01251172v1
Deposit thumbnail

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

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

[Technical Report] MINES ParisTech. 2015

Rapport (rapport technique) hal-01254426v1
Deposit thumbnail

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic

Vivien Maisonneuve , Olivier Hermant , François Irigoin

[Research Report] Mines ParisTech. 2014

Rapport (rapport de recherche) hal-01086732v1
Deposit thumbnail

Application of an Enterprise Modelling approach to deploy Systems Engineering processes in large organizations

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

2012

Rapport hal-00839885v1
Deposit thumbnail

Compilation for Heterogeneous Computing: Automating Analyses, Transformations and Decisions

Serge Guelton , François Irigoin , Ronan Keryell

2011

Rapport hal-00881217v1

PIPS tutorial : an interprocedural, extensible, source-to-source compiler infrastructure for code transformations and Instrumentations

François Irigoin , Serge Guelton , Ronan Keryell , Frédérique Silber-Chaussumier

[Research Report] Dept. Informatique (Institut Mines-Télécom-Télécom SudParis); Centre de Recherche en Informatique (MINES ParisTech). 2010

Rapport (rapport de recherche) hal-01333429v1
Deposit thumbnail

Towards a method to deploy systems engineering processes within companies

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

2010

Rapport hal-00839876v1

SAC, a retargeable source-to-source Compiler SIMD Architecture

Serge Guelton , François Irigoin , Ronan Keryell

2010

Rapport hal-00903647v1

Automatic and source-to-source code generation for vector hardware accelerators.

Serge Guelton , François Irigoin , Ronan Keryell

2010

Rapport hal-00903638v1
Deposit thumbnail

Automatic Code Generation for SIMD Hardware Accelerators

Serge Guelton , François Irigoin , Ronan Keryell

2010

Rapport hal-00881211v1

Par4All: Auto-Parallelizing C and Fortran for the CUDA Architecture

Béatrice Creusillet , Ronan Keryell , Stéphanie Even , Serge Guelton , François Irigoin

2009

Rapport hal-00903636v1

Supernodes and Alliant FX/8 Minisupercomputer

François Irigoin , Rémi Triolet

[Research Report] ENSMP-CAI-86-E81, MINES ParisTech. 1986

Rapport (rapport de recherche) hal-01134300v1