François Irigoin

Publication Activity (10 Years)

Years Active: 1986-2016
Publications (10 Years): 3

Top Topics

Code Generation

Global Optimisation

Parallel Programming

Dispute Resolution

Top Venues

Tech. Sci. Informatiques

Annu. Rev. Control.

Publications

Nelson Lossing, Pierre Guillou, François Irigoin
Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers. SCAM (2016)
Rachid Habel, Frédérique Silber-Chaussumier, François Irigoin, Elisabeth Brunet, François Trahay
Combining Data and Computation Distribution Directives for Hybrid Parallel Programming : A Transformation System. Int. J. Parallel Program. 44 (6) (2016)
Nelson Lossing, Corinne Ancourt, François Irigoin
Automatic Code Generation of Distributed Parallel Tasks. CSE/EUC/DCABES (2016)
Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara M. Chapman
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications. LLVM@SC (2015)
Vivien Maisonneuve, Olivier Hermant, François Irigoin
Computing Invariants with Transformers: Experimental Scalability and Accuracy. Electron. Notes Theor. Comput. Sci. 307 (2014)
Claude Tadonki, Fernand Meyer, François Irigoin
Dendrogram Based Algorithm for Dominated Graph Flooding. ICCS (2014)
François Irigoin, Pierre Jouvelot, Rémi Triolet
Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project. ICS 25th Anniversary (2014)
Pierre Guillou, Fabien Coelho, François Irigoin
Automatic Streamization of Image Processing Applications. LCPC (2014)
Serge Guelton, François Irigoin, Ronan Keryell
Compilation pour cibles hétérogènes. Le cas Terapix. Tech. Sci. Informatiques 32 (6) (2013)
Corinne Ancourt, Teodora Petrisor, François Irigoin, Eric Lenormand
Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions. HPCC/EUC (2013)
Fabien Coelho, François Irigoin
API compilation for image hardware accelerators. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Mehdi Amini, François Irigoin, Frederico Coelho, Ronan Keryell
Compilation et optimisation statique des communications hôte-accélérateur. Tech. Sci. Informatiques 31 (8-10) (2012)
François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell
Polyèdres et compilation. Tech. Sci. Informatiques 31 (8-10) (2012)
Clémentine Cornu, Vincent Chapurlat, Jean-Marc Quiot, François Irigoin
Customizable Interoperability Assessment Methodology to support technical processes deployment in large companies. Annu. Rev. Control. 36 (2) (2012)
Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages. LCPC (2012)
Mehdi Amini, Fabien Coelho, François Irigoin, Ronan Keryell
Static Compilation Analysis for Host-Accelerator Communication Optimization. LCPC (2011)
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. CSDM (2011)
Clémentine Cornu, Bernard Chiavassa, Vincent Chapurlat, François Irigoin
A Model based Systems Engineering Processes Deployment Framework. ICSOFT (1) (2011)
Corinne Ancourt, Fabien Coelho, François Irigoin
A Modular Static Analysis Approach to Affine Loop Invariants Detection. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
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. EnviroInfo (1) (2007)
Isabelle Hurbain, Corinne Ancourt, François Irigoin, Michel Barreteau, Nicolas Museux, Frederic Pasquier
A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs. IEEE International Workshop on Rapid System Prototyping (2006)
Thi Viet Nga Nguyen, François Irigoin
Efficient and effective array bound checking. ACM Trans. Program. Lang. Syst. 27 (3) (2005)
Thi Viet Nga Nguyen, François Irigoin
Alias Verification for Fortran Code Optimization. J. Univers. Comput. Sci. 9 (3) (2003)
Thi Viet Nga Nguyen, François Irigoin
Advanced Program Analyses and Verifications. RIVF (2003)
Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho
Automatic Detection of Uninitialized Variables. CC (2003)
Thi Viet Nga Nguyen, François Irigoin
Alias verification for Fortran code optimization. Electron. Notes Theor. Comput. Sci. 65 (2) (2002)
Béatrice Creusillet, François Irigoin
Interprocedural Analyses of Fortran Programs. Parallel Comput. 24 (3-4) (1998)
Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli
Automatic data mapping of signal processing applications. ASAP (1997)
Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell
A Linear Algebra Framework for Static High Performance Fortran Code Distribution. Sci. Program. 6 (1) (1997)
Béatrice Creusillet, François Irigoin
Exact versus Approximate Array Region Analyses. LCPC (1996)
Béatrice Creusillet, François Irigoin
Interprocedural Array Region Analyses. Int. J. Parallel Program. 24 (6) (1996)
Béatrice Creusillet, François Irigoin
Interprocedural Array Region Analyses. LCPC (1995)
Yi-Qing Yang, Corinne Ancourt, François Irigoin
Minimal data dependence abstractions for loop transformations: Extended version. Int. J. Parallel Program. 23 (4) (1995)
Yi-Qing Yang, Corinne Ancourt, François Irigoin
Minimal Data Dependence Abstractions for Loop Transformations. LCPC (1994)
François Irigoin, Pierre Jouvelot, Rémi Triolet
Semantical interprocedural parallelization: an overview of the PIPS project. ICS (1991)
Corinne Ancourt, François Irigoin
Scanning Polyhedra with DO Loops. PPOPP (1991)
François Irigoin, Rémi Triolet
Supernode Partitioning. POPL (1988)
Rémi Triolet, Paul Feautrier, François Irigoin
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls. ESOP (1986)
Rémi Triolet, François Irigoin, Paul Feautrier
Direct parallelization of call statements. SIGPLAN Symposium on Compiler Construction (1986)