2006 |
17 | EE | 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 |
16 | EE | Thi Viet Nga Nguyen,
François Irigoin:
Efficient and effective array bound checking.
ACM Trans. Program. Lang. Syst. 27(3): 527-570 (2005) |
2003 |
15 | EE | Thi Viet Nga Nguyen,
François Irigoin,
Corinne Ancourt,
Fabien Coelho:
Automatic Detection of Uninitialized Variables.
CC 2003: 217-231 |
14 | EE | Thi Viet Nga Nguyen,
François Irigoin:
Advanced Program Analyses and Verifications.
RIVF 2003: 77-82 |
13 | EE | Thi Viet Nga Nguyen,
François Irigoin:
Alias Verification for Fortran Code Optimization.
J. UCS 9(3): 270- (2003) |
2002 |
12 | EE | Thi Viet Nga Nguyen,
François Irigoin:
Alias verification for Fortran code optimization.
Electr. Notes Theor. Comput. Sci. 65(2): (2002) |
1998 |
11 | | Béatrice Creusillet,
François Irigoin:
Interprocedural Analyses of Fortran Programs.
Parallel Computing 24(3-4): 629-648 (1998) |
1997 |
10 | EE | 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- |
9 | EE | 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 |
8 | | Béatrice Creusillet,
François Irigoin:
Exact versus Approximate Array Region Analyses.
LCPC 1996: 86-100 |
1995 |
7 | | Béatrice Creusillet,
François Irigoin:
Interprocedural Array Region Analyses.
LCPC 1995: 46-60 |
1994 |
6 | | Yi-Qing Yang,
Corinne Ancourt,
François Irigoin:
Minimal Data Dependence Abstractions for Loop Transformations.
LCPC 1994: 201-216 |
1991 |
5 | EE | 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 | EE | Rémi Triolet,
François Irigoin,
Paul Feautrier:
Direct parallelization of call statements.
SIGPLAN Symposium on Compiler Construction 1986: 176-185 |