 | 2011 |
| 24 |  | 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: 201-210 |
| 23 |  | Clémentine Cornu,
Bernard Chiavassa,
Vincent Chapurlat,
François Irigoin:
A Model based Systems Engineering Processes Deployment Framework.
ICSOFT (1) 2011: 65-70 |
| 22 |  | François Irigoin:
Tiling.
Encyclopedia of Parallel Computing 2011: 2040-2049 |
| 21 |  | François Irigoin:
Dependence Abstractions.
Encyclopedia of Parallel Computing 2011: 552-556 |
| 2010 |
| 20 |  | Corinne Ancourt,
Fabien Coelho,
François Irigoin:
A Modular Static Analysis Approach to Affine Loop Invariants Detection.
Electr. Notes Theor. Comput. Sci. 267(1): 3-16 (2010) |
| 2006 |
| 19 |  | 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: 133-139 |
| 2005 |
| 18 |  | Thi Viet Nga Nguyen,
François Irigoin:
Efficient and effective array bound checking.
ACM Trans. Program. Lang. Syst. 27(3): 527-570 (2005) |
| 2003 |
| 17 |  | Thi Viet Nga Nguyen,
François Irigoin,
Corinne Ancourt,
Fabien Coelho:
Automatic Detection of Uninitialized Variables.
CC 2003: 217-231 |
| 16 |  | Thi Viet Nga Nguyen,
François Irigoin:
Advanced Program Analyses and Verifications.
RIVF 2003: 77-82 |
| 15 |  | Thi Viet Nga Nguyen,
François Irigoin:
Alias Verification for Fortran Code Optimization.
J. UCS 9(3): 270- (2003) |
| 2002 |
| 14 |  | Thi Viet Nga Nguyen,
François Irigoin:
Alias verification for Fortran code optimization.
Electr. Notes Theor. Comput. Sci. 65(2): 52-66 (2002) |
| 1998 |
| 13 |  | Béatrice Creusillet,
François Irigoin:
Interprocedural Analyses of Fortran Programs.
Parallel Computing 24(3-4): 629-648 (1998) |
| 1997 |
| 12 |  | Corinne Ancourt,
Denis Barthou,
Christophe Guettier,
François Irigoin,
Bertrand Jeannet,
Jean Jourdan,
Juliette Mattioli:
Automatic data mapping of signal processing applications.
ASAP 1997: 350- |
| 11 |  | Corinne Ancourt,
Fabien Coelho,
François Irigoin,
Ronan Keryell:
A Linear Algebra Framework for Static High Performance Fortran Code Distribution.
Scientific Programming 6(1): 3-27 (1997) |
| 1996 |
| 10 |  | Béatrice Creusillet,
François Irigoin:
Exact versus Approximate Array Region Analyses.
LCPC 1996: 86-100 |
| 9 |  | Béatrice Creusillet,
François Irigoin:
Interprocedural Array Region Analyses.
International Journal of Parallel Programming 24(6): 513-546 (1996) |
| 1995 |
| 8 |  | Béatrice Creusillet,
François Irigoin:
Interprocedural Array Region Analyses.
LCPC 1995: 46-60 |
| 7 |  | Yi-Qing Yang,
Corinne Ancourt,
François Irigoin:
Minimal data dependence abstractions for loop transformations: Extended version.
International Journal of Parallel Programming 23(4): 359-388 (1995) |
| 1994 |
| 6 |  | Yi-Qing Yang,
Corinne Ancourt,
François Irigoin:
Minimal Data Dependence Abstractions for Loop Transformations.
LCPC 1994: 201-216 |
| 1991 |
| 5 |  | François Irigoin,
Pierre Jouvelot,
Rémi Triolet:
Semantical interprocedural parallelization: an overview of the PIPS project.
ICS 1991: 244-251 |
| 4 |  | Corinne Ancourt,
François Irigoin:
Scanning Polyhedra with DO Loops.
PPOPP 1991: 39-50 |
| 1988 |
| 3 |  | François Irigoin,
Rémi Triolet:
Supernode Partitioning.
POPL 1988: 319-329 |
| 1986 |
| 2 |  | Rémi Triolet,
Paul Feautrier,
François Irigoin:
Automatic Parallelization of Fortran Programs in the Presence of Procedure Calls.
ESOP 1986: 210-222 |
| 1 |  | Rémi Triolet,
François Irigoin,
Paul Feautrier:
Direct parallelization of call statements.
SIGPLAN Symposium on Compiler Construction 1986: 176-185 |