|
3
|
Applicability of Algebraic Transductions to Data-Flow Analysis
– Albert Cohen, Jean-François Collard
- 1998
|
|
3
|
The Interplay of Expansion and Scheduling in PAF
– Paul Feautrier, Jean-François Collard, Michel Barreteau, Denis Barthou, Albert Cohen, Vincent Lefebvre
- 1998
|
|
2
|
Fuzzy Array Data-flow Analysis Part II: Recursive Programs
– Albert Cohen, Jean-François Collard
- 1996
|
|
|
Analyses of Pointers . . . DEPENDENCE TESTING
– Peng Wu
- 2001
|
|
63
|
Nonlinear Array Dependence Analysis
– William Pugh, David Wonnacott
- 1991
|
|
15
|
Maximal Static Expansion
– Denis Barthou, Albert Cohen, Jean-François Collard
- 1998
|
|
4
|
Building a Bridge between Pointer Aliases and Program Dependences
– John L. Ross, Mooly Sagiv
- 1998
|
|
9
|
Detecting Memory Errors via Static Pointer Analysis
– Nurit Dor
- 1999
|
|
6
|
Parallelization via Constrained Storage Mapping Optimization
– Albert Cohen
- 1999
|
|
6
|
Optimization of Storage Mappings for Parallel Programs
– Albert Cohen, Vincent Lefebvre
- 1998
|
|
89
|
Interprocedural Pointer Alias Analysis
– Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi
- 1999
|
|
3
|
Pointer Analysis for Monotonic Container Traversals
– Albert Cohen , Peng Wu, David Padua
- 2001
|
|
375
|
Efficient Context-Sensitive Pointer Analysis for C Programs
– Robert P. Wilson, Monica S. Lam
- 1995
|
|
4
|
A Precise Fixpoint Reaching Definition Analysis for Arrays
– Jean-François Collard, Martin Griebl
- 1999
|
|
4
|
A Parallelization Framework for Recursive Tree Programs
– Paul Feautrier, Paul Feautrier, Paul Feautrier
- 1998
|
|
10
|
Compiling For Massively Parallel Architectures: A Perspective
– Paul Feautrier
- 1994
|
|
2
|
Applications of Storage Mapping Optimization to Register Promotion
– Patrick Carribault, Albert Cohen
- 2004
|
|
4
|
Data Flow Analysis of Recursive Structures
– Albert Cohen, Jean-François Collard, Martin Griebl
- 1996
|
|
3
|
Array Data-flow Analysis for Imperative Recursive Programs
– Albert Cohen, Jean-François Collard, Martin Griebl
- 1996
|
