Nombre de documents

63

François Irigoin


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

 

 

Responsabilités

 


Article dans une revue9 documents

  • Rachid Habel, Frédérique Silber-Chaussumier, François Irigoin, Elisabeth Brunet, François Trahay. Combining data and computation distribution directives for hybrid parallel rogramming : a transformation system. International Journal of Parallel Programming, Springer Verlag, 2016, 44 (6), pp.1268 - 1295. 〈10.1007/s10766-016-0428-3〉. 〈hal-01346661〉
  • Fabien Coelho, François Irigoin. API Compilation for Image Hardware Accelerators. ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2013, Volume 9 (Issue 4), pp.1-25. 〈10.1145/2400682.2400708〉. 〈hal-00829650〉
  • Serge Guelton, François Irigoin, Ronan Keryell. Compilation pour cibles hétérogènes : le cas Terapix (version papier). Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, pp.9-33. 〈10.3166/TSI.22.9-33〉. 〈hal-00830160〉
  • Mehdi Amini, Fabien Coelho, François Irigoin, Ronan Keryell. Compilation et optimisation statique des communications hôte-accélérateur. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (8-10), pp.1205-1232. 〈10.3166/tsi.31.1205-1232〉. 〈hal-00826545〉
  • François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, et al.. Polyèdres et compilation. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, 31 (8-10), pp.987-1019. 〈10.3166/tsi.31.987-1019〉. 〈hal-00826543〉
  • Clémentine Cornu, Vincent Chapurlat, Jean-Marc Quiot, François Irigoin. Customizable Interoperability Assessment Methodology To Support Technical Processes Deployment In Large Companies. Annual Reviews in Control, Elsevier, 2012, vol.36 (No. 2), pp 300-308. 〈hal-00790040〉
  • Béatrice Creusillet, François Irigoin. Interprocedural Analyses of Fortran Programs. Parallel Computing, Elsevier, 1997, Vol. 24 (No. 3-4), pp.629-648. 〈10.1016/S0167-8191(98)00028-3〉. 〈hal-00752825〉
  • Béatrice Creusillet, François Irigoin. Interprocedural Array Region Analyses. International Journal of Parallel Programming, Springer Verlag, 1996, Vol. 24 (No. 6), pp. 513-546. 〈hal-00752611〉
  • Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell. A Linear Algebra Framework for Static HPF Code Distribution. Scientific Programming, IOS Press, 1995, Vol. 6, pp.3-27. 〈hal-00752595〉

Communication dans un congrès36 documents

  • Michel Bilodeau, Christophe Clienti, Fabien Coelho, Serge Guelton, François Irigoin, et al.. FREIA ANT-AF-2007-004. Congrès ANR, Jan 2016, Lyon, France. 2012. <hal-01526570>
  • Pierre Guillou, Benoît Pin, Fabien Coelho, François Irigoin. A Dynamic to Static DSL Compiler for Image Processing Applications. 19th Workshop on Compilers for Parallel Computing, Jul 2016, Valladolid, Spain. 〈hal-01352808〉
  • Nelson Lossing, Corinne Ancourt, François Irigoin. Automatic Code Generation of Distributed Parallel Tasks. 19th IEEE International Conference on Computational Science and Engineering (CSE 2016), Aug 2016, paris, France. pp.234-241, Computational Science and Engineering 19th IEEE International Conference on 〈http://cse2016.conferences-events.org/〉. 〈10.1109/CSE-EUC-DCABES.2016.190〉. 〈hal-01359468〉
  • Nelson Lossing, Pierre Guillou, François Irigoin. Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers. 16th IEEE International Working Conference on Source Code Analysis and Manipulation , Oct 2016, Raleigh, United States. pp.167-176, Source Code Analysis and Manipulation (SCAM), 2016 IEEE 16th International Working Conference on. 〈http://www.ieee-scam.org/2016/〉. 〈10.1109/SCAM.2016.20〉. 〈hal-01359465〉
  • Nelson Lossing, Corinne Ancourt, François Irigoin. Automatic Code Generation of Distributed Parallel Tasks. Onzième rencontre de la communauté française de compilation, Sep 2016, Aussois, France. 〈http://compilfr.ens-lyon.fr/onzieme-rencontre-compilation/〉. 〈hal-01431386〉
  • Nelson Lossing, Pierre Guillou, François Irigoin. From Data to Effects Dependence Graphs: Source-to-Source Transformations for C. 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016), Oct 2016, Raleigh, United States. 〈hal-01431340〉
  • Nelson Lossing, Pierre Guillou, Mehdi Amini, François Irigoin. From Data to Effects Dependence Graphs: Source-to-Source Transformations for C. the 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom. 〈hal-01112308〉
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara Chapman. LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. LLVM '15 Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, Nov 2015, Austin, United States. pp.2:1--2:8, 2015, Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC. 〈10.1145/2833157.2833158〉. 〈hal-01254368〉
  • Pierre Guillou, Fabien Coelho, François Irigoin. Automatic Streamization of Image Processing Applications. The 27th International Workshop on Languages and Compilers for Parallel Computing, Sep 2014, Hillsboro, United States. Springer, LNCS 8967, pp 224-238, LCPC 2014: Languages and Compilers for Parallel Computing 〈10.1007/978-3-319-17473-0_15〉. 〈hal-01096735〉
  • François Irigoin, Pierre Jouvelot, Rémi Triolet. Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS Project. Utpal Banerjee. France. Utpal Banerjee, 25th Anniversary Volume, pp.12-14, 2014, International Conference on Supercomputing. 〈www.acm.org/publications〉. 〈10.1145/2591635.2591645〉. 〈hal-00984684〉
  • Fernand Meyer, Claude Tadonki, François Irigoin. Dendrogram Based Algorithm for Dominated Graph Flooding. International Conference on Computational Science (ICCS 2014), Jun 2014, Cairns, Australia. 29, pp.586-598, Procedia Computer Science. 〈10.1016/j.procs.2014.05.053〉. 〈hal-01098077〉
  • Vivien Maisonneuve, Olivier Hermant, François Irigoin. Computing Invariants with Transformers: Experimental Scalability and Accuracy. Fifth International Workshop on Numerical and Symbolic Abstract Domains, Sep 2014, Munich, Germany. Vol. 307, 14 p., Pages 17-31, 2014, 〈10.1016/j.entcs.2014.08.003〉. 〈hal-01058298〉
  • Vivien Maisonneuve, Olivier Hermant, François Irigoin. ALICe: A Framework to Improve Affine Loop Invariant Computation . the 5th International Workshop on Invariant Generation (WING 2014), Jul 2014, Vienne, Austria. 〈hal-01086957〉
  • Corinne Ancourt, Teodora Petrisor, François Irigoin, Eric Lenormand. Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions. 15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013), Nov 2013, Zhangjiajie, China. pp. 800-811, 2013. 〈hal-00919433〉
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension. 17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France. 〈hal-00823324〉
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension. 6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France. 〈hal-00828772〉
  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt. SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension. HiPEAC Computing Systems Week, May 2013, Paris, France. 〈hal-00828744〉
  • Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. 25th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2012), Sep 2012, Tokyo, Japan. Springer Berlin Heidelberg, 7760, pp 174-189, 2013, 〈10.1007/978-3-642-37658-0_12〉. 〈hal-00742536〉
  • Clémentine Cornu, Jean-Marc Quiot, Vincent Chapurlat, François Irigoin. A Maturity Model for the Deployment of Systems Engineering processes. IEEE 2012 International Systems Conference (SysCon 2012), Mar 2012, Vancouver, Canada. pp. 560-566, 2011, 〈10.1109/SysCon.2012.6189535〉. 〈hal-00743207〉
  • Clémentine Cornu, Vincent Chapurlat, Jean-Marc Quiot, François Irigoin. Interoperability Assessment in the Deployment of Technical Processes in Industry. INCOM 2012, The 14th edition of IFAC's triennal symposium INCOM, May 2012, Bucharest, Romania. pp. F20-F25, 2012. 〈hal-00750860〉
  • Fabien Coelho, François Irigoin. Compiling for an Heterogeneous Vector Image Processor. 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, 2011. 〈hal-00919248〉
  • Mehdi Amini, Fabien Coelho, François Irigoin, Ronan Keryell. Static Compilation Analysis for Host-Accelerator Communication Optimization. LCPC'2011 : The 24th International Workshop on Languages and Compilers for Parallel Computing, Sep 2011, Fort Collins, Colorado, United States. Springer-Verlag Berlin Heidelberg, pp. 237-251, 2012. 〈hal-00743496〉
  • Fabien Coelho, François Irigoin. Compiling for a Heterogeneous Vector Image Processor. Troisièmes journées Nationales du GDR Génie de la Programmation et du Logiciel (GDR GPL 2011), Jun 2011, Lille, France. 〈hal-00744076〉
  • François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, et al.. Polyèdres et Compilation. Rencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France. 〈hal-00743713〉
  • Teodora Petrisor, Eric Lenormand, Corinne Ancourt, François Irigoin. A complete industrial multi-target graphical tool-chain for parallel implementations of signal/image applications. The 14th International Workshop on Software and Compilers for Embedded Systems, Jun 2011, Schloss Rheinfels, St. Goar, Germany. 〈hal-00743506〉
  • Clémentine Cornu, Bernard Chiavassa, Vincent Chapurlat, François Irigoin. A model based systems engineering processes deployment framework. 6th International Conference on Software and Database Technologies, ICSOFT 2011, Jul 2011, Séville, Spain. 1, pp.65-70, 2011. 〈hal-00659357〉
  • Mehdi Amini, Fabien Coelho, François Irigoin, Ronan Keryell. Compilation et optimisation statique des communications hôte-accélérateur. 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. 〈hal-00744259〉
  • Clémentine Cornu, Vincent Chapurlat, Bernard Chiavassa, François Irigoin. Mixing Systems Engineering and Enterprise Modelling principles to formalize a SE processes deployment approach in industry. Complex Systems Design & Management (CSDM 2011), Dec 2011, Paris, France. pp. 201-210, 2011. 〈hal-00750854〉
  • Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Data and Process Abstraction in PIPS Internal Representation. Troisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France. 〈hal-00744294〉
  • Serge Guelton, Ronan Keryell, François Irigoin. Compilation pour cibles hétérogènes : automatisation des analyses, transformations et décisions nécessaires. 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. 〈hal-00744284〉
  • Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Serge Guelton, et al.. PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPS. First International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France. 〈hal-00744312〉
  • Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. Data and Process Abstraction in PIPS Internal Representation. First Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France. 〈hal-00744291〉
  • Corinne Ancourt, Fabien Coelho, François Irigoin. A Modular Static Analysis Approach to Affine Loop Invariants Detection. The Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. Elsevier Science Publishers B. V. Amsterdam, The Netherlands, 267 (1), pp.3-16, 2010, 〈10.1016/j.entcs.2010.09.002〉. 〈hal-00586338〉
  • Benoît Gschwind, Lucien Wald, Robert Mahl, François Irigoin, Lionel Ménard. Test of several approaches for the composition of web services in meteorology.. O. Hryniewicz, J. Studzinski and M. Romaniuk. EnviroInfo 2007, Environmental Informatics and systems research, the 21st International Conference on "Informatics for Environmental Protection", 2007, France. Shaker Verlag, 1, pp.127-134, 2007, Plenary and session papers - ISBN 978-3-8322-6397-3. 〈hal-00222759〉
  • Isabelle Hurbain, Corinne Ancourt, François Irigoin, Michel Barreteau, Juliette Mattioli, et al.. A case study of design space exploration for embedded multimedia applications in SoCs. the Seventeenth IEEE Internatioanl Workshop on Rapid System Prototyping 2006 (RSP'06), Jun 2006, Chania, Crête, Greece. pp. 133-139, 2006, 〈10.1109/RSP.2006.1〉. 〈hal-00752887〉
  • Corinne Ancourt, François Irigoin. Scanning polyhedra with DO loops. Principles and Pratice of Parallel Programming, PPoPP'91, Apr 1991, Williamsburg, Virginia,, United States. Volume 26 (Issue 7), pp.Pages 39 - 50, 1991, 〈10.1145/109626.109631〉. 〈hal-00752774〉

Poster3 documents

  • Corinne Ancourt, François Irigoin, Claude Tadonki, Mark Verhoeven. Broadcast And Surveillance TechnologIes Over Networks - Armines DEMONSTRATOR. BASTION-ENIAC, May 2017, Gilze, Netherlands. 2017. <hal-01531978>
  • Fernand Meyer, Claude Tadonki, François Irigoin. Inondations dominées de Graphes Valués. Séminaire de l'Institut Carnot M.I.N.E.S, Jul 2014, Paris, France. 2014. 〈hal-01093881〉
  • Rachid Habel, François Irigoin, Frédérique Silber-Chaussumier. Programmation Haute Performance pour Architectures hybrides. Conférence et Parallélisme, Architecture et Système : RenPar - CFSE - ComPas, Jan 2013, Grenoble, France. 〈hal-01086632〉

Chapitre d'ouvrage3 documents

  • Mehdi Amini, Corinne Ancourt, Béatrice Creusillet, François Irigoin, Ronan Keryell. Program Sequentially, Carefully, and Benefit from Compiler Advances for Parallel Heterogeneous Computing. Magoulès Frédéric. Patterns for Parallel Programming on GPUs, Saxe-Coburg Publications, pp. 149-169, 2012, 978-1-874672-57-9 <10.4203/csets.34.6>. <hal-01526469>
  • François Irigoin. Tiling. 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〉. 〈hal-00881140〉
  • François Irigoin. Dependence Abstractions. 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〉. 〈hal-00881133〉

Rapport12 documents

  • Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara Chapman. The SPIRE Methodology of Compiler Parallel Intermediate Representation Design. [Research Report] A/613/CRI, Centre de Recherche en Informatique - MINES ParisTech - PSL Research University. 2015. 〈hal-01251172〉
  • Nelson Lossing, Pierre Guillou, Mehdi Amini, François Irigoin. From Data to Effects Dependence Graphs: Source-to-Source Transformations for C. [Technical Report] MINES ParisTech. 2015. 〈hal-01254426〉
  • Vivien Maisonneuve, Olivier Hermant, François Irigoin. Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic. [Research Report] Mines ParisTech. 2014. 〈hal-01086732〉
  • Clémentine Cornu, Vincent Chapurlat, Jean-Marc Quiot, François Irigoin. Application of an Enterprise Modelling approach to deploy Systems Engineering processes in large organizations. 2012. 〈hal-00839885〉
  • Serge Guelton, François Irigoin, Ronan Keryell. Compilation for Heterogeneous Computing: Automating Analyses, Transformations and Decisions. 2011. 〈hal-00881217〉
  • Serge Guelton, François Irigoin, Ronan Keryell. Automatic and source-to-source code generation for vector hardware accelerators.. 2010. 〈hal-00903638〉
  • Serge Guelton, François Irigoin, Ronan Keryell. SAC, a retargeable source-to-source Compiler SIMD Architecture. 2010. 〈hal-00903647〉
  • Serge Guelton, François Irigoin, Ronan Keryell. Automatic Code Generation for SIMD Hardware Accelerators. 2010. 〈hal-00881211〉
  • François Irigoin, Serge Guelton, Ronan Keryell, Frédérique Silber-Chaussumier. PIPS tutorial : an interprocedural, extensible, source-to-source compiler infrastructure for code transformations and Instrumentations. [Research Report] Dept. Informatique (Institut Mines-Télécom-Télécom SudParis); Centre de Recherche en Informatique (MINES ParisTech). 2010. 〈hal-01333429〉
  • Clémentine Cornu, Vincent Chapurlat, Bernard Chiavassa, François Irigoin. Towards a method to deploy systems engineering processes within companies. 2010. 〈hal-00839876〉
  • Béatrice Creusillet, Ronan Keryell, Stéphanie Even, Serge Guelton, François Irigoin. Par4All: Auto-Parallelizing C and Fortran for the CUDA Architecture. 2009. 〈hal-00903636〉
  • François Irigoin, Rémi Triolet. Supernodes and Alliant FX/8 Minisupercomputer. [Research Report] ENSMP-CAI-86-E81, MINES ParisTech. 1986. 〈hal-01134300〉