Accéder directement au contenu

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)
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
Image document

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

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 hal-00826545v1

Polyèdres et compilation

François Irigoin , Mehdi Amini , Corinne Ancourt , Fabien Coelho , Béatrice Creusillet
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 hal-00826543v1

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

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

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

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

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

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

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

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

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

FREIA ANT-AF-2007-004

Michel Bilodeau , Christophe Clienti , Fabien Coelho , Serge Guelton , François Irigoin
Congrès ANR, Jan 2016, Lyon, France
Communication dans un congrès hal-01526570v1
Image document

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

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

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

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

François Irigoin , Pierre Jouvelot , Rémi Triolet
Communication dans un congrès hal-00984684v1
Image document

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

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

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

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
6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France
Communication dans un congrès hal-00828772v1

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

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

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

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

Polyèdres et Compilation

François Irigoin , Mehdi Amini , Corinne Ancourt , Fabien Coelho , Béatrice Creusillet
Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France
Communication dans un congrès hal-00743713v1
Image document

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

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

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

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

Mehdi Amini , Corinne Ancourt , Fabien Coelho , Béatrice Creusillet , Serge Guelton
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
Image document

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

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

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

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

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

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

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

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

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

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

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

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

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 hal-01251172v1
Image document

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 hal-01254426v1
Image document

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

Vivien Maisonneuve , Olivier Hermant , François Irigoin
[Research Report] Mines ParisTech. 2014
Rapport hal-01086732v1
Image document

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

Compilation for Heterogeneous Computing: Automating Analyses, Transformations and Decisions

Serge Guelton , François Irigoin , Ronan Keryell
2011
Rapport hal-00881217v1

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

Serge Guelton , François Irigoin , Ronan Keryell
2010
Rapport hal-00903638v1

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

Serge Guelton , François Irigoin , Ronan Keryell
2010
Rapport hal-00903647v1

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 hal-01333429v1
Image document

Towards a method to deploy systems engineering processes within companies

Clémentine Cornu , Vincent Chapurlat , Bernard Chiavassa , François Irigoin
2010
Rapport hal-00839876v1
Image document

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 hal-01134300v1