F. E. Allen, Control ow analysis. SIGPLAN Not, vol.5, issue.119, 1970.

G. Barany, Finding Missed Compiler Optimizations by Dierential Testing, 27th International Conference on Compiler Construction, 2018.

J. Cocke, Global common subexpression elimination. SIGPLAN Not, p.2024, 1970.

M. A. Dave, Compiler verication: A bibliography, SIGSOFT Softw. Eng. Notes, vol.28, issue.6, 2003.

E. Eide and J. Regehr, Volatiles are miscompiled, and what to do about it, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, 2008.
DOI : 10.1145/1450058.1450093

S. L. Graham and M. Wegman, A fast and usually linear algorithm for global ow analysis, J. ACM, vol.23, issue.1, p.172202, 1976.

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A software analysis perspective. Formal Aspects of Comp, p.573609, 2015.
URL : https://hal.archives-ouvertes.fr/cea-01808981

V. Le, M. Afshari, and Z. Su, Compiler validation via equivalence modulo inputs, PLDI '14. ACM (2014)

X. Leroy, Formal verication of a realistic compiler, Commun. ACM, vol.52, issue.107, p.115, 2009.
DOI : 10.1145/1538788.1538814

URL : http://cristal.inria.fr/~xleroy/publi/compcert-CACM.pdf

C. Lidbury, A. Lascu, N. Chong, and A. Donaldson, Many-core compiler fuzzing. In: PLDI '15, p.6576, 2015.

J. Midtgaard, M. N. Justesen, P. Kasting, F. Nielson, and H. R. Nielson, Eect-driven quickchecking of compilers, Proc. ACM Program. Lang. 1(ICFP), p.3110259, 2017.
DOI : 10.1145/3110259

URL : http://dl.acm.org/ft_gateway.cfm?id=3110259&type=pdf

E. Nagai, A. Hashimoto, and N. Ishiura, Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions, IPSJ Transactions on System LSI Design Methodology, vol.7, issue.0, p.91100, 2014.
DOI : 10.2197/ipsjtsldm.7.91

F. Nielson, H. R. Nielson, and C. Hankin, Principles of Program Analysis, 1999.
DOI : 10.1007/978-3-662-03811-6

M. H. Paªka, K. Claessen, A. Russo, and J. Hughes, Testing an optimising compiler by generating random lambda terms, Proceeding of the 6th international workshop on Automation of software test, AST '11, p.6, 2011.
DOI : 10.1145/1982595.1982615

I. Perennial, ACVS ANSI/ISO/FIPS-160 C validation suite

P. Hall and . Inc, The Plum Hall validation suite for C

J. Ruderman, jsfunfuzz (2015), https://github

B. Steen, M. Isberner, S. Naujokat, T. Margaria, and M. Geske, Property-driven benchmark generation: synthesizing programs of realistic structure, International Journal on Software Tools for Technology Transfer, vol.16, issue.5, p.465479, 2014.

B. Turner, Random C program generator, 2007.

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and understanding bugs in C compilers, PLDI '11, p.283294, 2011.

C. Zhao, Y. Xue, Q. Tao, L. Guo, and Z. Wang, Automated test program generation for an industrial optimizing compiler, ICSE Workshop on Automation of Software Test, 2009.