Nombre de documents

57

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

  • 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>
  • 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>
  • 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>
  • 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ès33 documents

  • 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, 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. <http://www.ieee-scam.org/2016/>. <hal-01359465>
  • 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. <http://cse2016.conferences-events.org/>. <hal-01359468>
  • 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. 2015, <10.1145/2833157.2833158>. <hal-01254368>
  • 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>
  • 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. <hal-01096735>
  • 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. 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>
  • 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>
  • 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>
  • 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 2012, Lyon, France. <hal-00823324>
  • 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, 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>

Poster2 documents

  • 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. Frédéric Magoulès. Patterns for Parallel Programming on GPUs, Saxe-Coburg Publications, pp. 149-169, 2014, 978-1-874672-57-9. <hal-01097342>
  • 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>

Autre publication1 document

  • Nelson Lossing, Pierre Guillou, Mehdi Amini, François Irigoin. From Data to Effects Dependence Graphs: Source-to-Source Transformations for C. Présenté à LCPC 2015 : The 28th International Workshop on Languages and Compilers for Parallel Co.. 2015. <hal-01254426>

Rapport10 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>
  • 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 Code Generation for SIMD Hardware Accelerators. 2010. <hal-00881211>
  • 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 and source-to-source code generation for vector hardware accelerators.. 2010. <hal-00903638>
  • 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>