, Control ow analysis. SIGPLAN Not, vol.5, issue.119, 1970.
Finding Missed Compiler Optimizations by Dierential Testing, 27th International Conference on Compiler Construction, 2018. ,
Global common subexpression elimination. SIGPLAN Not, p.2024, 1970. ,
Compiler verication: A bibliography, SIGSOFT Softw. Eng. Notes, vol.28, issue.6, 2003. ,
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
A fast and usually linear algorithm for global ow analysis, J. ACM, vol.23, issue.1, p.172202, 1976. ,
Frama-C: A software analysis perspective. Formal Aspects of Comp, p.573609, 2015. ,
URL : https://hal.archives-ouvertes.fr/cea-01808981
Compiler validation via equivalence modulo inputs, PLDI '14. ACM (2014) ,
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
, Many-core compiler fuzzing. In: PLDI '15, p.6576, 2015.
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
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
Principles of Program Analysis, 1999. ,
DOI : 10.1007/978-3-662-03811-6
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
ACVS ANSI/ISO/FIPS-160 C validation suite ,
The Plum Hall validation suite for C ,
jsfunfuzz (2015), https://github ,
Property-driven benchmark generation: synthesizing programs of realistic structure, International Journal on Software Tools for Technology Transfer, vol.16, issue.5, p.465479, 2014. ,
Random C program generator, 2007. ,
Finding and understanding bugs in C compilers, PLDI '11, p.283294, 2011. ,
Automated test program generation for an industrial optimizing compiler, ICSE Workshop on Automation of Software Test, 2009. ,