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 systemInternational 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 AcceleratorsACM 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)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
|
|
|
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⟩
Article dans une revue
hal-00790040v1
|
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⟩
Article dans une revue
hal-00826545v1
|
|
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⟩
Article dans une revue
hal-00826543v1
|
|
Efficient and effective array bound checkingACM 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 optimizationElectronic 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 ProgramsParallel 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 AnalysesInternational 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 DistributionScientific Programming, 1995, Vol. 6, pp.3-27
Article dans une revue
hal-00752595v1
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications19th 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 Compilers16th 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 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 C16th 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 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⟩
Communication dans un congrès
hal-01359468v1
|
FREIA ANT-AF-2007-004Congrès ANR, Jan 2016, Lyon, France
Communication dans un congrès
hal-01526570v1
|
|
|
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
Communication dans un congrès
hal-01112308v1
|
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⟩
Communication dans un congrès
hal-01254368v1
|
|
|
ALICe: A Framework to Improve Affine Loop Invariant Computationthe 5th International Workshop on Invariant Generation (WING 2014), Jul 2014, Vienne, Austria
Communication dans un congrès
hal-01086957v1
|
|
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⟩
Communication dans un congrès
hal-01058298v1
|
Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS ProjectFrance. pp.12-14, ⟨10.1145/2591635.2591645⟩
Communication dans un congrès
hal-00984684v1
|
|
|
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⟩
Communication dans un congrès
hal-01096735v1
|
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⟩
Communication dans un congrès
hal-01098077v1
|
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ExtensionHiPEAC Computing Systems Week, May 2013, Paris, France
Communication dans un congrès
hal-00828744v1
|
|
|
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension17th 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 Extension6è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 Redistributions15th 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
|
|
|
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⟩
Communication dans un congrès
hal-00743207v1
|
|
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
Communication dans un congrès
hal-00750860v1
|
|
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⟩
Communication dans un congrès
hal-00742536v1
|
|
Polyèdres et CompilationRencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France
Communication dans un congrès
hal-00743713v1
|
|
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
Communication dans un congrès
hal-00744259v1
|
|
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
Communication dans un congrès
hal-00744284v1
|
|
Data and Process Abstraction in PIPS Internal RepresentationTroisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France
Communication dans un congrès
hal-00744294v1
|
|
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
Communication dans un congrès
hal-00744312v1
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Communication dans un congrès
hal-00744291v1
|
|
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
Communication dans un congrès
hal-00743496v1
|
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
Communication dans un congrès
hal-00743506v1
|
|
|
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
Communication dans un congrès
hal-00750854v1
|
|
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
Communication dans un congrès
hal-00744076v1
|
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
Communication dans un congrès
hal-00659357v1
|
|
|
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
Communication dans un congrès
hal-00919248v1
|
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⟩
Communication dans un congrès
hal-00586338v1
|
|
|
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
Communication dans un congrès
hal-00222759v1
|
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⟩
Communication dans un congrès
hal-00752887v1
|
|
|
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⟩
Communication dans un congrès
hal-00752774v1
|
|
Broadcast And Surveillance TechnologIes Over Networks - Armines DEMONSTRATORBASTION-ENIAC, May 2017, Gilze, Netherlands. 2017
Poster de conférence
hal-01531978v1
|
|
Inondations dominées de Graphes ValuésSé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 hybridesConférence et Parallélisme, Architecture et Système : RenPar - CFSE - ComPas, Jan 2013, Grenoble, France
Poster de conférence
hal-01086632v1
|
|
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⟩
Chapitre d'ouvrage
hal-01526469v1
|
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⟩
Chapitre d'ouvrage
hal-00881140v1
|
|
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⟩
Chapitre d'ouvrage
hal-00881133v1
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications2017
Pré-publication, Document de travail
hal-01665055v1
|