R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

D. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

M. Hall, D. Padua, and K. Pingali, Compiler research, Communications of the ACM, vol.52, issue.2, pp.60-67, 2009.
DOI : 10.1145/1461928.1461946

J. L. Tripp, M. Gokhale, and K. D. Peterson, Trident: From High-Level Language to Hardware Circuitry, Computer, vol.40, issue.3, pp.28-37, 2007.
DOI : 10.1109/MC.2007.107

X. Leroy, Formal certification of a compiler back-end or: programming a compiler with a proof assistant, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.42-54, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00000963

G. Arnold, J. Hölzl, A. Köksal, R. Bodík, and M. Sagiv, Specifying and verifying sparse matrix codes, Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, pp.249-260, 2010.
DOI : 10.1145/1932681.1863581

K. Yelick, L. Semenzato, G. Pike, C. Miyamoto, B. Liblit et al., Titanium: a high-performance Java dialect, Concurrency: Practice and Experience, vol.10, issue.11-13, pp.11-13, 1998.
DOI : 10.1002/(SICI)1096-9128(199809/11)10:11/13<825::AID-CPE383>3.0.CO;2-H

P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra et al., X10, ACM SIGPLAN Notices, vol.40, issue.10, pp.519-538, 2005.
DOI : 10.1145/1103845.1094852
URL : https://hal.archives-ouvertes.fr/in2p3-00166974

B. Chamberlain, D. Callahan, and H. Zima, Parallel Programmability and the Chapel Language, International Journal of High Performance Computing Applications, vol.21, issue.3, p.291, 2007.
DOI : 10.1177/1094342007078442

M. Clavreul, O. Barais, and J. M. Jézéquel, Integrating legacy systems with MDE, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.69-78, 2010.
DOI : 10.1145/1810295.1810306
URL : https://hal.archives-ouvertes.fr/inria-00504669

J. Steel and J. M. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547