Polyhedron model, Encyclopedia of Parallel Computing, D. Padua, pp.1581-1592, 2011. ,
A practical automatic polyhedral parallelizer and locality optimizer, Proc. of PLDI '08, pp.101-113, 2008. ,
Contributions to High-Level Program Optimization. Habilitation Thesis, 2012. ,
A framework for unifying reordering transformations, 1993. ,
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies, International Journal of Parallel Programming, vol.20, issue.1, pp.261-317, 2006. ,
DOI : 10.1007/s10766-006-0012-3
URL : https://hal.archives-ouvertes.fr/hal-01257288
High Performance Compilers for Parallel Computing, 1995. ,
The Polyhedral Model Is More Widely Applicable Than You Think, Compiler Construction, pp.283-303, 2010. ,
DOI : 10.1007/978-3-642-11970-5_16
URL : https://hal.archives-ouvertes.fr/inria-00551087
Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991. ,
DOI : 10.1007/BF01407931
Polyhedra scanning revisited, Proc. of PLDI '12, pp.499-508, 2012. ,
DOI : 10.1145/2254064.2254123
A tour through the visualization zoo, Communications of the ACM, vol.53, issue.6, pp.59-67, 2010. ,
DOI : 10.1145/1743546.1743567
Designing interaction, not interfaces, Proceedings of the working conference on Advanced visual interfaces , AVI '04, pp.15-22, 2004. ,
DOI : 10.1145/989863.989865
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.3526
Polylib: A library for manipulating parameterized polyhedra, 1999. ,
Available: http Loop parallelization using the 3d iteration space visualizer, Journal of Visual Languages & Computing, vol.12, issue.2, pp.163-181, 2001. ,
Tulipse: A Visualization Framework for User-Guided Parallelization, Euro-Par 2012 Parallel Processing, pp.4-15, 2012. ,
DOI : 10.1007/978-3-642-32820-6_3
Gliimpse: Animating from markup code to rendered documents and vice versa, Proc. of UIST 11, pp.257-262, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00626259
Feeling bumps and holes without a haptic interface, Proceedings of the 2004 conference on Human factors in computing systems , CHI '04, pp.239-246, 2004. ,
DOI : 10.1145/985692.985723
Semantic pointing, Proceedings of the 2004 conference on Human factors in computing systems , CHI '04, pp.519-526, 2004. ,
DOI : 10.1145/985692.985758