Author:
Barrett Clark,Fang Yi,Goldberg Benjamin,Hu Ying,Pnueli Amir,Zuck Lenore
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Aho, A., Sethi, R., Ullman, J.: Compilers Principles, Techniques, and Tools. Addison Wesley, Reading (1988)
2. Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann, San Francisco (2002)
3. Barrett, C., Berezin, S.: CVC Lite: A new implementation of the cooperating validity checker. In: CAV (July 2004)
4. Floyd, R.: Assigning meanings to programs. Symposia in Applied Mathematics 19, 19–32 (1967)
5. Goldberg, B., Zuck, L., Barrett, C.: Into the loops: Practical issues in translation validation for optimizing compilers. In: COCV (April 2004)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ImpNet: Imperceptible and blackbox-undetectable backdoors in compiled neural networks;2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML);2024-04-09
2. Software Verification of Hyperproperties Beyond k-Safety;Computer Aided Verification;2022
3. Alive2: bounded translation validation for LLVM;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
4. A Self-certifying Compilation Framework for WebAssembly;Lecture Notes in Computer Science;2021
5. Counterexample-guided correlation algorithm for translation validation;Proceedings of the ACM on Programming Languages;2020-11-13