Francois Irigoin
66
Documents
Presentation
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⟩
Journal articles
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⟩
Journal articles
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⟩
Journal articles
hal-00830160v1
|
|
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⟩
Journal articles
hal-00826543v1
|
|
|
|
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⟩
Journal articles
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⟩
Journal articles
hal-00826545v1
|
|
Efficient and effective array bound checkingACM Transactions on Programming Languages and Systems (TOPLAS), 2005, 27 (3), pp.527 - 570. ⟨10.1145/1065887.1065893⟩
Journal articles
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⟩
Journal articles
hal-01662150v1
|
|
|
|
Interprocedural Analyses of Fortran ProgramsParallel Computing, 1997, Vol. 24 (No. 3-4), pp.629-648. ⟨10.1016/S0167-8191(98)00028-3⟩
Journal articles
hal-00752825v1
|
|
|
Interprocedural Array Region AnalysesInternational Journal of Parallel Programming, 1996, Vol. 24 (No. 6), pp. 513-546
Journal articles
hal-00752611v1
|
|
|
A Linear Algebra Framework for Static HPF Code DistributionScientific Programming, 1995, Vol. 6, pp.3-27
Journal articles
hal-00752595v1
|
FREIA ANT-AF-2007-004Congrès ANR, Jan 2016, Lyon, France
Conference papers
hal-01526570v1
|
|
Automatic Code Generation of Distributed Parallel Tasks Onzième rencontre de la communauté française de compilation, Sep 2016, Aussois, France
Conference papers
hal-01431386v1
|
|
|
|
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⟩
Conference papers
hal-01359465v1
|
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications19th Workshop on Compilers for Parallel Computing, Jul 2016, Valladolid, Spain
Conference papers
hal-01352808v1
|
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
Conference papers
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⟩
Conference papers
hal-01359468v1
|
|
|
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
Conference papers
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⟩
Conference papers
hal-01254368v1
|
|
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⟩
Conference papers
hal-01098077v1
|
|
|
|
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⟩
Conference papers
hal-01096735v1
|
|
|
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⟩
Conference papers
hal-01058298v1
|
|
|
ALICe: A Framework to Improve Affine Loop Invariant Computationthe 5th International Workshop on Invariant Generation (WING 2014), Jul 2014, Vienne, Austria
Conference papers
hal-01086957v1
|
Author Retrospective for Semantical Interprocedural Parallelization: An Overview of the PIPS ProjectFrance. pp.12-14, ⟨10.1145/2591635.2591645⟩
Conference papers
hal-00984684v1
|
|
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
Conference papers
hal-00919433v1
|
|
|
|
SPIRE: A Methodology for Sequential to Parallel Intermediate Representation Extension17th Workshop on Compilers for Parallel Computing (CPC 2013), Jul 2013, Lyon, France
Conference papers
hal-00823324v1
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation ExtensionHiPEAC Computing Systems Week, May 2013, Paris, France
Conference papers
hal-00828744v1
|
|
SPIRE : A Methodology for Sequential to Parallel Intermediate Representation Extension6ème rencontre de la communauté française de compilation, Apr 2013, Annecy, France
Conference papers
hal-00828772v1
|
|
|
|
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⟩
Conference papers
hal-00742536v1
|
|
|
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⟩
Conference papers
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
Conference papers
hal-00750860v1
|
|
|
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
Conference papers
hal-00919248v1
|
|
|
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
Conference papers
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
Conference papers
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
Conference papers
hal-00750854v1
|
|
|
Data and Process Abstraction in PIPS Internal RepresentationTroisièmes Rencontres de la Communauté Française de Compilation, Apr 2011, Dinard, France
Conference papers
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
Conference papers
hal-00744312v1
|
|
|
Polyèdres et CompilationRencontres francophones du Parallélisme (RenPar'20), May 2011, Saint-Malo, France
Conference papers
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
Conference papers
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
Conference papers
hal-00744284v1
|
|
|
Data and Process Abstraction in PIPS Internal RepresentationFirst Workshop on Intermediate Representations (WIR-1), Apr 2011, Chamonix, France
Conference papers
hal-00744291v1
|
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
Conference papers
hal-00659357v1
|
|
|
|
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
Conference papers
hal-00744076v1
|
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⟩
Conference papers
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
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-00752774v1
|
|
|
Broadcast And Surveillance TechnologIes Over Networks - Armines DEMONSTRATORBASTION-ENIAC, May 2017, Gilze, Netherlands. 2017
Conference poster
hal-01531978v1
|
|
|
Inondations dominées de Graphes ValuésSéminaire de l'Institut Carnot M.I.N.E.S, Jul 2014, Paris, France. 2014
Conference poster
hal-01093881v1
|
|
|
Programmation Haute Performance pour Architectures hybridesConférence et Parallélisme, Architecture et Système : RenPar - CFSE - ComPas, Jan 2013, Grenoble, France
Conference poster
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⟩
Book sections
hal-01526469v1
|
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⟩
Book sections
hal-00881133v1
|
|
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⟩
Book sections
hal-00881140v1
|
|
|
A Dynamic to Static DSL Compiler for Image Processing Applications2017
Preprints, Working Papers, ...
hal-01665055v1
|