François Irigoin

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