François Irigoin

According to our database, François Irigoin authored at least 39 papers between 1986 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Combining Data and Computation Distribution Directives for Hybrid Parallel Programming : A Transformation System.

Rachid Habel, Frédérique Silber-Chaussumier, François Irigoin, Elisabeth Brunet, François Trahay

Int. J. Parallel Program., 2016

Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers.

Nelson Lossing, Pierre Guillou, François Irigoin

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Automatic Code Generation of Distributed Parallel Tasks.

Nelson Lossing, Corinne Ancourt, François Irigoin

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications.

Dounia Khaldi, Pierre Jouvelot, François Irigoin, Corinne Ancourt, Barbara M. Chapman

Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, 2015

2014

Computing Invariants with Transformers: Experimental Scalability and Accuracy.

Vivien Maisonneuve, Olivier Hermant, François Irigoin

Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

Automatic Streamization of Image Processing Applications.

Pierre Guillou, Fabien Coelho, François Irigoin

Proceedings of the Languages and Compilers for Parallel Computing, 2014

Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project.

François Irigoin, Pierre Jouvelot, Rémi Triolet

Proceedings of the ACM International Conference on Supercomputing 25th Anniversary Volume, 2014

Dendrogram Based Algorithm for Dominated Graph Flooding.

Claude Tadonki, Fernand Meyer, François Irigoin

Proceedings of the International Conference on Computational Science, 2014

2013

Compilation pour cibles hétérogènes. Le cas Terapix.

Serge Guelton, François Irigoin, Ronan Keryell

Tech. Sci. Informatiques, 2013

API compilation for image hardware accelerators.

Fabien Coelho, François Irigoin

ACM Trans. Archit. Code Optim., 2013

Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions.

Corinne Ancourt, Teodora Petrisor, François Irigoin, Eric Lenormand

Proceedings of the 10th IEEE International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013

2012

Polyèdres et compilation.

François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell

Tech. Sci. Informatiques, 2012

Compilation et optimisation statique des communications hôte-accélérateur.

Mehdi Amini, François Irigoin, Frederico Coelho, Ronan Keryell

Tech. Sci. Informatiques, 2012

Customizable Interoperability Assessment Methodology to support technical processes deployment in large companies.

Clémentine Cornu, Vincent Chapurlat, Jean-Marc Quiot, François Irigoin

Annu. Rev. Control., 2012

Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages.

Dounia Khaldi, Pierre Jouvelot, Corinne Ancourt, François Irigoin

Proceedings of the Languages and Compilers for Parallel Computing, 2012

2011

Tiling.

François Irigoin

Proceedings of the Encyclopedia of Parallel Computing, 2011

Dependence Abstractions.

François Irigoin

Proceedings of the Encyclopedia of Parallel Computing, 2011

Static Compilation Analysis for Host-Accelerator Communication Optimization.

Mehdi Amini, Fabien Coelho, François Irigoin, Ronan Keryell

Proceedings of the Languages and Compilers for Parallel Computing, 2011

A Model based Systems Engineering Processes Deployment Framework.

Clémentine Cornu, Bernard Chiavassa, Vincent Chapurlat, François Irigoin

Proceedings of the ICSOFT 2011, 2011

Mixing Systems Engineering and Enterprise Modelling Principles to Formalize a SE Processes Deployment Approach in Industry.

Clémentine Cornu, Vincent Chapurlat, Bernard Chiavassa, François Irigoin

Proceedings of the Complex Systems Design & Management, 2011

2010

A Modular Static Analysis Approach to Affine Loop Invariants Detection.

Corinne Ancourt, Fabien Coelho, François Irigoin

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

2007

Test of Several Approaches for the Composition of Web Services in Meteorology.

Benoît Gschwind, Lucien Wald, Robert Mahl, François Irigoin, Lionel Ménard

Proceedings of the Environmental Informatics and Systems Research: Proceedings of the 21st International Conference for Environmental Protection, 2007

2006

A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs.

Isabelle Hurbain, Corinne Ancourt, François Irigoin, Michel Barreteau, Nicolas Museux, Frederic Pasquier

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

2005

Efficient and effective array bound checking.

Thi Viet Nga Nguyen, François Irigoin

ACM Trans. Program. Lang. Syst., 2005

2003

Advanced Program Analyses and Verifications.

Thi Viet Nga Nguyen, François Irigoin

Proceedings of the Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, 2003

Automatic Detection of Uninitialized Variables.

Thi Viet Nga Nguyen, François Irigoin, Corinne Ancourt, Fabien Coelho

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Alias verification for Fortran code optimization.

Thi Viet Nga Nguyen, François Irigoin

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

1998

Interprocedural Analyses of Fortran Programs.

Béatrice Creusillet, François Irigoin

Parallel Comput., 1998

1997

A Linear Algebra Framework for Static High Performance Fortran Code Distribution.

Corinne Ancourt, Fabien Coelho, François Irigoin, Ronan Keryell

Sci. Program., 1997

Automatic data mapping of signal processing applications.

Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli

Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996

Interprocedural Array Region Analyses.

Béatrice Creusillet, François Irigoin

Int. J. Parallel Program., 1996

Exact versus Approximate Array Region Analyses.

Béatrice Creusillet, François Irigoin

Proceedings of the Languages and Compilers for Parallel Computing, 1996

1995

Minimal data dependence abstractions for loop transformations: Extended version.

Yi-Qing Yang, Corinne Ancourt, François Irigoin

Int. J. Parallel Program., 1995

1994

Minimal Data Dependence Abstractions for Loop Transformations.

Yi-Qing Yang, Corinne Ancourt, François Irigoin

Proceedings of the Languages and Compilers for Parallel Computing, 1994

1991

Scanning Polyhedra with DO Loops.

Corinne Ancourt, François Irigoin

Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Semantical interprocedural parallelization: an overview of the PIPS project.

François Irigoin, Pierre Jouvelot, Rémi Triolet

Proceedings of the 5th international conference on Supercomputing, 1991

1988

Supernode Partitioning.

François Irigoin, Rémi Triolet

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1986

Direct parallelization of call statements.

Rémi Triolet, François Irigoin, Paul Feautrier

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls.

Rémi Triolet, Paul Feautrier, François Irigoin

Proceedings of the ESOP 86, 1986