Counterexample-guided correlation algorithm for translation validation-Reference-Cited by-同舟云学术

Counterexample-guided correlation algorithm for translation validation

Published:2020-11-13 Issue:OOPSLA Volume:4 Page:1-29
ISSN:2475-1421
Container-title:Proceedings of the ACM on Programming Languages
language:en
Short-container-title:Proc. ACM Program. Lang.

Author:

Gupta Shubhani¹,Rose Abhishek¹,Bansal Sorav¹

Affiliation:

1. IIT Delhi, India

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

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

Reference40 articles.

1. 2019. Polybench/C. https://sourceforge.net/projects/polybench/. 2019. Polybench/C. https://sourceforge.net/projects/polybench/.

2. 2020. [ONLINE-DEMO] Online demo of the equivalence checker. http://compiler.ai/. 2020. [ONLINE-DEMO] Online demo of the equivalence checker. http://compiler.ai/.

3. 2020. diet libc webpage. https://www.fefe.de/dietlibc/. 2020. diet libc webpage. https://www.fefe.de/dietlibc/.

4. 2020. OpenBSD libc sources. https://github.com/openbsd/src/tree/master/lib/libc. 2020. OpenBSD libc sources. https://github.com/openbsd/src/tree/master/lib/libc.

5. 2020. Yices2 bug report. https://github.com/SRI-CSL/yices2/issues/146. 2020. Yices2 bug report. https://github.com/SRI-CSL/yices2/issues/146.

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

1. Translation Validation of Information Leakage of Compiler Optimizations;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-11

2. Proving and Disproving Equivalence of Functional Programming Assignments;Proceedings of the ACM on Programming Languages;2023-06-06

3. Lockstep Composition for Unbalanced Loops;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. Automatic inspection of program state in an uncooperative environment;Software: Practice and Experience;2022-08-31

5. Giallar: push-button verification for the qiskit Quantum compiler;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09