
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)
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⟩
Article dans une revue
hal-01346661
v1
|
|
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-00830160
v1
|
|
|
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-00829650
v1
|
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
istex
hal-00826545
v1
|
|
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
istex
hal-00826543
v1
|
|
|
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-00790040
v1
|
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-01662155
v1
|
|
|
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-01662150
v1
|
|
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-00752825
v1
|
|
Interprocedural Array Region AnalysesInternational Journal of Parallel Programming, 1996, Vol. 24 (No. 6), pp. 513-546
Article dans une revue
hal-00752611
v1
|
|
A Linear Algebra Framework for Static HPF Code DistributionScientific Programming, 1995, Vol. 6, pp.3-27
Article dans une revue
hal-00752595
v1
|
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-01431386
v1
|
|
|
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-01352808
v1
|
|
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-01359465
v1
|
|
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-01359468
v1
|
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-01431340
v1
|
|
|
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-01112308
v1
|
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-01254368
v1
|
|
|
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-01096735
v1
|
|
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-01058298
v1
|
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-00984684
v1
|
|
|
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-01098077
v1
|
|
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-01086957
v1
|
|
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-00742536
v1
|
|
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-00823324
v1
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ExtensionHiPEAC Computing Systems Week, May 2013, Paris, France
Communication dans un congrès
hal-00828744
v1
|
|
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-00919433
v1
|
|
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-00828772
v1
|
|
|
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-00750860
v1
|
|
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-00743496
v1
|
FREIA ANT-AF-2007-004Congrès ANR, Jan 2016, Lyon, France
Communication dans un congrès
hal-01526570
v1
|
|
|
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-00744076
v1
|
|
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-00743207
v1
|
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-00743506
v1
|
|
|
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-00750854
v1
|
|
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-00744294
v1
|
|
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-00744312
v1
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Communication dans un congrès
hal-00744291
v1
|
|
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-00919248
v1
|
|
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-00744259
v1
|
|
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-00744284
v1
|
|
Polyèdres et CompilationRencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France
Communication dans un congrès
hal-00743713
v1
|
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-00659357
v1
|
|
|
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-00586338
v1
|
|
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-00222759
v1
|
|
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-00752887
v1
|
|
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-00752774
v1
|
|
Broadcast And Surveillance TechnologIes Over Networks - Armines DEMONSTRATORBASTION-ENIAC, May 2017, Gilze, Netherlands. 2017
Poster de conférence
hal-01531978
v1
|
|
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-01093881
v1
|
|
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-01086632
v1
|
|
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-01526469
v1
|
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-00881140
v1
|
|
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-00881133
v1
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications2017
Pré-publication, Document de travail
hal-01665055
v1
|
Chargement...
Chargement...