A. Abuthawabeh, F. Beck, D. Zeckzer, and S. Diehl, Finding structures in multi-type code couplings with node-link and matrix visualizations, 2013 First IEEE Working Conference on Software Visualization (VISSOFT), pp.1-10, 2013.
DOI : 10.1109/VISSOFT.2013.6650530

D. Ahlström, Modeling and improving selection in cascading pull-down menus using Fitts' law, the steering law and force fields, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '05, pp.61-70, 2005.
DOI : 10.1145/1054972.1054982

D. Ahlström, M. Hitz, and G. Leitner, An evaluation of sticky and force enhanced targets in multi target situations, Proceedings of the 4th Nordic conference on Human-computer interaction changing roles, NordiCHI '06, pp.58-67, 2006.
DOI : 10.1145/1182475.1182482

J. Francisco, J. Almeida-martínez, and J. Urquiza-fuentes, Ángel Velázquez-Iturbide. « VAST: Visualization of Abstract Syntax Trees Within Language Processors Courses, Proceedings of the 4th ACM Symposium on Software Visualization. SoftVis '08, pp.209-210, 2008.

J. Alvina, C. Appert, O. Chapuis, and E. Pietriga, RouteLens, Proceedings of the 2014 International Working Conference on Advanced Visual Interfaces, AVI '14, pp.125-128, 2014.
DOI : 10.1145/2598153.2598200
URL : https://hal.archives-ouvertes.fr/hal-00998060

C. Ancourt and F. Irigoin, Scanning polyhedra with DO loops, ACM SIGPLAN Notices, vol.26, issue.7, pp.39-50, 1991.
DOI : 10.1145/109626.109631
URL : https://hal.archives-ouvertes.fr/hal-00752774

F. Argelaguet, D. A. , G. Jáuregui, M. Marchal, and A. Lécuyer, Elastic images, ACM Transactions on Applied Perception, vol.10, issue.3, p.17, 2013.
DOI : 10.1145/2506206.2501599
URL : https://hal.archives-ouvertes.fr/hal-00907775

R. M. Baecker, « Sorting Out Sorting: A Case Study of Software Visualization for Teaching Computer Science. » In: Software Visualization: Programming as a Multimedia Experience, pp.369-381, 1998.

R. Bagnara, P. M. Hill, and E. Zaffanella, « The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems. » In: Science of Computer Programming. Special Issue on Second issue of experimental software and toolkits (EST), pp.72-73, 2008.

L. Bagnères and C. Bastoul, Switchable Scheduling for Runtime Adaptation of Optimization, 2014.
DOI : 10.1007/978-3-319-09873-9_19

L. Bagnères, O. Zinenko, S. Huot, and C. Bastoul, Opening polyhedral compiler's black box, Proceedings of the 2016 International Symposium on Code Generation and Optimization, CGO 2016, pp.128-138, 2016.
DOI : 10.1145/2854038.2854048

R. C. Barrett, E. J. Selker, J. D. Rutledge, and R. S. Olyha, Negative inertia, Conference companion on Human factors in computing systems , CHI '95, pp.316-317, 1995.
DOI : 10.1145/223355.223692

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, OpenScop: A Specification and a Library for Data Exchange in Polyhedral Compilation Tools, p.47, 2011.

C. Bastoul, Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality, Proceedings of the 25th International Conference on Compiler Construction, CC 2016, pp.229-239, 2016.
DOI : 10.1145/2892208.2892216
URL : https://hal.archives-ouvertes.fr/hal-01271998

C. Bastoul and P. Feautrier, Improving Data Locality by Chunking, Görel Hedin. Lecture Notes in Computer Science, vol.2622, pp.320-334, 2003.
DOI : 10.1007/3-540-36579-6_23
URL : https://hal.archives-ouvertes.fr/inria-00001055

C. Bastoul, A. Cohen, S. Girbal, S. Sharma, and O. Temam, Putting Polyhedral Loop Transformations to Work, Lecture Notes in Computer Science, vol.2958, pp.209-225, 2003.
DOI : 10.1007/978-3-540-24644-2_14
URL : https://hal.archives-ouvertes.fr/inria-00071681

O. Bau and W. E. Mackay, OctoPocus, Proceedings of the 21st annual ACM symposium on User interface software and technology, UIST '08, pp.37-46, 2008.
DOI : 10.1145/1449715.1449724

P. Baudisch, E. Cutrell, K. Hinckley, and A. Eversole, Snap-and-go, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '05, pp.301-310, 2005.
DOI : 10.1145/1054972.1055014

M. Beaudouin-lafon, Instrumental interaction, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '00, pp.446-453, 2000.
DOI : 10.1145/332040.332473
URL : https://hal.archives-ouvertes.fr/hal-01242669

M. Beaudouin-lafon and H. M. Lassen, The architecture and implementation of CPN2000, a post-WIMP graphical application, Proceedings of the 13th annual ACM symposium on User interface software and technology , UIST '00, pp.181-190, 2000.
DOI : 10.1145/354401.354761

M. Beaudouin-lafon and W. E. Mackay, Reification, polymorphism and reuse, Proceedings of the working conference on Advanced visual interfaces , AVI '00, pp.102-109, 2000.
DOI : 10.1145/345513.345267

M. Benabderrahmane, L. Pouchet, A. Cohen, and C. Bastoul, The Polyhedral Model Is More Widely Applicable Than You Think, pp.283-303, 2010.
DOI : 10.1007/978-3-642-11970-5_16
URL : https://hal.archives-ouvertes.fr/inria-00551087

A. J. Bernstein, Analysis of Programs for Parallel Processing, IEEE Transactions on Electronic Computers, vol.15, issue.5, pp.757-763, 1966.
DOI : 10.1109/PGEC.1966.264565

J. Bertin, Semiology of Graphics: Diagrams, Networks, Maps, 1983.

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

-. J. Hans and . Boehm, « Threads Cannot Be Implemented As a Library, Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI '05, pp.261-268, 2005.

U. Bondhugula, A. Acharya, and A. Cohen, The Pluto+ Algorithm, ACM Transactions on Programming Languages and Systems, vol.38, issue.3, pp.1-1232, 2016.
DOI : 10.1145/2896389
URL : https://hal.archives-ouvertes.fr/hal-01425546

U. Bondhugula and A. Hartono, A practical automatic polyhedral parallelizer and locality optimizer, ACM SIGPLAN Notices, vol.43, issue.6, pp.101-113, 2008.
DOI : 10.1145/1379022.1375595

U. Bondhugula, M. Baskaran, S. Krishnamoorthy, and J. Ramanujam, Atanas Rountev, and Ponnuswamy Sadayappan. « Automatic Transformations for Communication- Minimized Parallelization and Locality Optimization in the Polyhedral Model. » In: Compiler Construction, pp.132-146, 2008.

U. Bondhugula, O. Gunluk, S. Dash, and L. Renganarayanan, A model for fusion and code motion in an automatic parallelizing compiler, Proceedings of the 19th international conference on Parallel architectures and compilation techniques, PACT '10, pp.343-352, 2010.
DOI : 10.1145/1854273.1854317

M. Boshernitsan and M. S. Downes, Visual Programming Languages: A Survey, p.25, 2004.

P. Boulet and A. Darte, Georges-André Silber, and Frédéric Vivien. « Loop Parallelization Algorithms: From Parallelism Extraction to Code Generation, » In: Parallel Computing, vol.24, pp.3-4

W. Robert, W. G. Bowdidge, and . Griswold, « Supporting the Restructuring of Data Abstractions Through Manipulation of a Program Visualization, » In: ACM Trans. Softw. Eng. Methodol, vol.7, issue.2, pp.109-157, 1998.

O. Brewer, J. Dongarra, and D. Sorensen, Tools to aid in the analysis of memory access patterns for FORTRAN programs, Parallel Computing, vol.9, issue.1, pp.25-35, 1988.
DOI : 10.1016/0167-8191(88)90016-6

M. H. Brown and R. Sedgewick, Techniques for Algorithm Animation, IEEE Software, vol.2, issue.1, pp.28-39, 1985.
DOI : 10.1109/MS.1985.229778

S. K. Card and J. Mackinlay, The structure of the information visualization design space, Proceedings of VIZ '97: Visualization Conference, Information Visualization Symposium and Parallel Rendering Symposium, pp.92-99, 1997.
DOI : 10.1109/INFVIS.1997.636792

K. Stuart, J. D. Card, B. Mackinlay, and . Shneiderman, Readings in Information Visualization: Using Vision to Think, 1999.

S. Carpendale and Y. Ghanam, A Survey Paper on Software Architecture Visualization, 2008.

S. Carr, K. S. Mckinley, and C. Tseng, Compiler optimizations for improving data locality, ACM SIGPLAN Notices, vol.29, issue.11, pp.252-262, 1994.
DOI : 10.1145/195470.195557
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.7961

P. Caserta and O. Zendra, Visualization of the Static Aspects of Software: A Survey, IEEE Transactions on Visualization and Computer Graphics, vol.17, issue.7, pp.913-933, 2011.
DOI : 10.1109/TVCG.2010.110
URL : https://hal.archives-ouvertes.fr/inria-00546158

G. Casiez and N. Roussel, No more bricolage!, Proceedings of the 24th annual ACM symposium on User interface software and technology, UIST '11, pp.603-614, 2011.
DOI : 10.1145/2047196.2047276
URL : https://hal.archives-ouvertes.fr/inria-00635397

G. Casiez, D. Vogel, R. Balakrishnan, and A. Cockburn, The Impact of Control-Display Gain on User Performance in Pointing Tasks, Human-Computer Interaction, vol.23, issue.3, pp.215-250, 2008.
DOI : 10.1080/07370020802278163

B. Chang and D. Ungar, Animation: from cartoons to the user interface, Proceedings of the 6th annual ACM symposium on User interface software and technology , UIST '93, pp.45-55, 1993.
DOI : 10.1145/168642.168647

B. Chang, J. D. Mackinlay, P. T. Zellweger, and T. Igarashi, A negotiation architecture for fluid documents, Proceedings of the 11th annual ACM symposium on User interface software and technology , UIST '98, pp.123-132, 1998.
DOI : 10.1145/288392.288585

O. Chapuis, J. Labrune, E. Pietriga, and . Dynaspot, Speed-Dependent Area Cursor, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. CHI '09, pp.1391-1400, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00373678

B. Chazelle, Convex Partitions of Polyhedra: A Lower Bound and Worst-Case Optimal Algorithm, SIAM Journal on Computing, vol.13, issue.3, pp.488-507, 1984.
DOI : 10.1137/0213031

C. Chen, J. Chame, and M. Hall, CHiLL: A Framework for Composing High-Level Loop Transformations, 2008.

F. Chevalier, D. Auber, and A. Telea, Structural analysis and visualization of C++ code evolution using syntax trees, Ninth international workshop on Principles of software evolution in conjunction with the 6th ESEC/FSE joint meeting, IWPSE '07, pp.90-97, 2007.
DOI : 10.1145/1294948.1294971
URL : https://hal.archives-ouvertes.fr/hal-00306679

F. Chevalier, P. Dragicevic, and C. Hurter, Histomages, Proceedings of the 25th annual ACM symposium on User interface software and technology, UIST '12, pp.281-286, 2012.
DOI : 10.1145/2380116.2380152
URL : https://hal.archives-ouvertes.fr/hal-00746880

F. Chevalier, P. Dragicevic, A. Bezerianos, and J. Fekete, Using text animated transitions to support navigation in document histories, Proceedings of the 28th international conference on Human factors in computing systems, CHI '10, pp.683-692, 2010.
DOI : 10.1145/1753326.1753427
URL : https://hal.archives-ouvertes.fr/hal-00690289

C. Christensen and . An, Example of the Manipulation of Directed Graphs in the AMBIT/G Programming Language, Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium, pp.423-435, 1967.

P. Clauss and B. Meister, Automatic memory layout transformations to optimize spatial locality in parameterized loop nests, ACM SIGARCH Computer Architecture News, vol.28, issue.1, pp.11-19, 2000.
DOI : 10.1145/346023.346031

A. Cockburn and S. Brewster, Multimodal feedback for the acquisition of small targets, Ergonomics, vol.11, issue.9, pp.1129-1150, 2005.
DOI : 10.1145/258549.258724

A. Cockburn and P. Brock, « Human On-Line Response to Visual and Motor Target Expansion, Proceedings of Graphics Interface 2006. GI '06, pp.81-87, 2006.

A. Cockburn and B. Mckenzie, 3D or not 3D?, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '01, pp.434-441, 2001.
DOI : 10.1145/365024.365309

S. Conversy and . Existe-t-il, Existe-t-il une diff??rence entre langages visuels et textuels en termes de perception?, Proceedings of the 25th ICME conference francophone on l'Interaction Homme-Machine, IHM '13, pp.53-5358, 2013.
DOI : 10.1145/2534903.2534911
URL : https://hal.inria.fr/hal-00877256/file/2-3.pdf

S. «. Conversy, Unifying Textual and Visual, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, Onward! '14, pp.201-212, 2014.
DOI : 10.1145/2661136.2661138
URL : https://hal.archives-ouvertes.fr/hal-01078340

S. Conversy, S. Chatty, and C. Hurter, Visual scanning as a reference framework for interactive representation design, Information Visualization, vol.57, issue.3, pp.196-211, 2011.
DOI : 10.1177/1473871611415988
URL : https://hal.archives-ouvertes.fr/hal-01021602

G. Convertino, J. Chen, B. Yost, Y. S. Ryu, and C. North, Exploring context switching and cognition in dual-view coordinated visualizations, Proceedings International Conference on Coordinated and Multiple Views in Exploratory Visualization, CMV 2003 -, pp.55-62, 2003.
DOI : 10.1109/CMV.2003.1215003

G. Cumming, « The New Statistics Why and How, » In: Psychological Science, pp.0956797613504966-24220629, 2013.

G. Cumming and S. Finch, Inference by Eye: Confidence Intervals and How to Read Pictures of Data., American Psychologist, vol.60, issue.2, pp.170-180, 2005.
DOI : 10.1037/0003-066X.60.2.170

G. Bernard and D. , Linear Programming and Extensions, 1998.

A. Darte, Y. Robert, and F. Vivien, Scheduling and Automatic Parallelization. Google-Books-ID: 95bxBwAAQBAJ, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00856645

A. Darte and F. Vivien, Optimal fine and medium grain parallelism detection in polyhedral reduced dependence graphs, Proceedings of the 1996 Conference on Parallel Architectures and Compilation Technique, pp.447-496, 1997.
DOI : 10.1109/PACT.1996.552676
URL : https://hal.archives-ouvertes.fr/hal-00856920

R. H. Dennard, F. H. Gaensslen, V. L. Rideout, E. Bassous, and A. R. Leblanc, Design of ion-implanted MOSFET's with very small physical dimensions, IEEE Journal of Solid-State Circuits, vol.9, issue.5, pp.256-268, 1974.
DOI : 10.1109/JSSC.1974.1050511

S. Diehl, Software Visualization: Visualizing the Structure, Behaviour, and Evolution of Software, 0192.

S. Donadio, J. Brodman, T. Roeder, K. Yotov, D. Barthou et al., A Language for the Compact Representation of Multiple Program Versions, J. Ramanujam, and P. Sadayappan. Lecture Notes in Computer Science, vol.4339, pp.136-151, 2005.
DOI : 10.1007/978-3-540-69330-7_10
URL : https://hal.archives-ouvertes.fr/hal-00141067

P. Dragicevic, Fair Statistical Communication in HCI, pp.291-330, 2016.
DOI : 10.1007/978-3-319-26633-6_13
URL : https://hal.archives-ouvertes.fr/hal-01377894

P. Dragicevic, S. Huot, and F. C. Gliimpse, Animating from markup code to rendered documents and vice versa, Proceedings of the 24th annual ACM symposium on User interface software and technology, UIST '11, pp.257-262, 2011.
DOI : 10.1145/2047196.2047229
URL : https://hal.archives-ouvertes.fr/inria-00626259

S. Ducasse and M. Lanza, The class blueprint: visually supporting the understanding of glasses, IEEE Transactions on Software Engineering, vol.31, issue.1, pp.75-90, 2005.
DOI : 10.1109/TSE.2005.14

D. N. Alistair and . Edwards, « Visual Programming Languages: The Next Generation, » In: SIGPLAN Not, vol.23, issue.4, pp.43-50, 1988.

S. C. Eick, J. L. Steffen, and E. E. Sumner, Seesoft-a tool for visualizing line oriented software statistics, IEEE Transactions on Software Engineering, vol.18, issue.11, pp.957-968, 1992.
DOI : 10.1109/32.177365

C. Eisenbeis and J. Sogno, A general algorithm for data dependence analysis, Proceedings of the 6th international conference on Supercomputing , ICS '92, pp.292-302, 1992.
DOI : 10.1145/143369.143422
URL : https://hal.archives-ouvertes.fr/inria-00076936

G. Ellis and A. Dix, A Taxonomy of Clutter Reduction for Information Visualisation, IEEE Transactions on Visualization and Computer Graphics, vol.13, issue.6, pp.1216-1223, 2007.
DOI : 10.1109/TVCG.2007.70535

J. Ellson, E. Gansner, L. Koutsofios, S. C. North, and G. Woodhull, Graphviz??? Open Source Graph Drawing Tools, Lecture Notes in Computer Science, vol.2265, pp.483-484, 2001.
DOI : 10.1007/3-540-45848-4_57

I. Fassi and P. Clauss, XFOR: Filling the Gap between Automatic Loop Optimization and Peak Performance, 2015 14th International Symposium on Parallel and Distributed Computing, pp.100-109, 2015.
DOI : 10.1109/ISPDC.2015.19
URL : https://hal.archives-ouvertes.fr/hal-01155144

P. Feautrier, In: Revue française d'automatique, d'informatique et de recherche opérationnelle, « Parametric Integer Programming. Recherche opérationnelle, vol.223, pp.243-268, 1988.

P. Feautrier, Dataflow analysis of array and scalar references, International Journal of Parallel Programming, vol.24, issue.4, pp.23-53, 1991.
DOI : 10.1007/BF01407931

P. «. Feautrier, Some efficient solutions to the affine scheduling problem. I. One-dimensional time, International Journal of Parallel Programming, vol.40, issue.6, pp.313-347, 1992.
DOI : 10.1007/BF01407835

P. «. Feautrier, Some efficient solutions to the affine scheduling problem. Part II. Multidimensional time, International Journal of Parallel Programming, vol.2, issue.4, pp.389-420, 1992.
DOI : 10.1007/BF01379404

P. «. Feautrier, Bernstein's Conditions. » In: Encyclopedia of Parallel Computing, pp.130-134, 2011.

P. Feautrier and C. Lengauer, In: Encyclopedia of Parallel Computing, « Polyhedron Model, pp.1581-1592, 2011.

J. Fekete and M. Beaudouin-lafon, Using the multi-layer model for building interactive graphical applications, Proceedings of the 9th annual ACM symposium on User interface software and technology , UIST '96, pp.109-118, 1996.
DOI : 10.1145/237091.237108
URL : https://hal.archives-ouvertes.fr/hal-00911559

N. Fenton and J. Bieman, Software Metrics: A Rigorous and Practical Approach, Third Edition, 0602.
DOI : 10.1201/b17461

K. Gallagher, A. Hatch, and M. Munro, A Framework for Software Architecture Visualisation Assessment, 3rd IEEE International Workshop on Visualizing Software for Understanding and Analysis, pp.1-6, 2005.
DOI : 10.1109/VISSOF.2005.1684309

E. J. Gibson and A. D. Pick, An Ecological Approach to Perceptual Learning and Development, 2000.

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

R. Thomas, M. Green, and . Petre, « When Visual Programs Are Harder to Read than Textual Programs. » In: Human-Computer Interaction: Tasks and Organisation, Proceedings of ECCE-6 (6th European Conference on Cognitive Ergonomics). GC van Der Veer, MJ Tauber, S. Bagnarola and M. Antavolits. Rome, CUD. Citeseer, 1992.

M. Griebl, P. Feautrier, and C. Lengauer, On index set splitting, 1999 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.PR00425), pp.607-631, 2000.
DOI : 10.1109/PACT.1999.807572

M. Griebl and C. Lengauer, The loop parallelizer LooPo???announcement, » In: Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing. LCPC '96, pp.603-604, 1997.
DOI : 10.1007/BFb0017283

P. A. Gross, M. S. Herstand, J. W. Hodges, and C. L. Kelleher, A code reuse interface for non-programmer middle school students, Proceedings of the 15th international conference on Intelligent user interfaces, IUI '10, pp.219-228, 2010.
DOI : 10.1145/1719970.1720001

T. Grosser, A. Groesslinger, and C. Lengauer, POLLY ??? PERFORMING POLYHEDRAL OPTIMIZATIONS ON A LOW-LEVEL INTERMEDIATE REPRESENTATION, Parallel Processing Letters, vol.22, issue.04, p.1250010, 2012.
DOI : 10.1142/S0129626412500107

T. Grosser, A. Cohen, J. Holewinski, P. Sadayappan, and S. Verdoolaege, Hybrid Hexagonal/Classical Tiling for GPUs, Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO '14, p.66, 2014.
DOI : 10.1145/2581122.2544160
URL : https://hal.archives-ouvertes.fr/hal-00911177

T. Grosser, J. Ramanujam, L. Pouchet, P. Sadayappan, and S. Pop, Optimistic Delinearization of Parametrically Sized Arrays, Proceedings of the 29th ACM on International Conference on Supercomputing, ICS '15, pp.351-360, 2015.
DOI : 10.1145/2751205.2751248

T. Grossman and R. Balakrishnan, The bubble cursor, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '05, pp.281-290, 2005.
DOI : 10.1145/1054972.1055012

D. Göhringer and J. Tepelmann, An Interactive Tool based on Polly for Detection and Parallelization of Loops, Proceedings of Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM '14, pp.1-1, 2014.
DOI : 10.1145/2556863.2556869

L. M. Haibt, « A Program to Draw Multi-Level Flow Charts. » In: Western Joint Computer Conference, pp.131-137, 1959.

M. T. Heath and J. A. Etheridge, Visualizing the performance of parallel programs, IEEE Software, vol.8, issue.5, pp.29-39, 1991.
DOI : 10.1109/52.84214

J. Heer, M. Bostock, and V. Ogievetsky, A tour through the visualization zoo, Communications of the ACM, vol.53, issue.6, pp.59-67, 2010.
DOI : 10.1145/1743546.1743567

J. Hohmann, Der Plankalkül im Vergleich mit algorithmischen Sprachen. Google-Books-ID: f_dLAAAACAAJ. Toeche-Mittler, 1979.

C. D. Hundhausen, S. F. Farley, and J. L. Brown, Can direct manipulation lower the barriers to computer programming and promote transfer of training?, ACM Transactions on Computer-Human Interaction, vol.16, issue.3, pp.1-1340, 2009.
DOI : 10.1145/1592440.1592442

A. Hurst, J. Mankoff, A. K. Dey, and S. E. Hudson, Dirty desktops, Proceedings of the 20th annual ACM symposium on User interface software and technology , UIST '07, pp.183-186, 2007.
DOI : 10.1145/1294211.1294242

A. Inselberg and B. Dimsdale, « Parallel Coordinates. » In: Human-Machine Interactive Systems Languages and Information Systems, pp.199-233, 1991.
DOI : 10.1007/978-0-387-68628-8

I. Jacobson, G. Booch, and J. Rumbaugh, The Unified Software Development Process, 1999.

G. Jalal, N. Maudet, and W. E. Mackay, Color Portraits, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, CHI '15, pp.4207-4216, 2015.
DOI : 10.1145/2702123.2702173
URL : https://hal.archives-ouvertes.fr/hal-01226494

D. F. Jerding, J. T. Stasko, and T. Ball, Visualizing interactions in program executions, Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.360-370, 1997.
DOI : 10.1145/253228.253356
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.847

A. Jimborean, P. Clauss, B. Pradelle, L. Mastrangelo, and V. Loechner, « Adapting the Polyhedral Model As a Framework for Efficient Speculative Parallelization, Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. PPoPP '12, pp.295-296, 2012.

J. A. Jones, M. J. Harrold, and J. Stasko, Visualization of test information to assist fault localization, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.467-477, 2002.
DOI : 10.1145/581396.581397

R. Jones and R. Lins, Garbage Collection: Algorithms for Automatic Dynamic Memory Management, 1996.

R. M. Karp, R. E. Miller, and S. Winograd, The Organization of Computations for Uniform Recurrence Equations, Journal of the ACM, vol.14, issue.3, pp.563-590, 1967.
DOI : 10.1145/321406.321418

B. Karran, J. Trümper, J. Döllner, and . Synctrace, Visual Thread-Interplay Analysis, 2013 First IEEE Working Conference on Software Visualization (VISSOFT). 2013 First IEEE Working Conference on Software Visualization (VISSOFT), pp.1-10, 2013.
DOI : 10.1109/vissoft.2013.6650534

C. Keller, J. Bluteau, R. Blanch, S. Coquillart, and . Pseudoweight, Making Tabletop Interaction with Virtual Objects More Tangible, Proceedings of the 2012 ACM International Conference on Interactive Tabletops and Surfaces. ITS '12, pp.201-204, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00953336

W. Kelly and W. Pugh, « A Framework for Unifying Reordering Transformations, 1998.

W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman et al., The Omega Library Interface Guide, 1995.

M. Kim, H. Kim, and C. Luk, « Prospector: A Dynamic Data-Dependence Profiler to Help Parallel Programming, » In: HotPar'10: Proceedings of the USENIX Workshop on Hot Topics in Parallelism, 2010.

B. Laszlo and . Kish, « End of Moore's Law: Thermal (Noise) Death of Integration in Micro and Nano Electronics, Physics Letters A, vol.305, pp.144-149, 2002.

E. Donald, L. Knuth, and . Pardo, The Early Development of Programming Languages » In: Encyclopedia of Computer Science and Technology, pp.419-493, 1977.

A. Knüpfer, H. Brunst, J. Doleschal, M. Jurenz, M. Lieber et al., The Vampir Performance Analysis Tool-Set, pp.139-155, 2008.
DOI : 10.1007/978-3-540-68564-7_9

A. J. Ko, The state of the art in end-user software engineering, ACM Computing Surveys, vol.43, issue.3, pp.1-2144, 2011.
DOI : 10.1145/1922649.1922658

R. «. Koschke, Software visualization in software maintenance, reverse engineering, and re-engineering: a research survey, Journal of Software Maintenance and Evolution: Research and Practice, vol.15, issue.2, pp.87-109, 2003.
DOI : 10.1002/smr.270
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.1582

E. Kraemer and J. T. Stasko, The Visualization of Parallel Systems: An Overview, Journal of Parallel and Distributed Computing, vol.18, issue.2, pp.105-117, 1993.
DOI : 10.1006/jpdc.1993.1050

G. Kurtenbach, T. P. Moran, and W. Buxton, Contextual Animation of Gestural Commands, Computer Graphics Forum, vol.13, issue.5, pp.83-93, 1974.
DOI : 10.1111/1467-8659.1350305
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.4542

M. Lanza and S. Ducasse, Polymetric views - A lightweight visual approach to reverse engineering, IEEE Transactions on Software Engineering, vol.29, issue.9, pp.782-795, 2003.
DOI : 10.1109/TSE.2003.1232284

M. Lanza, S. Ducasse, H. Gall, and M. Pinzger, Codecrawler - an information visualization tool for program comprehension, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005., pp.672-673, 2005.
DOI : 10.1109/ICSE.2005.1553647
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.476.372

M. Lanza and S. Ducasse, Understanding software evolution using a combination of software visualization and software metrics, L'objet, vol.8, issue.1-2, pp.135-149, 2002.
DOI : 10.3166/objet.8.1-2.135-149

M. Lanza and R. Marinescu, Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems, 2007.

C. «. Lattner and C. Llvm, Next Generation Compiler Technology. » In: The BSD Conference. The BSD Conference, pp.1-2, 2008.

V. Hervé-le, A Note on Cherniakova's Algorithm, 1992.

V. Hervé-le, « 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, IRISA, 1995.

A. Lecuyer, S. Coquillart, A. Kheddar, P. Richard, and P. Coiffet, Pseudo-haptic feedback: can isometric input devices simulate force feedback?, Proceedings IEEE Virtual Reality 2000 (Cat. No.00CB37048), pp.83-90, 2000.
DOI : 10.1109/VR.2000.840369

A. Lecuyer, J. M. Burkhardt, S. Coquillart, and P. Coiffet, "Boundary of illusion": an experiment of sensory integration with a pseudo-haptic system, Proceedings IEEE Virtual Reality 2001, pp.115-122, 2001.
DOI : 10.1109/VR.2001.913777

C. Lengauer, Loop parallelization in the polytope model, Ed. by Eike Best. Lecture Notes in Computer Science, vol.715, pp.398-416, 1993.
DOI : 10.1007/3-540-57208-2_28

A. W. Lim and M. S. Lam, Maximizing parallelism and minimizing synchronization with affine transforms, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.201-214, 1997.
DOI : 10.1145/263699.263719
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.6838

V. Loechner and . Polylib, A Library for Manipulating Parameterized Polyhedra, 1999.

M. Lundstrom and . Moore, s Law Forever? » In: Science 299, pp.210-211, 2003.

A. «. Lécuyer, Simulating Haptic Feedback Using Vision: A Survey of Research and Applications of Pseudo-Haptic Feedback . » In: Presence: Teleoperators and Virtual Environments 18, pp.39-53, 2009.

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

I. and S. Mackenzie, « Virtual Environments and Advanced Interface Design, pp.437-470, 1995.

C. A. Mack, Fifty Years of Moore's Law, IEEE Transactions on Semiconductor Manufacturing, vol.24, issue.2, pp.202-207, 2011.
DOI : 10.1109/TSM.2010.2096437

J. «. Mackinlay, Automating the design of graphical presentations of relational information, ACM Transactions on Graphics, vol.5, issue.2, pp.110-141, 1986.
DOI : 10.1145/22949.22950

J. I. Maletic, A. Marcus, and M. L. Collard, A task oriented view of software visualization, Proceedings First International Workshop on Visualizing Software for Understanding and Analysis, pp.32-40, 2002.
DOI : 10.1109/VISSOF.2002.1019792

A. D. Malony, D. H. Hammerslag, and D. J. Jablonowski, « Traceview: A Trace Visualization Tool, IEEE Software, vol.85, pp.19-28, 1991.
DOI : 10.1007/3-540-55437-8_74

L. Regan, C. Mandryk, and . Gutwin, « Perceptibility and Utility of Sticky Targets, Proceedings of Graphics Interface 2008. GI '08, pp.65-72, 2008.

R. L. Mandryk, M. E. Rodgers, and K. M. Inkpen, Sticky widgets, CHI '05 extended abstracts on Human factors in computing systems , CHI '05, pp.1621-1624, 2005.
DOI : 10.1145/1056808.1056981

P. Y. , M. , and B. A. Turner, « Grounded Theory and Organizational Research, » In: The Journal of Applied Behavioral Science, vol.22, issue.2, pp.141-157, 1986.

K. S. Mckinley, S. Carr, and C. Tseng, Improving data locality with loop transformations, ACM Transactions on Programming Languages and Systems, vol.18, issue.4, pp.424-453, 1996.
DOI : 10.1145/233561.233564

A. Mcnair, D. M. German, and J. Weber-jahnke, Visualizing Software Architecture Evolution Using Change-Sets, 14th Working Conference on Reverse Engineering (WCRE 2007), pp.130-139, 2007.
DOI : 10.1109/WCRE.2007.52

K. Mehner and . Javis, A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. » In: Software Visualization, Lecture Notes in Computer Science, p.163, 2002.
DOI : 10.1007/3-540-45875-1_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.8649

T. Mens and T. Tourwe, A survey of software refactoring, IEEE Transactions on Software Engineering, vol.30, issue.2, pp.126-139, 2004.
DOI : 10.1109/TSE.2004.1265817

D. J. Koert-van-mensvoort, M. Hermes, and . Van-montfort, Usability of optically simulated haptic feedback, International Journal of Human-Computer Studies, vol.66, issue.6, pp.438-451, 2008.
DOI : 10.1016/j.ijhcs.2007.12.004

R. Mili and R. Steiner, Chapter 2 Software Engineering, « Software Engineering. Lecture Notes in Computer Science, vol.2269, pp.129-137, 2002.
DOI : 10.1007/3-540-45875-1_10

T. Moher, D. Mak, B. Blumenthal, and L. Leventhal, Comparing the Comprehensibility of Textual and Graphic Programs: The Case of Petri Nets. » In: Empirical Studies of Programmers: Fifth Workshop : Papers Presented at the Fifth Workshop on Empirical Studies of Programmers, Intellect Books, pp.137-161, 1993.

A. F. Monk, P. Walsh, and A. J. Dix, « A Comparison of Hypertext, Scrolling and Folding As Mechanisms for Program Browsing, Proceedings of the Fourth Conference of the British Computer Society on People and Computers IV, pp.421-435, 1988.

E. Gordon and . Moore, « Cramming More Components onto Integrated Circuits, Electronics, pp.114-117, 1965.

B. A. Myers, Programming by Example , and Program Visualization: A Taxonomy, Visual Programming Proceedings of the SIGCHI Conference on Human Factors in Computing Systems . CHI '86, pp.59-66, 1986.
DOI : 10.1145/22339.22349

B. A. Myers, Taxonomies of visual programming and program visualization, Journal of Visual Languages & Computing, vol.1, issue.1, pp.97-123, 1990.
DOI : 10.1016/S1045-926X(05)80036-9
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1765&context=isr

R. Müller-pfefferkorn, W. E. Nagel, and B. Trenkler, Optimizing Cache Access: A Tool for Source-to-Source Transformations and Real-Life Compiler Tests, Lecture Notes in Computer Science, vol.3149, pp.72-81, 2004.
DOI : 10.1007/978-3-540-27866-5_10

K. Nakakoji, Y. Yamamoto, and Y. Koike, « Toward Principles for Visual Interaction Design for Communicating Weight by Using Pseudo-Haptic Feedback, Proceedings of the 2010 International Conference on The Interaction Design. Create'10, pp.34-39, 2010.

R. Navarro-prieto and J. J. Canas, Are visual programming languages better? The role of imagery in program comprehension, International Journal of Human-Computer Studies, vol.54, issue.6, pp.799-829, 2001.
DOI : 10.1006/ijhc.2000.0465

R. Oechsle, T. «. Schmitt, and . Javavis, JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI), Lecture Notes in Computer Science, pp.176-190, 2002.
DOI : 10.1007/3-540-45875-1_14

S. Papert, Mindstorms: Children, Computers, and Powerful Ideas, 1980.
DOI : 10.1007/978-3-0348-5357-6

D. Patterson, The trouble with multi-core, IEEE Spectrum, vol.47, issue.7, pp.28-32, 2010.
DOI : 10.1109/MSPEC.2010.5491011

A. David and . Patterson, Computer Architecture: A Quantitative Approach, 2011.

E. Wim-de-pauw, N. Jensen, G. Mitchell, J. Sevitsky, J. Vlissides et al., Visualizing the Execution of Java Programs, Lecture Notes in Computer Science, pp.151-162, 2002.
DOI : 10.1007/3-540-45875-1_12

M. Petre, Why looking isn't always seeing: readership skills and graphical programming, Communications of the ACM, vol.38, issue.6, pp.33-44, 1995.
DOI : 10.1145/203241.203251

D. Matthew, C. Plumlee, and . Ware, « Zooming Versus Multiple Window Interfaces: Cognitive Costs of Visual Comparisons, » In: ACM Trans. Comput.-Hum. Interact, vol.13, issue.2, pp.179-209, 2006.

L. N. Pouchet, C. Bastoul, A. Cohen, and N. Vasilache, Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time, International Symposium on Code Generation and Optimization (CGO'07), pp.144-156, 2007.
DOI : 10.1109/CGO.2007.21
URL : https://hal.archives-ouvertes.fr/hal-01257281

L. Pouchet, C. Bastoul, A. Cohen, and J. Cavazos, « Iterative Optimization in the Polyhedral Model: Part Ii, Multidimensional Time, Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation . PLDI '08, pp.90-100, 2008.

L. Pouchet, U. Bondhugula, C. Bastoul, A. Cohen, J. Ramanujam et al., « Loop Transformations: Convexity, Pruning and Optimization, Proceedings of the 38th Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages. POPL '11, pp.549-562, 2011.
DOI : 10.1145/1925844.1926449

B. A. Price, I. S. Small, and R. M. Baecker, A taxonomy of software visualization, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences, pp.597-606, 1992.
DOI : 10.1109/HICSS.1992.183311

A. Blaine, R. M. Price, I. S. Baecker, and . Small, « A Principled Taxonomy of Software Visualization, » In: Journal of Visual Languages & Computing, vol.4, issue.3, pp.211-266, 1993.

T. Printezis, R. Jones, and . Gcspy, An Adaptable Heap Visualisation Framework, » In: Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems , Languages, and Applications. OOPSLA '02, pp.343-358, 2002.

W. Pugh, The Omega test: a fast and practical integer programming algorithm for dependence analysis, Proceedings of the 1991 ACM/IEEE conference on Supercomputing , Supercomputing '91, pp.4-13, 1991.
DOI : 10.1145/125826.125848

A. Pusch and A. Lécuyer, Pseudo-haptics, Proceedings of the 13th international conference on multimodal interfaces, ICMI '11, pp.57-64, 2011.
DOI : 10.1145/2070481.2070494
URL : https://hal.archives-ouvertes.fr/hal-00642219

Z. «. Pylyshyn, Some puzzling findings in multiple object tracking: I. Tracking without keeping track of object identities, Visual Cognition, vol.11, issue.7, pp.801-822, 2004.
DOI : 10.1080/13506280344000518

F. Quilleré, S. Rajopadhye, and D. Wilde, « Generation of Efficient Nested Loops from Polyhedra, International Journal of Parallel Programming, vol.285, pp.469-498, 2000.

P. «. Quinton, . Soulié, M. Robert, and . Tchuenté, The Systematic Design of Systolic Arrays. » In: Automata Networks in Computer Science, pp.229-260, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00076342

M. Resnick, Scratch, Communications of the ACM, vol.52, issue.11, pp.60-67, 2009.
DOI : 10.1145/1592761.1592779

J. C. Roberts, « State of the Art: Coordinated Multiple Views in Exploratory Visualization. » In: Fifth International Conference on Coordinated and Multiple Views in Exploratory Visualization, CMV '07. Fifth International Conference on Coordinated and Multiple Views in Exploratory Visualization, pp.7-61, 2007.

G. C. Roman and K. C. Cox, A taxonomy of program visualization systems, Computer, vol.26, issue.12, pp.11-24, 1993.
DOI : 10.1109/2.247643

K. C. Gruia-catalin-roman and . Cox, « Program Visualization: The Art of Mapping Programs to Pictures, Proceedings of the 14th International Conference on Software Engineering . ICSE '92, pp.412-420, 1992.

G. Rudy, M. M. Khan, M. Hall, C. Chen, and J. Chame, A Programming Language Interface to Describe Transformations and Code Generation, Lecture Notes in Computer Science, vol.45, issue.6, pp.136-150, 2010.
DOI : 10.1145/1809028.1806606

L. Michael and . Scott, Programming Language Pragmatics, Fourth Edition, 0992.

C. A. Shaffer, M. Cooper, and S. H. Edwards, « Algorithm Visualization: A Report on the State of the Field, Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education. SIGCSE '07, pp.150-154, 2007.

C. A. Shaffer, M. L. Cooper, A. Joel, D. Alon, M. Akbar et al., Algorithm Visualization, ACM Transactions on Computing Education, vol.10, issue.3, pp.1-922, 2010.
DOI : 10.1145/1821996.1821997

J. Shirako, L. N. Pouchet, and V. Sarkar, Oil and Water Can Mix: An Integration of Polyhedral and AST-Based Transformations, SC14: International Conference for High Performance Computing, Networking, Storage and Analysis, pp.287-298, 2014.
DOI : 10.1109/SC.2014.29

B. Shneiderman, « The Eyes Have It: A Task by Data Type Taxonomy for Information Visualizations, IEEE Symposium on Visual Languages Proceedings. , IEEE Symposium on Visual Languages Proceedings, pp.336-343, 1996.

B. «. Shneiderman, The future of interactive systems and the emergence of direct manipulation???, Behaviour & Information Technology, vol.7, issue.3, pp.237-256, 1982.
DOI : 10.1080/01449298208914450

D. Canfield and S. , PYGMALION: A Creative Programming Environment, p.199, 1975.

R. Stansifer, Presburger's Article on Integer Airthmetic: Remarks and Translation, p.20, 1984.

J. T. Stasko, Tango: a framework and system for algorithm animation, Computer, vol.23, issue.9, pp.27-39, 1990.
DOI : 10.1109/2.58216

J. T. Stasko and E. Kraemer, A Methodology for Building Application-Specific Visualizations of Parallel Programs, Journal of Parallel and Distributed Computing, vol.18, issue.2, pp.258-264, 1993.
DOI : 10.1006/jpdc.1993.1062

T. John, Q. A. Stasko, and . Zhao, Visualizing the Execution of Threads-Based Parallel Programs, 1995.

J. Stasko, M. A. Storey, C. Best, and J. Michand, Software Visualization: Programming as a Multimedia Experience, SHriMP Views: An Interactive Environment for Exploring Java Programs. » In: 9th International Workshop on Program Comprehension Proceedings. 9th International Workshop on Program Comprehension, pp.111-112, 1998.

E. Ivan and . Sutherland, « Sketch Pad a Man-Machine Graphical Communication System, Proceedings of the SHARE Design Automation Workshop. DAC '64, pp.6-329, 1964.

J. Tao, T. Dressler, and W. Karl, An Interactive Graphical Environment for Code Optimization, pp.831-838, 2007.
DOI : 10.1007/978-3-540-72586-2_117

A. Telea and D. Auber, Code Flows: Visualizing Structural Evolution of Source Code, Computer Graphics Forum, vol.63, issue.6, pp.831-838, 2008.
DOI : 10.1111/j.1467-8659.2008.01214.x
URL : https://hal.archives-ouvertes.fr/inria-00338601

M. Termeer, C. F. Lange, A. Telea, and M. R. Chaudron, Visual Exploration of Combined Architectural and Metric Information, 3rd IEEE International Workshop on Visualizing Software for Understanding and Analysis, pp.1-6, 2005.
DOI : 10.1109/VISSOF.2005.1684298
URL : https://www.rug.nl/research/portal/files/2926944/2005ProcVisSoftTermeer.pdf

L. Tesler, A personal history of modeless text editing and cut/copy-paste, interactions, vol.19, issue.4, pp.70-75, 2012.
DOI : 10.1145/2212877.2212896

A. R. Teyseyre and M. R. Campo, An Overview of 3D Software Visualization, IEEE Transactions on Visualization and Computer Graphics, vol.15, issue.1, pp.87-105, 2009.
DOI : 10.1109/TVCG.2008.86

R. Upadrasta and . Sub, Polyhedral Compilation Using (Unit-)Two-Variables-Per-Inequality Polyhedra, 2013.
DOI : 10.1145/2429069.2429127
URL : https://hal.archives-ouvertes.fr/tel-00818764

H. Vandierendonck, S. Rul, and K. De-bosschere, The Paralax infrastructure, Proceedings of the 19th international conference on Parallel architectures and compilation techniques, PACT '10, pp.389-400, 2010.
DOI : 10.1145/1854273.1854322
URL : http://pure.qub.ac.uk/ws/files/5240407/postprint.pdf

N. Vasilache, A. Cohen, and L. Pouchet, Automatic Correction of Loop Transformations, 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007), pp.292-304, 2007.
DOI : 10.1109/PACT.2007.4336220
URL : https://hal.archives-ouvertes.fr/hal-01257283

N. Vasilache, C. Bastoul, A. Cohen, and S. Girbal, 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

A. Venkat, M. Shantharam, M. Hall, and M. M. Strout, Non-affine Extensions to Polyhedral Code Generation, Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO '14, p.185, 2014.
DOI : 10.1145/2581122.2544141

S. Verdoolaege, An Integer Set Library for the Polyhedral Model. » In: Mathematical Software ? ICMS 2010, Lecture Notes in Computer Science, vol.6327
DOI : 10.1007/978-3-642-15582-6_49

S. Verdoolaege and T. Grosser, In: Impact 2012. Second International Workshop on Polyhedral Compilation Techniques, in conjuction with HiPEAC 2012, « Polyhedral Extraction Tool, 2012.

S. Verdoolaege, J. C. Juega, and A. Cohen, José Ignacio Gómez, Christian Tenllado, and Francky Catthoor. « Polyhedral Parallel Code Generation for CUDA

. Archit, Code Optim, pp.1-5423, 2013.

R. L. Veroy, N. P. Ricci, and S. Z. Guyer, Visualizing the allocation and death of objects, 2013 First IEEE Working Conference on Software Visualization (VISSOFT), pp.1-4, 2013.
DOI : 10.1109/VISSOFT.2013.6650538

S. Voinea, « Software Evolution Visualization, 0181.

C. Ware, Information Visualization: Perception for Design, 2012.

M. Weiser, Some computer science issues in ubiquitous computing, Communications of the ACM, vol.36, issue.7, pp.75-84, 1993.
DOI : 10.1145/159544.159617

R. Wettel and M. Lanza, Visualizing Software Systems as Cities, 2007 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis, pp.92-99, 2007.
DOI : 10.1109/VISSOF.2007.4290706
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.1979

K. N. Whitley, Visual Programming Languages and the Empirical Evidence For and Against, Journal of Visual Languages & Computing, vol.8, issue.1, pp.109-142, 1997.
DOI : 10.1006/jvlc.1996.0030

J. A. Wise, J. J. Thomas, K. Pennock, D. Lantrip, M. Pottier et al., « Visualizing the Non-Visual: Spatial Analysis and Interaction with Information from Text Documents . » In: Information Visualization, Proceedings. Information Visualization Proceedings, pp.51-58, 1995.

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

J. Wu and M. D. Storey, « A Multi-Perspective Software Visualization Environment, Proceedings of the 2000 Conference of the Centre for Advanced Studies on Collaborative Research. CASCON '00, p.15, 2000.

Q. Yi, K. Seymour, H. You, R. Vuduc, and D. Quinlan, POET: Parameterized Optimizations for Empirical Tuning, 2007 IEEE International Parallel and Distributed Processing Symposium, pp.1-8, 2007.
DOI : 10.1109/IPDPS.2007.370637
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.3979

Y. Yu and E. H. 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. » In: Languages and Compilers for Parallel Computing, pp.17-31, 2012.

K. Zhang, T. Hintz, and X. Ma, The Role of Graphics in Parallel Program Development, Journal of Visual Languages & Computing, vol.10, issue.3, pp.215-243, 1999.
DOI : 10.1006/jvlc.1998.0109

T. Zimmermann and A. Zeller, Visualizing Memory Graphs, Lecture Notes in Computer Science, vol.2269, pp.191-204, 2002.
DOI : 10.1007/3-540-45875-1_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2068

O. Zinenko, S. Huot, C. Bastoul, and . Clint, A Direct Manipulation Tool for Parallelizing Compute-Intensive Program Parts. » In: Visual Languages and Human-Centric Computing, 2014 IEEE Symposium on. IEEE, pp.109-112, 2014.
DOI : 10.1109/vlhcc.2014.6883031
URL : https://hal.archives-ouvertes.fr/hal-01055788