François Irigoin

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Combining Data and Computation Distribution Directives for Hybrid Parallel Programming : A Transformation System.
Int. J. Parallel Program., 2016

Effects Dependence Graph: A Key Data Concept for C Source-to-Source Compilers.
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Automatic Code Generation of Distributed Parallel Tasks.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015
LLVM parallel intermediate representation: design and evaluation using OpenSHMEM communications.
Proceedings of the Second Workshop on the LLVM Compiler Infrastructure in HPC, 2015

2014
Computing Invariants with Transformers: Experimental Scalability and Accuracy.
Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

Automatic Streamization of Image Processing Applications.
Proceedings of the Languages and Compilers for Parallel Computing, 2014

Author retrospective for semantical interprocedural parallelization: an overview of the PIPS project.
Proceedings of the ACM International Conference on Supercomputing 25th Anniversary Volume, 2014

Dendrogram Based Algorithm for Dominated Graph Flooding.
Proceedings of the International Conference on Computational Science, 2014

2013
Compilation pour cibles hétérogènes. Le cas Terapix.
Tech. Sci. Informatiques, 2013

API compilation for image hardware accelerators.
ACM Trans. Archit. Code Optim., 2013

Automatic Generation of Communications for Redundant Multi-dimensional Data Parallel Redistributions.
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.
Tech. Sci. Informatiques, 2012

Compilation et optimisation statique des communications hôte-accélérateur.
Tech. Sci. Informatiques, 2012

Customizable Interoperability Assessment Methodology to support technical processes deployment in large companies.
Annu. Rev. Control., 2012

Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages.
Proceedings of the Languages and Compilers for Parallel Computing, 2012

2011
Tiling.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Dependence Abstractions.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Static Compilation Analysis for Host-Accelerator Communication Optimization.
Proceedings of the Languages and Compilers for Parallel Computing, 2011

A Model based Systems Engineering Processes Deployment Framework.
Proceedings of the ICSOFT 2011, 2011

Mixing Systems Engineering and Enterprise Modelling Principles to Formalize a SE Processes Deployment Approach in Industry.
Proceedings of the Complex Systems Design & Management, 2011

2010
A Modular Static Analysis Approach to Affine Loop Invariants Detection.
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.
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.
Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

2005
Efficient and effective array bound checking.
ACM Trans. Program. Lang. Syst., 2005

2003
Alias Verification for Fortran Code Optimization.
J. Univers. Comput. Sci., 2003

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

Automatic Detection of Uninitialized Variables.
Proceedings of the Compiler Construction, 12th International Conference, 2003

1998
Interprocedural Analyses of Fortran Programs.
Parallel Comput., 1998

1997
A Linear Algebra Framework for Static High Performance Fortran Code Distribution.
Sci. Program., 1997

Automatic data mapping of signal processing applications.
Proceedings of the 1997 International Conference on Application-Specific Systems, 1997

1996
Interprocedural Array Region Analyses.
Int. J. Parallel Program., 1996

Exact versus Approximate Array Region Analyses.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

1995
Minimal data dependence abstractions for loop transformations: Extended version.
Int. J. Parallel Program., 1995

1994
Minimal Data Dependence Abstractions for Loop Transformations.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

1991
Scanning Polyhedra with DO Loops.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Semantical interprocedural parallelization: an overview of the PIPS project.
Proceedings of the 5th international conference on Supercomputing, 1991

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

1986
Direct parallelization of call statements.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls.
Proceedings of the ESOP 86, 1986


  Loading...