M. Abadi, P. Barham, J. Chen, Z. Chen, A. Davis et al., Tensorflow: A system for large-scale machine learning, 12th {USENIX} Symposium on Operating Systems Design and Implementation, pp.265-283, 2016.

A. Umut, G. E. Acar, R. Blelloch, and . Harper, Selective Memoization, Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '03), pp.14-25, 2003.

J. Ansel, C. Chan, Y. L. Wong, M. Olszewski, Q. Zhao et al., PetaBricks: A Language and Compiler for Algorithmic Choice, Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '09), pp.38-49, 2009.

F. Arrestier, K. Desnos, E. Juarez, and D. Menard, Numerical Representation of Directed Acyclic Graphs for Efficient Dataflow Embedded Resource Allocation, ACM Trans. Embed. Comput. Syst, vol.18, p.101, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02355636

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A Practical Automatic Polyhedral Parallelizer and Locality Optimizer, Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '08), pp.101-113, 2008.

M. Byler, M. Wolfe, R. B. James, C. Davies, B. Huson et al., Multiple Version Loops, ICPP, 1987.

J. Caamaño, M. Selva, P. Clauss, A. Baloian, and W. Wolff, Full runtime polyhedral optimizing loop transformations with the generation, instantiation, and scheduling of code-bones, Concurrency and Computation: Practice and Experience, vol.29, 2017.

P. Clauss, Counting Solutions to Linear and Nonlinear Constraints Through Ehrhart Polynomials: Applications to Analyze and Transform Scientific Programs, Proceedings of the 10th International Conference on Supercomputing (ICS '96), pp.278-285, 1996.
URL : https://hal.archives-ouvertes.fr/hal-01100306

C. Consel and F. Noël, A General Approach for Run-time Specialization and Its Application to C, Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96), pp.145-156, 1996.

P. C. Diniz and M. C. Rinard, Dynamic Feedback: An Effective Technique for Adaptive Computing, Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation (PLDI '97), pp.71-84, 1997.

J. Doerfert, T. Grosser, and S. Hack, Optimistic Loop Optimization, Proceedings of the 2017 International Symposium on Code Generation and Optimization (CGO '17), pp.292-304, 2017.

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

B. Grant, M. Philipose, M. Mock, C. Chambers, and S. J. Eggers, An Evaluation of Staged Run-time Optimizations in DyC, Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation (PLDI '99), pp.293-304, 1999.

M. Hall and . Mcnamee, Improving software performance with automatic memoization, Johns Hopkins APL Technical Digest, vol.18, p.255, 1997.

A. Jimborean, P. Clauss, J. Dollinger, V. Loechner, and J. Caamaño, Dynamic and Speculative Polyhedral Parallelization Using Compiler-Generated Skeletons, International Journal of Parallel Programming, vol.42, pp.529-545, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00825738

T. Kisuki, M. W. Peter, M. F. Knijnenburg, F. O'boyle, H. A. Bodin et al., A feasibility study in iterative compilation, 1999.

H. Springer-berlin, , pp.121-132

A. Edward, . Lee, G. David, and . Messerschmitt, Synchronous data flow, Proc. IEEE, vol.75, pp.1235-1245, 1987.

W. Liu, J. Tuck, L. Ceze, W. Ahn, K. Strauss et al., POSH: a TLS compiler that exploits program structure, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, pp.158-167, 2006.

D. Michie, Memo" Functions and Machine Learning, Nature, vol.218, 1968.

E. Cosmin, A. Oancea, T. Mycroft, and . Harris, A Lightweight In-place Implementation for Software Thread-level Speculation, Proceedings of the Twenty-first Annual Symposium on Parallelism in Algorithms and Architectures (SPAA '09), pp.223-232, 2009.

T. Oh, H. Kim, N. P. Johnson, J. W. Lee, and D. I. , Practical Automatic Loop Specialization, Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '13), pp.419-430, 2013.

M. Poletto, D. R. Engler, and M. Frans-kaashoek, Tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation, Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation (PLDI '97), pp.109-121, 1997.

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.
URL : https://hal.archives-ouvertes.fr/hal-01257273

P. Benoît-pradelle, V. Clauss, and . Loechner, Adaptive runtime selection of parallel schedules in the polytope model, Proceedings of the 19th High Performance Computing Symposia (HPC), vol.6, pp.81-88, 2011.

A. Raman, H. Kim, T. R. Mason, T. B. Jablin, and D. I. , Speculative Parallelization Using Software Multi-threaded Transactions, SIGARCH Comput. Archit. News, vol.38, pp.65-76, 2010.

L. Rauchwerger, A. David, and . Padua, The LRPD test: Speculative run-time parallelization of loops with privatization and reduction parallelization, IEEE Transactions on Parallel and Distributed Systems, vol.10, pp.160-180, 1999.

J. H. Saltz, R. Mirchandaney, and K. Crowley, Run-time parallelization and scheduling of loops, IEEE Trans. Comput, vol.40, issue.5, pp.603-612, 1991.

C. Gregory-steffan, A. Colohan, T. C. Zhai, and . Mowry, The STAMPede approach to thread-level speculation, ACM Transactions on Computer Systems (TOCS), vol.23, pp.253-300, 2005.

A. Sukumaran-rajam and P. Clauss, The Polyhedral Model of Nonlinear Loops, ACM Trans. Archit. Code Optim, vol.12, p.48, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01244464

G. Tagliavini, G. Haugou, A. Marongiu, and L. Benini, Adrenaline: An openvx environment to optimize embedded vision applications on many-core accelerators, IEEE 9th International Symposium on Embedded Multicore/Many-core Systemson-Chip, pp.289-296, 2015.

S. Verdoolaege, R. Seghir, K. Beyls, V. Loechner, and M. Bruynooghe, Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions, Algorithmica, vol.48, pp.37-66, 2007.

R. , C. Whaley, and J. J. Dongarra, Automatically Tuned Linear Algebra Software, Proceedings of the 1998 ACM/IEEE Conference on Supercomputing (SC '98), pp.1-27, 1998.