C. Bastoul, Code generation in the polyhedral model is easier than you think, Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., pp.7-16, 2004.
DOI : 10.1109/PACT.2004.1342537

URL : https://hal.archives-ouvertes.fr/hal-00017260

C. Bastoul, Contributions to High-Level Program Optimization. Habilitation Thesis, 2012.

M. Beaudouin-lafon, 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

R. Blanch, Y. Guiard, and M. Beaudouin-lafon, Semantic pointing, Proceedings of the 2004 conference on Human factors in computing systems , CHI '04, pp.519-526, 2004.
DOI : 10.1145/985692.985758

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A practical automatic polyhedral parallelizer and locality optimizer, Proc. of PLDI '08, pp.101-113, 2008.

C. Chen, J. Chame, and M. Hall, Chill: A framework for composing high-level loop transformations. U. of Southern California, pp.8-897, 2008.

P. Dragicevic, S. Huot, and F. Chevalier, 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

P. Feautrier and C. Lengauer, Polyhedron model, Encyclopedia of Parallel Computing, pp.1581-1592, 2011.

S. Girbal, N. Vasilache, C. Bastoul, A. Cohen, D. Parello et al., 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

E. L. Hutchins, J. D. Hollan, and D. A. Norman, Direct Manipulation Interfaces, Human???Computer Interaction, vol.16, issue.8, pp.311-338, 1985.
DOI : 10.1207/s15327051hci0104_2

W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman et al., The omega calculator and library, version 1.1. 0, 1996.

W. Kelly and W. Pugh, A framework for unifying reordering transformations, 1993.

H. and L. Verge, Recurrences on lattice polyhedra and their applications Unpublished work based on a manuscript written by H. Le Verge just before his untimely death in, 1994.

A. Lécuyer, J. Burkhardt, and L. Etienne, 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

V. Loechner, Polylib: A library for manipulating parameterized polyhedra, 1999.

D. Norman, Living with complexity, 2011.

L. Pouchet, C. Bastoul, A. Cohen, and J. Cavazos, Iterative optimization in the polyhedral model: Part II, multidimensional time, PLDI '08, pp.90-100, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01257273

N. Vasilache, C. Bastoul, S. Girbal, and A. Cohen, Violated dependence analysis, Proceedings of the 20th annual international conference on Supercomputing , ICS '06, pp.335-344, 2006.
DOI : 10.1145/1183401.1183448

URL : https://hal.archives-ouvertes.fr/hal-01257290

S. Verdoolaege, isl: An Integer Set Library for the Polyhedral Model, Mathematical Software?ICMS 2010, pp.299-302, 2010.
DOI : 10.1007/978-3-642-15582-6_49

C. Ware, Information visualization: perception for design, 2012.

M. J. Wolfe, High Performance Compilers for Parallel Computing, 1995.

Y. W. Wong, T. Dubrownik, W. T. Tang, W. J. Tan, R. Duan et al., 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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.309.8599

Y. Yu and E. D. Hollander, Loop Parallelization using the 3D Iteration Space Visualizer, Journal of Visual Languages & Computing, vol.12, issue.2, pp.163-181, 2001.
DOI : 10.1006/jvlc.2000.0191

T. Yuki, G. Gupta, D. Kim, T. Pathan, and S. Rajopadhye, AlphaZ: A System for Design Space Exploration in the Polyhedral Model, Languages and Compilers for Parallel Computing, pp.17-31, 2013.
DOI : 10.1007/978-3-642-37658-0_2