S. Amanda, Memory layout transformations. https://software.intel.com/en-us/articles/ memory-layout-transformations

D. S. Batory, V. Singhal, M. Sirkin, and J. Thomas, Scalable software libraries, SIGSOFT '93, Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, pp.191-199, 1993.
DOI : 10.1145/256428.167078

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17. A language and toolset for program transformation, Science of Computer Programming, vol.72, issue.1-2, pp.52-70, 2008.
DOI : 10.1016/j.scico.2007.11.003

R. M. Burstall and J. Darlington, A Transformation System for Developing Recursive Programs, Journal of the ACM, vol.24, issue.1, pp.44-67, 1977.
DOI : 10.1145/321992.321996

J. Ferrante, K. J. Ottenstein, and J. D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987.
DOI : 10.1145/24039.24041

M. Kretz, Vc: Cartesian to polar co-ordinates

M. Kretz, Efficient use of multi-and many-core systems with vectorization and multithreading, 2009.

M. Kretz and V. Lindenstruth, Vc: A C++ library for explicit vectorization. Software: Practice and Experience, pp.1409-1430, 2012.

M. M. Lehman, Programs, life cycles, and laws of software evolution, Proceedings of the IEEE, pp.1060-1076, 1980.

B. Liskov and S. Zilles, Programming with abstract data types, SIGPLAN Notices, pp.50-59, 1974.
DOI : 10.1145/800233.807045

B. J. Mcadam, How to repair type errors automatically, Selected Papers from the 3rd Scottish Functional Programming Workshop, SFP '01, pp.87-98, 2001.

P. Moreau, C. Ringeissen, and M. Vittek, A pattern matching compiler for multiple target languages, Proceedings of the 12th International Conference on Compiler Construction, CC'03, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

Y. Padioleau, J. L. Lawall, R. R. Hansen, and G. Muller, Documenting and automating collateral evolutions in Linux device drivers, EuroSys, pp.247-260, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00123142

R. Pawlak, M. Monperrus, N. Petitprez, C. Noguera, and L. Seinturier, Spoon, Proceedings of the 1st workshop on Aspect oriented middleware development , AOMD '05, pp.1155-1179
DOI : 10.1145/1101560.1101566
URL : https://hal.archives-ouvertes.fr/inria-00071366

C. Reichenbach, D. Coughlin, and A. Diwan, Program Metamorphosis, ECOOP 2009 -Object-Oriented Programming, 23rd European Conference Proceedings, pp.394-418, 2009.
DOI : 10.1016/0304-3975(90)90147-A

S. Sankaranarayan, Tutorial on GMP

M. Schäfer, M. Verbaere, T. Ekman, and O. Moor, Stepping Stones over the Refactoring Rubicon, ECOOP, pp.369-393
DOI : 10.1145/1028664.1028666

K. Sharma, I. Karlin, J. Keasler, J. R. Mcgraw, and V. Sarkar, Data Layout Optimization for Portable Performance, European Conference on Parallel Processing, pp.250-262, 2015.
DOI : 10.1007/978-3-662-48096-0_20

X. Zheng and R. Rugina, Demand-driven alias analysis for c, Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '08, pp.197-208, 2008.
DOI : 10.1145/1328438.1328464
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.1602