Francois Irigoin
Présentation
Informaticien HDR, docteur université Pierre-et-Marie-Curie, ingénieur civil de l'École des mines de ParisDirecteur de recherche à MINES ParisTech
Domaines de compétences
Responsabilités
Publications
Publications
Combining data and computation distribution directives for hybrid parallel rogramming : a transformation systemInternational Journal of Parallel Programming, 2016, 44 (6), pp.1268 - 1295. ⟨10.1007/s10766-016-0428-3⟩ |
|
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, 2013, No 1, pp.9-33. ⟨10.3166/TSI.22.9-33⟩ |
|
|
|
API Compilation for Image Hardware AcceleratorsACM Transactions on Architecture and Code Optimization, 2013, Volume 9 (Issue 4), pp.1-25. ⟨10.1145/2400682.2400708⟩ |
Compilation et optimisation statique des communications hôte-accélérateurRevue 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⟩ |
|
Polyèdres et compilationRevue 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⟩ |
|
|
|
Customizable Interoperability Assessment Methodology To Support Technical Processes Deployment In Large CompaniesAnnual Reviews in Control, 2012, vol.36 (No. 2), pp 300-308. ⟨10.1016/j.arcontrol.2012.09.011⟩ |
|
|
Efficient and effective array bound checkingACM Transactions on Programming Languages and Systems (TOPLAS), 2005, 27 (3), pp.527 - 570. ⟨10.1145/1065887.1065893⟩ |
|
|
Alias verification for Fortran code optimizationElectronic Notes in Theoretical Computer Science, 2002, 65 (2), pp.52 - 66. ⟨10.1016/S1571-0661(04)80396-7⟩ |
|
|
Interprocedural Analyses of Fortran ProgramsParallel Computing, 1997, Vol. 24 (No. 3-4), pp.629-648. ⟨10.1016/S0167-8191(98)00028-3⟩ |
|
|
Interprocedural Array Region AnalysesInternational Journal of Parallel Programming, 1996, Vol. 24 (No. 6), pp. 513-546 |
|
|
A Linear Algebra Framework for Static HPF Code DistributionScientific Programming, 1995, Vol. 6, pp.3-27 |
Automatic Code Generation of Distributed Parallel TasksOnzième rencontre de la communauté française de compilation, Sep 2016, Aussois, France |
|
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications19th Workshop on Compilers for Parallel Computing, Jul 2016, Valladolid, Spain |
|
|
Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers16th IEEE International Working Conference on Source Code Analysis and Manipulation , Oct 2016, Raleigh, United States. pp.167-176, ⟨10.1109/SCAM.2016.20⟩ |
From Data to Effects Dependence Graphs: Source-to-Source Transformations for C16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2016), Oct 2016, Raleigh, United States |
|
|
|
Automatic Code Generation of Distributed Parallel Tasks19th IEEE International Conference on Computational Science and Engineering (CSE 2016), Aug 2016, paris, France. pp.234-241, ⟨10.1109/CSE-EUC-DCABES.2016.190⟩ |
|
|
From Data to Effects Dependence Graphs: Source-to-Source Transformations for Cthe 18th International Workshop on Compilers for Parallel Computing (CPC'15), Jan 2015, Londres, United Kingdom |
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communicationsLLVM '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⟩ |
|
|
|
Computing Invariants with Transformers: Experimental Scalability and AccuracyFifth International Workshop on Numerical and Symbolic Abstract Domains, Sep 2014, Munich, Germany. 14 p., Pages 17-31, ⟨10.1016/j.entcs.2014.08.003⟩ |
|
|
Automatic Streamization of Image Processing ApplicationsThe 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⟩ |
Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS ProjectFrance. pp.12-14, ⟨10.1145/2591635.2591645⟩ |
|
|
|
Dendrogram Based Algorithm for Dominated Graph FloodingInternational Conference on Computational Science (ICCS 2014), Jun 2014, Cairns, Australia. pp.586-598, ⟨10.1016/j.procs.2014.05.053⟩ |
|
|
ALICe: A Framework to Improve Affine Loop Invariant Computationthe 5th International Workshop on Invariant Generation (WING 2014), Jul 2014, Vienne, Austria |
|
|
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages25th 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⟩ |
|
|
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France |
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ExtensionHiPEAC Computing Systems Week, May 2013, Paris, France |
|
Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013), Nov 2013, Zhangjiajie, China. pp. 800-811 |
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France |
|
|
|
Interoperability Assessment in the Deployment of Technical Processes in IndustryINCOM 2012, The 14th edition of IFAC's triennal symposium INCOM, May 2012, Bucharest, Romania. pp. F20-F25 |
|
|
Static Compilation Analysis for Host-Accelerator Communication OptimizationLCPC'2011 : The 24th International Workshop on Languages and Compilers for Parallel Computing, Sep 2011, Fort Collins, Colorado, United States. pp. 237-251 |
FREIA ANT-AF-2007-004Congrès ANR, Jan 2016, Lyon, France |
|
|
|
A Maturity Model for the Deployment of Systems Engineering processesIEEE 2012 International Systems Conference (SysCon 2012), Mar 2012, Vancouver, Canada. pp. 560-566, ⟨10.1109/SysCon.2012.6189535⟩ |
|
|
Compiling for a Heterogeneous Vector Image ProcessorTroisièmes journées Nationales du GDR Génie de la Programmation et du Logiciel (GDR GPL 2011), Jun 2011, Lille, France |
|
|
Data and Process Abstraction in PIPS Internal RepresentationTroisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France |
|
|
PIPS Is not (just) Polyhedral Software Adding GPU Code Generation in PIPSFirst International Workshop on Polyhedral Compilation Techniques (IMPACT 2011) in conjonction with CGO 2011, Apr 2011, Chamonix, France |
A complete industrial multi-target graphical tool-chain for parallel implementations of signal/image applicationsThe 14th International Workshop on Software and Compilers for Embedded Systems, Jun 2011, Schloss Rheinfels, St. Goar, Germany |
|
|
|
Mixing Systems Engineering and Enterprise Modelling principles to formalize a SE processes deployment approach in industryComplex Systems Design & Management (CSDM 2011), Dec 2011, Paris, France. pp. 201-210 |
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France |
|
|
Compiling for an Heterogeneous Vector Image Processor9th 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 |
|
|
Compilation pour cibles hétérogènes : automatisation des analyses, transformations et décisions nécessairesRencontres 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 |
|
|
Compilation et optimisation statique des communications hôte-accélérateurRencontres 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 |
|
|
Polyèdres et CompilationRencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France |
A model based systems engineering processes deployment framework6th International Conference on Software and Database Technologies, ICSOFT 2011, Jul 2011, Séville, Spain. pp.65-70 |
|
|
|
A Modular Static Analysis Approach to Affine Loop Invariants DetectionThe Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.3-16, ⟨10.1016/j.entcs.2010.09.002⟩ |
|
|
Test of several approaches for the composition of web services in meteorology.EnviroInfo 2007, Environmental Informatics and systems research, the 21st International Conference on "Informatics for Environmental Protection", 2007, France. pp.127-134 |
A case study of design space exploration for embedded multimedia applications in SoCsthe 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⟩ |
|
|
|
Scanning polyhedra with DO loopsPrinciples and Pratice of Parallel Programming, PPoPP'91, Apr 1991, Williamsburg, Virginia,, United States. pp.Pages 39 - 50, ⟨10.1145/109626.109631⟩ |
|
|
Broadcast And Surveillance TechnologIes Over Networks - Armines DEMONSTRATORBASTION-ENIAC, May 2017, Gilze, Netherlands. 2017 |
|
|
Inondations dominées de Graphes ValuésSéminaire de l'Institut Carnot M.I.N.E.S, Jul 2014, Paris, France. 2014 |
|
|
Programmation Haute Performance pour Architectures hybridesConférence et Parallélisme, Architecture et Système : RenPar - CFSE - ComPas, Jan 2013, Grenoble, France |
|
|
Program Sequentially, Carefully, and Benefit from Compiler Advances for Parallel Heterogeneous ComputingMagoulè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⟩ |
TilingDavid 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⟩ |
|
Dependence AbstractionsDavid 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⟩ |
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications2017 |