Francois Irigoin

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

Article dans une revue (11)

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 Creusilletet 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

Communication dans un congrès (36)

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
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
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
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,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
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
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
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
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 Irigoinet al. Congrès ANR, Jan 2016, Lyon, France Communication dans un congrès hal-01526570v1
PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPS Mehdi Amini,Corinne Ancourt,Fabien Coelho,Béatrice Creusillet,Serge Gueltonet 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
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
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
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
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
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
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 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
Polyèdres et Compilation François Irigoin,Mehdi Amini,Corinne Ancourt,Fabien Coelho,Béatrice Creusilletet 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 Mattioliet 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

Poster de conférence (3)

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

Chapitre d'ouvrage (3)

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

Pré-publication, Document de travail (1)

A Dynamic to Static DSL Compiler for Image Processing Applications Pierre Guillou,Benoît Pin,Fabien Coelho,François Irigoin 2017 Pré-publication, Document de travail hal-01665055v1

Rapport (12)

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