Compiler validation via equivalence modulo inputs-Reference-Cited by-同舟云学术

Compiler validation via equivalence modulo inputs

Published:2014-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Le Vu¹,Afshari Mehrdad¹,Su Zhendong¹

Affiliation:

1. University of California, Davis

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2594291.2594334

Reference30 articles.

1. ACE. SuperTest compiler test and validation suite. http://www.ace.nl/compiler/supertest.html. ACE. SuperTest compiler test and validation suite. http://www.ace.nl/compiler/supertest.html.

2. A. Balestrat. CCG: A random C code generator. https://github.com/Merkil/ccg/. A. Balestrat. CCG: A random C code generator. https://github.com/Merkil/ccg/.

3. Automatic generation of peephole superoptimizers

4. Taming compiler fuzzers

5. P. Cuoq B. Monate A. Pacalet V. Prevosto J. Regehr B. Yakobowski and X. Yang . Testing static analyzers with randomly generated programs. In A. Goodloe and S. Person editors NASA Formal Methods volume 7226 of Lecture Notes in Computer Science pages 120 -- 125 . Springer Berlin Heidelberg 2012 . 10.1007/978-3-642-28891-3_12 P. Cuoq B. Monate A. Pacalet V. Prevosto J. Regehr B. Yakobowski and X. Yang. Testing static analyzers with randomly generated programs. In A. Goodloe and S. Person editors NASA Formal Methods volume 7226 of Lecture Notes in Computer Science pages 120--125. Springer Berlin Heidelberg 2012. 10.1007/978-3-642-28891-3_12

Cited by 153 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Towards Understanding the Bugs in Solidity Compiler;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. LPR: Large Language Models-Aided Program Reduction;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax;ACM Transactions on Software Engineering and Methodology;2024-08-30