, Compilers: Principles, Techniques and Tools, 1986.
Space-time transformation of while-loops using speculative execution, Proc. of the 1994 Scalable High Performance Computing Conf., pages 429{436, 1994. ,
Automatic parallelization of while-loops using speculative execution, Int. J. of Parallel Programming, vol.23, issue.2, pp.191-219, 1995. ,
Construction of DO loops from systems of ane constraints, Parallel Processing Letters, vol.5, issue.3, 1995. ,
Automatic parallelization based on multi-dimensional scheduling, 1994. ,
URL : https://hal.archives-ouvertes.fr/hal-00857084
Array expansion, ACM Int. Conf. on Supercomputing, pp.429-441, 1988. ,
Dataaow analysis of scalar and array references, Int. Journal of Parallel Programming, vol.20, issue.1, pp.23-53, 1991. ,
Some eecient solutions to the ane scheduling problem, part I, one dimensional time, Int. J. of Parallel Programming, vol.21, issue.5, pp.313-348, 1992. ,
Some ecient solution to the aane scheduling problem, part II, multidimensional time, Int. J. of Parallel Programming, vol.21, issue.6, pp.389-420, 1992. ,
Fuzzy array dataaow analysis, 1994. ,
Generation of synchronous code for automatic parallelization of while loops, Euro-Par95, 1995. ,
On scanning space-time mapped while loops, Parallel Processing: CONPAR 94 { VAPP VI, vol.854, pp.677-688, 1994. ,
On the space-time mapping of while-loops, Parallel Processing Letters ,
On the parallelization of loop nests containing while loops, Proc. Aizu Int. Symp. on Parallel Algorithm/Architecture Synthesis (pAs'95), 1995. ,
Finding legal reordering transformations using mappings, 1994. ,
Code generation for multiple mappings, 1994. ,
Limits of control ow on parallelism, Proceedings of the 19th Annual International Symposium on Computer Architecture, pp.46-57, 1992. ,
Loop parallelization in the polytope model, CONCUR '93, vol.715, pp.398-416, 1993. ,
Detecting static algorithms by partial evaluation, Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based P r ogram Manipulation, pp.31-42, 1991. ,
Etude et impl ementation de m ethodes num eriques it eratives bas ees sur l'ex ecution sp eculative. Master's thesis, 1994. ,
Lazy array data--ow dependence analysis, Proc. 21st Annual ACM SIGPLAN-SIGACT Symp. POPL, pp.311-325, 1994. ,
Array dataaow analysis and its use in array privatization, Proc. of ACM Conf. on Principles of Programming Languages, pp.2-15, 1993. ,
Eliminating false data dependences using the omega test, ACM SIGPLAN PLDI, pp.1-9 ,
An exact method for analysis of value-based data dependences, 1993. ,
Speculative run-time parallelization of loops, 1994. ,
Scheduling reductions, Supercomputing '94, 1994. ,
Multiprocessors and runtime compilation, Concurrency: Practice and Experience, vol.3, issue.6, pp.573-592, 1991. ,
Optimizing Supercompilers for Supercomputers, 1989. ,